λ Functional Programming - hello · Scour

Evaluating different programming languages for use with LLMs

assertfail.gewalli.se·5h·

Discuss: r/programming

Exploring the Type System

gibbok.github.io·15h

📐Type Theory

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·2d

📏Linear Types

[Book] Async as coroutines for game logic

psichix.github.io·21h·

Discuss: r/rust

A Unique Performance Optimization for a 3D Geometry Language

cprimozic.net·22h·

Discuss: Lobsters, Hacker News

💠Polyhedral Compilation

BASIC Programming With No Strings Attached

hackaday.com·1d

⏭️Skip Lists

metanomad.blog·5h

🏗️Systems Design

Jane Street's Ron Minsky on the Future of Programming (2023)

signalsandthreads.com·2d·

Discuss: Hacker News

🔗Dependent Types

Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)

axiommath.ai·8h

🧮SMT Solvers

**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**

dev.to·1d·

Discuss: DEV

Functional Optics for Modern Java

blog.scottlogic.com·3d

📄FlatBuffers

Understanding Computational Graphs and Backpropagation: A Deep Dive into Deep Learning

pub.towardsai.net·1d

⚡Incremental Computation

sophiebos.io·33m

5 coding exercises that improved my problem-solving skills

howtogeek.com·1d

🎭Program Synthesis

When To Use GenAI: A Practical Decision Framework

thenewstack.io·6h

Advancing Peptide Therapeutics with PeptiVerse’s Unified Prediction Framework

cbirt.net·21h

🧬Computational Biology

samwho.dev·22h

⚖️Y-Fast Tries

Python can encode meaning directly not represent it, embody it

news.ycombinator.com·10h·

Discuss: Hacker News

💫Effect Systems

Coding Adventure: Analyzing Audio

youtube.com·5h

📡Signal Processing

The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming

doc.rust-lang.org·1d·

Discuss: Hacker News

Loading more...