nz

16 ms·

121.
Star Guage(en.wikipedia.org)
1 points by nz 10mo ago|0 comments
122.
by nz 1y ago
By way of analogy, the result of the theorem prover is usually actionable (i.e. we can replace one kind of expression with its proven equivalent for some end like optimizing code-size or code-run-time), but mathematicians _still_ endeavor t
123.
by nz 2y ago
Entire companies have been built around synchronizing the WAL with ZFS actions like snapshot and clone (i.e. Delphix and probably others). Would be cool to have `zpgdump` (single-purpose, ZFS aware equivalent).
124.
by nz 2y ago
I could believe that 90% of code will be generated by LLMs, because it takes almost no effort to generate some common boilerplate using an LLM. It's kind of like saying that 90% of code is BSD/MIT/GPL licensed because many pe
125.
China to publish policy to boost RISC-V chip use nationwide(reuters.com)
6 points by nz 2y ago|0 comments
126.
Kenning(en.wikipedia.org)
4 points by nz 3y ago|1 comments
127.
The Kekulé Problem(nautil.us)
3 points by nz 3y ago|0 comments
128.
by nz 3y ago
https://galacticbeyond.com
129.
Combinatory Logic (2020)(plato.stanford.edu)
119 points by nz 3y ago|21 comments
130.
HCI Bibliography: Human-Computer Interaction Resources(hcibib.org)
32 points by nz 3y ago|1 comments
131.
by nz 4y ago
> Sadly this won't be the wake up call that we need to bring back some sort of meritocracy to American society. Genuine question: are we 100% sure that this society was ever meritocratic? How would we measure `meritocracy` so that w
132.
What Is a Square?(plus.maths.org)
1 points by nz 4y ago|0 comments
133.
‘Restoring Beds, or Wombs’ and a Feminist-Materialist Quest for Everlasting Life(jhiblog.org)
3 points by nz 4y ago|0 comments
134.
by nz 4y ago
I find it very amusing how the wikipedia page for Wirth's Law ( https://en.wikipedia.org/wiki/Wirth%27s_law ), has `Electron (software framework)` in the See-Also section. Like, if I had to describe Wirth's Law
135.
Thread About Space Based Solar Power(threadreaderapp.com)
3 points by nz 4y ago|0 comments
136.
The Remarkable Diaries of Composer Ned Rorem(tedgioia.substack.com)
2 points by nz 4y ago|0 comments
137.
What Is the Essence of Computing? (2017)(erasmatazz.com)
44 points by nz 4y ago|20 comments
138.
We Don't Understand Computers (2017)(erasmatazz.com)
15 points by nz 4y ago|3 comments
139.
Why Software Sucks(web.archive.org)
3 points by nz 4y ago|2 comments
140.
The Evolution of Stories(web.archive.org)
4 points by nz 4y ago|0 comments
141.
History of Thinking(web.archive.org)
2 points by nz 4y ago|0 comments
142.
by nz 4y ago
Link to talk: https://www.youtube.com/watch?v=8Ab3ArE8W3s
143.
by nz 4y ago
This was quite good! The money quote: "It always bothers me when people say 'why reinvent the wheel', because the wheel is an _amazing_ invention. It is almost perfect -- or quite possibly perfect -- for what it does. It perf
144.
by nz 4y ago
Never played Twilight Stuggle, but it looks like a lot of fun! There seems to be large-ish international community of players (according to Wikipedia). Wikipedia Entry: https://en.wikipedia.org/wiki/Twilight_Struggle A
145.
by nz 4y ago
Yep, that's the one. If you read an interview with the designer Chris Crawford (can't find it at the moment), he mentions that the mechanics/dynamics were inspired by a book/paper called The War Trap by Bruce Bueno de Me
146.
by nz 4y ago
Cool! Thanks for the tip, I'll check it out. Links (mostly a TODO for myself): https://en.wikipedia.org/wiki/Terra_Invicta https://www.reddit.com/r/TerraInvicta/ https://tvtro
147.
by nz 4y ago
The possible perspectives that strategy games offer to players is vastly under-explored. Most assume that you control a drone-like army of soldiers, for the sole purpose of defeating an opponent. The Paradox games add much more nuance to th
148.
by nz 4y ago
Related to inventing, reinventing, and adopting-the-already-existing: Alan Kay on inventing the future: https://www.youtube.com/watch?v=id1WShzzMCQ Jonathan Blow on "reinventing" your own game engines: https:&#x2
149.
by nz 4y ago
Related, Jonathan Blow on custom vs 3rd party engines: https://www.youtube.com/watch?v=SOtxjOLst2k
150.
by nz 4y ago
Yep, which creates a first-strike/second-strike trade-off. If you have enough resources to click-up an age (or to research some tech-upgrade), you have to choose whether to do _that_, or to build up your military. If you choose the lat

More ›