Introduction to JavaScript
thenewstack.io·2d
🔗Concatenative Programming
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·22h
⚡Proof Automation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·2d
🧮Kolmogorov Bounds
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·2d
🧮Theoretical Computer Science
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·5h·
Discuss: DEV
🔄Lens Laws
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
Using AI to replicate human experimental results: a motion study
arxiv.org·2d
🎙️Whisper
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·15h
🔐Quantum Security
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·4d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·1d
🎙️Whisper
Cancellative Convex Semilattices
arxiv.org·1d
🔲Proof Irrelevance
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·3d
💾Binary Linguistics
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·15h
🎙️Whisper
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·15h
💻Local LLMs
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·3d
🔢Denotational Semantics
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds