CAD, From Scratch: MakerCAD
hackaday.comยท8h
๐Ÿ‘Open Source Software
Proxmox Virtual File Services
blog.raymond.burkholder.netยท1d
๐ŸŒDistributed Systems
A note about eventual consistency - Part 2
ufried.comยท16h
๐ŸŽฏConstraint Programming
strongly typed?
dotat.atยท1dยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Recently
macwright.comยท16h
๐Ÿ”ขMathematical Logic
On Continuous Test Improvement
dsyme.netยท1dยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Understanding Bitwise Operators In Java
dev.toยท22hยท
Discuss: DEV
๐Ÿ”Cryptography
How to Create Histograms in R
dev.toยท12hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Paradigms of Intelligence Team
github.comยท3dยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Show HN: HTMS (write JavaScript using HTML)
github.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust
A neural network model that generates salt concentration memory-dependent chemotaxis in <i>Caenorhabditis elegans</i>
elifesciences.orgยท1d
๐ŸงซCellular Automata
Bitcoin as an Interplanetary Monetary Standard with Proof-of-Transit Timestamping
arxiv.orgยท12h
๐ŸคProtocol Design
Numerical Method for Space-Time Fractional Diffusion: A Stochastic Approach
arxiv.orgยท12h
๐ŸŽฒProbabilistic Programming
Better Sidekiq Classes
dev.toยท18hยท
Discuss: DEV
โšกConcurrency
You donโ€™t need 20 tools. Just use Postgres (seriously!)
dev.toยท19hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Theory
How I Solved AI's Inconsistent Code Problem
dev.toยท12hยท
Discuss: DEV
๐ŸงฉTheorem Proving
Automated Anomaly Classification in ๋งˆ์†๋„ ์‹œํ—˜๊ธฐ Acoustic Emission Data Using Ensemble Deep Learning
dev.toยท14hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Breaking the Black Box: Inherently Interpretable Physics-Informed Machine Learning for Imbalanced Seismic Data
arxiv.orgยท2d
๐ŸŽฒProbabilistic Programming
How to Stop Getting Lost in Endless Resources and Stay Focused as a Developer
dev.toยท17hยท
Discuss: DEV
๐Ÿ”งCompiler Design
Managing the Context Window of GPT-4o-mini in JavaScript
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Parser Combinators