🔤 PLT - ghosh.debasish · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 𝕋Type Theory

arxiv.org·2d

Made a tool to compare programming languages and rank with learnings! 🖥️Systems Programming

langscompare.site·4d·r/SideProject, r/programming

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·3h·Hacker News

A brief history of C/C++ programming languages 🖥️Systems Programming

lemire.me·21h·Hacker News, r/rust

JavaScript Basics λFunctional Programming

w3schools.com·7h·DEV

WRB—Apr. 8, 2026 📝Write-Ahead Log

washingreview.com

·2d

Binary Lambda Calculus is Hard λFunctional Programming

aartaka.me·4d·r/functionalprogramming

China’s PL-17 Revealed: 400km ‘AWACS-Killer’ Missile Signals Major Shift in Global Airpower Balance 📊LLM Evaluation

lemmy.ml·21h

AI as a Trojan horse race 🤖AI Agents

lesswrong.com·2d

Jim Cramer on Planet Labs: “I Would Stay Long” 🧠Reasoning Models

finance.yahoo.com·20h

squadette/rubysyn: Rubysyn: clarifying Ruby's syntax and semantics 🔨Program Synthesis

github.com·5d

New comment by claysmithr in "Ask HN: Who wants to be hired? (April 2026)" 📚RAG

claysmith.me·2d·Hacker News

This tiny $35 adapter makes your car finally feel wireless 🔍Mechanistic Interpretability

boingboing.net·21h

Show HN: Sigil – A new programming language for AI agents 🤖Claude

news.ycombinator.com·4d·Hacker News

Tanner Horner pleaded guilty to kidnapping and killing 7-year-old Athena Strand on Tuesday. On Wednesday, video from Horner's interrogation is expected to be pl... 🖥️Systems Programming

twitter.macworks.dev

·1d

Dorothea 2025 1080p AMZN WEB-DL H264-playWEB 🌊Streaming Algorithms

rlsbb.cc·1d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions 📐Linearizability

arxiv.org·8h

C3 0.7.11: closing out the 0.7 series before 0.8 🖥️Systems Programming

c3-lang.org·3d·Hacker News, r/programming

Pressure-induced enhancement of deep-blue photoluminescence in two-dimensional hybrid organic-inorganic perovskites 🛢️Database Internals

link.aps.org·2d

Forty-Four Esolangs ∑Math

mitpress.mit.edu·6d

Loading more...