Model-Based GUI Automation (Springer SoSyM)
link.springer.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
DOTS from double theories
topos.institute·2d
🤖AI
Flag this post
An introduction to computer algebra (2018)
corywalker.me·2d·
Discuss: Hacker News
🤖AI
Flag this post
We built an AI that does the tasks no human likes to repeat — meet Codedoc
everdone.ai·11h·
Discuss: DEV
🤖AI
Flag this post
What's up Python? You already know :)
bitecode.dev·1d
🤖AI
Flag this post
Adopting Static Analysis Early Transforms Large Codebases (and Why It’s Not Just About Tools)
deepsource.com·3h·
Discuss: r/programming
🤖AI
Flag this post
From Cycles to Lines: How Numbers Became Linear
reddit.com·6h·
Discuss: r/7DOS
🤖AI
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: a1 - determinism-maxing JIT compiler for AI agents
github.com·7h·
Discuss: Hacker News
🤖AI
Flag this post
Why Baidu's AMIS Framework Is an Excellent Design
dev.to·16h·
Discuss: DEV
🤖AI
Flag this post
Claude Code Web is the future of coding... once they fix it!
reddit.com·5h·
Discuss: r/ClaudeAI
🤖AI
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·1d
🤖AI
Flag this post
I don't love Rust (either)
cbarrete.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Mission-Critical in the Context of the API Manifesto and Move Fast/Break Things
aptiv.com·1h·
Discuss: Hacker News
🤖AI
Flag this post
The Underwear Fixed Point
notes.hella.cheap·8h·
Discuss: Lobsters, Hacker News, Hacker News
🤖AI
Flag this post
Building Flipr: a URL shortener, one commit at a time
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Ship Faster with Confidence: A 6-Step AI-Assisted Dev Pipeline
dev.to·4h·
Discuss: DEV
🤖AI
Flag this post
JetBrains/kotlin
github.com·1d
🤖AI
Flag this post
Dynamic instantiation pattern for 100+ message types?
reddit.com·19h·
Discuss: r/golang
🤖AI
Flag this post
Getting started with Go
reddit.com·15h·
Discuss: r/golang
🤖AI
Flag this post