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

Decoding a Specialized E-bike FIT file
shallowsky.com·6h
🔓Reverse engineering
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·2d·
Discuss: Hacker News
💎Information Crystallography
Free sudoku game with evil, and extreme killer difficulty levels
minisudoku.online·5h·
Discuss: Hacker News
🔲Cellular Automata
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
🕸️Graph Algorithms
'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·10h
⚡CPU Microarchitecture
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·7h
🔍Concolic Testing
Chef-ai-project: Keeping API Tokens Safe in React
dev.to·1h·
Discuss: DEV
📜Proof Carrying Code
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·2d·
Discuss: Hacker News
🦀Rust Macros
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·1d
⚡Proof Automation
reDB: Go-Powered Open Source Data Mesh for Real-Time DB Interoperability
reddit.com·14h·
Discuss: r/golang
🔀CRDT
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·1d
🌍Cultural Algorithms
An Analysis of Layer-Freezing Strategies for Enhanced Transfer Learning in YOLO Architectures
arxiv.org·1d
🧮Kolmogorov Bounds
DEPF: A UAV Multispectral Object Detector with Dual-Domain Enhancement and Priority-Guided Mamba Fusion
arxiv.org·1h
👁️OCR Enhancement
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🕸️Tensor Networks
Circular Imports in Python: The Architecture Killer That Breaks Production
dev.to·1d·
Discuss: DEV
💧Liquid Types
Evaluating NL2SQL via SQL2NL
arxiv.org·2d
🧠Query Planners
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
Loading...Loading more...
AboutBlogChangelogRoadmap