Type Theory, Lambda Calculus, Semantics, Compiler Design

Handbook of Biological Statistics
biostathandbook.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Static Analysis
Flag this post
I replaced NotebookLM with Gistr for a week, and it wasn't what I expected
xda-developers.comΒ·10h
πŸ€–AI
Flag this post
Angular Isn’t Just About Code β€” It’s About Discipline
linkedin.comΒ·19hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust
blogger.comΒ·3d
πŸ¦€Rust
Flag this post
Coding on Paper
thepalindrome.orgΒ·3dΒ·
Discuss: Hacker News
πŸ”Static Analysis
Flag this post
exclusions in memory_user_edits are non-binding
reddit.comΒ·6hΒ·
Discuss: r/ClaudeAI
πŸ’»Claude
Flag this post
Claude vs ChatGPT vs Gemini: Why Anthropic’s AI Outcodes the Rest?
dev.toΒ·8hΒ·
Discuss: DEV
πŸ€–AI
Flag this post
Rasterizer Project - Part: BASIC_END
dev.toΒ·2dΒ·
Discuss: DEV
🐫Ocaml
Flag this post
Seeking Your Feedback on a No-Code AI Data Processing Tool!
reddit.comΒ·13hΒ·
Discuss: r/compsci
πŸ€–AI
Flag this post
Testing While Developing (Part 5): Collecting Coverage
dev.toΒ·2hΒ·
Discuss: DEV
πŸ“formal specification
Flag this post
Micah Parsons trade came with 'poison pill' blocking potential deals to NFC East: Source
nytimes.comΒ·9h
🐫Ocaml
Flag this post
Real-Time Aircraft Fatigue Crack Detection via Multi-Modal Sensor Fusion & Bayesian Deep Learning
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.orgΒ·3dΒ·
Discuss: Hacker News
πŸͺœScala
Flag this post
Which platform should I start with? (STM, PIC, AVR, etc)
reddit.comΒ·1dΒ·
Discuss: r/embedded
πŸ“formal specification
Flag this post
My Big "Aha!" Moment: What is a Decision Tree?
dev.toΒ·5hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
How to use the matches! Macro Pattern Matching
dev.toΒ·5dΒ·
Discuss: DEV
πŸͺœScala
Flag this post
I paired NotebookLM with my local LLM, and it's been a surprising game-changer
xda-developers.comΒ·1d
πŸ“formal specification
Flag this post