🔗 Dependent Types - nmarshall · Scour

Managing dependencies in non-manifest languages 🔨Build Systems

news.ycombinator.com·17h·Hacker News

Changes, New Features, and Fixes 🔨Compilers

gcc.gnu.org·1d·Lobsters, Hacker News, r/cpp

Constraints That Compute: A Unified Framework for Efficient Intelligence from Prime Harmonics to Latent Reasoning 🧩Constraint Programming

zenodo.org·22h·Hacker News

Intuitive concurrent programming in any language ⚙️Concurrency Models

lf-lang.org·6d

Metro Hits 1.0.0 – Compile-Time Dependency Injection Framework for Kotlin 🦋Tauri

github.com·12h·Hacker News

Breaking ten years of API compatibility 🔄C to Rust Translation

futhark-lang.org·2d·Lobsters, Hacker News

Porting microgpt to Futhark, Part I 🔵Unikernels

kmjn.org·1d·Lobsters, Hacker News

Clojure on Fennel part three: parsing 🦀Rust Macros

andreyor.st·3d·Hacker News

Hebbian-Robotics/openpi-flash: Real-time inference engine for openpi 🏗️AI Infrastructure

github.com·8h·Hacker News

Structured Generation for Tool Calling 🛠️tools

blog.dottxt.ai·1d·Hacker News

Tries for Polynomials ∀Lean4

doisinkidney.com·3d·Lobsters

A Grounded Conceptual Model for Ownership Types in Rust 🔌Embedded Rust

dl.acm.org·1d·Lobsters, Hacker News

ferreirafabio/autoresearch-automl: Can LLMs beat classical HPO? A benchmark comparing classical, LLM-based, and hybrid methods on Karpathy's autoresearch. 💻Local LLMs

github.com·10h·Hacker News

The Final Form of Software Development ∀Lean4

blog.zksecurity.xyz·2d·Lobsters, Hacker News

Lambda Calculus Benchmark for AI 🏗️AI Infrastructure

victortaelin.github.io·6d·Hacker News

AdaExplore: Search for Efficient Kernel Generation 🔍Query Compilers

stiglidu.github.io·2d·Hacker News

Principia Softwarica: Fundamental Literate System Programs 🤖AI Coding Tools

principia-softwarica.org·4d·Hacker News

C++26: String and String_view Improvements λFunctional Programming

sandordargo.com·2d·Lobsters, Hacker News, r/cpp

Why I Still Reach for Lisp and Scheme Instead of Haskell λFunctional Programming

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Building Semantic Version Control in Rust 🦀Rust Macros

therohansharma.com·5d·Hacker News

Log in to enable infinite scrolling