Type Theory, Lambda Calculus, Semantics, Compiler Design

How I Survived a Viral App
sh4jid.me·4h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Beginning Mathematical Logic: A Study Guide
logicmatters.net·3d·
Discuss: Hacker News
🐫Ocaml
Flag this post
Color Spaces, Bitmaps and Pumpkins
pmig96.wordpress.com·18h
🤖AI
Flag this post
Educational Byte: How to Find and Install a Fully Decentralized Node on Obyte
hackernoon.com·2d
💻Claude
Flag this post
I Found (and Fixed) a 14x Cost Bug in Airbyte's S3 Connector
wozz.io·20h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Code Rewrites Often Solve the Wrong Problem
stevenstuartm.com·2d·
Discuss: DEV
📐formal specification
Flag this post
So-called reasoning models are more efficient but not more capable than regular LLMs, study finds
the-decoder.com·1d
🤖AI
Flag this post
OWASP Cornucopia 3.0 - A call for card game designers!
dev.to·2h·
Discuss: DEV
🔍Static Analysis
Flag this post
The Illusion of Language: What Directives Really Are
dev.to·4d·
Discuss: DEV
🔍Static Analysis
Flag this post
Show HN: Autogenerate efficient backward kernels for Triton
github.com·2d·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
After 2 months of coding, debugging, and second-guessing myself… my first product is live 🎉
reddit.com·2d·
Discuss: r/webdev
🤖AI
Flag this post
The Indie Path
dev.to·1d·
Discuss: DEV
🪜Scala
Flag this post
Grizzlies coach Tuomas Iisalo slams team's effort after 36-point loss to Celtics
nytimes.com·9h
🦀Rust
Flag this post
I Built 3 Full-Stack Clones in 3 Months — But I’m Not a “Real Coder” (Yet). Roast Me.
dev.to·10h·
Discuss: DEV
🔍Static Analysis
Flag this post
Super Bowl odds: Here come the Los Angeles Rams!
nytimes.com·1d
🦀Rust
Flag this post
Build a PDF Generation Engine with Next.js, Puppeteer, and Strapi
dev.to·1h·
Discuss: DEV
📐formal specification
Flag this post
Large Language Models Develop Novel Social Biases Through Adaptive Exploration
arxiv.org·2d
🔄Concurrency Models
Flag this post
How to build your own AI Coding assistant
dev.to·4h·
Discuss: DEV
🤖AI
Flag this post
AdvisingWise: Supporting Academic Advising in Higher Educations Through a Human-in-the-Loop Multi-Agent Framework
arxiv.org·2d
🤖AI
Flag this post
A Tixu.ai Case Study: Deconstructing a Student's AI Pipeline That Replaced a 10-Hour Meeting
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post