Monotonic Collections: a middle ground between immutable and fully mutable
neilmadden.blog·10h
Functional Programming
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·2d·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Implementing E Unification using SMT
philipzucker.com·2d
🧭SMT Solvers
Flag this post
GSoC Wrap Up - Adding Witness Generation to cargo-semver-checks
glitchlesscode.ca·23h·
Discuss: r/rust
🧩Theorem Proving
Flag this post
Examining the carbon footprint of conference travel
phys.org·1d
🌍Distributed Systems
Flag this post
Hunting Hidden GraphQL Mutations How I Found AddWorkspaceWhitelistDomains Using JavaScript Analysis
dev.to·4h·
Discuss: DEV
🔍Static Analysis
Flag this post
From One Tree to a Whole Forest
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving
developer.nvidia.com·2d
🎲Probabilistic Programming
Flag this post
Active Short Circuit and Safe Discharge Mechanisms in Multi-Phase Inverters During Critical Failures
arxiv.org·30m
🌍Distributed Systems
Flag this post
Visual motion and landmark position align with heading direction in the zebrafish interpeduncular nucleus
nature.com·1d
🧫Cellular Automata
Flag this post
Machine learning automates material analysis and design using X-ray spectroscopy data
phys.org·1d
🔐Cryptography
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
Flag this post
A Dual Perspective on Decision-Focused Learning: Scalable Training via Dual-Guided Surrogates
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Questioning the Requirements
lesswrong.com·1d
🧩Theorem Proving
Flag this post
College football Week 12 odds: Oklahoma at Alabama, Texas at Georgia take center stage
nytimes.com·1d
🔢Mathematical Logic
Flag this post
Rose Bowl seeks temporary restraining order to block UCLA from SoFi Stadium move
nytimes.com·1d
🧫Cellular Automata
Flag this post