abnv's Top FindsLoading...
Functions are Asymmetric
elbeno.com·1h
😴Lazy Evaluation
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
🎭Program Synthesis
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🔧Scheme Macros
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
📡Erlang BEAM
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
λLambda Calculus
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
⚡Interpreter Optimization
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
🚂Error Propagation
The Chip That Spoke Lisp
jxself.org·3d
🖥️Lisp Machines
Cactus Language • Semantics 3
inquiryintoinquiry.com·8h
📋Backus-Naur Form
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·13h
✨Effect Inference
Dynamic Package Version Management: Implementing a Custom Versioning Strategy for Node.js Applications
dev.to·9h·
Discuss: DEV
📦Package Managers
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🎮Language Ergonomics
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Rewriting the Codebase: repo-contextr’s Week 6 Refactor Journey
dev.to·1h·
Discuss: DEV
🚚Code Migration
Indexing, Hashing & Query Optimization in SQL — A Practical Guide
dev.to·2d·
Discuss: DEV
📈Query Optimization
Understanding Web and Internet Fundamentals
dev.to·10h·
Discuss: DEV
🌍Minimal HTTP
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
📋Task Queues
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Unforgettable factory revisited
holyblackcat.github.io·19h·
Discuss: r/cpp
🪆Embedded DSLs
CLI tool that translates plain English into Linux commands
reddit.com·8h·
Discuss: r/linux
🐚Shell Languages
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·19h·
Discuss: DEV
📡Erlang BEAM