hwayne

12 ms·

91.
by hwayne 2y ago
I've done this! You can also cut a small square of diffraction grating and put it on top of a hardening chocolate candy (like an enrobed square of ganache) to make decorate a completed chocolate: http://whoisgood.dog/im
92.
by hwayne 2y ago
File is from https://www.eia.gov/electricity/data/eia860m/ , which has monthly updates. Also includes power plants under construction!
93.
Every Power Plant in the USA [XLS File](eia.gov)
2 points by hwayne 2y ago|1 comments
94.
by hwayne 2y ago
[shameless plug]I maintain a collection of proofs of leftpad in different prover languages, so people can compare them. It's here: https://github.com/hwayne/lets-prove-leftpad [/invalid closing tag]
95.
by hwayne 2y ago
Technically speaking one of the foundational axioms of ZFC set theory is actually an axiom schema , or an infinite collection of axioms all grouped together. I have no idea how lean or isabelle treat them.
96.
by hwayne 2y ago
> Unless mathematics is fundamentally more complicated than chess or go, I don't see why that could not happen. My usual comparison is Sokoban: there are still lots of levels that humans can beat that all Sokoban AIs cannot, includi
97.
by hwayne 2y ago
I see it takes `.bpmn` files; can it check properties of BPMN models?
98.
Applied Abstraction(johndcook.com)
2 points by hwayne 2y ago|0 comments
99.
by hwayne 2y ago
Good to know, thank you. I write a lot of teaching material for TLA+ and this will be helpful to think about.
100.
by hwayne 2y ago
Can I ask more about the TLA+ spaghetti you had to write?
101.
The Banana Wiki(bananas.org)
2 points by hwayne 2y ago|0 comments
102.
by hwayne 2y ago
After reading this, my main question changed from "why did birds survive" to "why did crocodiles survive".
103.
Why birds survived and dinosaurs went extinct after an asteroid hit earth (2020)(smithsonianmag.com)
103 points by hwayne 2y ago|47 comments
104.
by hwayne 3y ago
I'd also love to see what comes of this!
105.
by hwayne 3y ago
Have you looked at P? https://p-org.github.io/P/
106.
Kratky in the Basement(bytes.zone)
2 points by hwayne 3y ago|0 comments
107.
by hwayne 3y ago
Hi! I helped review this story, and also am one of the organizers of April Cools. Two things: 1. u/obi1kenobi told me it was a real thing that happened to him 2. The point of April Cools is that the things aren't jokes. They&#x2
108.
by hwayne 3y ago
I think this has equal chances of being 1) a blatant ad for your prompting guide, or 2) a rickroll, and I really don't want to give you my email to find out.
109.
The Tale of Daniel(hillelwayne.com)
192 points by hwayne 3y ago|60 comments
110.
Programming Jigs(buttondown.email)
4 points by hwayne 3y ago|0 comments
111.
by hwayne 3y ago
I'm always deeply impressed by people who can write complex, coherent essays above 2000 words with like a day of advanced notice. The "missing data type" essay was just 3000 and took me months . Show me your dark magic pleas
112.
10% of Anguilla's GDP is .ai domain fees (2023)(arstechnica.com)
43 points by hwayne 3y ago|18 comments
113.
Shakespeare in the Bush(naturalhistorymag.com)
1 points by hwayne 3y ago|0 comments
114.
by hwayne 3y ago
General planning is undecidable; you can pretty easily encode a Turing machine as actions and make the goal state `Halt`.
115.
by hwayne 3y ago
Runs on Windows too . 99% of the research projects I run into are Mac/Linux only.
116.
by hwayne 3y ago
AFAICT Picat is a direct descendant of B-Prolog and shares a lot of idioms (like tabling) with it. https://en.wikipedia.org/wiki/B-Prolog
117.
by hwayne 3y ago
> A philosopher can only leave the waiting phase and attempt to pick up the forks again after each of their adjacent philosophers has either started eating or entered and left the waiting phase once. Consider the case of Plato starts eat
118.
by hwayne 3y ago
> First, let’s prove that a certain protocol ensures that no philosopher will starve. Starvation occurs when a philosopher is perpetually denied access to resources (in this case, forks), and thus can never eat. We'll use a protocol
119.
by hwayne 3y ago
I think one potential downside of this is you no longer have `max(l) in l` for all lists.
120.
Earliest Known Uses of Some of the Words of Mathematics(jeff560.tripod.com)
2 points by hwayne 3y ago|0 comments

More ›