HackerLangs
TopNewTrendsCommentsPastAskShowJobs

odo1242

1,013 karmajoined 5 lat temu

comments

odo1242
·10 godzin temu·discuss
Most likely they wrote the proof in Lean and had it verified by a computer
odo1242
·wczoraj·discuss
Well, it is a pretty American thing for this to be the case. Americans have been arrested for letting kids walk 500 meters on their own before (in certain neighborhoods)
odo1242
·wczoraj·discuss
Cowork is just Claude Code + tools to read Microsoft Office files
odo1242
·7 dni temu·discuss
If the model has to be able to output text it needs to be able to read text tho
odo1242
·7 dni temu·discuss
This is similar to my experience with (8-bit quantized, non-MOE, 26b) Qwen locally on my computer. It’s really good for small tasks, but the first time I tried to do a major task with it it straight up forgot what agent harness it was in and started using the wrong format for tool calls lol

(If you’re curious, it was running in Pi, but somehow convinced itself it was running in Claude instead and started trying to call Claude tools that didn’t exist)
odo1242
·14 dni temu·discuss
I did not know this actually; I guess the more accurate statement is that Apple just didn't write emulation code for 32-bit apps for them
odo1242
·16 dni temu·discuss
One of the big things here is that Intel and ARM processors are backwards-compatible with 32-bit instructions, even if they are 64-bit processors. Apple Silicon on the other hand is not, which is why Apple completely dropped support before switching.
odo1242
·20 dni temu·discuss
I believe they’re referring to callbacks / dependency injection / higher order functions to customize the behavior of a function?
odo1242
·23 dni temu·discuss
comma.ai (mentioned by other comment) is really good actually, somewhere between Autopilot and Autopilot FSD in quality
odo1242
·23 dni temu·discuss
You can set up submodules to not pull the other source repo by default tho
odo1242
·23 dni temu·discuss
Similarly: was calling apartments to ask about them / schedule a tour before I moved in, rejected the second best option specifically because they only had AI agents on the phone
odo1242
·28 dni temu·discuss
You need enough people to work on it that some information will leak, and the facilities needed to build nuclear power are pretty big (uranium refinement, etc.), big enough to be visible on satellite footage. Mostly the first point.
odo1242
·29 dni temu·discuss
AWS is known for refunding or partially refunding people if they accidentally rack up a huge bill in a short amount of time. They even reduce the bill in this case. (I do think reducing a bill in the tens of thousands to hundreds is unlikely though)
odo1242
·w zeszłym miesiącu·discuss
It depends a lot on the hackathon/what the judges are looking for. A few are run by technical people who pick the coolest technical architectures, a few are run by casual users who pick the best looking result.

The majority of the ones I’ve been in have tended to be run by people who judge based on their notion of how useful the app will be societally, with the tie breaking factor being the UI/architectural design.
odo1242
·w zeszłym miesiącu·discuss
It sounds a lot like Discord Nitro
odo1242
·w zeszłym miesiącu·discuss
Socialism is public ownership of the means of production. If there isn’t a way for regular people / “the proletariat” to influence the government, it’s not socialism because an autocratic government isn’t “the public”
odo1242
·2 miesiące temu·discuss
I don’t think Anubis proves the idea much though. I feel the main reason it’s worked is that AI companies haven’t yet tried to bypass it.

And AI companies still scrape Anubis protected websites, it just forces them to not DDOS the website
odo1242
·2 miesiące temu·discuss
To be specific, it would be more of a hassle for human visitors than for the AI companies with infinite money and specialized browsers.
odo1242
·2 miesiące temu·discuss
There’s also Mattermost
odo1242
·2 miesiące temu·discuss
Yea this; it’s the same reason why mortgaging is cheaper than renting