Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔗Combinatory Logic
Flag this post
Storybook is going ESM only
storybook.js.org·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
PostgreSQL 18 – Virtual Generated Columns
hashrocket.com·1d·
Discuss: Hacker News
🗄️Database Internals
Flag this post
Think for Yourself
kevlinhenney.medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
How devtools map minified JS code back to your TypeScript source code
polarsignals.com·1d·
Discuss: Hacker News, r/javascript, r/node, r/reactjs
🔧KAITAI
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·9h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Our newest model: Chandra (OCR)
datalab.to·3d·
Discuss: Hacker News
🤖Advanced OCR
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
What is Web3?
dev.to·22h·
Discuss: DEV
🌐Web Standards
Flag this post
Physics-driven self-supervised learning for 3D light-field microscopy
nature.com·5h·
Discuss: Hacker News
🔬Optical Physics
Flag this post
Preserving Legislative Records: Why they matter and what the Nairobi City County Assembly can teach us
dpconline.org·2h
📋records management
Flag this post
Culture Cartography: Mapping the Landscape of Cultural Knowledge
arxiv.org·3d
🌍Cultural Algorithms
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
Discuss: r/MachineLearning
⚡Homebrew CPUs
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·3d
🚀Query Optimization
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Flag this post
Few-Shot Multimodal Medical Imaging: A Theoretical Framework
arxiv.org·2d
🧠Machine Learning
Flag this post
“From Code to Content: Why I Tested ChatGPT vs Grammarly for My Blog”
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post