hackernews 2 years ago

Lean4 helped Terence Tao discover a small bug in his recent paper Comments (

Lean4 helped Terence Tao discover a small bug in his recent paper | Hacker News

)

Mathstodon

Terence Tao (@tao@mathstodon.xyz)

Attached: 1 image As a consequence of my #Lean4 formalization project I have found a small (but non-trivial) bug in my paper! While in the course...

hackernews 2 years ago

The Moose Boulder Hoax Comments (

The Moose Boulder Hoax | Hacker News

) https://www.atlasobscura.com/articles/moose-boulder-debunked

hackernews 2 years ago

Let me tell you about me Gear Fabrication Syndrome Comments (

Let me tell you about me Gear Fabrication Syndrome | Hacker News

) https://weenoisemaker.com/blog/2023/10/21/gear-fabrication-syndrome.html

hackernews 2 years ago

On Bus Arbitration on the Unibus and QBUS (2017) Comments (

On Bus Arbitration on the Unibus and QBUS (2017) | Hacker News

) http://www.froghouse.org/~dab/papers/bus-arbitration/bus-arbitration.html

hackernews 2 years ago

BP to purchase $100M in Tesla Superchargers Comments (

BP to purchase $100M in Tesla Superchargers | Hacker News

)

BP to purchase $100 million in Tesla Superchargers

Installations begin in 2024

hackernews 2 years ago

Apple Faces Potential Watch Import Ban After Federal Trade Ruling Comments (

Apple Faces Potential Watch Import Ban After Federal Trade Ruling | Hacker News

) https://www.wsj.com/tech/apple-faces-potential-watch-import-ban-after-federal-trade-ruling-09cdfccd

hackernews 2 years ago

Microsoft: Require user consent before sending any telemetry Comments (

Microsoft: Require user consent before sending any telemetry | Hacker News

)

GitHub

Require user consent before sending any telemetry · Issue #176269 · microsoft/vscode

VSCode doesn't ask for consent from the user when sending telemetry, it's an opt out. Even if you disable telemetry after installing VSCode, some d...

hackernews 2 years ago

Poll: What are the gender demographics of HN? Comments (

Poll: What are the gender demographics of HN? | Hacker News

)

Poll: What are the gender demographics of HN? | Hacker News

hackernews 2 years ago

Kaspersky: How to Catch a Wild Triangle Comments (

How to catch a wild triangle | Hacker News

)

Securelist

How Kaspersky obtained all stages of Operation Triangulation

How Kaspersky researchers obtained all stages of the Operation Triangulation campaign targeting iPhones and iPads, including zero-day exploits, val...

hackernews 2 years ago

Limewash (2005) [pdf] Comments (

Limewash (2005) [pdf] | Hacker News

) https://www.lime.org/documents/lime_basics/limewash.pdf

hackernews 2 years ago

Yugoslavia's Digital Twin: when a country's internet domain outlives the nation Comments (

Yugoslavia's Digital Twin – When a country's internet domain outlives the nation | Hacker News

)

The Dial

Yugoslavia's Digital Twin — The Dial

What happens when a country

hackernews 2 years ago

My Left Kidney Comments (

My Left Kidney | Hacker News

)

My Left Kidney

...

hackernews 2 years ago

It's 2023, here is why your web design sucks Comments (

It's 2023, here is why your web design sucks | Hacker News

)

It's 2023, here is why your web design sucks.

Exploring the reasons why we no longer have web designers.

hackernews 2 years ago

DaScript: Fast and Versatile Scripting Language Comments (

DaScript: Fast and Versatile Scripting Language | Hacker News

)

Daslang - The High Performance Programming Language

Daslang is high-performance strong statically typed programming language designed to be data oriented in C++ environment.

hackernews 2 years ago

Things I like about Gleam's Syntax Comments (

Things I like about Gleam's Syntax | Hacker News

)

Things I like about Gleam's Syntax

hackernews 2 years ago

Cruise pauses driverless operations across all cities Comments (

We have decided to pause driverless operations across all of our fleets | Hacker News

) https://twitter.com/Cruise/status/1717707807460393022

hackernews 2 years ago

Ceasing Print Publication of ACM Journals and Transactions Comments (

Ceasing print publication of ACM journals and transactions | Hacker News

) https://www.acm.org/publications/ceasing-print

hackernews 2 years ago

Ask HN: Uncovered a Network of Scam Websites, How Do I Report Them to Google? Comments (

Ask HN: Uncovered a network of scam websites, how do I report them to Google? | Hacker News

)

Ask HN: Uncovered a network of scam websites, how do I report them to Google? | Hacker News

hackernews 2 years ago

Imbue (Formerly Generally Intelligent) (YC S17) Is Hiring a Chief of Staff Comments (

Imbue (Formerly Generally Intelligent) (YC S17) Is Hiring a Chief of Staff | Hacker News

)

Imbue (Formerly Generally Intelligent) (YC S17) Is Hiring a Chief of Staff | Hacker News

hackernews 2 years ago

Monsters in the Middle Ages Comments (

Monsters in the Middle Ages | Hacker News

)

Medievalists.net

How to Make a Monster - Medievalists.net

Ideas about monstrosity were fundamental to ancient and medieval debates about the nature of humanity, and the rhetoric of monstrosity was widely u...