progscrape: www.tedinski.com/2018/12/05/types-as-design-tool.html

Types are a basic tool of software design (2018)

5 months ago tedinski.com

Example of JWT Actix-Web Basic Auth

33 hours ago reddit.com rust

Vertically rolling ball 'challenges our basic understanding of physics'

31 hours ago popsci.com

Uniqueness for Behavioural Types

16 hours ago kcsrk.info

Communicating In Types • Kris Jenkins

2 days ago youtu.be

Distribution of bots that are accused of vibecoding

25 hours ago reddit.com go

Designing Error Types in Rust Libraries

2 days ago d34dl0ck.me rust

Showcase: Basic window management utility for Windows

14 hours ago reddit.com rust windows

Is conversion between string types zero cost?

23 hours ago reddit.com go

IR Design - Virtual Registers

2 days ago reddit.com compiler

A Simple Gmail-TUI (basic tasks for now)

21 hours ago reddit.com go

2025 Apple Design Award winners

13 hours ago developer.apple.com apple

Language design question about const

11 hours ago reddit.com rust

Building Industrial Strength Software without Unit Tests

15 hours ago chrispenner.ca testing

I made the tummies tool

2 days ago github.com javascript

Organic Markdown -- Literate Programming Tool

13 hours ago github.com

Japanese scientists develop artificial blood compatible with all blood types

35 hours ago tokyoweekender.com japan

US authorities are collecting DNA information of children in criminal database

2 days ago theguardian.com database

GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents

3 days ago arxiv.org ai

Arcol simplifies building design with browser-based modeling

40 hours ago arcol.io

CarbonKivy - IBM's Carbon Design Components for Kivy

4 hours ago reddit.com ibm python

Built a CLI tool for Conventional Commits

42 hours ago reddit.com go

Open source CLI tool for CodeAct agents

37 hours ago reddit.com python

Where in the world are babies at the lowest risk of dying?

14 hours ago ourworldindata.org

"Godfather of AI" warns that today's AI systems are becoming strategically dishonest | Yoshua Bengio says labs are ignoring warning signs

7 hours ago techspot.com ai

NuScale secures NRC approval for second small reactor design

2 days ago eenews.net

A 45-bit segment display design for Korean text

44 hours ago noordstar.me

Crafting Fluent APIs: a blog series on API design

18 hours ago reddit.com api java

Tldx – CLI tool for fast domain name discovery

3 days ago github.com

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

2 days ago strategizeyourcareer.com

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

43 hours ago utcc.utoronto.ca devops

>progscrape ▒

All the news that's fit to scrape