Is That What Makes Me Human?
occamstypewriter.orgยท1d
๐Ÿ Personal Archives
Flag this post
Horn Clauses
youtube.comยท2d
๐Ÿ‘‘Isabelle/HOL
Flag this post
Favourites of October 2025
brainbaking.comยท20h
๐ŸบGaming Archaeology
Flag this post
Show HN: Sudachi Emulator โ€“ Fast open-source Switch emulator
sudachiemu.orgยท7hยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.orgยท21hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Ghosts in the Compilation
predr.agยท3dยท
โš™๏ธBuild Archaeology
Flag this post
Claude Skills Market
skillsmp.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Fight context rot with context observability
blog.nilenso.comยท5dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท7h
๐ŸŒ€Fractal Compression
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Flag this post
๐Ÿง  Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.toยท1dยท
Discuss: DEV
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
Flag this post
From Developer to Prompt Engineer: The New Frontier of Coding in the AI Era
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Flag this post
My new Homelab.
reddit.comยท22hยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.orgยท7h
๐Ÿ“ŠLearned Metrics
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Mathematical Art
Flag this post
Deep Neural Watermarking for Robust Copyright Protection in 3D Point Clouds
arxiv.orgยท7h
๐Ÿ“Geometric Hashing
Flag this post