🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

NJ/NY Gotham FC shock Kansas City Current in huge NWSL Playoffs upset, advance to semifinals
cbssports.com·2h
🪜Scala
Flag this post
Handbook of Biological Statistics
biostathandbook.com·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Codeminer42 Dev Weekly #86
blog.codeminer42.com·2d
🔍Static Analysis
Flag this post
Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust
blogger.com·3d
🦀Rust
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·3d·
Discuss: Substack
📐formal specification
Flag this post
exclusions in memory_user_edits are non-binding
reddit.com·3h·
Discuss: r/ClaudeAI
💻Claude
Flag this post
Claude vs ChatGPT vs Gemini: Why Anthropic’s AI Outcodes the Rest?
dev.to·6h·
Discuss: DEV
🤖AI
Flag this post
Predictive Maintenance Optimization for Autonomous Underwater Vehicle (AUV) Fleets in Coastal Maritime Metaverse Environments
dev.to·7h·
Discuss: DEV
🔍Static Analysis
Flag this post
What we learned running the industry’s first AI code review benchmark
devinterrupted.substack.com·2d·
Discuss: r/programming
🔍Static Analysis
Flag this post
Help me understand why the print! is executing after taking the input.
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Rasterizer Project - Part: BASIC_END
dev.to·2d·
Discuss: DEV
🐫Ocaml
Flag this post
Modeling Clinical Uncertainty in Radiology Reports: from Explicit Uncertainty Markers to Implicit Reasoning Pathways
arxiv.org·2d
🔍Static Analysis
Flag this post
**Bias-Free Data Curation: A Crucial Step in AI Ethics**
dev.to·3d·
Discuss: DEV
🤖AI
Flag this post
Wiener process-assisted online remaining useful life prediction with deep incremental regression transfer learning
sciencedirect.com·7h
🐫Ocaml
Flag this post
Agent Foundations: Paradigmatizing in Math and Science
lesswrong.com·1d
🔄Concurrency Models
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·2h·
Discuss: DEV
🔍Static Analysis
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
An anomaly detection method for gas turbines in power plants using conditional variational autoencoder optimized with self-attention
sciencedirect.com·1d
🪜Scala
Flag this post