Y HN SearchHacker News Search

new|comments|top|jobs

pcfwik

searching PlanetScale…

1.▲
2.▲
3.▲
4.▲
5.▲
6.▲

8 ms·

61.
Gödel, Escher, Bach, and AI (2023)(theatlantic.com)
35 points by pcfwik 2y ago|10 comments
62.
The Problem of Teaching Physics in Latin America (1963)(calteches.library.caltech.edu)
1 points by pcfwik 2y ago|0 comments
63.
Is the Brain's Mind a Computer Program? (1990) [pdf](cs.princeton.edu)
1 points by pcfwik 2y ago|0 comments
64.
How do we tell truths that might hurt? (1975)(cs.virginia.edu)
76 points by pcfwik 2y ago|54 comments
65.
by pcfwik 2y ago
> That is not a TCP/IP stack in 200 LoC. I agree --- I mostly think it's interesting as one of the most concrete examples of what they claim to have actually done that I've been able to find. In general, it's frustrat
66.
by pcfwik 2y ago
> I don't think they DID build a modern computing environment at all. I agree that, now, after they've tried and failed, we can say they didn't build a modern computing environment in 20kloc. My point is just that, when th
67.
by pcfwik 2y ago
Sorry, added an edit to my above post before I saw this, just to summarize: I think that's a more reasonable complaint, but I fear it's too vague to be applicable. The STEPS folks would probably say that a modern computing environ
68.
by pcfwik 2y ago
> Let me guess, they published a bunch of papers, did a bunch of experiments like "lets do X but gui" "what if you didn't have to learn syntax" and then nobody ever did anything with any of the work because it wa
69.
STEPS Toward the Reinvention of Programming (2012) [pdf](tinlizzie.org)
109 points by pcfwik 2y ago|87 comments
70.
by pcfwik 2y ago
I think it would get a lot less hate if Google just made it possible to opt-out of them without having to download some third-party browser extension (which is actually what Google's AI summary itself suggests I do when I ask it how to
71.
Safe and usable kernel extensions with Rax(arxiv.org)
1 points by pcfwik 2y ago|0 comments
72.
Google Co-Scientist AI fed previous paper with the answer in it(pivot-to-ai.com)
200 points by pcfwik 2y ago|36 comments
73.
by pcfwik 2y ago
This book has some nice cuttable flexagon templates on thicker paper, with designs: https://www.amazon.com/Fantastic-Flexagons-Hexaflexagons-Oth... The designs are fun, although I find that the thicker paper actually makes
74.
Lurking Inside an Asteroid: Life's Ingredients(nytimes.com)
2 points by pcfwik 2y ago|0 comments
75.
Some thoughts from two-fifths of the way through grad school(benchugg.com)
2 points by pcfwik 2y ago|0 comments
76.
Social Processes and Proofs of Theorems and Programs [pdf](gwern.net)
1 points by pcfwik 2y ago|0 comments
77.
Rejoining Academia(austinhenley.com)
4 points by pcfwik 2y ago|0 comments
78.
Mail Avenger: The Spam Extermination Project(mailavenger.org)
3 points by pcfwik 2y ago|0 comments
79.
Insertion Sort is O(n log n) [pdf] (2004)(www3.cs.stonybrook.edu)
3 points by pcfwik 2y ago|1 comments
80.
People Don't Write Programs(pron.github.io)
2 points by pcfwik 2y ago|0 comments
81.
Auto-Brewery Syndrome(en.wikipedia.org)
2 points by pcfwik 2y ago|0 comments
82.
Past Tense, Part I (episode)(memory-alpha.fandom.com)
1 points by pcfwik 2y ago|0 comments
83.
Fun with Ld_preload [pdf](yurichev.com)
1 points by pcfwik 2y ago|0 comments
84.
[PDF] 21 compilers and 3 orders of magnitude in 60 minutes(venge.net)
2 points by pcfwik 2y ago|0 comments
85.
Structured Programming with Go to Statements(dl.acm.org)
2 points by pcfwik 2y ago|0 comments
86.
The British Aren't Coming. They're Here(nytimes.com)
2 points by pcfwik 2y ago|1 comments
87.
Guano Islands Act(en.wikipedia.org)
1 points by pcfwik 2y ago|0 comments
88.
Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT)(cstheory.stackexchange.com)
2 points by pcfwik 2y ago|0 comments
89.
Problems with the Halting Problem [pdf](cs.toronto.edu)
1 points by pcfwik 2y ago|0 comments
90.
Compute Governance(aisafetybook.com)
1 points by pcfwik 2y ago|0 comments