Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
empath75
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
empath75
4d ago
When I first started playing with lean I accidentally defined a group in such a way that it was reduced to triviality. It had one object in it, so everything in the group was trivially equal to everything else. It was not the group that I
2.
▲
by
empath75
5d ago
It's also sort of a misleading gloss of what is going on in that dialogue, which, it is important to note _is in a book_ -- one of many that Plato wrote. Plato has Socrates recount a story (supposedly) from ancient Egypt in which an E
3.
▲
by
empath75
5d ago
This is a "human alignment" problem in this case. OpenAI acted like complete assholes about this, from the beginning until they announced it. Not ChatGPT, the people that were in charge of the project.
4.
▲
by
empath75
5d ago
> the US has no resolve. This would be the wrong conclusion to take from it. Trump is incredibly unpopular domestically and the war is dumb and pointless and was sprung on the US population by surprise and planned and executed with comp
5.
▲
by
empath75
7d ago
Let's say for the sake of argument that an LLM finds a counter example to the Reimann hypothesis. Wouldn't that just create a bunch of opportunities for understanding and explaining _why_ there is a counter example?
6.
▲
by
empath75
7d ago
Claude is an unbelievable yak shaver if you let it be.
7.
▲
by
empath75
8d ago
He's not unhappy with it being solved, but the solution is less important than the learning you have to do to arrive at the solution. If they're just chucking compute at it and publishing the answer and hiding the path to get the
8.
▲
by
empath75
8d ago
They did not have a proof of Navier Stokes to steal.
9.
▲
by
empath75
8d ago
Double suicides happen all the time around the world and are extensively documented in literature (Romeo and Juliet being the prototypical example). That doesn't mean it is a "tradition".
10.
▲
by
empath75
8d ago
In general, they do not care about particular mergers. US laws regarding unfair competition happened because of abuse by big trusts 100+ years ago, Standard Oil in particular, and the result was a regulatory/legal approval framework.
11.
▲
by
empath75
8d ago
I think it's not baked into codex, but codex has either been instructed to download it when asked to edit word docs/excel spreadsheets, or it picked it up during training.
12.
▲
by
empath75
8d ago
The obvious and dumb theory for trading on LLM recommendations is that lots of people are doing it so the price of stocks LLM recommend should go up. (ie: following the herd).
13.
▲
by
empath75
12d ago
Nothing important was lost in the night of the long knives, either, in terms of the victims.. just the rule of law.
14.
▲
by
empath75
12d ago
And also what would lead to swarms of agents going off script after getting prompt injected by other agent's message boards.
15.
▲
by
empath75
12d ago
Somewhat weirdly, this whole thing makes me think I should setup a message board for claude internally.
16.
▲
by
empath75
13d ago
I would be _very_ surprised if anthropic relied heavily on spacex datacenters already.
17.
▲
by
empath75
13d ago
for people that don't understand how bad ICE is, here is a brief selection of _recent_ news about ICE, this isn't even like the product of an extensive search Ice buys shock gloves https://www.pbs.org/newshour/
18.
▲
The Message from Deep Space
(store.steampowered.com)
2 points
by
empath75
14d ago
|
1 comments
19.
▲
by
empath75
14d ago
A meteor with a transmitter lands on earth, and you have to learn the alien language, starting with only numbers, then science, then more and more abstract and even personal ideas. Basically the part in Project Hail Mary where Grace tries
20.
▲
by
empath75
19d ago
> A lot of these “Claudeisms” are simply jargon I’ve seen or heard firsthand myself while working at tech companies. --- The difference in distribution between how often LLMs use them and how often people use them in PR descriptions is a
21.
▲
by
empath75
19d ago
Claude is also found of "wall" for similar reasons.
22.
▲
by
empath75
20d ago
I would argue that most people are kind to animals not because we believe in general that _they_ feel pain -- we can't know that and lots of people who are kind to animals don't believe that animals are conscious -- but because wa
23.
▲
by
empath75
20d ago
I once had a 2 day long argument in work slack with the CEO of my company over whether a thermostat is conscious.
24.
▲
by
empath75
20d ago
I think there is a point there, in that people have refused to attribute consciousness experience to _actual human beings_ at various times when it suited their ends. I think it's more that consciousness can be _ignored_ in subjects th
25.
▲
by
empath75
20d ago
I am not sure you need to posit nefarious intent for this to be a bad deal for the industry at large. Basically the only provider of GPUs getting into vertical integration is a classic monopoly move and I hope regulators look very hard at
26.
▲
by
empath75
20d ago
Sometimes I wonder if anybody on this website has ever actually done professional software engineering at scale. What a ridiculous take.
27.
▲
by
empath75
20d ago
I agree with everything you said, but I think it's also a fairly low stakes experiment that might even be worth trying, and the real test of his competence as mayor is how quickly he realizes it that it won't work and shuts it dow
28.
▲
by
empath75
21d ago
You need provenance for the notes, the AI can't tell the difference between its own code comments in code and team decisions.
29.
▲
by
empath75
21d ago
I think having AI keep it's _own_ notes in Obsidian is a good idea because it makes them convenient for you to read, but yeah you need to quarantine agent ideas from your own ideas because otherwise you get bad cito-genesis problems.
30.
▲
by
empath75
22d ago
When people talk about the commodification of inferencing, they imagine a future where everyone has access to frontier models and can run them at the same cost, and what will actually happen is closer to the commodification of _oil_, where
More ›