Type Theory, Lambda Calculus, Semantics, Compiler Design

Learning REDUCE in Excel completely changed how I use spreadsheets
makeuseof.comยท1d
๐ŸชœScala
Flag this post
Ubuntu Blog: Generating color palettes for design systems โ€ฆ inspired by APCA!
ubuntu.comยท2d
๐Ÿค–AI
Flag this post
Bits and Pieces from My Life 1.
el-lamento-de-orfeo.bearblog.devยท1d
๐ŸซOcaml
Flag this post
The Skill Gap Nobody Talks About: Communication in Tech Teams
linkedin.comยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
baidu/ERNIE-4.5-VL-28B-A3B-Thinking released. Curious case..
huggingface.coยท1dยท
Discuss: r/LocalLLaMA
๐Ÿค–AI
Flag this post
Crumsort and Quadsort in C++
github.comยท2dยท
Discuss: r/cpp
๐ŸชœScala
Flag this post
Windows ARM Goes Tier 1
weeklyrust.substack.comยท2dยท
Discuss: Substack
๐Ÿฆ€Rust
Flag this post
Ask HN: Does "semantic sync" pain resonate? Looking for examples
news.ycombinator.comยท16hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
GPT-5-mini gave me its system prompt (after a bit of manpulation).
reddit.comยท1dยท
Discuss: r/ChatGPT
๐Ÿค–AI
Flag this post
High-Dimensional Asymptotics of Differentially Private PCA
arxiv.orgยท1d
๐Ÿ”Static Analysis
Flag this post
A Diffusion Model to Shrink Proteins While Maintaining Their Function
arxiv.orgยท1d
๐ŸซOcaml
Flag this post
Why Language Models Are โ€œLost in the Middleโ€
pub.towardsai.netยท1d
๐Ÿค–AI
Flag this post
SPOT: An Annotated French Corpus and Benchmark for Detecting Critical Interventions in Online Conversations
arxiv.orgยท1d
๐Ÿ’ปClaude
Flag this post
AI-Driven Microfluidic Optimization for High-Throughput Single-Cell Protein Production
dev.toยท1dยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post
Man gets drunk, vibe codes AI Only forum.
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Privacy-Preserving Active Learning for circular manufacturing supply chains for extreme data sparsity scenarios
dev.toยท1dยท
Discuss: DEV
๐ŸชœScala
Flag this post
Aligning Attention with Human Rationales for Self-Explaining Hate Speech Detection
arxiv.orgยท1d
๐Ÿ”Static Analysis
Flag this post
Toward Robust EEG-based Intention Decoding during Misarticulated Speech in Aphasia
arxiv.orgยท14h
๐Ÿค–AI
Flag this post
ROAR: Robust Accident Recognition and Anticipation for Autonomous Driving
arxiv.orgยท1d
๐Ÿ”Static Analysis
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.orgยท5dยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post