1
18
Proposal: Add "AI generated" as a flag reason (lobste.rs)
1
Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org)
2
The Most Important Design Guideline? (aristeia.com)
2
2026 will not be the 'Year of Linux on the Desktop', and I'm glad (kevinboone.me)
2
General Motors Replies to Bill Gates (wussu.com)
2
How we release the Spotify app, part 1 (atspotify.com)
4
goto Considered Awesome [video] (youtube.com)
3
I don't like imports (kevincox.ca)
1
WhatsApp Encryption, a Lawsuit, and a Lot of Noise (cryptographyengineering.com)
1
How much "boilerplate tax" different languages have: a 400M LOC analysis (boyter.org)
1
The unwritten laws of Engineering (1944) [pdf] (archive.org)
1
Claude Constitution; or love as the solution to the AI alignment problem (nintil.com)
1
Efail; vulnerabilities in the end-to-end of encryption of OpenPGP and S/MIME (efail.de)
3
I'm not asking an LLM (lr0.org)
4
The Death of Hype: What's Next for Scala (lihaoyi.com)
2
Ethical source is hot garbage (giovanh.com)
1
EgyLinux Archive (lr0.org)
17
I am moving away from Scala (arbuh.medium.com)
2
What's so bad about Microsoft? (kmfms.com)
3
How to open a file in Emacs (murilopereira.com)
4
I just spoke with a friend in Iran and things are worse than media reports (twitter.com/pawelwargan)
3
Anna's Archive loses their .org domain (arstechnica.com)
2
The People of Emacs (kelar.org)
3
How does a Linux machine connect to the internet, really? (pjg1.site)
24
IDF database suggests that at least 83% of Gaza dead were civilians (972mag.com)
2
Slop slop (roshangeorge.dev)
1
New LLM Pre-Training and Post-Training Paradigms (sebastianraschka.com)
45
PNG in Chrome shows a different image than in Safari or any desktop app (lr0.org)
11
nowindows (fefe.de)
2
anarchy.html (stanford.edu)
3
opensource.microsoft.com/thanks (opensource.microsoft.com)
1
The <Noml> Tag (noml.info)
1
Microsoft will always run File Explorer in the background to load it faster (windowslatest.com)
24
[flagged] OOP: The worst thing that happened to programming (alexanderdanilov.dev)
2
The case against OOP is understated, not overstated (boxbase.org)
1
Ways we can fail to answer (gleech.org)
6
Markdown files are not openable because of GitHub Copilot (github.com/microsoft)
1
Small functions considered harmful (copyconstruct.medium.com)
1
Software Engineering's Greatest Hits [video] (youtube.com)
76
The 512KB Club (512kb.club)
11
Awesome Cold Showers (github.com/hwayne)
8
Why AI is not a bubble* (derekthompson.org)
2
The algorithm will see you now (worksinprogress.co)
3
Waiting does not make a lot of sense to me (larr.net)
1
Web browsers need to stop (drewdevault.com)
2
The World History Archive (hartford-hwp.com)
3
The Victorian Web (victorianweb.org)
6
How YouTube algorithm manufactures consent (2024) (archive.org)
1
A hack is not enough (giovanh.com)
2
Exception Handling considered harmful (2005) (lighterra.com)
7
The DHH Problem (tomstu.art)
2
Due to AI abuse, this Bugzilla instance is available only to authenticated users (apache.org)
70
Does anyone remember websites? (tttthis.com)
11
US has spent $33.7B on Israel since it began its war on Gaza two years ago (brown.edu)
4
Conventional Commits Considered Harmful (larr.net)
43
[flagged] Why is your open source project still hosted on GitHub? (unixdigest.com)
13
Opposing genocide got me arrested for terrorism (middleeasteye.net)
10
Gaza: The AI Human Laboratory (thecairoreview.com)
5
How Trump lost the podcast bros (vox.com)
10
Yes, Please Call It the War Department (currentaffairs.org)
3
13 reasons SQL has got to go (infoworld.com)
55
[flagged] US Holocaust museum removes anti-genocide post after being corelatted with Gaza (hyperallergic.com)
1
This class is primarily for Python support (hence the "Retarded" prefix). (github.com/xbmc)
1
Class is primarily for Python support (hence the "Retarded" prefix) (github.com/xbmc)
3
Will all our drugs come from China? (atelfo.github.io)
1
Stoic Surgeon (stoicsurgeon.github.io)
5
Ask HN: Does Microsoft gain anything from the constant annoying rebranding?
1
Why AI has not lived up to the hype, and probably never will (greyenlightenment.com)
1
The fake news that helped put us on a path to Mars (vox.com)
5
What Israelis think about starvation in Gaza (vox.com)
15
Israeli Gaza attacks kill 61 in 24 hours as three children die of hunger (aljazeera.com)
12
X (Twitter) bans its own AI chatbot (Grok) after calling out Israel's genocide (newrepublic.com)
37
Prominent Al Jazeera journalist killed in Israeli airstrike on Gaza (theguardian.com)
17
[dupe] Four Al Jazeera journalists killed in Israeli strike (bbc.com)
20
[flagged] Israel says it killed five Al Jazeera staff in Gaza (aljazeera.com)
1
AI coding tools considered harmful (twitter.com/quentinanthon15)
1
The Medley Interlisp Project (interlisp.org)
19
What makes Israel's starvation of Gaza stand apart (vox.com)
64
Ditching GitHub (2024) (sig7.se)
15
Richard Stallman: GitHub was so bad for free software (2019) (lists.gnu.org)
3
My ISP wanted my opinion so I gave it to them (drmollytov.dev)
15
Did we just lose $7 billion for solar? (vox.com)
4
Some countries still want to save the world (vox.com)
2
100,000 march across Sydney Harbour Bridge demanding end to Gaza genocide (wsws.org)
4
How to hide a famine (bostonreview.net)
18
Gaza and the End of History (bostonreview.net)
153
Why is GitHub UI getting slower? (yoyo-code.com)
107
GitHub pull requests were down (githubstatus.com)
4
Ask HN: How do you bypass paywalls on Safari?
7
The mathematics of starvation: how Israel caused a famine in Gaza (theguardian.com)
26
Gaza's hunger crisis reached its "worst-case scenario" (vox.com)
1
Introducing Mindstream for Emacs (countvajhula.com)
2
Game of Trees 0.116 Released (undeadly.org)
84
The hype is the product (rys.io)
3
'Are you joking, mate?' AI doesn't get sarcasm in non-American English (theconversation.com)
18
UK to recognise Palestinian state in September unless Israel accepts ceasefire (theguardian.com)
18
[flagged] France to recognise Palestinian state in September (bbc.com)
13
[flagged] Why didn't Biden release the Epstein files? (vox.com)
2