Best tool for measuring lots of source code
shape-of-code.com·2d
💻Programming languages
Flag this post
Issue 496
haskellweekly.news·5d
🔗Functional Compilers
Flag this post
On Async Mutexes
🧠Program Logic
Flag this post
Roadmap for Improving the Type Checker
💧Liquid Types
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🧪Binary Fuzzing
Flag this post
Can LLMs subtract numbers?
arxiv.org·1h
💻Local LLMs
Flag this post
Prog8
🔩Systems Programming
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1h
🛡️eBPF Security
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·4d
⚡Proof Automation
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1d
📊Learned Metrics
Flag this post
Rust 1.91.0 released
lwn.net·5d
🦀Embedded Rust
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
⚙️Batch Processing
Flag this post
My first day in Rust
🦀Rust Borrowing
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🦀Rust Macros
Flag this post
Loading...Loading more...