Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🪜Scala
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🔍Static Analysis
Flag this post
<p>**Abstract:** This paper introduces a novel framework—Automated Semantic Validation &#038; Anomaly Detection (ASVAD)—for rigorously evaluating and ensuring t...
freederia.com·3h
🔍Static Analysis
Flag this post
ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·2h
🔧PLT
Flag this post
Intent-Driven Assertions are Redefining How We Test Software
dev.to·8h·
Discuss: DEV
🔍Static Analysis
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·17h
🔍Static Analysis
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·5h·
Discuss: Hacker News
🔧PLT
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·10h·
Discuss: DEV
🔍Static Analysis
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·22h
🔧PLT
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·3d
🔍Static Analysis
Flag this post
Create a MCP server from scratch
dev.to·6h·
Discuss: DEV
🔍Static Analysis
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·12h·
Discuss: r/programming
🔍Static Analysis
Flag this post
OpenAI Model Spec
model-spec.openai.com·14h·
Discuss: Hacker News
🤖AI
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
AI RTL Generation versus AI RTL Verification
semiwiki.com·4h
🔍Static Analysis
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·4h·
Discuss: Lobsters, Hacker News, r/rust
🔍Static Analysis
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
pvkl.nl·1d·
Discuss: r/LLM
🤖AI
Flag this post
The Production Generative AI Stack: Architecture and Components
thenewstack.io·6h
🤖AI
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·5h·
Discuss: Lobsters, Hacker News
🔄Concurrency Models
Flag this post