🎯 Hindley-Milner - hello · Scour

Post-Quantum HAWK Signature Acceleration with RISC-V-Based Hardware-Software Co-Design ⚡Hardware Acceleration

eprint.iacr.org·5d

May Week 4 📦Folly

i-programmer.info·2d

Evading Von Neumann λFunctional Programming

deprogrammaticaipsum.com·1d

Spencer Pratt says his policy will force homeless out of LA and into cities like Seattle ✏️Sketch Algorithms

Authorization for AI agents: What to build before the EU AI Act deadline 🛡️AI Security

cerbos.dev·18h·Hacker News

Fixed Income Outlook Q2 2026 📉Time Series

seekingalpha.com

·3d

Original Star Wars Editor And Saga’s ‘Secret Weapon’ Marcia Lucas Passes Away 🐚Shell Scripting

New comment by Zak in "Ask HN: Who wants to be hired? (June 2026)" 📝NLP

github.com·9h·Hacker News

New comment by klntsky in "Ask HN: Who wants to be hired? (June 2026)" 📝NLP

news.ycombinator.com·9h·Hacker News

Blorp Language 🍱Nom

blorp-lang.org·1d·Lobsters, Hacker News

Emergent Transfer of a Physics Foundation Model from Simulation to Laboratory Turbulence 🎲Deterministic Simulation

QBE - Compiler Backend: Version 1.3 🔨Incremental Compilation

c9x.me·19h·Lobsters, Hacker News

Futhark 0.26.3 released - now with property-based testing 🎲Quickcheck

futhark-lang.org·6d

Dhall-to-Effect: Provably Safe Task Orchestration via Total Functional Configuration and Purely Functional Runtimes 🔍KLEE

dev.to·4h·DEV

Functional Programming: The Good Parts λFunctional Programming

deprogrammaticaipsum.com·1d

Social Programming Language Constructs 🔨Compiler Design

jimmyhmiller.com·16h·Hacker News, r/programming

Montana's Summer Tech Conference 🔧DevOps

bigskydevconf.com·5d·r/htmx

A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more! 📏Linear Types

federicobruzzone.github.io·5d·Hacker News

Innventure (INV) Q4 2025 Earnings Transcript 📝Write-Ahead Logging

finance.yahoo.com·3d

Introduction to Hylo 🔗Dependent Types

hylo-lang.org·4d·Hacker News

Log in to enable infinite scrolling