Personal Standard Library - Generic and Type-Safe Containers
reddit.com·1d·
Discuss: r/C_Programming
🔧PLT
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·1d
🤖AI
Flag this post
A chromosome-level genome assembly of the dried fruit mite <i>Carpoglyphus lactis</i>
nature.com·4h
🔧PLT
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🔧PLT
Flag this post
Update 0.5.6 - New tutorial system!
godnoken.itch.io·9h
🤖AI
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🔧PLT
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·4h·
Discuss: r/LocalLLaMA
🔧PLT
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🪜Scala
Flag this post
Bhí RÓIS ar fheabhas anocht! Guth den scoth!
adactio.com·19h
🦀Rust
Flag this post
Engineer's Guide to Local LLMs with LLaMA.cpp on Linux
avatsaev.substack.com·11h·
Discuss: r/LocalLLaMA
📐formal specification
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧PLT
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
💻Claude
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
pvkl.nl·1d·
Discuss: r/LLM
📐formal specification
Flag this post
Go Generics: Use Cases and Patterns
dev.to·7h·
Discuss: DEV
🪜Scala
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·1d
🔧PLT
Flag this post
A File Format Uncracked for 20 Years
landaire.net·1h·
Discuss: Lobsters, Hacker News
🔍Static Analysis
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🔧PLT
Flag this post
Note
hsu.cy·19h
🔧PLT
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
🔧PLT
Flag this post