Regarding formatting issues with AI-generated copy
dev.to·12h·
Discuss: DEV
✅Format Verification
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·23h·
Discuss: Hacker News
🧮Algebraic Datatypes
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
The Gold Standard of Cloud Security: Why Our SOC2 Type 2 Compliance Sets Backblaze Apart
backblaze.com·3h
✅Archive Fixity
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·10h·
Discuss: Hacker News
🔤EBCDIC Mining
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·17h
🦀Embedded Rust
[$] The need to reliably preserve our community history
lwn.net·5h·
Discuss: Hacker News
📰RSS Archaeology
Using pprint.saferepr() for string comparisons in Python
chipx86.blog·15h
✅Format Verification
The Grammar According to West
dwest.web.illinois.edu·4h·
Discuss: Hacker News
🔬Lean
Show HN: Vectorless RAG
github.com·9h·
Discuss: Hacker News
📊Multi-vector RAG
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·6h
🌳Archive Merkle Trees
Das Problem mit German Strings
polarsignals.com·21h·
Discuss: Lobsters, Hacker News
✅Format Verification
The hidden threat in enterprise security: why it’s time to rethink PDFs
techradar.com·10h
📄PDF Archaeology
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
LibreOffice Stakes Claim as Strategic Sovereignty Tool For Governments
news.slashdot.org·1d
🔓Open Source Software
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Log Detective: GSoC 2025 (part 2)
danigm.net·13h
🔓Open Source Software
Proposal: Better CSS Text Justification
blog.glyphdrawing.club·3h·
Discuss: Hacker News
🖋Typography