🎯 Hindley-Milner - hello · Scour

Dada: moves and mutation

smallcultfollowing.com·2d

🦀Rust Macros

Even hotter take - multi parameter type classes (what in Rust you’d conceive of as traits with generics) were a mistake

bsky.app·2d·

Discuss: Bluesky

An approach to reducing prompt size, drift, and governance risk in LLM-based systems

qu3ry.net·2d·

Discuss: r/LLM

⏱️Temporal Workflow

#632, Feburary 9th 2026

llvmweekly.org·2d

Steering Reaction Flux by Coupling Product Channels

link.aps.org·1d

Malicious Private Set Union with Two-Sided Output

eprint.iacr.org·3d

🔢Homomorphic Encryption

Coverage tooling for AI

natemeyvis.com·3d

💬Prompt Engineering

User:Yayimhere/Cleverxia Collab

esolangs.org·2d

The distinct generative models

breno.bearblog.dev·3d

The Illusion of AGI, or What Language Models Can Do Without Thought

techpolicy.press·2d

💬Prompt Engineering

Learning Coupled Actions of Lie Groups: Kuramoto Models for Robotics and Hyperbolic Data

hackernoon.com·2d

📐Computational Geometry

From Simple RAG to Agentic RAG: Unlocking Smarter AI Workflows as an AI Engineer

pub.towardsai.net·3d

An introduction to lockless algorithms [LWN.net]

lwn.net·2d

🔓Lock-Free Programming

The Immutable Ledger: Data Integrity Through TypeScript & Design Patterns

dev.to·2d·

Discuss: DEV

🌳Merkle Trees

Python Typing vs. TypeScript

dev.to·1d·

Discuss: DEV

Amiga GadTools Library

wiki.amigaos.net·1d·

Discuss: Hacker News

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·1d

👻Phantom Types

We hid backdoors in binaries – Opus 4.6 found 49% of them

quesma.com·1d·

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

🔓Binary Exploitation

Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)

0xlang.com·1d·

Discuss: Hacker News

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]

sjalander.com·2d·

Discuss: Hacker News

Loading more...