Introduction to JavaScript
thenewstack.ioยท2d
๐Ÿ”—Concatenative Programming
Programming Languages: Application and Interpretation
plai.orgยท2dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Which graph motif parameters count?
arxiv.orgยท42m
๐Ÿ”—Graph Isomorphism
The great misunderstanding of the DRY principle
pmatteo.comยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Janet Feature Demos
github.comยท22hยท
Discuss: Lobsters, Hacker News
๐Ÿง Lisp Dialects
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท1dยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.orgยท42m
๐Ÿ”Information Retrieval
Unlock Geminiโ€™s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.comยท7h
โšก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ยท1d
๐ŸงฎKolmogorov Bounds
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.orgยท2d
๐ŸงฎTheoretical Computer Science
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ยท42m
๐Ÿ”Quantum Security
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.comยท18hยท
Discuss: r/MachineLearning
๐Ÿ“ŠLearned Metrics
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.comยท3dยท
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