Hacker News
@hackernewslive
26.4K
subscribers
225K
links
Download Telegram
Join
Hacker News
26.4K subscribers
Hacker News
A blueprint for formal verification of Apple corecrypto
Article
,
Comments
A blueprint for formal verification of Apple corecrypto - Apple Security Research
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the…
🌭
1
Hacker News
FBI director's Based Apparel site has been spotted hosting a 'ClickFix' attack
Article
,
Comments
PCMAG
Kash Patel's Apparel Site Is Trying To Trick Visitors Into Installing Malware
The FBI director's Based Apparel site has been spotted hosting a 'ClickFix' attack, which involves duping users into running a seemingly benign, but malicious command.
🤣
34
🤡
8
🤬
1
🌭
1
Hacker News
Thinking in an array language (2022)
Article
,
Comments
GitHub
ngn-k-tutorial/12-thinking-in-k.md at main · razetime/ngn-k-tutorial
An ngn/k tutorial. . Contribute to razetime/ngn-k-tutorial development by creating an account on GitHub.
🌭
2
Hacker News
Is AI Profitable Yet?
Article
,
Comments
😁
31
👎
3
🌭
1
Hacker News
TikTok disproportionately served anti-Democratic videos during the 2024 election
Article
,
Comments
PsyPost
TikTok disproportionately served anti-Democratic videos during the 2024 election, study finds
A new study of TikTok’s algorithm reveals a distinct political imbalance. During the 2024 election, the platform consistently exposed users to more conservative and anti-Democratic videos, regardless of their initial political interests or engagement habits.
🤷♂
26
🥱
15
🤬
9
🥰
6
💩
5
🤡
4
🤝
2
🤯
1
🌭
1
💯
1
Hacker News
Microsoft reports AI is more expensive than paying human employees
Article
,
Comments
Fortune
Microsoft reports are exposing AI's real cost problem: Using the tech is more expensive than paying human employees | Fortune
Companies are racing to incentivize employees to use AI. But as some companies are finding, the more employees that use the technology, the heavier the bill.
🤣
122
😁
19
🍌
4
🤯
2
🌭
2
🤷♂
1
💩
1
💋
1
Hacker News
Google Is Killing ChromeOS: Aluminium OS, Its Android-Based Replacement
Article
,
Comments
Tech Journal
Google Aluminium OS: ChromeOS Is Being Replaced — Everything We Know
Google officially announced Aluminium OS at I/O 2026 — an Android-based desktop OS replacing ChromeOS. Here's what it does, when it launches, and who it's for.
🤣
28
💩
23
❤🔥
3
🤡
1
🌭
1
Hacker News
AI keeps inventing fake cases. Lawyers keep citing them
Article
,
Comments
Scientific American
Why lawyers keep citing fake cases invented by AI
The trend of attorneys getting caught citing AI-hallucinated cases points to a broader problem: instead of checking AI’s work, people keep trusting it
😁
33
👏
21
🤮
6
💩
3
🌚
1
🌭
1
Hacker News
New rule requires most green-card applicants to apply from outside U.S.
Article
,
Comments
The Washington Post
New rule requires most green-card applicants to apply from outside U.S.
Immigration lawyers say the change could impact a wide swath of people and marks an escalation in the administration’s efforts to curtail legal migration.
👏
24
🤡
16
👎
2
❤
1
🌭
1
Hacker News
Waymo expands pause to four cities as robotaxis keep driving into floods
Article
,
Comments
TechCrunch
Waymo expands pause to four cities as robotaxis keep driving into floods | TechCrunch
Waymo's robotaxi service is now suspended in both Atlanta and San Antonio, as the company works to stop its vehicles from driving into flooded roads.
🐳
25
😁
11
🌭
1
Hacker News
White House ordering agencies to place its new app on all employees' govt phones
Article
,
Comments
Government Executive
The White House is ordering agencies to place its new app on all employees’ government phones
The newly created, often overtly political app places the Trump administration into unprecedented and “dangerous” territory, IT experts say.
🤣
42
🖕
18
🤡
5
❤
1
👏
1
😁
1
💩
1
🌭
1
😭
1
Hacker News
Experience: We found a baby on the subway – now he's our 26-year-old son
Article
,
Comments
the Guardian
Experience: we found a baby on the subway – now he’s our 26-year-old son
I was rushing towards the turnstile when I noticed a bundle of clothes in a corner. I walked over, peeled back a dark sweatshirt, and saw him
🥰
48
🤮
11
🤨
5
🤔
3
❤
1
🌭
1
Hacker News
Rubish: A Unix shell written in pure Ruby
Article
,
Comments
GitHub
GitHub - amatsuda/rubish
Contribute to amatsuda/rubish development by creating an account on GitHub.
🤣
16
🤡
7
❤
3
😁
1
🌭
1
Hacker News
Spanish Court Declines to Fine NordVPN over LaLiga Piracy Blocking Order
Article
,
Comments
Torrentfreak
Spanish Court Declines to Fine NordVPN Over LaLiga Piracy Blocking Order * TorrentFreak
After a Spanish court ordered VPNs to block pirate football streams, NordVPN says the same court has refused to punish the provider for non-compliance.
👏
50
😁
6
❤
3
🌭
2
Hacker News
BambuStudio has been violating PrusaSlicer AGPL license since their fork
Article
,
Comments
Nitter
Josef Prusa (@josefprusa)
BambuStudio has been violating PrusaSlicer AGPL license since their fork, with the same networking binary black box in question today. Why are they willing to burn the goodwill over it?
There's something most have sensed but never seen it all in one place…
👍
22
🤬
12
💯
3
😱
1
🌭
1
Hacker News
US tech firms share Dutch regulator officials' names with Senate
Article
,
Comments
DutchNews.nl
US tech firms share Dutch regulator officials’ names with senate - DutchNews.nl
Companies such as Microsoft and Meta have shared the names of civil servants and academics working on European tech regulation with a senate committee investigating “tech censorship” or “jawboning”, news magazine Vrij Nederland reported on Friday. The cabinet…
🤬
23
👍
4
🤡
4
🖕
2
🌭
1
Hacker News
Making Deep Learning Go Brrrr from First Principles
Article
,
Comments
🌭
2
Hacker News
80386 Microcode Disassembled
Article
,
Comments
🌭
1
Hacker News
DHS Quits Granting Green Cards–Almost
Article
,
Comments
👏
7
🌭
1
Hacker News
I Miss Terry Pratchett
Article
,
Comments
mahl.me
The spell that wouldn't leave · mahl.me
On reading Terry Pratchett at sixteen, in the back of a French classroom, and a sentence that has been kicking over the furniture in my head ever since.
❤
13
😁
1
🌭
1
🤝
1
Hacker News
On The <dl>
Article
,
Comments
Ben Myers
On the ‹dl›
The semantics you didn’t know you needed.
❤
7
🌭
2