📦 Allocation Elision - abnv · Scour

anglesmorts.org·2d

🔗Lexical Scoping

Expectation and Copysets

buttondown.com·2d·

Discuss: Hacker News, Hacker News

🔢Algebraic Datatypes

31-year old VT220 terminfo curses bug

lists.gnu.org·3d·

Discuss: Hacker News

💬Error Messages

Lazy-pulling containers: 65x faster pulls, but 20x slower readiness

blog.zmalik.dev·3d·

Discuss: Hacker News

2026-02-09 Emacs news

sachachua.com·2d

💬Interactive REPLs

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

📜Proof Languages

Python's Dynamic Typing Problem

whileforloop.com·1d·

Discuss: Hacker News, r/programming

🌊Gradual Typing

Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED

virtuallyfun.com·3d

💬Error Messages

eVer: Universal and Automated Verification of Side-Channel Security for Additive, Inner Product, Polynomial and General Code-Based Masking

eprint.iacr.org·2d

📏Linear Memory

C and Undefined Behaviour

lelanthran.com·3d·

Discuss: Hacker News, r/C_Programming, r/programming

🌊Gradual Effects

LLVM 22.1-rc3 Released - LLVM To Provide Windows ARM Release Binaries Moving Forward

phoronix.com·1d

💪ARM64 Backend

Single prompt breaks AI safety in 15 major language models

infoworld.com·1d

🌊Gradual Effects

New comment by anonymous908213 in "What functional programmers get wrong about systems"

news.ycombinator.com·1d·

Discuss: Hacker News

🚂Error Monads

Nearly-Linear Time Seeded Extractors with Short Seeds

arxiv.org·1d

🌲Deforestation

The Adventures of a Pythonista in Schemeland/27

artima.com·4d

🔧Scheme Macros

How I Analyzed $107K Jupiter Lend Before Contest Starts

dev.to·3d·

Discuss: DEV

🔒Rust Borrowing

Performance Tip of the Week #64: More Moore with better API design

abseil.io·4d

⚡Interpreter Optimization

n8n-io/n8n n8n@2.7.4

github.com·12h

🤖Embedded Go

ELA-1642-1 python3.7 security update

freexian.com·1d

🛡️Parser Security

JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)

arxiv.org·20h

🚚Code Migration

Loading more...