haskell/mtl
github.com·1d
🔗Functional Compilers
Notes on writing a monovocalic sonnet
muppetlabs.com·1d·
Discuss: Hacker News
🔗Concatenative Languages
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·13h·
Discuss: r/golang
🦀Rust Macros
Hallucination Detection with the Internal Layers of LLMs
arxiv.org·1h
💻Local LLMs
AssoCiAm: A Benchmark for Evaluating Association Thinking while Circumventing Ambiguity
arxiv.org·1d
🌳Context free grammars
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·1d
🎯Performance Proofs
Benchmarking Humans and AI in Contract Drafting
legalbenchmarks.ai·18h·
Discuss: Hacker News
Proof Automation
Benchmark code for evaluating different ASR packages and APIs
github.com·19h·
Discuss: Hacker News
🎙️Whisper
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
⚔️Lean Tactics
From Legal Documents to Knowledge Graphs
neo4j.com·5d·
Discuss: Hacker News
📋Document Grammar
Compiling with Continuations
swatson555.github.io·2d·
Discuss: Hacker News
💻Programming languages
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·1d
🚀SIMD Text Processing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·3d·
Discuss: Hacker News
λLambda Encodings
AToken: A Unified Tokenizer for Vision
arxiv.org·1h
👁️Constructive OCR
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·2d·
Discuss: Substack
📐Proof Assistants
Advancing Conversational AI with Shona Slang: A Dataset and Hybrid Model for Digital Inclusion
arxiv.org·1h
🎙️Whisper
Empathy-R1: A Chain-of-Empathy and Reinforcement Learning Framework for Long-Form Mental Health Support
arxiv.org·1h
🎙️Whisper
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·2d
💻Local LLMs
The Bayesian SIAC filter
arxiv.org·1h
🧠Machine Learning
Evaluating Large Language Models for Cross-Lingual Retrieval
arxiv.org·1h
🎯Retrieval Systems