gobdovan

6 ms·

31.
by gobdovan 4mo ago
> The old horror-stories of 'I couldn't reverse a BST on a whiteboard so I didn't get the job' seem wonderful in comparison now > They manage to screen me out before I have the opportunity to talk about anything co
32.
by gobdovan 4mo ago
I did not mention 'formal statement checkable by proof checker' anywhere. Correctness requires some criterion external to the implementation. Write it down and it's a spec. If you do not write it down and the behaviour is not
33.
by gobdovan 4mo ago
> I don't need to broadcast my emotional life into one-sided internet parasocial relationship since I have a human next to me to talk with > Once a week, showing something to each other for 5 minutes on Fridays is so fun > w
34.
by gobdovan 4mo ago
Grandparent is onto something. You can't define correctness without a spec. And since most business-oriented software, which most of us work with, isn't made against a comprehensive spec, you can argue that anything falling outsid
35.
by gobdovan 4mo ago
Have you read TFA? I think you're reading 'all-encompassing' too literally and make it seem that the author has his girlfriend substitute friends, colleagues and they're in some 'total life overlap' mode. But i
36.
by gobdovan 4mo ago
In the future, all football will be played by Messi clones and all hockey by Gretzkies.
37.
by gobdovan 4mo ago
WASM is just a binary instruction format for a virtual stack machine. So instead of having many instruction sets for different CPUs and so on, you write for a portable VM (think of like JVM but lower level) that then can be ran on many CPUs
38.
by gobdovan 4mo ago
Where does the article mention Claude Design? It seems to me the author is using LLMs as a tool for iteration, given he is a designer. Also, you're mentioning a lot of unrelated tech. DPO, PPO, actor-critic, visual self-eval loops, Ant
39.
by gobdovan 4mo ago
> They spent entire days without human contact and their mental distress, use of mental healthcare, and antidepressants increased acutely You simply can't end an abstract/"editor's summary" with this kind of phra
40.
by gobdovan 4mo ago
Any way to get sound?
41.
by gobdovan 4mo ago
DeepSeek research: - V3 https://arxiv.org/abs/2412.19437 - V2 https://arxiv.org/abs/2405.04434 - R1 https://arxiv.org/abs/2501.12948 (RL applied to ML models was well-known b
42.
by gobdovan 4mo ago
The secret sauce is also having the necessary 'creativity' to not get ceased and desisted into oblivion and jail from all the copyrighted material you trained your model on. Btw, not making a moral judgement, [0] shows Michael and
43.
by gobdovan 4mo ago
Thanks, the comparison hit like a bag of bricks.
44.
by gobdovan 4mo ago
Not really, but sounds interesting. Would you care to share some sites that offer better llms.txt than main web page? Or talk about some piece of info you easily found on llms.txt that was hard to navigate to on the regular website?
45.
by gobdovan 4mo ago
Perhaps we should not go into any even older professions on HN.
46.
by gobdovan 4mo ago
Notice how you describe a perfectly intelligible concept like 'unicorn in space' as meaningless, even though there's a clear picture you can form in your mind about it and you can imagine the exact evidence that would convinc
47.
by gobdovan 4mo ago
For someone who only cares about utility of findings, I suppose there's little value in analysing the phenomenology of consciousness. I suspect that for a similar profile of thinkers meditation started being interesting when they saw t
48.
by gobdovan 4mo ago
I started reading the first part of your comment before opening the article and thought you were mocking AI bros. I then read the rest of your comment and was sure you're misrepresenting TFA. I clicked on the article and started at it
49.
by gobdovan 4mo ago
I am making a narrower claim than the Chinese Room argument. I actually see consciousness via mechanistic processes as entirely possible. My point is about current LLMs specifically, which the article is clearly referencing. For a present d
50.
by gobdovan 4mo ago
> The Only Programming Language Built on Mathematics, Not Fashion Had to reread the title again since I thought I opened a different article about TLA+. As for SQL, if you're referring to DBMS systems, here's what E.F. Codd, in
51.
by gobdovan 4mo ago
Yeah, I think it would be an interesting thought experiment to replace parts of a brain with Neuralink-like devices until you have a fully digital brain, although I doubt it would end up anything like a current LLM.
52.
by gobdovan 4mo ago
Although I get that it's a metaphor, I really dislike the "some people are born with a GB300 while others have an L40S" part. Even as a joke, it ranks people like hardware tiers, which is dehumanising and uncomfortably close
53.
by gobdovan 4mo ago
I suppose it's mostly about clear communication. If you are reviewing books for a movie, the job does not seem to be "will this become a successful adaptation?" so much as "what is the strongest movie latent in this book
54.
by gobdovan 4mo ago
You can take the weights and model description, write them down on a notebook, then, by hand, compute the next token. Try to do the same with meat.
55.
by gobdovan 4mo ago
> I honestly don’t know what it even means to be conscious > subjugate other cultures (assuming you mean they're not conscious in other's minds) Have you ever considered you might be a philosophical zombie? [0] [0] https:&#
56.
by gobdovan 4mo ago
Chess has set rules and is a closed world with a set objective. In maths, you make up the rules. For every clearly defined problem that everybody cares about and is not yet proven, there's someone who first who recognised the importanc
57.
by gobdovan 4mo ago
Why wouldn't Meta also directly sell data if nobody cared about this distinction?
58.
by gobdovan 4mo ago
They did have immense networks and were constantly communicating with one another. In On the Origin of Species, I was amazed how Darwin basically knew all the top breeders and naturists form South America, Arab Gulf, Oceania, which he menti
59.
by gobdovan 4mo ago
It's fun to think about why that is. Most compilers explore the code into sea of nodes, with explicit relation kinds (depends-on, computes, effect relations etc) that humans don't have access to in surface languages. Then they jus
60.
by gobdovan 4mo ago
I had the same thought about ML engineering a while back, when Google released the AutoML suite, that was banned from Kaggle competitions. At the time, it seemed obvious to me that the closer you were to the models, the easier it was for th

More ›