Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Group Behind Steam Censorship Policies Have Powerful Allies — And Targeted Popular Games With Outlandish Claims
vice.com·23h·
Discuss: Hacker News, r/TwoBestFriendsPlay
🔬Unikernels
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Ideological Spiral
cognition.cafe·22h·
Discuss: Hacker News
➡️Category Theory
AI Engineering in Legal Practice
ai.intellectronica.net·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Sandcastles Made of Bits
jsfour.substack.com·4d·
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·2d·
Discuss: Hacker News
🤖Program Synthesis
Imperative vs declarative
github.com·4d·
Discuss: r/programming
🔬Static Analysis
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·5d
✓Automated Theorem Proving
China proves that open models are more effective than all the GPUs in the world
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·4d
🛡️seL4
VideoITG: Multimodal Video Understanding with Instructed Temporal Grounding
arxiv.org·2d
🔄Finite State Machines
Why Dictionaries Still Define Us
nytimes.com·3h·
Discuss: Hacker News
🔬Unikernels
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·6d
✓Automated Theorem Proving
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.org·2d
📡Network Protocol Design
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com·8h·
Discuss: Hacker News
💾Retro Computing
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·5d
🔄Finite State Machines
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.org·2d
🤖Program Synthesis
Generalist Bimanual Manipulation via Foundation Video Diffusion Models
arxiv.org·2d
➡️Category Theory