🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Encodings

Church Numerals, SKI Combinators, Functional Programming, Type Theory

22.00.0127 Tags are dumb. I'm going to fix tags
johnnydecimal.com·1d
🔍Archive Semantics
Three Ingredients of the Most Efficient Financial Portfolios
portfoliocharts.com·23h·
Discuss: Hacker News
📇Indexing Strategies
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·4d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·3h·
Discuss: Hacker News, r/programming
❄️Nix Flakes
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·4d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
Trillion Dollar Elephants
dbushell.com·5h·
Discuss: Hacker News
🌳Archive Merkle Trees
The canonical agent architecture: A while loop with tools
braintrust.dev·1d·
Discuss: Hacker News
⚙️TLA+
VaccineRAG: Boosting Multimodal Large Language Models' Immunity to Harmful RAG Samples
arxiv.org·10h
🎙️Whisper
What is a quantum computer's speed limit? Entanglement can provide an answer
phys.org·3h
⚛️Quantum Tape
Cargo-remark: view LLVM optimization remarks for Rust
github.com·18h·
Discuss: Hacker News
🦀Rust Macros
FlashAttention by hand
dev.to·2d·
Discuss: DEV
⚡SIMD Vectorization
Hyper-Secure Federated Learning for Resilient 6G Spectrum Management via Dynamic Provenance Tracking
dev.to·1d·
Discuss: DEV
🎵Spectral Hashing
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·10h
🔲Cellular Automata
Energy Landscapes Enable Reliable Abstention in Retrieval-Augmented Large Language Models for Healthcare
arxiv.org·10h
🔍Information Retrieval
Can Coding Be Both Lossless and Private?
hackernoon.com·5d
🔐Privacy Codecs
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·3d·
Discuss: Hacker News
📊Quantization
Integrating upstream and downstream reciprocity stabilizes cooperator-defector coexistence in N-player giving games
arxiv.org·10h
🔲Cellular Automata
FIRST-Tech-Challenge/FtcRobotController
github.com·12h
🔓Open Source Software
Histogram Driven Amplitude Embedding for Qubit Efficient Quantum Image Compression
arxiv.org·10h
⚛️Quantum Compression
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·4d
⏰Temporal Logic
Loading...Loading more...
AboutBlogChangelogRoadmap