progscrape: steveklabnik.com/writing/thoughts-on-bluesky-verification

Thoughts on Bluesky Verification

42 days ago steveklabnik.com distributed security web

Teaching Program Verification in Dafny at Amazon (2023)

17 hours ago dafny.org amazon

Changing PCnname and domain controller on Windows local machine based on MAC

10 hours ago reddit.com go mac windows

Root shell on a credit card terminal

2 days ago stefan-gloor.ch security

I was on the Changelog!

21 hours ago changelog.com javascript

Brno researchers link adjointable maps on linear orthosets to quasilinear maps on Hermitian spaces

34 hours ago sciencedirect.com mathematics

🎮 Slint on Zotac Handheld Gaming Console ❤️

31 hours ago i.redd.it rust

Our production Ruby on Rails stack

28 hours ago attendlist.com rails ruby

CustomTkinter error on Raspberry Pi OS

4 hours ago reddit.com python raspberry-pi

The American vs. European Mindset on Life

2 days ago mertbulan.com

Not Everything Is on the Internet (2024)

37 hours ago bruh.ltd

Covert Web-to-App Tracking via Localhost on Android

3 hours ago localmess.github.io android privacy security

Trump Taps Palantir to Compile Data on Americans

2 days ago nytimes.com trump

Looking for a Go quirks talk on YT

an hour ago reddit.com go

Google AI Edge – On-device cross-platform AI deployment

2 days ago ai.google.dev ai google

Need advice on launching my first project with golang

26 hours ago reddit.com go

Ask HN: What do you spend your money on?

26 hours ago news.ycombinator.com ask

The HTTP QUERY Method (published on 27 May 2025)

7 hours ago httpwg.org http

Crafting Fluent APIs: a blog series on API design

an hour ago reddit.com api java

Compiling 64Bit Linux from Scratch on Windows XP (by NCommander)

23 hours ago youtu.be linux windows

wl-kbptr: Control the mouse pointer with the keyboard on Wayland

46 hours ago github.com a11y

Could floating solar panels on a reservoir help the Colorado River?

24 hours ago arstechnica.com environment

Running Qwen3:30B MoE on an RTX 3070 laptop with Ollama

18 hours ago blog.kekepower.com

Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable

3 hours ago theregister.com

Browser extension (Firefox, Chrome, Opera, Edge) to redirect URLs based on regex

2 days ago github.com chrome firefox opera regex

Small research on different implementation of Fan-In concurrency pattern in Go

2 days ago reddit.com concurrency go

Small research on different implementation of Fan-In concurrency pattern in Go

2 days ago reddit.com concurrency go

A developer’s perspective on G.Mate’s YOPY Linux PDA (2002)

2 days ago linuxdevices.org hardware linux

Google Settles Shareholder Lawsuit, Sill Spend $500 Million On Being Less Evil

22 hours ago arstechnica.com google lawsuit

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

12 hours ago daringfireball.net apple

Report on Russia's 2016 US Election Meddling Disappears from Senate Website

3 hours ago newsweek.com russia

>progscrape ▒

All the news that's fit to scrape

Thoughts on Bluesky Verification

Teaching Program Verification in Dafny at Amazon (2023)

Changing PCnname and domain controller on Windows local machine based on MAC

Root shell on a credit card terminal

I was on the Changelog!

Brno researchers link adjointable maps on linear orthosets to quasilinear maps on Hermitian spaces

🎮 Slint on Zotac Handheld Gaming Console ❤️

Our production Ruby on Rails stack

CustomTkinter error on Raspberry Pi OS

The American vs. European Mindset on Life

Not Everything Is on the Internet (2024)

Covert Web-to-App Tracking via Localhost on Android

Trump Taps Palantir to Compile Data on Americans

Looking for a Go quirks talk on YT

Google AI Edge – On-device cross-platform AI deployment

Need advice on launching my first project with golang

Ask HN: What do you spend your money on?

The HTTP QUERY Method (published on 27 May 2025)

Crafting Fluent APIs: a blog series on API design

Compiling 64Bit Linux from Scratch on Windows XP (by NCommander)

wl-kbptr: Control the mouse pointer with the keyboard on Wayland

Could floating solar panels on a reservoir help the Colorado River?

Running Qwen3:30B MoE on an RTX 3070 laptop with Ollama

Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable

Browser extension (Firefox, Chrome, Opera, Edge) to redirect URLs based on regex

Small research on different implementation of Fan-In concurrency pattern in Go

Small research on different implementation of Fan-In concurrency pattern in Go

A developer’s perspective on G.Mate’s YOPY Linux PDA (2002)

Google Settles Shareholder Lawsuit, Sill Spend $500 Million On Being Less Evil

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

Report on Russia's 2016 US Election Meddling Disappears from Senate Website

All the news that's fit to scrape

Related Stories