HNHacker News
TopNewBestAskShowJobs

dinosaurdynasty

557 karma · joined March 23, 2020

submissionscomments
dinosaurdynasty··on It's hard to justify buying a Framework 12
I bought one because as far as I could find it is basically one of two 2-in-1's on the market that officially support Linux. (It replaced an old Android tablet and one of the original FW13's, both of which were getting old.)
dinosaurdynasty··on Cosmologically Unique IDs
Conservation laws result from continuous symmetries in the laws of physics, as proven by Noether's theorem.
dinosaurdynasty··on I built a 2x faster lexer, then discovered I/O was the real bottleneck
That's mainly for historical reasons (select syscall can only handle fds<1024), modern programs can just set their soft limit to their hard limit and not worry about it anymore: https://0pointer.net/blog/file-descriptor-limits.html
dinosaurdynasty··on The most famous transcendental numbers
Leads to really fun statements like "there exists a proof that all reals are equal to themselves" and "there does not exist a proof for every real number that it is equal to itself" (because `x=x`, for most real numbers, can't even be written down, there are more numbers than proofs).
dinosaurdynasty··on I'm a laptop weirdo and that's why I like my new Framework 13
https://system76.com/search.php?search_query=battery

If I search for battery stuff shows up, but they only ship bare batteries to the 48 states and Canada.

Contacting support should be able to help you too.

dinosaurdynasty··on Bikeshedding, or why I want to build a laptop
AMD Strix Halo (a consumer mobile processor) has theoretical support for 256GB/s of memory bandwidth (quad-channel, 8000 MT/s LPDDR5X, must be soldered, supports 128GB at most).
dinosaurdynasty··on Fast UDP I/O for Firefox in Rust
Not only that, there's also a DLC with 4 new planets.
dinosaurdynasty··on Fast and cheap bulk storage: using LVM to cache HDDs on SSDs
You can even use it without LVM, though it's still a pain to setup.
dinosaurdynasty··on Fully homomorphic encryption and the dawn of a private internet
You don't need homomorphic encryption for a backup, normal encryption suffices.
dinosaurdynasty··on Pgactive: Postgres active-active replication extension
CockroachDB
dinosaurdynasty··on 'Sticky thinking' hampers decisions in depression
People definitely threaten AIs and find increased short term performance, they've been doing this for a while now.
dinosaurdynasty··on Should we design for iffy internet?
A well done PWA will absolutely beat SSR on a shitty connection if it's actually an app.

Cache-control immutable the code and assets of the app and it will only be reloaded on changes. Offline-first and/or stale-while-revalidate approaches (as in the React swr library) can hugely help with interactivity while (as quickly as possible) updating in the background things that have changed and can be synced. (A service worker can even update the app in the background so it's usable while being updated.) HTTP3/QUIC solves the "many small requests" and especially the "head of line blocking" problems of earlier protocols (though only good app/API design can prevent waterfalls). The client can automatically redo bad connections/requests as needed. Once the app is loaded (you can still use code splitting), the API requests will be much smaller than redownloading the page over and over again

Of course this requires a lot of effort in non-trivial cases, and most don't even know how to do it/that it is possible to do.

dinosaurdynasty··on Why agents are bad pair programmers
I love the autocomplete, honestly use it more than any other AI feature.

But I'm forced to write in Go which has a lot of boilerplate (and no, some kind of code library or whatever would not help... it's just easier to type at that point).

It's great because it helps with stuff that's too much of a hassle to talk to the AI for (just quicker to type).

I also read very fast so one line suggestions are just instant anyway (like non AI autocomplete), and longer ones I can see if it's close enough to what I was going to type anyway. And eventually it gets to the point where you just kinda know what it's going to do.

Not an amazing boost, but it does let me be lazy writing log messages and for loops and such. I think you do need to read it much faster than you can write it to be helpful though.

dinosaurdynasty··on Workhorse LLMs: Why Open Source Models Dominate Closed Source for Batch Tasks
DeepSeek has a lot of competing providers that at least state they don't train on API data, OpenRouter lists a bunch of them: https://openrouter.ai/deepseek/deepseek-chat-v3-0324/provide...

(This is a big advantage of open weight models; even if they're too big to host yourself, if it's worth anything there's a lot of competition for inference)

dinosaurdynasty··on How to Run DeepSeek R1 671B Locally on a $2000 EPYC Server
They also have an app that connects to their datacenter with R1.

Also barely anyone can actually run the real R1 locally.

dinosaurdynasty··on Llama.cpp supports Vulkan. why doesn't Ollama?
Can you even use bare llama.cpp with OpenWebUI? Especially when they are running on two different computers?
dinosaurdynasty··on Antiqua et Nova: Note on the relationship between AI and human intelligence
Can you unplug the entire Internet?
dinosaurdynasty··on Run DeepSeek R1 Dynamic 1.58-bit
That's likely only the marginal cost of training this model, and doesn't include a lot of other costs, like the datacenters and GPUs themselves which they already had and also the staff.

If they aren't lying because they have hardware they're not supposed to have, which is also a possibility.

dinosaurdynasty··on I don't like Docker or Podman
Docker is very "less is more" and it shows.
dinosaurdynasty··on I don't like Docker or Podman
Docker didn't support nftables for years (idk if they even support it now). I moved my personal machine to Podman because of it!

Also port forwarding in Docker (and Podman!) still bypasses ufw/other firewalls, which is really annoying and surprising (though it doesn't in rootless).

dinosaurdynasty··on The protester's guide to smartphone security
I wonder how useful purism phones are for this (all external communication, including GPS, has hardware shutoffs).

They are expensive though...

dinosaurdynasty··on You probably don't need query builders
There's a different reason to lean on the DB: it's the final arbiter of your data.

Much harder to create bad/poisoned data if the DB has a constraint on it (primary, foreign, check, etc) than if you have to remember it in your application (and unless you know what serializable transactions are, you are likely doing it wrong).

Also you can't do indexes outside of the DB (well, you can try).

dinosaurdynasty··on DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via RL
The chatbot leaderboard seems to be very affected by things other than capability, like "how nice is it to talk to" and "how likely is it to refuse requests" and "how fast does it respond" etc. Flash is literally one of Google's faster models, definitely not their smartest.

Not that the leaderboard isn't useful, I think "is in the top 10" says a lot more than the exact position in the top 10.

dinosaurdynasty··on 0-click deanonymization attack targeting Signal, Discord, other platforms
It only takes 33 bits to identify someone. This reveals a couple of bits.
dinosaurdynasty··on Database mocks are not worth it
I did something similar with pg_tmp as well. I also had a lot of tests around migrations, so there was a lot of tests that would 1) ask for a DB of version x 2) insert things into the DB, etc 3) migrate to version y 4) ensure the DB is appropriate (note: this was not a SaaS).
dinosaurdynasty··on Things we learned about LLMs in 2024
ChatGPT basically lets you edit any of your messages at any point in the conversation, which I definitely use (e.g., if the conversation has gotten into a bad basin, the LLM misunderstood me, etc).

Also ChatGPT has a pretty big context window. Gemini supposedly has the biggest useful context window (~millions of tokens), though I don't have personal experience.

dinosaurdynasty··on Things we learned about LLMs in 2024
> choose a political candidate

I actually found 4o+search to be really good at this... Admittedly what I did was more "research these candidates, tell me anything newsworthy, pros/cons, etc" (much longer prompt) and well, it was way faster/patient at finding sources than I ever would've been, telling me things I never would've figured out with <5 minutes of googling each set of candidates (which is what I've done before).

Honestly my big rule for what LLMs are good at is stuff like "hard/tedious/annoying to do, easy to verify" and maybe a little more than that. (I think after using a model for a while you can get a "feel" for when it's likely BSing.)

dinosaurdynasty··on Database mocks are not worth it
https://eradman.com/ephemeralpg/ (for Postgres) plus making sure your test suite is parallel works wonders.
dinosaurdynasty··on Can AI do maths yet? Thoughts from a mathematician
Well yeah, we haven't even proved that P != NP yet.
dinosaurdynasty··on Why making friends as an adult is harder
> Having to have everything scheduled weeks in advance

I don't see how WFH makes this worse, in fact it probably makes it better (less time spent commuting, more ability to end the day early with a flexible employer, etc)

Page 1 of 11Next →