TIL about the MS Satoshi, a cruise ship which was bought by "cryptocurrency enthusiasts", who planned to turn it into a floating city. The plan failed because, ...
🖥️Self-hosted Infrastructure
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
λFunctional Programming
Flag this post
Hallucinated Gods
🔀Galois Connections
Flag this post
Who’s your agent?
📵Digital Minimalism
Flag this post
Run LLMs Locally
🔧Unikernel Development
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·4d
✓Automated Theorem Proving
Flag this post
To improve Rationality, create Situations
lesswrong.com·4d
🎮Verification Games
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·3d
🎯Hindley-Milner
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·3d
📚Automata Learning
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·3d
🔍CBMC
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·3d
🎯Hindley-Milner
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·1d
📚Automata Learning
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·2d
🔧Microcontrollers
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Loading...Loading more...