Show HN: Refine – A Local Alternative to Grammarly
refine.sh·14h·
Discuss: Hacker News
🍎Apple
EU-sponsored report says GenAI's 'fair use' defense does not compute
theregister.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
IndexTTS2: Emotional duration-controlled autoregressive zero-shot text-to-speech
index-tts.github.io·17h·
Discuss: Hacker News
🐫Embedded OCaml
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·3h·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Node.js Interview Q&A: Day 19
medium.com·1d·
Discuss: r/programming
🛡️seL4
Marc Andreessen Is a Traitor
liberalcurrents.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·5d
🔠Type-Level Programming
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Adaptive Framework for Ambient Intelligence in Rehabilitation Assistance
arxiv.org·15h
🔬Unikernels
Guys need an urgent help. Can someone run this github repository. We have to submit the results tomorrow.
github.com·2d·
Discuss: r/programming
📦Unikernel Systems
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
How much attention do you need, really? Experiments in O(1) task completion
notion.so·1d·
Discuss: Hacker News
🏹Effect Systems
Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
arxiv.org·4d
✓Automated Theorem Proving
On Trustworthy Rule-Based Models and Explanations
arxiv.org·3d
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·3d·
Discuss: Hacker News
🔍Formal Verification
Interview with Alan Kay
web.archive.org·17h·
Discuss: Hacker News
💾Retro Computing
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·3d
✓Automated Theorem Proving
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3d·
Discuss: r/programming
🐫OCaml
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·15h
✓Automated Theorem Proving