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

5 days ago microkerneldude.org formalmethods osdev

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

7 days ago shayon.dev database postgresql

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

2 days ago usenix.org apple ios pdf security

encryptor - Password-based encryption for Web3 wallet seed phrases

7 days ago crates.io encryption rust

branchless development (2015)

31 hours ago flak.tedunangst.com openbsd

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

9 days ago blog.google google

Anthropic Development Partner Program

8 days ago support.anthropic.com

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

5 days ago alex.party ai satire vibecoding web

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

2 days ago reddit.com go

Vygotsky's Zone of Proximal Development

7 days ago simplypsychology.org

Demo Driven Development: Show, Don't Just Tell

8 days ago shubhanshu.com

(ab?)using Node module hooks to speed up development

5 days ago immaculata.dev node

Parents' Phone Use May Harm Kids' Health and Development

4 days ago newsweek.com health

Ask HN: How do you obtain software development contracts?

3 days ago news.ycombinator.com ask

A case study of using Cursor for Front-end Development

9 days ago medium.com

Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits

8 days ago old.reddit.com c++

Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits

8 days ago reddit.com c++

Dealing with Anxiety and Loss of Focus in Software Development

15 hours ago nothing.com

Experiment in crowdsourcing development of a Rust refactoring tool (call for help)

9 days ago reddit.com refactor rust

Show HN: Whippy Term - GUI terminal for embedded development (Linux and Windows)

4 days ago whippyterm.com embedded linux show windows

Why Planning Features with AI Before Coding Will Revolutionize Your Development Process

13 hours ago stackstudio.io ai

Hi, I'm looking for someone interested in GUI development with GTK-rs

9 days ago reddit.com rust

Incant - a frontend for Incus with a declarative way to define and manage development environments

5 days ago discuss.linuxcontainers.org

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

6 days ago reddit.com rust

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

6 days ago reddit.com go rust

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

6 days ago encrypted-tbn0.gstatic.com rust

I teach app & web development 1-on-1 – React Native + Node + HTML/CSS/JS – DM me for info

6 days ago reddit.com node python react web

wxDragon v0.1.0 Released: Rust Bindings for wxWidgets - An AI-Driven Development Story (Cursor & Gemini 2.5 Pro)

2 days ago reddit.com release rust

It feels at the beginning of the end of the world

9 days ago fastcompany.com

Welcome to the Future: The 2020s, the cyberpunk vision that arrived on schedule

7 days ago noahpinion.blog

>progscrape ▒

All the news that's fit to scrape

Semi-Formal Development: The Cardano Wallet

Benchmarking Crimes Meet Formal Verification

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

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

encryptor - Password-based encryption for Web3 wallet seed phrases

branchless development (2015)

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

Anthropic Development Partner Program

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

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

Vygotsky's Zone of Proximal Development

Demo Driven Development: Show, Don't Just Tell

(ab?)using Node module hooks to speed up development

Parents' Phone Use May Harm Kids' Health and Development

Ask HN: How do you obtain software development contracts?

A case study of using Cursor for Front-end Development

Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits

Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits

Dealing with Anxiety and Loss of Focus in Software Development

Experiment in crowdsourcing development of a Rust refactoring tool (call for help)

Show HN: Whippy Term - GUI terminal for embedded development (Linux and Windows)

Why Planning Features with AI Before Coding Will Revolutionize Your Development Process

Hi, I'm looking for someone interested in GUI development with GTK-rs

Incant - a frontend for Incus with a declarative way to define and manage development environments

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

im a experienced backend dev with nodejs but i wanna switch right now to go or rust wich one is the best for backend development and future proof

I teach app & web development 1-on-1 – React Native + Node + HTML/CSS/JS – DM me for info

wxDragon v0.1.0 Released: Rust Bindings for wxWidgets - An AI-Driven Development Story (Cursor & Gemini 2.5 Pro)

It feels at the beginning of the end of the world

Welcome to the Future: The 2020s, the cyberpunk vision that arrived on schedule

All the news that's fit to scrape

Related Stories