🐿️ 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

My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·2d·
Discuss: Hacker News
💎Information Crystallography
Python String Splitting
realpython.com·19h
📝Text Compression
'Make invalid states representable' considered harmful
seangoedecke.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🛡️Preservation Proofs
Clankers Die on Christmas
remyhax.xyz·1d·
Discuss: Hacker News
📝ABNF Parsing
Optimizing AI Inference on Non-GPU Architectures by Rajalakshmi Srinivasaraghavan
hackernoon.com·14h
⚡CPU Microarchitecture
ReScript's Generalized Algebraic Data Types
rescript-lang.org·4d·
Discuss: Hacker News
✅Format Verification
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·2d·
Discuss: Hacker News
🦀Rust Macros
Embedding Atlas: The Ultimate Tool for Visualizing Large Embeddings
dev.to·8h·
Discuss: DEV
🗂️Vector Databases
reDB: Go-Powered Open Source Data Mesh for Real-Time DB Interoperability
reddit.com·18h·
Discuss: r/golang
🔀CRDT
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·1d
🌳Context free grammars
Outcome-based Exploration for LLM Reasoning
arxiv.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Day 23: LLM Manager Service Layer Refactor - Consolidating Multi-Model AI Integration
dev.to·6h·
Discuss: DEV
⚙️TLA+
Enhanced SegNet with Integrated Grad-CAM for Interpretable Retinal Layer Segmentation in OCT Images
arxiv.org·5h
🤖Advanced OCR
Causal Attention with Lookahead Keys
arxiv.org·5h
🔍BitFunnel
Augmenting Human-Centered Racial Covenant Detection and Georeferencing with Plug-and-Play NLP Pipelines
arxiv.org·1d
🏛Digital humanities
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·2d
🎙️Whisper
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
GenAI Foundations – Chapter 5: Project Planning with the Generative AI Canvas
dev.to·16h·
Discuss: DEV
⚡Proof Automation
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·1d
🤐Secure Multiparty
FFmpeg 7.0+ Integer Overflow in DSCP Option Handling of FFmpeg UDP Protocol
seclists.org·1d
🧪Binary Fuzzing
Loading...Loading more...
AboutBlogChangelogRoadmap