Turing tarpit surveyor.

Joined October 2021
PureRinFunction retweeted
Anything that makes the state space smaller to reason about, is imo better, even if it slows things down. Memory barriers (off they go!) I get the need for performance, but would be nice to have the default path be the correct and safe one, then have an escape hatch.
1
1
1
43
PureRinFunction retweeted
presenting multiple things that don't behave in a uniform way through a uniform interface is the whole point, that's the point of basically every abstraction like a driver or anything really.
1
1
42
PureRinFunction retweeted
The first volume of the "Mahoutsukai no Yoru" novel series will release on August 27 and will be 400 pages long. Written by Kinoko Nasu and illustrated by Koyama Hirokazu, the novel series is planned to be 3 volumes long and will be published by Seikaisha FICTIONS. kodansha.co.jp/book/products… #mahoyo #魔法使いの夜
19
247
41
1,565
64,109
PureRinFunction retweeted
Just like total correctness, total security is pipe dream, you're always making a trade. How secure you need to be is exactly just enough to make exploiting you "not worth the time they spent".
1
5
79
PureRinFunction retweeted
Replying to @ID_AA_Carmack
Getting anything across a TCP connection with a link that's dropping packets is nothing short of a miracle. Virtual Circuits sometimes don't sound so bad and really had profiles that "guaranteed" a rate that flows over the same path.
1
1
2
100
> 1980: John Searle explains why we can't abstract away the causal properties that actually produce mind > 2025: Minds, Brains, and "but what if we scaled the program" > 2026: Twitter still thinks simulated water is wet when argument is rehashed > 2035: Sam Altman: "ok fine it was autocomplete the whole time" > 2045: Chalmers: "the hard problem was, in fact, hard" > 2050: textbooks: "the 2020s functionalism revival is now considered an embarrassing episode, like phrenology"
Google DeepMind researcher argues that LLMs can never be conscious, not in 10 years or 100 years. "Expecting an algorithmic description to instantiate the quality it maps is like expecting the mathematical formula of gravity to physically exert weight."
55
137
39
975
107,787
PureRinFunction retweeted
Here's the longer version of our Nature piece. Our argument is simple: statistical approximation is not the same thing as intelligence. Strong benchmark scores often say very little about how LLMs behave under novelty, uncertainty, or shifting goals. Even more importantly, similar behaviors can arise from fundamentally different processes. In another paper, we identified seven epistemological fault lines between humans and LLMs. For example, LLMs have no internal representation of what is true. They often generate confident contradictions, especially in longer interactions, because they do not track what is actually true. Another example. Yes, LLMs have solved some open mathematical problems, but these cases typically involve applying known methods to well-defined problems. LLMs cannot invent anything that is truly new and true at the same time, because they lack the epistemic machinery to determine what is true. None of this means LLMs are useless. Quite the opposite: they are extraordinarily useful. But we should be careful about what they are and what they are not. Producing plausible text is not the same as understanding. Statistical prediction is not the same as intelligence. So despite the hype from the usual suspects, AGI has not been achieved. * paper in the first reply Joint with @Walter4C and @GaryMarcus
80
181
43
761
142,470
PureRinFunction retweeted
23
719
22
4,173
61,129
PureRinFunction retweeted
43
331
10
3,460
62,965
PureRinFunction retweeted
A thing you quickly come to understand working in my field is that software developers hate computer science. Like, as a concept.
52
45
17
1,163
209,187
PureRinFunction retweeted
@Chilis you are the light of my life.
1
125
PureRinFunction retweeted
🕘👈
72
5,364
66
37,211
629,913
PureRinFunction retweeted
It’s called CS degree. Not SWE degree.
137
114
27
3,892
248,446
It used to be true years ago that switching a scheduler will help you a lot. With eevdf it naturally gives the UI more CPU time. You're better off nicing the UI processes.
2
1
3
497
Replying to @dhh
You may be interested in custom-mod. They make some nice sub 6L SFF cases, and they're upgradable!
1
1,654
PureRinFunction retweeted
"We must commit ourselves to the risk of talking complete nonsense, if we are to say anything at all." - Michael Polanyi, Personal Knowledge
5
20
1,158
Replying to @VictorTaelin
Actually sweaty, LLMs will unlock time travel soon, also free dyson spheres for everyone.
1
3
190
PureRinFunction retweeted
A lot of anxiety comes from worrying about something 'bad' that might happen. But when we look in reverse, every bad thing becomes a good thing with time & perspective. So - maybe think about what good will come from the bad thing that hasn't happened yet and worry less.
156
361
18
3,353
129,738
SOLID principles are the basis on which you build reliable software. How can you apply them in your own code? Here’s a concise explanation, based on my 42 years of experience in PHP, Pascal and OCaml, starting with S: Single-Responsibility Principle
8
9
98
7,691
PureRinFunction retweeted
You thought systems programmers don't need to know math? Linux kernel developers prove you wrong by contradiction—they prove corollaries in their comments.
20
151
9
2,196
114,629