Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·9h·
Discuss: DEV
📐formal specification
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·2h·
Discuss: Bluesky
🔧PLT
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·15h·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
🪜Scala
Flag this post
Fil-C
graydon2.dreamwidth.org·17h·
Discuss: Lobsters, Hacker News
🔧PLT
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🔧PLT
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·2d·
Discuss: Hacker News
📐formal specification
Flag this post
Handling Noisy Plaintext Checking Oracles with SPiRiT
eprint.iacr.org·23h
📐formal specification
Flag this post
Legal Research is Changing: How AI Makes Your C# Applications Smarter
dev.to·4h·
Discuss: DEV
📐formal specification
Flag this post
How Race Conditions Can Break Your System?
linkedin.com·11h·
Discuss: DEV
📐formal specification
Flag this post
Integrating Design Verification To Approach Zero Defects
semiengineering.com·7h
📐formal specification
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·2d
🔧PLT
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·2d·
Discuss: Hacker News, r/programming
🔧PLT
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·1d
🦀Rust
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·3h·
Discuss: r/golang
🪜Scala
Flag this post
Embedding TypeScript
andrews.substack.com·5h·
Discuss: Substack, r/programming
🪜Scala
Flag this post
What I Learned From Working on Legacy Codebases (And How It Made Me a Better Developer)
dev.to·20h·
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