Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·15h·
Discuss: DEV
🦀Rust Macros
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·22h
📝Concrete Syntax
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
SAT Requires Exhaustive Search
link.springer.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Pragmatism in Programming Proverbs
gingerbill.org·2h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Discarded particles dubbed 'neglectons' may unlock universal quantum computing
phys.org·2h
⚛️Information Physics
Politics and math, A Drama in Four Parts
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔐Soviet Cryptography
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Who Am I in the Eye of AI?
lightcapai.medium.com·17h·
Discuss: Hacker News
🔲Cellular Automata
Software Internals Book Club
eatonphil.com·5h
⚙️Operating System Design
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
How Supercomputing Will Evolve, According to Jack Dongarra
wired.com·2h·
Discuss: r/technews
⚛️Quantum Tape
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·19h
⏰Time Crystals
A Message Passing Realization of Expected Free Energy Minimization
arxiv.org·7h
🔲Cellular Automata
318
skynettoday.com·1d
🌀Brotli Internals
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·18h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs