Refinement Types, SMT Integration, Program Verification, Type Safety

Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·2d·
🔤DSLs
Flag this post
Python Design Patterns for Clean Architecture
dev.to·4h·
Discuss: DEV
💻Programming languages
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·1d
🔤DSLs
Flag this post
two-dimensional category
ncatlab.org·13h
🔀Category Theory
Flag this post
UP TWL AI Dev Kit review – Benchmarks, features testing, and AI workloads on Ubuntu 24.04
cnx-software.com·3h
Homebrew CPUs
Flag this post
Level up your Solidity LLM tooling with Slither-MCP
blog.trailofbits.com·1d
💧Liquidhaskell
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·9h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
The Pragmatic Programmer: 20th Anniversary Edition
ahalbert.com·7h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
🎯Performance Proofs
Flag this post
Teaching Rust the SQL Language
news.ycombinator.com·48m·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·1d
🔩Systems Programming
Flag this post
Elliptic curve pairings in cryptography
johndcook.com·7h
🔱Galois Cryptography
Flag this post
Mastering JSON Prompting for LLMs
machinelearningmastery.com·2d
🔗Constraint Handling
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Post Quantum Cryptography in Sequoia PGP
sequoia-pgp.org·12h·
Discuss: Hacker News
🔐Quantum Security
Flag this post
Reversing Swift Like a Pro
hexai.re·14h·
Discuss: Hacker News
🎮Switch Archaeology
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·9h·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
Spec-Driven Development: The Waterfall Strikes Back
marmelab.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Enhanced Automated Validation Pipeline for Semiconductor Fabrication Process Optimization
dev.to·8h·
Discuss: DEV
📏Code Metrics
Flag this post
Lifting Kotlin Testing: Comparing JUnit, Kotlin-Test, Kotest, Prepared and Test
ivan.canet.dev·11h·
🔍Concolic Testing
Flag this post