The Mirror with No Reflection
simone.orgยท21hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Defold makes a big step towards first-class Teal support
defold.comยท2dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Dear PendingKetchup
dynomight.netยท2dยท
Discuss: Hacker News
๐ŸŽApple
The Markov Condition
plato.stanford.eduยท4dยท
Discuss: Hacker News
๐Ÿง Automated Reasoning
Review: Solaris 10 โ€“ Coming Along Nicely (2005)
osnews.comยท1hยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.comยท5dยท
๐ŸŽฎVerification Games
HiTex: A spam factory for AI-generated books
laurent.le-brun.euยท2dยท
Discuss: Hacker News
๐ŸซOCaml
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.spaceยท3dยท
Discuss: Hacker News
๐Ÿ”คDSLs
I'm Using Perplexity
fldr.zipยท4dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
How to keep package.json under control
blog.val.townยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Dripo AI โ€“ All in One AI Image and Video Generator
dripo.aiยท1dยท
Discuss: Hacker News
๐ŸŽApple
Building the AI-powered local smart home
home-assistant.ioยท2dยท
Discuss: Hacker News
๐Ÿ HomeLab
Machine Learning-Based Prediction of Speech Arrest During Direct Cortical Stimulation Mapping
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
Computational Imaging for Enhanced Computer Vision
arxiv.orgยท2d
๐Ÿ“Denotational Semantics
Humans as Bottleneck
shubhamg.bearblog.devยท2dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Minecraft server for memory-restrictive embedded systems (ESP32)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Maximally Useful and Minimally Redundant: The Key to Self Supervised Learning for Imbalanced Data
arxiv.orgยท2d
๐ŸงฉParser Combinators
I Am Large, I Contain Multitudes: Persona Transmission via Contextual Inference in LLMs
lesswrong.comยท5d
๐Ÿ“šAutomata Learning
Show HN: Modular, LLM-optimized OpenAPI docs โ€“ deterministic URLs
news.ycombinator.comยท4dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Unidimensional semi-discrete partial optimal transport
arxiv.orgยท2d
๐Ÿ” Type-Level Programming