Building a highly-available web service without a database
screenshotbot.io·21h·
Discuss: r/programming
🔧DevOps
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.co·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
💻CS
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques
future.forem.com·13h·
Discuss: DEV
📚Automata Learning
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·21h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Not Over Or Under Indexed
lesswrong.com·1d
📵Digital Minimalism
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·2d
📐Linear Algebra
Flag this post
How I Built a 95% Accurate Defect Detection System with an ESP32-CAM and Python
dev.to·14h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
What's Hot in Hiring: Using AI to Predict Your Next Interview Questions
dev.to·2h·
Discuss: DEV
📚Automata Learning
Flag this post
Why I Built an AI Form Generator (And Why Traditional Form Builders Are Broken)
dev.to·21h·
Discuss: DEV
🔤Language Design
Flag this post
This is one way I use AI for coding
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·2d
📚Automata Learning
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·2d
🔢Algebraic Data Types
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·2d
🤖Robotics
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·2d
📐Hoare Logic
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·2d
🧮SMT Solvers
Flag this post