abnv's Top FindsLoading...
Terminal vs. Command Line vs. Shell vs. Console: Are They Really Different?
howtogeek.com·2h
💻Terminal Control
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
From Text to Token: How Tokenization Pipelines Work
paradedb.com·1d
🔍Tokenizers
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
English - the hottest programming language of the future
dev.to·19h·
Discuss: DEV
🎮Language Ergonomics
Functions are Asymmetric
elbeno.com·15h
😴Lazy Evaluation
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
⚡functional programming
User-Defined Formatting in std::format
accu.org·10h·
Discuss: r/cpp
✨Code Formatters
Review: Systems Performance
kuniga.me·1d
📊perf Tools
Building the Reasoning Engine at Axiom
axiommath.ai·17h·
Discuss: Hacker News
🎭Program Synthesis
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·15h·
Discuss: Hacker News
🔧Scheme Macros
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·12h·
Discuss: Hacker News
🪜Recursive Descent
Benchmarking LLM Inference on RTX 4090 / RTX 5090 / RTX PRO 6000 #2
reddit.com·19h·
Discuss: r/LocalLLaMA
⚡Performance
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·23h·
Discuss: Hacker News
📡Erlang BEAM
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·5h·
Discuss: Hacker News
⚡Partial Evaluation
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·3h·
Discuss: Lobsters, Hacker News
📡Network Serialization
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
mrcjkb/rustaceanvim
github.com·11h
🦀MIR Optimization
The Chip That Spoke Lisp
jxself.org·4d
🖥️Lisp Machines
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
⚡Interpreter Optimization