🦆 DuckDB - gbakes · Scour

A Place to Call Home

thebaffler.com·5d·

Discuss: r/boston

🗺️OpenStreetMap

retro101.co.uk·5d

🕹️Handheld Gaming

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·5d

Humane, adaptive AI bootstrapping

natemeyvis.com·5d

Lessons Learned After a Head-First Dive Into Hardware Manufacturing

hackaday.com·2d

🔌Keyboard PCBs

Ask Hackaday: How Do You Detect Hidden Cameras?

hackaday.com·2d

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·5d·

Discuss: Hacker News, Hacker News

🔁Python Itertools

ICE Is Expanding Across the US at Breakneck Speed. Here’s Where It’s Going Next

wired.com·1d·

Discuss: Hacker News, r/TrueReddit

🗺️GeoGuessr

Spotify changes developer mode API to require premium accounts, limits test users

techcrunch.com·5d·

Discuss: Hacker News

MAGA Zealots Are Waging War On Affordable Broadband

techdirt.com·5d

The Bizarre Enhancement Claims Rocking Ski Jumping

science.slashdot.org·5d

The Even Realities G2 Are Impressive Smart Glasses, but the Software Needs Polish

wired.com·1d

New Linux Patches Allow Preserving Apple Mac Backlight Brightness Across Reboots

phoronix.com·5d

The backlash over OpenAI’s decision to retire GPT-4o shows how dangerous AI companions can be

techcrunch.com·5d·

Discuss: Hacker News

Chinese teams keep shipping Western AI tools faster than Western companies do

reddit.com·5d·

Discuss: r/artificial

🏢Engineering Culture

I made an open source image and video converter

reddit.com·5d·

Discuss: r/linux

AMD Introduces New GPU Target To AMDGPU LLVM: GFX1170 "RDNA 4m"

phoronix.com·5d·

Discuss: r/hardware

🐧Linux Kernel

microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

github.com·5d·

Discuss: Hacker News, r/programming, r/rust

💻Terminal Emulators

Inspector General Investigating Whether ICE's Surveillance Tech Breaks the Law

404media.co·5d

💻Programming

zenika-open-source/promote-open-source-project: 📄 How to promote my open source project?

github.com·5d

👀Code Review

Loading more...