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

Combinatory Logic, Church Encoding, Beta Reduction, Type Theory

How to Use Promise.any(): When First Success Is Enough
jsdevspace.substack.com·2d·
Discuss: Substack
👁️System Observability
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
👁️System Observability
Tyromancy (Telling the future using cheese)
en.wikipedia.org·2d·
Discuss: Hacker News
➡️Category Theory
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Single-Shot Decoding of Biased-Tailored Quantum LDPC Codes
arxiv.org·1d
🛡️seL4
The Last Programmers
xipu.li·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com·6d
📝Term Rewriting
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
Topological Regularization for Force Prediction in Active Particle Suspension with EGNN and Persistent Homology
arxiv.org·1d
➡️Category Theory
From Modular to Utility-First tailwind migration
auslake.vercel.app·1d·
Discuss: r/programming
🔄Reproducible Builds
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
AraHalluEval: A Fine-grained Hallucination Evaluation Framework for Arabic LLMs
arxiv.org·2d
🧩Parser Combinators
D-HUMOR: Dark Humor Understanding via Multimodal Open-ended Reasoning
arxiv.org·1d
🧩Parser Combinators
ShapeSplat: A Large-scale Dataset of Gaussian Splats and Their Self-Supervised Pretraining
arxiv.org·1d
🧩Parser Combinators
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·1d
⚙Operational Semantics
On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
arxiv.org·1d
✓Automated Theorem Proving
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·1d
📚Automata Learning
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·3d·
Discuss: Hacker News
🏹Effect Systems
Loading...Loading more...
AboutBlogChangelogRoadmap