No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·19h
🔢Denotational Semantics
Integrating Code Insight into Reverse Engineering Workflows
blog.virustotal.com·9h·
Discuss: blog.virustotal.com
🔬Binary Analysis
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
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·6h
📦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
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·22h·
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
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·15h
🔍Vector Forensics
Automated Assessment of Data Integrity via Multi-Modal Semantic Graph Analysis
dev.to·20h·
Discuss: DEV
🛡️Archive Verification
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·1d
🧠Machine Learning
The Large Language Centipede
dev.to·4h·
Discuss: DEV
💻Local LLMs
Understanding Tool-Integrated Reasoning
arxiv.org·1d
🔗Constraint Handling
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Using AI to build an AI Security Product
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·15h
💻Local LLMs