🐿️ 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
OpenAI Researchers Have Discovered Why Language Models Hallucinate
thealgorithmicbridge.com·1d·
Discuss: Hacker News
📚Automata Learning
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
From Modular to Utility-First tailwind migration
auslake.vercel.app·1d·
Discuss: r/programming
🔄Reproducible Builds
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·1d
⚙Operational Semantics
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·1d
📚Automata Learning
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
On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
arxiv.org·1d
✓Automated Theorem Proving
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·3d·
Discuss: Hacker News
🏹Effect Systems
How To Work With Local AI in the Zed IDE
thenewstack.io·2h
📦Unikernel Systems
Predicting Fetal Outcomes from Cardiotocography Signals Using a Supervised Variational Autoencoder
arxiv.org·1d
📚Automata Learning
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·2d
🧩Parser Combinators
Graphical Quadratic Algebra
arxiv.org·6d
➡️Category Theory
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·1d
🧠Automated Reasoning
Loading...Loading more...
AboutBlogChangelogRoadmap