Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·23h
🔄Burrows-Wheeler
From Drawings to Decisions: A Hybrid Vision-Language Framework for Parsing 2D Engineering Drawings into Structured Manufacturing Knowledge
arxiv.org·1d
⟷Bidirectional Programming
Explaining software and computational methods
blog.khinsen.net·20h
📝Concrete Syntax
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Unfolding the Past: A Comprehensive Deep Learning Approach to Analyzing Incunabula Pages
arxiv.org·1d
🤖Manuscript AI
Connect Claude AI with Obsidian: A Game-Changer for Knowledge Management 🚀
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·6h·
Discuss: DEV
🧠Machine Learning
Capturing my handwriting in a searchable digital format – the long way round
colinramsay.co.uk·1d·
Discuss: Hacker News
📲Digitization
Billiard Fractals from floor(k·√2) mod 2 – visualizing symbolic sequences
github.com·2d·
Discuss: Hacker News
📐Mathematical Art
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Algebraic Structures in Microtonal Music
arxiv.org·1d
🎼Audio Lambda Calculus
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·23h·
Discuss: Hacker News
🕸️WebP Analysis
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·16h
🧠Intelligence Compression
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Learning Lineage Constraints for Data Science Operations
arxiv.org·1d
🏺Database Archaeology