DEV Community

#aicoding

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Compaction Is a Control Problem: Static Boundaries, Dynamic Cut Points, and the Limits of Compression
antonio_zhu_e726fd856cd86 profile

Compaction Is a Control Problem: Static Boundaries, Dynamic Cut Points, and the Limits of Compression

#aicoding #codex #opencode #agentworkflow
Comments
9 min read
OpenAI's Codex spent six days on goose and never completed a single run
mihai_leanzero profile

OpenAI's Codex spent six days on goose and never completed a single run

#gooselocaledition #aicoding
Comments
6 min read
goose swarm: the config error we logged 432 times and never saw
mihai_leanzero profile

goose swarm: the config error we logged 432 times and never saw

#aicoding
Comments
6 min read
lsof: command not found in a packaged Mac app, and the port reclaim that never ran
mihai_leanzero profile

lsof: command not found in a packaged Mac app, and the port reclaim that never ran

#aicoding #gooselocaledition #localai
Comments
6 min read
The best 4-bit format in MLX is the one its own converter sets up to lose
mihai_leanzero profile

The best 4-bit format in MLX is the one its own converter sets up to lose

#aicoding
Comments
7 min read
I did not think certifications were worth much. Then one of them showed me what I had been missing
mihai_leanzero profile

I did not think certifications were worth much. Then one of them showed me what I had been missing

#certifications #aicoding #jira
Comments
8 min read
OpenSpec Rejected Proposals: A Decision Memory Convention
rosgluk profile
Rost

OpenSpec Rejected Proposals: A Decision Memory Convention

#aicoding #llm #ai #dev
Comments
13 min read
Linux 7.4 kbuild patches cut kernel build times
techaiwire profile

Linux 7.4 kbuild patches cut kernel build times

#linux #opensource #aicoding
5
Comments
4 min read
ZCode uploaded whole Git histories; Zhipu apologizes
techaiwire profile

ZCode uploaded whole Git histories; Zhipu apologizes

#aicoding #security #privacy #china
5
Comments
4 min read
OpenSpec Quickstart: Install, Workflow, and Common Pitfalls
rosgluk profile
Rost

OpenSpec Quickstart: Install, Workflow, and Common Pitfalls

#aicoding #llm #ai #dev
Comments 1
10 min read
Anthropic's AI formalizes Fermat's Last Theorem in Lean
techaiwire profile

Anthropic's AI formalizes Fermat's Last Theorem in Lean

#anthropic #aicoding #opensource
5
Comments
4 min read
VS Code 1.136 adds Agent Merge to finish pull requests
techaiwire profile

VS Code 1.136 adds Agent Merge to finish pull requests

#microsoft #aicoding #aiagents
5
Comments
4 min read
The model did the reverse-engineering. The validator was the hard part.
cole_halton_42f71d71b809b profile

The model did the reverse-engineering. The validator was the hard part.

#aicoding #agents #llm #evaluation
Comments 1
2 min read
Context Engineering for Unity: How to Make AI Useful on Real Projects
exoa profile

Context Engineering for Unity: How to Make AI Useful on Real Projects

#unity #aicoding #contextengineering #codereview
Comments
12 min read
Superpowers Quickstart: Install, Workflow, and Tryout
rosgluk profile
Rost

Superpowers Quickstart: Install, Workflow, and Tryout

#aicoding #llm #ai #dev
Comments
10 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.