AI Intelligence Archive

Large language models can often identify useful semantic structure in formal artifacts, but their outputs cannot be trusted as proofs or solver decisions. We study whether LLMs can instead guide formal reasoning systems through a narrow, s…

Cyber threat intelligence (CTI) reports describe adversary behavior in natural language, but converting them into structured MITRE ATT&CK mappings remains difficult: existing methods decompose reports to sentence-level granularity for extr…

If you cannot re-run a lending decision from last March and get the same answer, you do not have an...

Letting an agent write to a legacy system of record takes an intent log, not a better prompt. The...

In Part 1, I explored why making AI engineering easier doesn't automatically make software delivery...

Formula-Driven Supervised Learning (FDSL) enables vision pre-training without real images, but existing methods cast pre-training as classification on discretized labels, discarding continuity in the generative process. We propose Formula-…

This article was prepared with AI assistance, using ccdeck’s source code and documentation to check...

Multimodal large language models can recognize visual content yet struggle to reason reliably over it across multiple steps. In counting, a model may see all objects but lose track of which ones it has counted. We argue that such failures,…

Linear recurrences are emerging as practical alternatives to softmax attention in large language models, appearing in both standalone and hybrid architectures. However, despite their rapid emergence, low-precision inference remains much le…

Large language models (LLMs) have shown strong performance on software engineering (SE) tasks, driving the need for high-quality datasets for reliable training and evaluation. SWE-bench-style datasets (SWE datasets) are widely used to eval…

FP8 formats specify how values are stored, not how products are summed; this gap can break checkpoints. Evo 2, a DNA language model, documents a Hopper FP8 requirement for its 1B and 40B checkpoints. On two Blackwell (sm_120) GPUs both fai…

A soak test came back green. Chain intact, verify-store fine, p99 latency 0.36 ms. Then I counted the...

I use AI agents for real work and I think they are the biggest change to how software gets built...

Your AI agent is only as good as the API it calls. I wired an agent to a NestJS backend last...

Lessons from building the Restaurant Suggestion System, a Go/Gin backend with a conversational...

Human approval is not a security boundary unless it is bound to the exact action being approved,...

Forever Security found a 13 KB AGENTS.md planted in Downloads. Codex rewrote its own config and ran the payload. How it works, and a checklist to run now.

AI wrote this function. It passed linting. It got approved. It shipped. async function...

🌈 ultrathink 🌈

The most common LLMOps incident I've seen is not a prompt bug or a jailbreak. It's a one-line diff.

I'm a solo developer from Uzbekistan. Most of what I ship (Telegram bots and mini apps for small...

I built a small data API for AI agents: NSW (Australia) development applications, complying...

Most of this series is about one AI: the coding agent that wrote ParkEase. This post is about a...

We scraped 632 real comments from 11 Hacker News threads about AI memory and sorted them by complaint instead of compliment. Six pitfalls, what we got wrong, and the three we actually fixed.

Tags: #ai #python #machinelearning #datascience If you spend any time on tech Twitter or LinkedIn...

Your AI agent says "Done." The build is green. The tests pass. Did it actually work? Did it do the...

The obvious fix for "my AI agent keeps relying on superseded architecture decisions" is a small...

Plain Python finds the subscriptions you forgot, Gemma explains them on your own laptop, and you decide what to cancel.

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 4: Ghost in the Machine ...

This is a submission for the Hacktoberfest Open-Source AI Challenge: Week 4: Ghost in the Machine. ...

The birthday When I was a teenager, every website wanted my date of birth, and my dad had...

Package names LLMs recommended this week that do not exist: @anthropic/mcp-client (npm), @khanacademy/react-components (npm), aiohttp-client (PyPI). C

QueerCade is a community vault of LGBTQ+ games. It lived as a work-in-progress site at...

Technical Reconstruction of Academic Review Mechanisms: An Analytical Perspective ...

This is part of my build-in-public series on running LLM workflows in n8n in production. Everything...

Claude predates the "little crayfish" (OpenClaw), while Grok Build and Codex both came after it. As a...

In May 2026, Anthropic merged around 2,500 code changes a day into its monorepo. By September, it was...

In Godot 4, the most-used save addon on GitHub writes a file called save_data.sav. It is plain...

Picture the message in your team chat: "Why did the support bot email a customer's invoice to an...

I learn songs by ear, and the loop is always the same: split the track somewhere, look up the chords...