kirlfiend_grill
kirlfiend_grill on Hacker News
Re:F*: A general-purpose proof-oriented programming language
on Sunday August 02, 2026 @11:00AM (#49145283)
> F* (pronounced F star)
No, it isn't.
Re:Practical Vim Command Workflow
on Sunday April 28, 2024 @02:08PM (#40190485)
:Ex
The Unplugged phone appears to be trash[0] Recommend a privacy respecting phone
[0] https://news.ycombinator.com/item?id=38771230
Re:Governor vows criminal prosecution of reporter who found flaw in st...
on Thursday October 14, 2021 @05:01PM (#28870056)
I let a company know that the url for their receipts (including name, address etc) was simply an md5 of the order number. They graciously offered 15% off on my next order as a thank you.
Live: La Palma Volcano Eruption in the Canary Islands (Feed #1) 927
Re:Letter reveals Einstein's thinking on bees, birds and physics
on Thursday May 13, 2021 @07:48AM (#27141028)
For the similarly minded: This is literally about the navigational capabilities of birds and bees.
Re:Renaming Coq
on Thursday April 08, 2021 @11:57AM (#26740359)
I can only hope they end up with "hors coq".
Re:China pressured Concordia University to cancel event with Uighur ac...
on Saturday April 03, 2021 @06:08AM (#26679724)
(2019)
Tiananmen vigil in Hong Kong draws thousands despite coronavirus-related ban
Re:Eliud Kipchoge Breaks Two-Hour Marathon Barrier
on Saturday October 12, 2019 @10:15AM (#21233269)
Seems similar to Conway checkers. https://en.wikipedia.org/wiki/Conway%27s_Soldiers