Texture.io Acquired by IBM
newsroom.ibm.com·8h·
Discuss: Hacker News
🔄compilers
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·1d·
Discuss: Hacker News
query optimization
Flag this post
Show HN: I am building TypeScript ERP/CRM framework – MIT license
github.com·9h·
Discuss: Hacker News
formal methods
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4d·
Discuss: Hacker News
🔄compilers
Flag this post
DS-STAR: A state-of-the-art versatile data science agent
research.google·1d·
Discuss: Hacker News
formal methods
Flag this post
AiDHD: Reflecting on 6 Months Vibing
josh.ing·3h·
Discuss: Hacker News
🌐network programming
Flag this post
Self-Replicating Probes Could Be Operating in the Solar System
universetoday.com·23h·
Discuss: Hacker News
formal methods
Flag this post
Token-Optimized Notation Language
tonl.dev·3h·
Discuss: Hacker News
formal methods
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·2d·
Discuss: Hacker News
formal methods
Flag this post
Servant by construction – a blog series on Haskell's web stack gem
laurentrdc.xyz·5h·
Discuss: Hacker News
🔄compilers
Flag this post
Error Codes for Control Flow
matklad.github.io·1d·
🔄compilers
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·2d·
🌐network programming
Flag this post
Interesting SPI Routing with iCE40 FPGAs
danielmangum.com·12h·
Discuss: Hacker News
🔄compilers
Flag this post
OpenAPI won't make your APIs AI-ready. But Arazzo can
bump.sh·1d·
Discuss: Hacker News
formal methods
Flag this post
Remind: A sophisticated calendar and alarm program
dianne.skoll.ca·18h·
Discuss: Hacker News
🌐network programming
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·2d·
Discuss: Hacker News
🔄compilers
Flag this post
A self-hosted Security Operations Center in a box to avoid vendor lock
github.com·10h·
🌐network programming
Flag this post
Intelligent end-to-end monitoring for AI agents
trysentinel.vercel.app·3h·
Discuss: Hacker News
formal methods
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·2d·
Discuss: Hacker News
formal methods
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·9h·
🔄compilers
Flag this post