HNHacker News
TopNewBestAskShowJobs

gbacon

1,427 karma · joined February 24, 2007

https://blog.gbacon.com/
submissionscomments

Lean-sudo: drop-in replacement with formally verified policy, env, and auth

github.com·3 pts·gbacon·
0

Outsmart the Medical Billing Trap

katytalento.com·1 pts·gbacon·
1

But why do we change the clocks at 2am?

rd.com·1 pts·gbacon·
0

Language models imply world models

blog.plover.com·2 pts·gbacon·
1

Ann Bedsole, founder of the Alabama School of Math and Science, dies at 95

yellowhammernews.com·2 pts·gbacon·
2

Generating map tiles for FAA sectional charts with GDAL

ephemeral.cx·1 pts·gbacon·
1

How Did Dennis Ritchie Produce His PhD Thesis? A Typographical Mystery

fermatslibrary.com·25 pts·gbacon·
2

Second look at Microsoft 365 Copilot

paulrobichaux.com·1 pts·gbacon·
1

First look at Microsoft 365 Copilot

paulrobichaux.com·221 pts·gbacon·
180

Showing the halting problem’s undecidability in Agda

boarders.github.io·3 pts·gbacon·
0

Poker pro Mike Caro on keeping the short term in perspective

poker1.com·1 pts·gbacon·
1

Private Pilot Ground School

ocw.mit.edu·187 pts·gbacon·
119

Temptation bundling: Use instant gratification to finish least favorite tasks

doist.com·3 pts·gbacon·
1

White to move and win: beautiful van Breukelen puzzle (c. 1987)

en.chessbase.com·2 pts·gbacon·
1

Multiple ways to compute e in Raku

blogs.perl.org·126 pts·gbacon·
38

The Limits of Logic

medium.com·2 pts·gbacon·
0

Differences Between MSL and GPS Altitudes

esri.com·1 pts·gbacon·
1

I struggle to understand Haskell’s Traversable

blog.plover.com·3 pts·gbacon·
0

A Minecraft mapmaking utility

blog.plover.com·1 pts·gbacon·
0

FAA to consider increasing Light Sport Aircraft weight limit to 3,600 pounds

avweb.com·4 pts·gbacon·
1

Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX

4mhz.de·1 pts·gbacon·
1

Senator John McCain dies at 81

nypost.com·3 pts·gbacon·
1

A software archaeology screwup

blog.plover.com·3 pts·gbacon·
0

What causes traffic jams

blog.plover.com·1 pts·gbacon·
0

Overview of Cook-Levin proof that SAT is NP-complete [47m YouTube]

youtube.com·2 pts·gbacon·
0

Kant: How Is a Synthetic a Priori Judgment Possible?

medium.com·1 pts·gbacon·
0

How to explain infinity to kids

blog.plover.com·182 pts·gbacon·
133

Testing divisibility with state machines

blog.plover.com·1 pts·gbacon·
0

Saying goodbye to search.cpan.org

perl.com·3 pts·gbacon·
0

Facebook asked for little in incentives to bring data center to Huntsville

al.com·1 pts·gbacon·
0
Page 1 of 3Next →