Feed hacker-news Hacker News

Favorite IconHacker News

Link https://news.ycombinator.com/
Feed https://news.ycombinator.com/rss
Updated 2025-02-26 20:02
Translating My Z3 Tutorial to Coq
Comments
Show HN: A hybrid messaging/photo message board
Comments
Igalia will restart their (Chrome) MathML work in Q2 2021
Comments
Fly.io (YC W20) Is Hiring Elixir Developer Advocates (Remote)
Comments
Show HN: Rich Text Math Editing on the Web with Markdown and AsciiMath
Comments
Massively parallel ultrafast random bit generation with a chip-scale laser
Comments
Noweb – A Simple, Extensible Tool for Literate Programming
Comments
Apple works with China but not the FBI
Comments
Megastructures Superweapons and Global Architectures in Sci-Fi Computer Games
Comments
Transhumanism: What's the Plan?
Comments
SolarWind, enough with the password already
Comments
Crypto-Anarchism
Comments
The Mac price crash of 2021
Comments
Create fake phone contacts, to do data-poisoning
Comments
Not Getting Royalty Free Illustrations and Components? These Site May Help You
Comments
A single cell slime mold makes decisions without a central nervous system
Comments
Single-Shot and First Doses First
Comments
Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data
Comments
Making hibernation work under Linux Lockdown
Comments
The curious case of the handlebar bag scam
Comments
Optimal boarding method for airline passengers (2008)
Comments
2020 Berkshire Hathaway Annual Letter [pdf]
Comments
Account of Ethiopian Church Massacre
Comments
Phantom Types in Gleam
Comments
SolarWinds CEO blames intern for password leak
Comments
Berkshire Hathaway 2020 Annual report [pdf]
Comments
Silicon Valley Runs on Saudi
Comments
We’re removing ads from Plato
Comments
$38M USD moved for half a penny
Comments
Are You Trading or Gambling?
Comments
Why Uber Engineering Switched from Postgres to MySQL (2016)
Comments
Arithmetic dynamics combines insights from number theory and dynamical systems
Comments
The Bupstash Garbage Collector
Comments
Arrow v1.0: After 8 years, even better dates and times for Python
Comments
Do farmers have the right to repair their own equipment?
Comments
Griddy Is Shutting Down
Comments
Bit (1.0) – a modern Git CLI in Go
Comments
Can You Identify This Mysterious Old Writing?
Comments
Mining Ethereum on M1 Mac GPU
Comments
Astranis (YC W16) is hiring a full-cycle tech recruiter to help grow our team
Comments
Every thought about personal finance I've ever had, as concisely as possible
Comments
Some small USA towns giving away housing lots
Comments
Firefox replaces Google Analytics with fake no-op in strict tracking protection
Comments
Medical chatbot using OpenAI’s GPT-3 told a fake patient to kill themselves
Comments
Remain Calm: The fox is still in the Firefox logo
Comments
Graphtage: A semantic diff utility for JSON, HTML, YAML, CSV, etc
Comments
SEC suspends trading in 15 securities due to questionable social media activity
Comments
SEC suspends trading in 15 securities due to questionable social media activity
Comments
Mac finder uses 1,000,000 bytes instead of 1,048,576 bytes for file sizes
Comments
Show HN: Unix tool that visualizes shell commands usage
Comments
...1298129913001301130213031304130513061307...