No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·22h
🔢Denotational Semantics
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Amazon S3 Vectors Or PostgreSQL- Is This The End Of Specialized Vector Stores?
i-programmer.info·5h·
Discuss: Hacker News
🗂️Vector Databases
Nullable vs. Nullable in C#
einarwh.no·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Secure by Design: A Shift-Left Approach with Testcontainers, Docker Scout, and Hardened Images
docker.com·9h
📦Container Security
Running our Docker registry on-prem with Harbor
dev.37signals.com·1d·
Discuss: Hacker News
📦Container Security
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·1d·
Discuss: Hacker News
🦀Rust Macros
A Model for all Ranges
qt.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·3d
🌀Brotli Dictionary
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Capture Checking in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Learning PostgreSQL Internals
blog.cleverelephant.ca·22h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Applying KISS, DRY, and LOD Principles in Go
dev.to·22h·
Discuss: DEV
⚖️Hoare Logic
Deciphering NLR Decoy Domain Dynamics via Multi-scale Bayesian Network Inference
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Complexity
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·18h
📊Learned Metrics
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·18h
🌊Stream Ciphers
Generalizing Monocular 3D Object Detection
arxiv.org·18h
🕳️Persistent Homology
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·1d
🔲Cellular Automata