Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·20h·
Discuss: Hacker News
🪜Scala
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🔍Static Analysis
Flag this post
Intent-Driven Assertions are Redefining How We Test Software
dev.to·1h·
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·10h
🔍Static Analysis
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·3h·
Discuss: DEV
🔍Static Analysis
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·16h
🔧PLT
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·3d
🔍Static Analysis
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·6h·
Discuss: r/programming
🔍Static Analysis
Flag this post
OpenAI Model Spec
model-spec.openai.com·7h·
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·22h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·22h·
Discuss: Hacker News
🪜Scala
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 Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·16h·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·15h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
<p>**Abstract:** This paper proposes a novel framework for robust anomaly detection and autonomous safe mode transition within cooperative drone swarms operatin...
freederia.com·1h
🔍Static Analysis
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·17h·
Discuss: www.blogger.com
🔄Concurrency Models
Flag this post
Go Generics: Use Cases and Patterns
dev.to·5h·
Discuss: DEV
🪜Scala
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔧PLT
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🪜Scala
Flag this post