Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.orgยท9h
๐Ÿ“Shell Parsing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท2d
๐Ÿ”—Functional Compilers
Introducing Real-Time Data with Materialized Views in Turso
turso.techยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
Dev Services for Spring Boot Using Arconia
thomasvitale.comยท6hยท
Discuss: Hacker News
๐Ÿ”ŒArchive APIs
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท1dยท
Discuss: r/programming
๐Ÿง Lisp Dialects
To MD - Convert PDFs, Word, HTML and more to Markdown
tomd.ioยท1dยท
Discuss: Hacker News
๐Ÿ”„Migration Tools
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
JVM stack is about to be massively modernized
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
What is Codex GA by OpenAI in 2025? How It Revolutionizes Software Teamsโ€™ Workflow
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šMARC Evolution
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.comยท2d
๐Ÿ”Z3 Parsing
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.aiยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.ioยท14hยท
Discuss: Hacker News, r/ClaudeAI
๐ŸŽ™๏ธWhisper
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.toยท9hยท
Discuss: DEV
๐Ÿ“ŠSpectral Analysis
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท2hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Programmer in Wonderland
binaryigor.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
End-to-end testing of Gen AI Apps
dev.toยท10hยท
Discuss: DEV
๐Ÿ”Concolic Testing
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท4d
โœ…Format Validation
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blogยท3d
๐Ÿ“œProof Carrying Code