The Rosetta Code of Being โ€“ When Philosophy Compiles Itself
ontocode.orgยท14hยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.frยท18hยท
Discuss: Hacker News
๐Ÿ”Information Retrieval
Flag this post
My Experience of building bytebeat player in Zig
blog.karanjanthe.meยท20hยท
Discuss: Hacker News, r/Zig
๐ŸŽฎGameboy Emulation
Flag this post
My Experience as a SDE Intern at AWS
simho.xyzยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Flag this post
Patterns for Defensive Programming in Rust
corrode.devยท3dยท
๐Ÿ”’Type Safety
Flag this post
AWK technical notes (2023)
maximullaris.comยท2dยท
๐Ÿ“Shell Parsing
Flag this post
Python steering council accepts lazy imports
lwn.netยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.orgยท1d
โšกLZ4 Streaming
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.orgยท1d
๐Ÿง Neural Codecs
Flag this post
Reflections on Trusting Trust (1984)
web.archive.orgยท2dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.orgยท1d
๐Ÿ“กInformation theory
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.orgยท2d
๐Ÿš€Query Optimization
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.toยท3dยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
ReLaX-Net: Reusing Layers for Parameter-Efficient Physical Neural Networks
arxiv.orgยท1d
๐Ÿ“ŠQuantization
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท1d
๐Ÿ”ฎProof Search
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โœ…Formal Methods
Flag this post