Embedding TypeScript
andrews.substack.com·7h·
Discuss: Substack, r/programming
🪜Scala
Flag this post
Integrating Design Verification To Approach Zero Defects
semiengineering.com·10h
📐formal specification
Flag this post
What I Learned From Working on Legacy Codebases (And How It Made Me a Better Developer)
dev.to·23h·
Discuss: DEV
📐formal specification
Flag this post
How Race Conditions Can Break Your System?
linkedin.com·13h·
Discuss: DEV
📐formal specification
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔧PLT
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1d·
Discuss: r/programming
🪜Scala
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔧PLT
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·1d·
Discuss: Hacker News
📐formal specification
Flag this post
.NET Digest #9
pvs-studio.com·3h·
Discuss: r/programming
📐formal specification
Flag this post
Programming Languages Lie: Variables Aren’t What You Think They Are
dev.to·17h·
Discuss: DEV
🔧PLT
Flag this post
The Production Generative AI Stack: Architecture and Components
thenewstack.io·2h
📐formal specification
Flag this post
OpenAI engineers don’t prompt like you do.
threadreaderapp.com·9h
📐formal specification
Flag this post
A Security Model for Systemd
lwn.net·9h·
Discuss: Lobsters, Hacker News
📐formal specification
Flag this post
DS-STAR: A state-of-the-art versatile data science agent
research.google·36m
📐formal specification
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·1d
📐formal specification
Flag this post
Agile and Coding: Please don't break things
davidvujic.blogspot.com·1h·
Discuss: Hacker News
🔧PLT
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·3h
🪜Scala
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔧PLT
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3d
🪜Scala
Flag this post
Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
arxiv.org·13h
🔧PLT
Flag this post