Show HN: Compute CLI โ A universal sandbox SDK with direct browser access
๐Shuttle
Flag this post
GNU Guix IPv6/v4 Router
โกQUIC Protocol
Flag this post
Shattering the Illusion: Maker Achieves Million-Step, Zero-Error LLM Reasoning
๐ญProgram Synthesis
Flag this post
Tracking CPU spike!
๐Shuttle
Flag this post
Automated Compliance Risk Assessment via Multi-Modal Knowledge Fusion and Dynamic Bayesian Inference
๐VictoriaMetrics
Flag this post
Diagonalization: A (slightly) more rigorous model of paranoia
lesswrong.comยท15h
๐ก๏ธAI Security
Flag this post
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
arxiv.orgยท2d
โ
Model Checking
Flag this post
Revolutionizing Code with TypeScript, Python, and AI: Closing the Dev Loop
๐ญProgram Synthesis
Flag this post
Increasing marginal returns to effort are common
lesswrong.comยท1d
๐ฐTigerBeetle
Flag this post
Top Security Threats in Blockchain
๐ณMerkle Trees
Flag this post
Enabling Continuous Deployment with Amazon Elastic Container Service and Infrastructure as Code
๐Shuttle
Flag this post
Loading...Loading more...