Debian 13.0 "Trixie" Planning for Release on August 9 (phoronix.com)
4 points by LorenDB 2 hours ago | 0 comments
151Gilles Dowek: an explorer of formal methods (inria.fr)
1 points by homarp 2 hours ago | 0 comments
152Gilles Dowek: at the crossroads of computer science, logic and philosophy (universite-paris-saclay.fr)
1 points by homarp 2 hours ago | 0 comments
153Clear Linux OS terminated as Intel trims the fat (theregister.com)
3 points by beardyw 2 hours ago | 0 comments
154Use DuckDuckGo to Remove AI Images from Your Search Results (lifehacker.com)
8 points by Bluestein 2 hours ago | 0 comments
155Atari 2600 Pac-Man Edition takes you back in time (shortlist.com)
6 points by Bluestein 2 hours ago | 0 comments
156Human-level AI is not inevitable. We have the power to change course (theguardian.com)
4 points by rntn 2 hours ago | 1 comment
157Show HN: ExpoLaunch – A full-featured Expo starter for mobile apps (expolaunch.dev)
1 points by jonypopovv 2 hours ago | 0 comments
158I Built the Torment Nexus (Political Podcast Edition) (jamesrball.com)
2 points by bwb 2 hours ago | 0 comments
159Why it's impossible to manufacture in America [video] (youtube.com)
2 points by NalNezumi 2 hours ago | 0 comments
160Enshittification and the Bitterness of Billionaire Bros (paulkrugman.substack.com)
5 points by davidw 2 hours ago | 5 comments
161Show HN: An API for human-powered browser tasks (browser-work.com)
4 points by madebywelch 2 hours ago | 1 comment
162Call Me a Jerk: Persuading AI to Comply with Objectionable Requests (2025) (papers.ssrn.com)
1 points by danshapiro 2 hours ago | 1 comment
163The industry filed false claims against the "Stop Killing Games" initiative [yt] [video] (youtube.com)
3 points by _V_ 2 hours ago | 0 comments
164Why Los Alamos Is Spending $1B on a Cold War–Era Particle Accelerator (lanl.gov)
2 points by LAsteNERD 2 hours ago | 1 comment
165Is Starship Doomed? (nymag.com)
3 points by staplung 2 hours ago | 1 comment
166I Use EDA and Local LLMs to Make Better Product Decisions
2 points by pdxbug 2 hours ago | 0 comments
167The whipsawing of Windsurf employees has left a bitter taste in tech (businessinsider.com)
2 points by softwaredoug 2 hours ago | 1 comment
168Heavyweight: All of the Gravitas, None of the Fees (heavyweight.cc)
2 points by KSerra 2 hours ago | 0 comments
169India: Income Tax Bill allows officials to forcibly access social media, email (thehindu.com)
65 points by LordAtlas 3 hours ago | 39 comments
170Comparison of MGR, SunView, OpenWindows and X11R6 (2022) (oldvcr.blogspot.com)
11 points by hualapais 3 hours ago | 2 comments
171Show HN: Communal Growth, find others with similar interests in books or papers (communalgrowth.org)
2 points by CarpaDorada 3 hours ago | 0 comments
172I am no longer chairing defenses where students use generative AI (statmodeling.stat.columbia.edu)
2 points by compiler-guy 3 hours ago | 0 comments
173Ask HN: Encryption using normal English paragraphs?
1 points by ActorNightly 3 hours ago | 1 comment
174Africa needs more large firms, not more entrepreneurs, for economic growth (phys.org)
1 points by PaulHoule 3 hours ago | 0 comments
175Slow AGI (x.com)
1 points by cdata 3 hours ago | 0 comments
176Data: A Swift-foundation deep-dive (blog.jacobstechtavern.com)
3 points by jakey_bakey 3 hours ago | 0 comments
177How to Combine SwiftUI Views Without Getting Lost in Nesting and Complex Layouts (matteomanferdini.com)
5 points by DeusExMachina 3 hours ago | 0 comments
178Memory Efficiency in iOS: Reducing footprint and beyond (antongubarenko.substack.com)
29 points by CharlesW 3 hours ago | 5 comments
179Tesla Hollywood Diner Opens: A Look at the Food, Merch, Features (notateslaapp.com)
2 points by mgh2 3 hours ago | 0 comments
180