Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.comยท1dยท
๐Ÿ”“Open Source Software
Flag this post
The Rosetta Code of Being โ€“ When Philosophy Compiles Itself
ontocode.orgยท17hยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.frยท21hยท
Discuss: Hacker News
๐Ÿ”Information Retrieval
Flag this post
My Experience of building bytebeat player in Zig
blog.karanjanthe.meยท23hยท
Discuss: Hacker News, r/Zig
๐ŸŽฎGameboy Emulation
Flag this post
Patterns for Defensive Programming in Rust
corrode.devยท3dยท
๐Ÿ”’Type Safety
Flag this post
My Experience as a SDE Intern at AWS
simho.xyzยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
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
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
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฐContent Curation
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post
๐Ÿš€ Exploring Goโ€™s Core Features in Depth
dev.toยท2dยท
Discuss: DEV
๐Ÿ—๏ธCompiler Archaeology
Flag this post
Building Custom Components in Langflow ๐Ÿ› ๏ธ
dev.toยท2hยท
Discuss: DEV
๐ŸงฉWASM Components
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.orgยท2d
๐Ÿค–Grammar Induction
Flag this post
Learning Python in Public: Why I Started ZeroToPyHero
dev.toยท1dยท
Discuss: DEV
ฮปLambda Formalization
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.comยท1dยท
Discuss: DEV
๐ŸŽฏProof Tactics
Flag this post
Erasing 'Ugly' from the Internet: Propagation of the Beauty Myth in Text-Image Models
arxiv.orgยท1d
๐Ÿ›Digital humanities
Flag this post