Programming

Feeds to Scour
SubscribedAll
Scoured 91 posts in 33.1 ms

The Shape of Code » Specification based programming

 🖥️Computing History

Qt Creator 20 Open-Source IDE Released with AI Coding Agents

 ⚙️Compilers
linuxiac.com·

Best AI Coding Assistants Compared (2026): Copilot, Cursor, Claude Code & ChatGPT

 Formal Verification  Content type: Blog
my-blog.org··DEV

Generative AI in .NET Development

 λType Theory  Content type: Blog
innostax.com··DEV

How We Shipped Git-flow-next 1.0 Almost Entirely with AI

 Formal Verification  Content type: Blog
git-flow.sh··Hacker News

xyproto/orbiton v2.74.4

 📟Retro Tech  Content type: Code
github.com·

The Making of Owlcode: Merging Design with Functional Logic

 🗂️Data Structures
owlcode.netlify.app··DEV

Pi may be a powerful AI coding agent, but I refuse to run it without this extension

 🏠Self-Hosting
xda-developers.com·

Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes

 🐍Python  Content type: Blog
pyrefly.org··Hacker News

Debugging on Prod

 📰RSS Readers  Content type: Blog
idiallo.com·

GLM-5.2: Z.ai Ships 1M-Token Coding Model With Zero Benchmarks

 🔓Open Source  Content type: Blog
wowhow.cloud··DEV·Covers: DEV Community

Why I built a code debugger that never leaves your browser

 🕸️IndieWeb  Content type: Discussion
codeclarify.bestpaid.app··DEV

#077 - SpaceX swallowed Cursor for $60B, GLM-5.2 cracked 80% on Terminal-Bench, and Meta gutted itself

 🔓Open Source
indiehacker.news··Covers 9 stories

How Siemens "slices the elephant," advancing agentic workflows for industrial software development

 Formal Verification  Content type: Blog
cloud.google.com·

Coding Agent Horror Stories: The 13-Hour AWS Outage

 Formal Verification  Content type: Blog

Claude Artifacts

 🔓Open Source  Content type: Blog  4 articles covering this post

Refactoring to Web Components

 🕸️IndieWeb
just-a-function.dev·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help