Anukari working better on some Radeon chips
anukari.com·1d·
Discuss: Hacker News
📦Unikernel Systems
SFT Is Bad RL
justinchiu.netlify.app·4d·
Discuss: Hacker News
🔍Formal Verification
Base44 – build fully-functional apps in minutes with just your words
base44.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com·2d·
Discuss: Hacker News
🔬Unikernels
Create a Local IMDB MCP Server in Python
mkaz.blog·1d·
Discuss: Hacker News
🛡️seL4
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·4d·
Discuss: Hacker News
🔬Unikernels
An analysis of +671k works of fan fiction finds that attraction follows a U shaped curve with the highest peak at "familiarity", while enjoyment follows an inve...
nature.com·2d·
Discuss: Hacker News
➡️Category Theory
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, Hacker News
🐫OCaml
Testing Exaone4 32B Q5
medium.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
A Neural Net For a Graphing Calculator?
hackaday.com·3d
🐫Embedded OCaml
Punch card controlled Cyberdeck Lives In 80s Toy
hackaday.com·1d
💾Retro Computing
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·3d
🔬Unikernels
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·5d
🧪Property-Based Testing
Claudeputer
github.com·2d·
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·4d·
Discuss: Hacker News
🧪Property-Based Testing
China proves that open models are more effective than all the GPUs in the world
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Three unrelated thoughts about working with LLMs
henrycourse.com·3d·
Discuss: Hacker News
🔬Unikernels
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