Split Flap
fx.hot.page·1d·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Wero Wallet
wero-wallet.eu·2d·
Discuss: Hacker News
🍎Apple
Portmaster v2
safing.io·4d·
Discuss: Hacker News
📦Unikernel Systems
Cara – High Precision Robot Dog Using Rope
aaedmusa.com·4d·
Discuss: Hacker News
💾Retro Computing
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·6d·
Discuss: Substack
🎮Verification Games
Don’t estimate during meetings with pushy clients — pause instead
read.perspectiveship.com·1d·
Discuss: r/programming
👁️System Observability
First You Create the Work and Then the Work Creates You: Nietzsche's Life
ristonthomas.com·1d·
Discuss: Hacker News
🔬Unikernels
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔬Static Analysis
From Typing to Trusting AI: The 5 Levels of Coding Today — Which One Are You In?
medium.com·1d·
Discuss: r/programming
🤖Program Synthesis
Information Entropy-Based Framework for Quantifying Tortuosity in Meibomian Gland Uneven Atrophy
arxiv.org·2d
➡️Category Theory
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·5d
✓Automated Theorem Proving
DL580 Gen9 - My new (to me) number cruncher!
reddit.com·3d·
Discuss: r/homelab
💾Retro Computing
Microsoft’s AI CEO thinks Copilot will age and ‘have a room that it lives in’
theverge.com·2d·
Discuss: Hacker News, r/technews
👁️System Observability
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·4d
🎮Verification Games
Been running Nextcloud for a year, but Seafile is looking tempting. Thoughts?
reddit.com·3d·
Discuss: r/homelab
⎈Kubernetes
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
🐫OCaml
Engineers Are Finally Ditching the Accessibility Checkbox
thenewstack.io·4d
👁️System Observability
Architectural Degradation: Definition, Motivations, Measurement and Remediation Approaches
arxiv.org·5d
🔄Reproducible Builds
ICML Statement about subversive hidden LLM prompts
icml.cc·4d·
Discuss: Hacker News
🛡️seL4
RefCritic: Training Long Chain-of-Thought Critic Models with Refinement Feedback
arxiv.org·5d
✓Automated Theorem Proving