Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
🔧Nickel
Flag this post
PyTorch Team Introduces Cluster Programming
i-programmer.info·10h
🌪️V8 Pipeline
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
🔧RISC-V
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·14h·
Discuss: Hacker News
📈Earley Parsing
Flag this post
AMD Confirms RDSEED Security Flaw In Zen 5 CPUs & Details Mitigation Plan
hothardware.com·7h
🔮Speculative Execution
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·19h·
Discuss: Hacker News
🔢Algebraic Datatypes
Flag this post
Make Cargo & Rust Analyzer Nice to Keep Your Machine Snappy
positron.solutions·2d·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
Post-training methods for language models
developers.redhat.com·21h
🪜Recursive Descent
Flag this post
GIL and Race Condition in Python
dev.to·2d·
Discuss: DEV
🔗Concurrency Primitives
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·17h·
Discuss: DEV
🔀Control Structures
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·23h
🪜Recursive Descent
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·23h
🪜Recursive Descent
Flag this post
Help with local AI
reddit.com·4h·
Discuss: r/LocalLLaMA
📏Linear Memory
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·8h·
Discuss: Hacker News
🎯99-Line Tools
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
dev.to·1h·
Discuss: DEV
Tokenizer Benchmarks
Flag this post
Don't nuke your test ENVs
dev.to·1h·
Discuss: DEV
🎲Test Generators
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·9h·
Discuss: DEV
📝Rope Editors
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
vibe.forem.com·15h·
Discuss: DEV
🎭Program Synthesis
Flag this post