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

2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·4h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
An Etymological Knockout
blog.oup.com·10h·
Discuss: Hacker News
🔤Morphological Analysis
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·1d
🧮Kolmogorov Bounds
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·3d
💾Binary Linguistics
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·12h·
Discuss: Hacker News, r/programming
⚡Redis Internals
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·17h
📐Interval Arithmetic
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·7h
⚡Proof Automation
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
📐Mathematical Art
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·5d·
Discuss: Hacker News
🌐Computational Topology
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·1h
⚖️Feed Ranking
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1h
🧮Kolmogorov Complexity
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·16h·
Discuss: DEV
📝Concrete Syntax
Enabling Rapid Genomic Analysis with Illumina Dragen on Amazon EC2 F2 Instances
aws.amazon.com·1d·
Discuss: Hacker News
⚙️Compression Benchmarking
The C3 Programming Language
c3-lang.org·1d·
Discuss: Hacker News
💧Liquid Types
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·21h·
Discuss: Hacker News
🌀Brotli Internals
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap