progscrape: www.well-typed.com/blog/2018/05/semi-formal-development

Semi-Formal Development: The Cardano Wallet

6 years ago well-typed.com

Benchmarking Crimes Meet Formal Verification

19 days ago microkerneldude.org formalmethods osdev

A Formal Mathematical Investigation on the Validity of Kellogg's Glaze Claims

5 days ago old.reddit.com

What Works (and Doesn't) Selling Formal Methods

an hour ago galois.com formalmethods

The current state of TLA⁺ development

9 days ago ahelwer.ca formalmethods

encryptor - Password-based encryption for Web3 wallet seed phrases

21 days ago crates.io encryption rust

A PostgreSQL planner semi-join gotcha with CTE, LIMIT, and RETURNING

21 days ago shayon.dev database postgresql

Implicit UVs: Real-time semi-global parameterization of implicit surfaces [pdf]

12 days ago baptiste-genest.github.io pdf

A Formal Proof of Complexity Bounds on Diophantine Equations

38 hours ago arxiv.org

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

16 days ago usenix.org apple ios pdf security

Google Wallet launches new age and identity verification features (ZK proofs)

23 days ago blog.google google

branchless development (2015)

15 days ago flak.tedunangst.com openbsd

Question Driven Development

3 days ago kinduff.com

Automating Your Job? The Future of AI and Exploit Development

15 hours ago youtube.com ai security vibecoding video

Anthropic Development Partner Program

22 days ago support.anthropic.com

An open source project for creating crypto wallet distributedly and securely with MPC technology

17 days ago reddit.com go

Show HN: We created a new protocol and wallet that supports it for Bitcoin

7 days ago akron.io bitcoin show

Transforming Productivity: How AI Fixed the Human Problem in Software Development

6 days ago blog.fka.dev ai

Cold sores may be implicated in the development of Alzheimer's disease

4 days ago scimex.org disease neuroscience

The future of web development is AI. Get on or get left behind

19 days ago alex.party ai satire vibecoding web

Vygotsky's Zone of Proximal Development

21 days ago simplypsychology.org

An accessibility update – GTK Development Blog

11 days ago blog.gtk.org a11y

Best Python Libraries for AI Development!

11 days ago reddit.com ai python

Streamlining Web App Development With Zeroconf

8 days ago blog.julik.nl networking ruby web

A hangout for developers? Collaborative development?

3 days ago reddit.com go

Is there a forum where I can contribute ideas to the development of Windows Software?

13 days ago windows.com windows

Demo Driven Development: Show, Don't Just Tell

22 days ago shubhanshu.com

A modern microframework for web development in C

12 days ago github.com c web

Things ancient Romans taught me about software development

11 days ago shiftmag.dev

Don't Oversell Ideas: Trunk-Based Development Edition

7 days ago architecture-weekly.com

Is Spring better than Nodejs for API development?

3 days ago medium.com api

>progscrape ▒

All the news that's fit to scrape