Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·18h
📐formal specification
Modern C, C23 edition, now in print
gustedt.wordpress.com·21h
🔧PLT
We built an interpreter for Swift (a compiled language)
bitrig.app·1d·
Discuss: Hacker News, r/programming
🪜Scala
Drop #704 (2025-09-04): Toss Up Thursday
dailydrop.hrbrmstr.dev·1d
🔧PLT
Breaking Verifiable Abstractions
alperenkeles.com·4d·
Discuss: Hacker News, r/programming
📐formal specification
Digest #178: GitHub Secrets Leak, Building an AI Server, Docker→Kubernetes and ArgoCD Anti-Patterns
devopsbulletin.com·16h
📐formal specification
No-CPU Amiga Demo and Framework
github.com·15h·
Discuss: Hacker News
📐formal specification
My First C Project: Campus Management System - Looking for Code Review and Feedback
github.com·15h·
Discuss: r/C_Programming
📐formal specification
Sharing an LMCA / MARE Prompt
reddit.com·1d·
Discuss: r/LLM
📐formal specification
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·2d
📐formal specification
Using FakeLoggerProvider (and ILoggerFactory) in FastEndpoints
dev.to·18h·
Discuss: DEV
📐formal specification
How to Test
matklad.github.io·4d·
Discuss: Hacker News, Hacker News
📐formal specification
Monorepos: A Year in Review
dev.to·1d·
Discuss: DEV
📐formal specification
I was...blown away
reddit.com·18h·
Discuss: r/ClaudeAI
📐formal specification
E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
arxiv.org·1d
🔧PLT
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·1d·
Discuss: DEV
📐formal specification
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🪜Scala
Simply Order (Part 2) — Designing and Implementing the Saga Workflow with Temporal
github.com·1d·
Discuss: DEV
📐formal specification
From Syntax to Systems: Rethinking How Developers Use AI
dev.to·2d·
Discuss: DEV
🤖AI
Improving maritime accident severity prediction accuracy: A holistic machine learning framework with data balancing and explainability techniques
sciencedirect.com·16h
🔧PLT