cubefox

11 ms·

241.
by cubefox 3mo ago
Exactly. There are countless academic books on dry LaTeX logic (logicians love nothing more than writing abstract books about logic) with zero programming applications. But books like this one are very rare.
242.
by cubefox 3mo ago
The book you mention is the opposite of "Logic for Programmers": it's abstract academic mathematics with zero code. (Except in the sense that constructive proofs are allegedly code. They are not, unless they are written in an
243.
by cubefox 3mo ago
This looks great. Most logic books are written by and aimed at mathematicians or philosophers, with basically zero involvement of practical programming applications, while the author here has a software engineering background and it shows.
244.
by cubefox 3mo ago
> I'd probably recommend just going with "Introduction to Logic" by Tarski and "Metalogic. Those are not aimed at programmers, so very different and not a replacement. Just look at the free sample on the website. Besi
245.
by cubefox 3mo ago
No, I don't care what you care about either. I just clarified that your objection to metalman was stupid.
246.
by cubefox 3mo ago
So you would find it okay if Claude refused translating a text arguing for open borders or defunding the police.
247.
by cubefox 3mo ago
You would have a very different opinion if Claude were to refuse translating a far-left text.
248.
Why compute might get 10x+ more expensive in coming years(dwarkesh.com)
4 points by cubefox 3mo ago|0 comments
249.
by cubefox 3mo ago
So he changed the text as time went on, since the 1998 version doesn't reference Khan Academy. Though the "(1998)" might still be justified if the changes are minor.
250.
by cubefox 3mo ago
So what? Are you worried someone replaces the txt with a different txt?
251.
by cubefox 3mo ago
Telling which model wrote it is much harder than telling that some model wrote it.
252.
by cubefox 3mo ago
That sucks.
253.
by cubefox 3mo ago
"at frontier scale"
254.
by cubefox 3mo ago
In the future this might be replaced with "you can verify this fact by asking an LLM of your choice". Similar to how people in chat arguments already post screenshots of an LLM answer to show that their opinion is correct.
255.
by cubefox 3mo ago
This comment smells LLM generated.
256.
by cubefox 3mo ago
So using newish phones that don't get updated anymore could be a lot more dangerous now than it was just a year ago.
257.
by cubefox 3mo ago
> Perhaps it impacts size, manufacturing (automation) and money considerations. I mean now you suddenly need a slot of golden plated pins, you suddenly need a module with said pins and a memory chip soldered. You're introducing so m
258.
by cubefox 3mo ago
This doesn't explain why non-soldered RAM isn't okay for graphics cards when it is still considered perfectly acceptable for desktop computers.
259.
by cubefox 3mo ago
I wonder whether (without soldering) replaceable GDDR RAM on graphics cards would really result in such a large speed penalty. System memory often isn't soldered to the main board either, and this doesn't seem to have large perfor
260.
by cubefox 3mo ago
I'll note that the above is based on an impressive paper presented at the same conference in the previous year, "Real-time rendering of animated meshless representations" (2025): https://youtube.com/watch?v=Jz
261.
by cubefox 3mo ago
It's just as bad that they do not clearly indicate this on their website.
262.
by cubefox 3mo ago
You still need to know the price before you order. The price being "variable" is no excuse not to mention it.
263.
by cubefox 3mo ago
It's childish behavior to hide the price of your services.
264.
by cubefox 3mo ago
The second article says they can fly.
265.
by cubefox 3mo ago
Credit card companies and services like PayPal extract large amount of wealth, mostly to provide a service (instant payment) for which they are no longer technically necessary. New systems like Wero (or similar ones already widely establish
266.
by cubefox 3mo ago
The second article goes into more detail: > To minimize the risk of self-pollination, which can result in inbreeding depression and recessive mutations, the flowers open in the morning and the stigmas are receptive to pollen that is brou
267.
by cubefox 3mo ago
> LLMs can produce basic C code, but (still) struggle with more specialized tasks. And for how many more months will this state last?
268.
by cubefox 3mo ago
Still looks like a weak trend compared to the explosive price hike at the end of 2026.
269.
by cubefox 3mo ago
I think our intelligence is crucial to make sure that we won't get replaced by AI.
270.
by cubefox 3mo ago
That's the thing with LLMs though. Assembly developers can switch to Rust or something like that. But LLMs probably write C or Go approximately as competently as they write Javascript. There is no commonly used language one could switc

More ›