Hacker News
@hackernewslive
24.8K
subscribers
217K
links
Download Telegram
Join
Hacker News
24.8K subscribers
Hacker News
Rosetta 2 creator leaves Apple to work on Lean full-time
Article
,
Comments
Linkedin
#leanlang #leanprover #leanfro | Leonardo de Moura
I am thrilled to welcome Cameron Zwarich to the Lean FRO! As the brilliant creator of Rosetta 2 and an exceptional software developer with over 15 years of experience at Apple specializing in low-level systems software, Cameron will focus on enhancing Lean's…
🥱
15
❤
4
🫡
2
🌭
1
Hacker News
JEP 483: Ahead-of-Time Class Loading and Linking
Article
,
Comments
🌭
3
👌
1
Hacker News
Wuppertal's suspended monorail proved its doubters wrong [video]
Article
,
Comments
YouTube
How Wuppertal's Suspended Monorail Proved Its Doubters Wrong
Wuppertal's Suspended Monorail (Schwebebahn) has a long history of incredible highs and soul-crushing lows. These are its stories.
🧡
Support me on Patreon and Win a copy of “Streetfight: Handbook for an Urban Revolution”: https://www.patreon.com/mindthemap…
🌭
6
👻
1
Hacker News
Keeping a Changelog at Work (2020)
Article
,
Comments
code.dblock.org | tech blog
Keeping a CHANGELOG at Work
What did you do at work today? How about last week? I spent a couple of days in quarterly business reviews, and wrapped up yearly planning activities for AWS Data Exchange and AWS Marketplace. I also added some unit tests to a project that I am onboarding…
👍
9
🖕
4
🌭
2
Hacker News
Aegisub 3.4 – Open-Source Subnoscript Editor
Article
,
Comments
Aegisub
Advanced Subnoscript Editor
Aegisub is a free, cross-platform open source tool for creating and modifying subnoscripts. Aegisub makes it quick and easy to time subnoscripts to audio, and features many powerful tools for styling them, including a built-in real-time video preview.
👌
14
👍
4
🌭
2
Hacker News
Slow deployment causes meetings (2015)
Article
,
Comments
Software Design: Tidy First?
Slow Deployment Causes Meetings
First published 2016.
👍
5
✍
4
🗿
3
🌭
1
Hacker News
The essays of Michel de Montaigne online
Article
,
Comments
HyperEssays
HyperEssays is a project to create a modern and accessible online edition of the Essays of Michel de Montaigne.
🔥
3
🌭
3
Hacker News
AI Is the Black Mirror
Article
,
Comments
Nautilus
AI Is the Black Mirror
Why the kinship between artificial intelligence and the human mind is terrifying.
👍
18
👎
5
🌭
2
Hacker News
The CD Pipeline Manifesto
Article
,
Comments
👍
4
🤔
3
🌭
1
Hacker News
Spherical Harmonics
Article
,
Comments
🌭
3
🥰
2
Hacker News
We use our own hardware at Fastmail
Article
,
Comments
Fastmail
Dec 22: Why we use our own hardware at Fastmail
Why we use our own hardware and what the tradeoffs and costs look like
👍
19
🌭
1
Hacker News
MacKenzie Scott donates over $2B in 2024 to 199 organizations
Article
,
Comments
Yield Giving
Established by MacKenzie Scott to share a financial fortune created through the effort of countless people, Yield is named after a belief in adding value by giving up control. To date, our network of…
👍
6
🤡
4
🤔
2
🤨
2
🌭
1
Hacker News
Murder Mystery: GCC Builds Failing After Sbuild Refactoring
Article
,
Comments
Emanuele Rocca
Murder Mystery: GCC Builds Failing After sbuild Refactoring
This is the story of an investigation conducted by Jochen Sprickerhof, Helmut Grohne, and myself. It was true teamwork, and we would have not reached the bottom of the …
👏
3
❤
1
🌭
1
😴
1
Hacker News
GPT-5 is behind schedule
Article
,
Comments
The Wall Street Journal
The Next Great Leap in AI Is Behind Schedule and Crazy Expensive
The startup has run into problem after problem on its new artificial-intelligence project, code-named Orion.
😁
24
🤣
8
🤡
5
👍
3
🌭
1
Hacker News
The legacy of NeXT lives on in OS X (2012)
Article
,
Comments
Ars Technica
The legacy of NeXT lives on in OS X
NeXTSTEP technologies still fuel Macs, iPhones, and iPads 16 years later.
💯
8
🥱
1
🌭
1
Hacker News
Exposing the Honey Influencer Scam [video]
Article
,
Comments
YouTube
Exposing the Honey Influencer Scam
Was Honey a legitimate money saving tool? Or just an affiliate marketing scam promoted by some of YouTube's biggest influencers?
If you have any inside information about PayPal Honey or believe you can contribute to this story, please feel free to contact…
💯
21
😁
10
🤮
9
🌭
1
Hacker News
Feed readers which don't take "no" for an answer
Article
,
Comments
😁
9
🌭
1
Hacker News
Curl removes experimental HTTP back end in Rust
Article
,
Comments
daniel.haxx.se
dropping hyper
The ride is coming to an end. The experiment is done. We tried, but we admit defeat. Four years ago we started adding support for an alternative HTTP backend in curl. It would use a library written in rust, called hyper. The idea was to introduce an alternative…
👍
33
😢
9
❤
4
👏
4
🥰
2
😁
2
👀
2
🔥
1
🌭
1
🍾
1
Hacker News
The Engineering of Wildlife Crossings
Article
,
Comments
Practical Engineering
The Hidden Engineering of Wildlife Crossings — Practical Engineering
[Note that this article is a trannoscript of the video embedded above.] This is the Wallis Annenberg Wildlife Crossing under construction over the 101 just outside Los Angeles, California. When it’s finished in a few years, it will be the largest wildlife…
👍
5
🌭
3
Hacker News
Decoding the telephony signals in Pink Floyd's 'The Wall'
Article
,
Comments
🤝
7
👍
1
🌭
1
Hacker News
The Risk of Cancer Fades as We Get Older, and We May Know Why
Article
,
Comments
ScienceAlert
The Risk of Cancer Fades as We Get Older, And We May Finally Know Why
One protein could be key.
🔥
8
🌭
3
TWeb.init({scrollToPost:'hackernewslive/194585'});