"Our research is greatly sped up by AI but AI still needs us"
twitter.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·13h·
Discuss: DEV
🇯🇵Japanese Computing
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Touring_test: A Cucumber Extension for Agentic Usability Testing
worksonmymachine.ai·13h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Show HN: Build and deploy AI agents from your own data in under 60 seconds
botthebuilder.net·3d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·1d
🔗Constraint Handling
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Flag this post
I Built an AI Documentation Generator
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
💻Programming languages
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Flag this post
Runs-On: Mac
runs-on-mac.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
✅Format Verification
Flag this post
How to design effective agent workflows?
boliv.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·6h·
Discuss: DEV
⚙️Operating System Design
Flag this post
Averaging 10 PRs a day with Claude Code
theahura.substack.com·2d·
Discuss: Substack
⚡Proof Automation
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post