⌨️ Ergodox - gbakes · Scour

**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

Europe Accuses TikTok of 'Addictive Design' and Pushes for Change

tech.slashdot.org·5d

KPMG Pressed Its Auditor To Pass on AI Cost Savings

slashdot.org·5d

🔄Data Engineering

The Bizarre Enhancement Claims Rocking Ski Jumping

science.slashdot.org·5d

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

quantamagazine.org·5d·

Discuss: Hacker News, Hacker News

🔁Python Itertools

Spotify’s new feature lets you explore the story behind the song you’re listening to

techcrunch.com·5d

The Kindle Scribe Colorsoft is a pricey but pretty e-ink color tablet with AI features

techcrunch.com·5d

🔲Ortholinear Keyboards

The Waymo World Model: A New Frontier for Autonomous Driving Simulation

waymo.com·5d·

Discuss: Lobsters, Hacker News

🗺️OpenStreetMap

"Work has started" on native Linux support for GOG Galaxy, co-founder says they're "a big fan of Linux"

pcguide.com·5d·

Discuss: r/linux

I made an open source image and video converter

reddit.com·5d·

Discuss: r/linux

Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently

towardsdatascience.com·5d

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

404media.co·5d

💻Programming

Evaluate generative AI models with an Amazon Nova rubric-based LLM judge on Amazon SageMaker AI (Part 2)

aws.amazon.com·5d

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

github.com·5d

👀Code Review

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

Pushing The Intel Panther Lake CPU Performance Further On Linux Review

phoronix.com·5d·

Discuss: Hacker News

🐧Linux Kernel

Digest #200: Kubernetes in Container, Git Shitstorm, $5M Data Centers and SDLC Threat Framework

devopsbulletin.com·5d

🤖GitHub Actions

VRR Improvements Merged To GNOME 50 For Lower Latency, Wayland Commit Timing

phoronix.com·5d·

Discuss: r/linux_gaming

Facial Recognition Tech Used To Hunt Migrants Was Deployed Without Required Privacy Paperwork

techdirt.com·5d·

Discuss: r/technews

🔬Synthetic Data

Loading more...