progscrape: www.moritz.systems/blog/an-introduction-to-formal-verification

An introduction to Formal Verification for Software Systems

4 years ago moritz.systems

💥 Introducing AtomixCore — An open-source forge for strange, fast, and rebellious software

2 days ago reddit.com python

What do software developers need to know to succeed in an age of AI?

22 hours ago arxiv.org ai

How to test file systems related functions

2 days ago reddit.com rust

The importance of free software to science

2 hours ago lwn.net

Teaching Program Verification in Dafny at Amazon (2023)

2 days ago dafny.org amazon

GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents

3 days ago arxiv.org ai

Show HN: Agno – A full-stack framework for building Multi-Agent Systems

2 days ago github.com show

I want to get into embedded systems. How do I start?

10 hours ago reddit.com embedded rust

KDE for Windows 10 Exiles – Upgrade your software, not your computer

33 hours ago kde.org kde windows

Porn sites go dark in France over new age verification rules

11 hours ago rfi.fr go

Tellico – Collection management software

11 hours ago tellico-project.org

Teenage Engineering lets you pick what you want to pay for an OP-1 Field

6 hours ago teenage.engineering

Is there an easier way to cast numbers

3 days ago reddit.com zig

Show HN: Dungeon Newbie (an RPG game for total newbies)

3 days ago rodyne.com game show

Building Industrial Strength Software without Unit Tests

29 hours ago chrispenner.ca testing

Show HN: Kan.bn – An open-source alterative to Trello

2 days ago github.com show

Meta's Going To Revive an Old Nuclear Power Plant

33 hours ago theverge.com facebook meta

Show HN: AirAP AirPlay server – AirPlay to an iOS Device

26 hours ago github.com apple ios show

Distributed Systems – Message Bus with NATS Channel in NestJS (OOP Approach)

3 days ago npmjs.com javascript

Built an AI tool to visualize large codebases - would love feedback

2 days ago news.ycombinator.com ai

Going To an Office and Pretending To Work: A Business That's Booming in China

2 days ago english.elpais.com china

Phoenix Template Engine - An open-source template engine for Spring which I've been developing for some time

12 hours ago reddit.com java

Fresh Microsoft layoffs hit more software engineering roles, documents show

10 hours ago itpro.com microsoft

How would I build a copy and paste bot for an omegle like website?

22 hours ago thundr.com

✋ The 17 biggest mental traps costing software engineers time and growth

3 days ago strategizeyourcareer.com

Our Grafana and Loki installs have quietly become 'legacy software' here

2 days ago utcc.utoronto.ca devops

Ukraine's Massive Drone Attack Was Powered by Open Source Software

21 hours ago 404media.co drone ukraine

Show HN: An Alfred workflow to open GCP services and browse resources within

27 hours ago github.com devops go mac release show

Why it seems there are more distributed systems written in golang rather in rust?

3 days ago reddit.com go rust

How to Grow an LSM-tree? Towards Bridging the Gap Between Theory and Practice

3 days ago arxiv.org database

>progscrape ▒

All the news that's fit to scrape