Hacker News
@hackernewslive
23.2K
subscribers
208K
links
Download Telegram
Join
Hacker News
23.2K subscribers
Hacker News
Liquid Glass โ WWDC25 [video]
Article
,
Comments
Apple Developer
Meet Liquid Glass - WWDC25 - Videos - Apple Developer
Liquid Glass unifies Apple platform design language while providing a more dynamic and expressive user experience. Get to know the design...
๐ฉ
40
โค
7
๐คก
3
๐ฟ
3
๐ญ
1
๐
1
Hacker News
xAI accused of pollution over Memphis supercomputer
Article
,
Comments
POLITICO
'How come I canโt breathe?': Musk's data company draws a backlash in Memphis
The companyโs turbines โ enough to power 280,000 homes โ run without emission controls in an area that leads Tennessee in asthma hospitalizations.
๐
24
๐ฅฑ
12
๐
4
๐
2
๐คฏ
2
โค
1
๐
1
๐ญ
1
๐
1
Hacker News
The Armyโs Newest Recruits: Tech Execs From Meta, OpenAI and More
Article
,
Comments
WSJ
The Armyโs Newest Recruits: Tech Execs From Meta, OpenAI and More
The executives are joining a new innovation corps in the Army Reserve.
๐
32
๐
3
๐คฎ
2
๐คก
1
๐ญ
1
Hacker News
TimeGuessr
Article
,
Comments
๐ฅ
9
๐ญ
4
Hacker News
Peano arithmetic is enough, because Peano arithmetic encodes computation
Article
,
Comments
Mathematics Stack Exchange
Can PA prove "each Goodstein sequence can be proven in PA to reach zero"?
This is one of a pair of questions trying to understand this comment on the xkcd forum contest My number is bigger than yours!. For a definition of Goodstein sequences, see this question.
Let $G(n)...
โค
11
๐
2
๐ญ
2
๐
2
๐ฅ
1
Hacker News
Sorcerer (YC S24) raises $3.9M to launch more weather balloons
Article
,
Comments
Axios
Sorcerer, a Y Combinator weather balloon startup, closed a $3.9M seed round
Its novel balloons are lighter and smaller than competitors.
๐
7
๐ฉ
4
๐ญ
2
Hacker News
Danish department determined to dump Microsoft
Article
,
Comments
The Register
Danish department determined to dump Microsoft
Comment: Jutes revolt against Redmond: Minister for Digital Affairs aims the longboats away from Vinland
๐
87
โค
13
๐
11
๐ด
3
๐
1
๐ญ
1
Hacker News
Denmark Wants to Dump Microsoft Software for Linux, LibreOffice
Article
,
Comments
PCMag UK
Denmark Wants to Dump Microsoft Software for Linux, LibreOffice
The Danish Ministry for Digital Affairs will move half of its employees off Windows and Microsoft 365 next month as part of a four-year 'digital sovereignty' push.
โค
105
๐
21
๐
8
๐ฅฑ
5
๐
1
๐คก
1
๐ญ
1
Hacker News
Caltrain official lived in secret apartment built illegally inside train station
Article
,
Comments
The San Francisco Standard
Photos: Caltrain official lived in secret apartment built illegally inside train station
The lair built in the Burlingame station was furnished and even had a gym.
๐
13
๐
6
โค
4
๐คฌ
4
๐คฃ
2
๐
1
๐ญ
1
Hacker News
Google Cloud Incident Report โ 2025-06-13
Article
,
Comments
๐คก
9
๐
6
๐ฅ
3
๐ญ
1
Hacker News
Last fifty years of integer linear programming: Recent practical advances
Article
,
Comments
inria.hal.science
Last fifty years of integer linear programming: a focus on recent practical advances
<div><p>Mixed-integer linear programming (MILP) has become a cornerstone of operations research. This is driven by the enhanced efficiency of modern solvers, which can today find globally optimal solutions within seconds for problems that were out of reachโฆ
๐ค
7
โค
2
๐ญ
1
Hacker News
Whatever Happened to Sandboxfs?
Article
,
Comments
Substack
Whatever happened to sandboxfs?
Back in 2017โ2020, while I was on the Blaze team at Google, I took on a 20% project that turned into a bit of an obsession: sandboxfs. Born out of my work supporting iOS development, it was my attempt to solve a persistent pain point that frustrated bothโฆ
๐ฉ
5
๐ค
3
๐ญ
1
Hacker News
Saab achieves AI milestone with Gripen E
Article
,
Comments
Start
Saab achieves AI milestone with Gripen E
Saab, in collaboration with Helsing, today announced the successful completion of the first three flights integrating Helsingโs Artificial Intelligence (AI) agent โCentaurโ into a Gripen E fighter jet.
๐คฎ
20
๐ฅ
9
๐ฅฐ
5
๐คฃ
2
๐คฏ
1
๐ญ
1
Hacker News
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix
Article
,
Comments
Medium
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix
Introducing UDA, the knowledge-graph-based architecture that translates conceptual domain models into consistent schemas and dataโฆ
โค
7
๐ค
3
๐ญ
3
๐คฎ
2
Hacker News
"The Illusion of Thinking" โ Thoughts on This Important Paper
Article
,
Comments
Learningbyshipping
233. "The Illusion of Thinking" โ Thoughts on This Important Paper
This is a fantastic paper. I just love it. tl;dr AI is not human. Anthropomorphization has been bad for AI, LLMs, and Chat. Clippy walked so today's AI could run.
๐
7
๐ฅฑ
4
๐ญ
2
โค
1
Hacker News
The Many Sides of Erik Satie
Article
,
Comments
The MIT Press Reader
The Many Sides of Erik Satie
โThe Satie life contains so much murk; his music sparkles with riverine clarity.โ
๐
5
๐ญ
2
๐
1
๐ฟ
1
Hacker News
Unsupervised Elicitation of Language Models
Article
,
Comments
arXiv.org
Unsupervised Elicitation of Language Models
To steer pretrained language models for downstream tasks, today's post-training paradigm relies on humans to specify desired behaviors. However, for models with superhuman capabilities, it is...
๐ฅฑ
5
โค
1
๐ค
1
๐ญ
1
Hacker News
I have reimplemented Stable Diffusion 3.5 from scratch in pure PyTorch
Article
,
Comments
GitHub
GitHub - yousef-rafat/miniDiffusion: A reimplementation of Stable Diffusion 3.5 in pure PyTorch
A reimplementation of Stable Diffusion 3.5 in pure PyTorch - yousef-rafat/miniDiffusion
๐ฅฑ
9
โค
7
๐ญ
2
Hacker News
Me an' Algernon โ grappling with (temporary) cognitive decline
Article
,
Comments
Substack
Me an' Algernon
Originally published May 20, 2015.
๐ญ
5
๐ฑ
3
๐คก
2
๐คฎ
1
๐ญ
1
Hacker News
Slowing the flow of core-dump-related CVEs
Article
,
Comments
LWN.net
Slowing the flow of core-dump-related CVEs
The 6.16 kernel will include a number of changes to how the kernel handles the processing of co [...]
๐
3
๐ญ
2