thesz

7 ms·

91.
by thesz 7mo ago
> Most programmers suck at programming so badly that LLM/AI production IS better than 90+% (possibly 99%+). How do you know?
92.
by thesz 7mo ago
> AI hasn't observably reduced the quality of software I use everyday in a way that is meaningfully separable from normal incidents in the past. Most probably, you are not looking into that well enough. Average duration for
93.
by thesz 7mo ago
> I have been writing a library called "assume" where you can specify a type signature, give it a prompt, and it generates a function on the fly in the background with Claude Code, so you still write some code, but wheneve
94.
by thesz 7mo ago
> If you make the prompts specific enough and provide tests that it has to run before it passes, then it should be fairly close to deterministic. Your prompt may work on the specific state of code base and not before or after som
95.
by thesz 7mo ago
Given that quantum computing (QC) can speed up training of neural networks (LLMs), it would be wise for Google to invest into QC as much as possible. Google with Softbank invested about $230M into QC last year. Microsoft, IBM and Google hav
96.
by thesz 7mo ago
It is hard to find market shares of Viaweb and Yahoo at the time of Viaweb's purchase, the best I've found is that Viaweb was bought for 1/4 of Yahoo's net revenue at the time ($49M price/$203 net revenue in 1998).
97.
by thesz 7mo ago
This product rides a hype wave. This is why it is crazy popular and successful. The situation there is akin to Viaweb - Viaweb also rode hype wave and code situation was awful as well (see PG's stories about fixing bugs during customer
98.
by thesz 7mo ago
It may originate from Roman's thermae: https://en.wikipedia.org/wiki/Thermae
99.
by thesz 7mo ago
Hammam is not as hot as sauna and not as dry. Sauna's air temperatures can reach above 100 degress Celsius and humidity is usually relatively low (around 20%). [1] https://en.wikipedia.org/wiki/Sauna Hammam's
100.
by thesz 7mo ago
> You recognize that you haven't really needed strong mathematical (or coding) skills to create models for some time. And then there goes something like this [1], where researchers failed to control for p-value: "In thi
101.
by thesz 7mo ago
> No one has ever made a purchasing decision based on how good your code is. People make purchasing decisions on the availability of source code all the time, preferring source code available and be able to use it. It is safe to
102.
by thesz 7mo ago
> How can the same model predict egg prices in Italy, and global inflation in a reliable way? For one, there's Benford's law: https://en.wikipedia.org/wiki/Benford%27s_law So, predict sign (branch
103.
by thesz 7mo ago
> A system that is not even Turing complete is extremely limited. Agda is not Turing-complete, yet it is very useful.
104.
by thesz 7mo ago
> The Delta Cycle logic is actually quite similar to functional reactive programming. It separates how a value changes from when a process responds to that change. This is what I use when I play with hardware simulation in Haskel
105.
by thesz 7mo ago
Automated Mathematician was what lead to Eurisko: https://en.wikipedia.org/wiki/Eurisko Eurisko demonstrated superhuman abilities to play strategy games in early 1980-th, and even used strategies from VLSI place-and-ro
106.
by thesz 7mo ago
It still is [1]. [1] https://www.vice.com/en/article/a-human-amateur-beat-a-top-g...
107.
by thesz 7mo ago
> This is meaningless. Turing machines grew from the constructive mathematics [1], where proofs are constructions of the objects or, in other words, algorithms to compute them. [1] https://en.wikipedia.org/wiki
108.
by thesz 7mo ago
Thanks. The paper [1] referenced in your link follows the lagacy of the paper on the HIGGS dataset, and does not operate with quantities like accuracy and/or perplexity. HIGGS dataset paper provided area under ROC, from which one had t
109.
by thesz 7mo ago
There is an HIGGS dataset [1]. As name suggest, it is designed to apply machine learning to recognize Higgs bozon. [1] https://archive.ics.uci.edu/ml/datasets/HIGGS In my experiments, linear regression with extend
110.
by thesz 7mo ago
> The model cares about what you're saying, not what language you're saying it in. What is the number of languages model is trained upon? And what is the number of training set sentences? I believe that these numbers ar
111.
by thesz 7mo ago
The difference is quantum oracles can be constructed [1] and Turing oracle can't be [2]: "An oracle machine or o-machine is a Turing a-machine that pauses its computation at state "o" while, to complete its calculation,
112.
by thesz 7mo ago
I believe that quantum oracles are more powerful than Turing oracles, because quantum oracles can be constructed, from what I understand, and Turing oracles need infinite tape. Our brains use quantum computation within each neuron [1]. [1]
113.
by thesz 7mo ago
This is what softmax [1] is for. [1] https://en.wikipedia.org/wiki/Softmax_function
114.
by thesz 7mo ago
Judging from what I read, their work is subject to regular hardware constraints, such as limited stack size. Because paper describes a mapping from regular hardware circuits to the continuous circuits. As an example, I would like to ask how
115.
by thesz 7mo ago
And then we discover that DNA in (not only brain) cells are ideal quantum computers, DNA's reactions generate coherent light (as in lasers) used to communicate between cells and single dendrite of cerebral cortex' neuron can compu
116.
by thesz 7mo ago
> ...generate answers near the center of existing thought. This is right in the Wikipedia's article on universal approximation theorem [1]. [1] https://en.wikipedia.org/wiki/Universal_approximation_theor
117.
by thesz 7mo ago
You can measure customer facing defects. Also, lines of code is not completely meaningless metric. What one should measure is lines of code that is not verified by compiler. E.g., in C++ you cannot have unbalanced brackets or use incorrectl
118.
by thesz 7mo ago
In "databases and journals" you rarely update just one byte, you do a transaction that updates data, several indexes and metadata. All of that needs to be atomic. Power failure can happen in between any of "1 byte updates wit
119.
by thesz 7mo ago
RAR/ACE/etc used continuous compression - all files were concatenated and compressed as if they were one single large file. Much like what is done with .tar.bz. Bzip on Windows did not do that, there was no equivalent of .tar.bz2
120.
by thesz 7mo ago
BWT is a prediction by partial match (PPM) in disguise. Consider "bananarama": "abananaram" "amabananar" "ananaramab" "anaramaban" "aramabanan" "bananarama"

More ›