Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·11h·
Discuss: Hacker News
🔄Reproducible Builds
Group Behind Steam Censorship Policies Have Powerful Allies — And Targeted Popular Games With Outlandish Claims
vice.com·8h·
Discuss: Hacker News, r/TwoBestFriendsPlay
🔬Unikernels
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
The Ideological Spiral
cognition.cafe·8h·
Discuss: Hacker News
➡️Category Theory
AI Engineering in Legal Practice
ai.intellectronica.net·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·15h·
Discuss: r/homelab
🔬Unikernels
Sandcastles Made of Bits
jsfour.substack.com·3d·
Discuss: Substack
🧱Immutable Infrastructure
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Dendritic Learning: open-source upgrade to PyTorch based on modern neuroscience
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·4d
🧪Property-Based Testing
Claudeputer
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Build an AI Agent Web App with String and Lovable
pipedream.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
China proves that open models are more effective than all the GPUs in the world
theregister.com·15h·
Discuss: Hacker News
🔬Unikernels
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·4d
✓Automated Theorem Proving
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·3d
🛡️seL4
VideoITG: Multimodal Video Understanding with Instructed Temporal Grounding
arxiv.org·1d
🔄Finite State Machines
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·5d
✓Automated Theorem Proving
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.org·1d
📡Network Protocol Design
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·4d
🔄Finite State Machines