Type Theory, Lambda Calculus, Semantics, Compiler Design

A Guide: Frugality in Offline Events
christophedujarric.com·9h
📐formal specification
Flag this post
Rendering Samples with Showcase for Ruby on Rails
blog.appsignal.com·1d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Israel says militants in Gaza have handed over to the Red Cross a body believed to be a hostage
independent.co.uk·1h
🦀Rust
Flag this post
Gossip: A Web-Based Interface for Concise and Impressive Presentations
medium.com·1d·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
One post two days
reddit.com·3h·
Discuss: r/MoroccoLGBT
🦀Rust
Flag this post
Entropic Minimization of Cognitive Load" (EMCL) Theory
reddit.com·19h·
Discuss: r/compsci
🔄Concurrency Models
Flag this post
Yet another redundant workflow engine
github.com·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Code Coverage Testing in Autotools
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
Day 32: Python Temperature Converter, Switch Between Fahrenheit and Celsius with Inputs
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
OOP Under the Hood: Prototypes, new, and More
dev.to·1d·
Discuss: DEV
💻Claude
Flag this post
I just shipped v2.0 of Frontend Master Prep Series — 1,020+ Q&A + 185 coding problems + 600 flashcards
github.com·3d·
Discuss: DEV
🔍Static Analysis
Flag this post
A non-canonical lymphoblast in refractory childhood T-cell leukaemia
nature.com·1d
🐫Ocaml
Flag this post
Minimal and Mechanistic Conditions for Behavioral Self-Awareness in LLMs
arxiv.org·3d
🔄Concurrency Models
Flag this post
Production-Ready AI Agents: 8 Patterns That Actually Work (with Real Examples from Bank of America…
pub.towardsai.net·6h
📐formal specification
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.org·3d
🪜Scala
Flag this post
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
arxiv.org·2d
🔄Concurrency Models
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.org·2d
🤖AI
Flag this post
DARN: Dynamic Adaptive Regularization Networks for Efficient and Robust Foundation Model Adaptation
arxiv.org·3d
🦀Rust
Flag this post
The GFPV Stack My Indie Developer’s Technical
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post