knowledge networks: formal notes and understanding
i9h49gsk658rqxh6-default.preview.taskade.app·6h·
Discuss: DEV
🔧PLT
Salesforce-Connected Third-Party Drift Application Incident Response
paloaltonetworks.com·7h
📐formal specification
Copilot Diagnostics Toolset for .NET In Visual Studio
i-programmer.info·12m
📐formal specification
LLMs are Bayesian, in Expectation, not in Realization
researchgate.net·3h·
Discuss: Hacker News
🔧PLT
MonoGuard: Zero-config monorepo analysis and security scanning
mono-guard-frontend.vercel.app·2d·
Discuss: DEV, Hacker News
📐formal specification
New comment by barrell in "Ask HN: Who is hiring? (September 2025)"
news.ycombinator.com·8h·
Discuss: Hacker News
🪜Scala
Natural language-based database analytics with Amazon Nova
aws.amazon.com·1h
📐formal specification
Vibe coding: Because who doesn’t love surprise technical debt!?
app.coderabbit.ai·23h·
Discuss: DEV
🤖AI
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🪜Scala
Scaling Prompt Engineering QA with AI Builder
prompt.enterprise-technologist.com·1d·
Discuss: DEV
📐formal specification
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·1d
🪜Scala
How Dropbox Built an AI Product Dash with RAG and AI Agents
blog.bytebytego.com·2h
📐formal specification
Anti-patterns and patterns for achieving secure generation of code via AI
ghuntley.com·2h·
Discuss: Hacker News
📐formal specification
Kernel-hack-drill and a new approach to exploiting CVE-2024-50264 in the Linux kernel
a13xp0p0v.github.io·7h
📐formal specification
Applying OOP in ASP.NET Core
dev.to·1d·
Discuss: DEV
🪜Scala
D as a Better C (2017)
dlang.org·2d·
Discuss: Hacker News
🪜Scala
Song recommendations with C# free monads
blog.ploeh.dk·1d
🪜Scala
Adding #[derive(From)] to Rust
kobzol.github.io·7h·
Discuss: r/rust
🪜Scala
Codex 🌼
dev.to·23h·
Discuss: DEV
💻Claude
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
🪜Scala