wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post
Touring_test: A Cucumber Extension for Agentic Usability Testing
worksonmymachine.ai·18h·
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
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
I Built an AI Documentation Generator
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·21h·
Discuss: DEV
⚡Proof Automation
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
💻Programming languages
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
✅Format Verification
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
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·11h·
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
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·11h·
Discuss: DEV
📐Mathematical Art
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Flag this post
Intervaltree with Rust Back End
github.com·1h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Go's New WaitGroup.Go
dev.to·2h·
Discuss: DEV
🔄Sync Engine
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·22h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·2d
📝ABNF Extensions
Flag this post