Discrete Mathematics Without Formulas – Lectures Without a Board
archive.org·1d·
Discuss: Hacker News
📐Mathematical Computing
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·19h
🎮Language Ergonomics
🎲 Encrypted container
0ut3r.space·15h
💻Terminal Emulators
Large Language Model Integration Services
alluringinfotech.com·1h·
Discuss: DEV
📊LR Parsing
Underrated Postgres: Build Multi-Tenancy with Row-Level Security
simplyblock.io·21h·
Discuss: Hacker News
🔄Copy Propagation
Omittable — Solving the Ambiguity of Null
committing-crimes.com·1d·
Discuss: r/programming
🗂️Type Indexing
Hallucination Detection with the Internal Layers of LLMs
arxiv.org·3h
🪜Recursive Descent
📣 Just announced: IBM Granite-Docling: End-to-end document understanding with one tiny model
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Algebraic Types are not Scary
blog.aiono.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·14h·
Discuss: Hacker News
💬Interactive REPLs
Assessing Historical Structural Oppression Worldwide via Rule-Guided Prompting of Large Language Models
arxiv.org·3h
🌱Minimal ML
Speculative framework: combining vortex math, octave layering, and sacred geometry for computational models”
reddit.com·1d·
Discuss: r/compsci
🔮Type Inference Visualization
The Bayesian SIAC filter
arxiv.org·3h
✨Effect Inference
Python 3.14.0rc3 is go!
pythoninsider.blogspot.com·18h·
Discuss: Lobsters
🌊Gradual Typing
Tokenization Strategies for Low-Resource Agglutinative Languages in Word2Vec: Case Study on Turkish and Finnish
arxiv.org·3h
⚡Tokenizer Benchmarks
Generative Lit Notes Library and auto-excerpt extractor
reddit.com·2h·
Discuss: r/ObsidianMD
💬Interactive REPLs
A formal proof of C∞ISRT
bsky.app·4d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·4d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·1d
🛡️Parser Security
Evaluating Large Language Models for Cross-Lingual Retrieval
arxiv.org·3h
📊LR Parsing