Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
🔧Nickel
Flag this post
PyTorch Team Introduces Cluster Programming
i-programmer.info·7h
🌪️V8 Pipeline
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
🔧RISC-V
Flag this post
AMD Confirms RDSEED Security Flaw In Zen 5 CPUs & Details Mitigation Plan
hothardware.com·5h
🔮Speculative Execution
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·16h·
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·18h
🪜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·15h·
Discuss: DEV
🔀Control Structures
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·20h
🎮Language Ergonomics
Flag this post
LED Blinking Using Bare-Metal Register-Level Programming on STM32H-series.
reddit.com·1d·
Discuss: r/embedded
📱Bytecode Design
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·3h·
Discuss: DEV
🎭Program Synthesis
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·20h
🌊Loop Invariant Motion
Flag this post
feenkcom/gtoolkit v1.0.2284
github.com·9h
💬Error Messages
Flag this post
7 Essential Java Kafka Techniques for Building Reliable Event-Driven Systems That Scale
dev.to·1d·
Discuss: DEV
📮Message Queues
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
github.com·1d·
🌳Tree Shaking
Flag this post
[TUI] Ricing the original Rogue
github.com·5h·
🏷️Symbol Mangling
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·20h
🌱Minimal ML
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·20h
🪜Recursive Descent
Flag this post