Discrete Mathematics Without Formulas – Lectures Without a Board
archive.org·1d·
Discuss: Hacker News
📐Mathematical Computing
How I Secured PHI in ETL Pipelines While Powering AI in Snowflake
hackernoon.com·8h
✨Gleam
The Most Strict #ProgrammingLanguage @KevlinHenney Has Ever Used: #occam
youtube.com·1d
🎮Language Ergonomics
Who (or what) could have written a better book?
noncommutativeanalysis.wordpress.com·3h
🔬programming language theory
🎲 Encrypted container
0ut3r.space·21h
💻Terminal Emulators
Large Language Model Integration Services
alluringinfotech.com·7h·
Discuss: DEV
📊LR Parsing
Algebraic Types are not Scary
blog.aiono.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Assessing Historical Structural Oppression Worldwide via Rule-Guided Prompting of Large Language Models
arxiv.org·9h
🌱Minimal ML
The Bayesian SIAC filter
arxiv.org·9h
✨Effect Inference
"Pastor Selfie," an attempt to evangelize LessWrong concepts on social media.
lesswrong.com·34m
λLambda Calculus
Tokenization Strategies for Low-Resource Agglutinative Languages in Word2Vec: Case Study on Turkish and Finnish
arxiv.org·9h
⚡Tokenizer Benchmarks
Speculative framework: combining vortex math, octave layering, and sacred geometry for computational models”
reddit.com·1d·
Discuss: r/compsci
🔮Type Inference Visualization
Generative Lit Notes Library and auto-excerpt extractor
reddit.com·8h·
Discuss: r/ObsidianMD
💬Interactive REPLs
A formal proof of C∞ISRT
bsky.app·5d·
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·2d
🛡️Parser Security
Evaluating Large Language Models for Cross-Lingual Retrieval
arxiv.org·9h
📊LR Parsing
Reactant.jl – Julia execution code on GPUs
github.com·1d·
Discuss: Hacker News
🔮Clojure
Amelie 0.6.0 is out: Redesigned Group Commit and major IPC improvements
github.com·1h·
Discuss: Hacker News
⏱️Real-Time GC
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·1d
⚡Partial Evaluation