Feeds to Scour
SubscribedAll
Scoured 1286 posts in 251.2 ms
Retro 101
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
✅Pydantic
Humane, adaptive AI bootstrapping
natemeyvis.com·5d
⚡Ruff
Spotify changes developer mode API to require premium accounts, limits test users
techcrunch.com·5d·
Discuss: Hacker News
📨Kafka
Long-Sought Proof Tames Some of Math’s Unruliest Equations
quantamagazine.org·5d·
Discuss: Hacker News, Hacker News
🔁Python Itertools
MAGA Zealots Are Waging War On Affordable Broadband
techdirt.com·5d
📨Kafka
The Bizarre Enhancement Claims Rocking Ski Jumping
science.slashdot.org·5d
🎱Trackballs
New Linux Patches Allow Preserving Apple Mac Backlight Brightness Across Reboots
phoronix.com·5d
⌨️ZMK
The Waymo World Model: A New Frontier for Autonomous Driving Simulation
waymo.com·5d·
Discuss: Lobsters, Hacker News
🗺️OpenStreetMap
Spotify’s new feature lets you explore the story behind the song you’re listening to
techcrunch.com·5d
📨Kafka
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·5d
✅Pydantic
I made an open source image and video converter
reddit.com·5d·
Discuss: r/linux
⚡Ruff
AMD Introduces New GPU Target To AMDGPU LLVM: GFX1170 "RDNA 4m"
phoronix.com·5d·
Discuss: r/hardware
🐧Linux Kernel
zenika-open-source/promote-open-source-project: 📄 How to promote my open source project?
github.com·5d
👀Code Review
Digest #200: Kubernetes in Container, Git Shitstorm, $5M Data Centers and SDLC Threat Framework
devopsbulletin.com·5d
🤖GitHub Actions
Inspector General Investigating Whether ICE's Surveillance Tech Breaks the Law
404media.co·5d
💻Programming
Europe Accuses TikTok of 'Addictive Design' and Pushes for Change
tech.slashdot.org·5d
🍺beer
DOJ’s Frivolous Boasberg Complaint Dismissed—While Nobody Can Explain How DOJ Got The ‘Evidence’ It Never Provided
techdirt.com·5d
🍺beer
Building a Self-Playing Chess Board Robot
hackaday.com·1d
🎮Steam Deck
The Best USB To VGA Converter For The Job
hackaday.com·1d
🔌Keyboard PCBs

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help