Hacker News
@hackernewslive
24.6K
subscribers
216K
links
Download Telegram
Join
Hacker News
24.6K subscribers
Hacker News
Linearizability: A correctness condition for concurrent objects
Article
,
Comments
Blogspot
Linearizability: A Correctness Condition for Concurrent Objects
This paper is from Herlihy and Wing appeared in ACM Transactions on Programming Languages and Systems 1990. This is the canonical reference...
🌭
3
Hacker News
Finite State Machine Designer
Article
,
Comments
🌭
5
🤣
4
👍
2
🤔
1
Hacker News
A simple proof that pi is irrational [pdf] (1946)
Article
,
Comments
🌭
5
😐
5
😁
2
❤
1
👍
1
🤔
1
🥱
1
Hacker News
Segment Anything Model and Friends
Article
,
Comments
www.lightly.ai
Segment Anything Model and Friends
The Segment Anything Model (SAM) and its successors made a significant leap forward in computer vision, particularly in image and video segmentation. Along with SAM’s innovative approach to promptable segmentation, the literature rapidly evolved to address…
🌭
1
Hacker News
OpenBSD 7.5 via QEMU on Hetzner physical machine (no phys. access / KVM console)
Article
,
Comments
hackmd.gfuzz.de
OpenBSD 7.5 (amd64) via qemu on Hetzner physical machine (no phys. access / KVM console) - CodiMD
OpenBSD 7.5 (amd64) via qemu on Hetzner physical machine (no phys. access / KVM console) === ######
🌭
5
❤
3
🤮
1
Hacker News
Apple Prototypes and Corporate Secrets Are for Sale Online–If You Know Where
Article
,
Comments
WIRED
Apple Prototypes and Corporate Secrets Are for Sale Online—If You Know Where to Look
On the hunt for corporate devices being sold secondhand, a researcher found a trove of Apple corporate data, a Mac Mini from the Foxconn assembly line, an iPhone 14 prototype, and more.
🤣
15
🌭
5
👍
1
🔥
1
Hacker News
Go structs are copied on assignment (and other things about Go I'd missed)
Article
,
Comments
Julia Evans
Go structs are copied on assignment (and other things about Go I'd missed)
I’ve been writing Go pretty casually for years – the backends for all of my playgrounds (nginx, dns, memory, more DNS) are written in Go, but many of those projects are just a few hundred lines and I don’t come back to those codebases much.
🤮
5
🌭
5
👍
1
Hacker News
Generating Simpson's Paradox with Z3
Article
,
Comments
🌭
1
Hacker News
Adbfs-rootless – Mount Android phones on Linux with adb. No root required
Article
,
Comments
GitHub
GitHub - spion/adbfs-rootless: Mount Android phones on Linux with adb. No root required.
Mount Android phones on Linux with adb. No root required. - spion/adbfs-rootless
🔥
20
👌
2
👍
1
🌭
1
Hacker News
Hazard3: 3-stage RV32IMACZb* processor with debug
Article
,
Comments
GitHub
GitHub - Wren6991/Hazard3: 3-stage RV32IMACZb* processor with debug
3-stage RV32IMACZb* processor with debug. Contribute to Wren6991/Hazard3 development by creating an account on GitHub.
🌭
2
Hacker News
China's total wind and solar capacity outstrips coal
Article
,
Comments
Renewables Now
China’s total wind and solar capacity outstrips coal, Rystad says
Wind and solar energy capacity in China has for the first time collectively surpassed the country’s coal capacity as of June 2024, Rystad Energy said on Thursday, citing data from the Chinese National Energy Administration (NEA).
👍
28
🤣
10
👌
5
🌭
1
Hacker News
It took my savings and 14 years – but I'm about to cure arthritis
Article
,
Comments
Thetimes
It took my savings and 14 years — but I’m about to beat arthritis
After Simon Westbrook was laid off by Pfizer he spent his redundancy money turning an idea on a piece of paper into a clinical triumph. It could be on the NHS in three years
❤
39
🤯
12
👍
3
👎
2
🥱
2
🤣
2
🤔
1
🌭
1
🖕
1
Hacker News
Introduction to Golang Preemption Mechanisms
Article
,
Comments
unskilled.blog
Preemption in Go: an introduction
A short explanation of what is preemption and how it works
👍
2
🤡
2
❤
1
🌭
1
Hacker News
How to avoid losing items? Holding pens
Article
,
Comments
Alexwendland
How to avoid losing items? Holding pens. | Alex W.'s Blog
🌭
3
🤪
1
Hacker News
WireGuard-rs – Official Rust implementation of WireGuard
Article
,
Comments
❤
20
💩
9
🤡
6
🤮
2
🌭
2
🖕
1
Hacker News
Comma.ai
: Refactoring for Growth
Article
,
Comments
comma.ai blog
Refactoring for Growth
Introducing the autonomy, product, and operations teams.
😈
2
❤
1
👍
1
🌭
1
Hacker News
How can Firefox create the best support for web apps on the desktop?
Article
,
Comments
connect.mozilla.org
How can Firefox create the best support for web apps on the desktop?
Latest update August 21, 2025: https://connect.mozilla.org/t5/discussions/how-can-firefox-create-the-best-support-for-web-apps-on-the/m-p/103673#M40222 Previous update June 25, 2025: https://connect.mozilla.org/t5/discussions/how-can-firefox-create-the-best…
❤
12
👎
2
🤡
2
👍
1
🌭
1
Hacker News
Isometric Projection in Game Development
Article
,
Comments
Pikuma
Isometric Projection in Game Development
Isometric games are extremely popular. Let's learn the theory behind isometric projection and how it is used by gamedevs to write isometric-looking games.
❤
8
👍
2
🌭
2
🤔
1
Hacker News
Genetics solves a thorny problem: how plants have prickles
Article
,
Comments
Cosmos
Genetics solves a thorny problem: how plants have prickles
Thorns – technically termed prickles – are a common feature on many drastically different plants. They represent an evolutionary puzzle.
🌭
4
Hacker News
Google is killing one of Chrome's biggest ad blockers
Article
,
Comments
PCWorld
Google is killing one of Chrome’s biggest ad blockers
uBlock Origin will soon stop functioning in Chrome as Google transitions to new browser extension rules.
🤬
81
🖕
17
👎
5
😁
5
💔
3
😭
3
👏
2
🌭
2
🍾
2
🤣
1
😡
1
Hacker News
Blitz: A lightweight, modular, extensible web renderer
Article
,
Comments
GitHub
GitHub - DioxusLabs/blitz: A radically modular HTML/CSS rendering engine
A radically modular HTML/CSS rendering engine. Contribute to DioxusLabs/blitz development by creating an account on GitHub.
👍
8
🌭
7
💩
3
🤮
2
🤡
1
🖕
1
TWeb.init({scrollToPost:'hackernewslive/187026'});