Vim. vs. Emacs
sals.place·2d
📝Text Editors
Flag this post
Same typeface used for the covers of Sphere Science Fiction’s Brian Aldiss series.
70sscifiart.tumblr.com·17h
🤝Protocol Design
Flag this post
why I changed my mind about being a polyglot
paperiority.bearblog.dev·1d
🔗Parser Combinators
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
The Axiom of Predictive Coherence
⚙Functional Programming
Flag this post
A SQLite extension for the crazy ones because everything could be a database
🗄️Database Theory
Flag this post
Impact Technology: Rethinking Information and Wisdom
lassala.net·3h
🧩Theorem Proving
Flag this post
Development of a seismic life cycle cost framework for buried pipelines
sciencedirect.com·1d
🏗Computer Architecture
Flag this post
Non-relativistic Quantum Mechanics on a Twisted Cylindrical Surface
arxiv.org·11h
🔐Cryptography
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
🧩Theorem Proving
Flag this post
Large Language Models Do NOT Really Know What They Don't Know
🎲Probabilistic Programming
Flag this post
<p>**Abstract:** This paper introduces a novel approach to the verification of Adaptive Finite State Machines (AFSMs) commonly employed in real-time digital con...
freederia.com·2h
🎲Probabilistic Programming
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Caption Injection for Optimization in Generative Search Engine
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...