Latest News
⚑ Report a ProblemTech news from the best sources
All topics
- игры
AI
News
Tech
agents
ai
api
architecture
automation
backend
beginners
career
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
Proof Without Sharing Source Code: SJV, SJP, and the Trust Boundary
What if you need to demonstrate properties of a software module without giving the other party its source code? This comes up in real projects: prop…
I Built Formal Verification for Compiled Sekura JS Programs with SJV and Z3
Most developers trust this pipeline: source code ↓ compiler ↓ binary If the source looks correct and the tests pass, we usually assume the compiled…
Why Rocq is better than Lean for program verification
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs. Comments