ijustlovemath

7 ms·

61.
by ijustlovemath 10mo ago
There's not much to recommend; just use the Postgres from your distribution's LTS repo. I like Debian for its rock solid stability.
62.
by ijustlovemath 10mo ago
And if you want a supabase-like functionality, I'm a huge fan of PostgREST (which is actually how supabase works/worked under the hood). Make a view for your application and boom, you have a GET only REST API. Add a plpgsql functi
63.
by ijustlovemath 10mo ago
Is this the same NIOS that runs on FPGA? We wrote some code for it during digital design in university, and even an a.out was terribly slow, can't imagine running a full kernel. Though that could have been the fault of the hardware or
64.
by ijustlovemath 11mo ago
Is io_uring not itself a set of syscalls?
65.
by ijustlovemath 11mo ago
Medical device developer here: this is precisely the kind of work we need in highly regulated industries. We use an internal version of something with a similar API to manage our critical threads/processes. Keep it up!
66.
by ijustlovemath 11mo ago
Not to mention one of my favorite tools for adding a postgres db to your backend service: PostgREST. Insanely powerful DB introspection and automatic REST endpoint. Pretty good performance too!
67.
by ijustlovemath 1y ago
Usually there's a separate document that has the requirements, and from that document you have a "software detailed design" which has the specifications for how to build the software such that it upholds the requirements. Sub
68.
by ijustlovemath 1y ago
Set up a node! Bare boards that work with the app are like $50 and take a few clicks to flash and setup. The basic antenna with no amp makes contacts up to 50mi away if the conditions are right. I have one in a window and one in a backpack
69.
by ijustlovemath 1y ago
I would think there's some amount you could capture inductively or magnetically, but perhaps it's too small to be useful. Still, feels like fundamental enough science to look into.
70.
by ijustlovemath 1y ago
I could envision significant energy production for this technology near glaciers or ice sheets with lots of melt activity. Admittedly not really a market, but worth exploring for future applications (eg on icy moons)
71.
by ijustlovemath 1y ago
You can accomplish this in Firefox with the Unhook extension
72.
by ijustlovemath 1y ago
the open network aspect is extremely cool, but it's hard to take seriously considering how difficult it seems to be to set up an alternate host. I do love the idea that you can just build an entirely new UX and bring the social graph f
73.
by ijustlovemath 1y ago
Aren't they at ~10M MAU and falling? At least that's the impression given by https://bsky.jazco.dev/stats
74.
by ijustlovemath 1y ago
one less level of indentation; reading down is happy path, seems nice!
75.
by ijustlovemath 1y ago
The website design is so pleasing, props!
76.
by ijustlovemath 1y ago
This is especially true if you simply increase the minimum password length to a certain amount. The major browsers include password managers for specifically this purpose which can generate passwords; why don't we move towards educatin
77.
by ijustlovemath 1y ago
Where can I sign?
78.
The Pigeon River Is Perched, Which Is Geologically Bad News (2020)(princegeology.com)
27 points by ijustlovemath 1y ago|3 comments
79.
by ijustlovemath 1y ago
I found this pretty fascinating; the two really are tremendously close to joining together, see [1] (closest point of Hominy creek) and [2] (closest point of the Pigeon River). Hominy sits slightly above the Pigeon at this closest point, so
80.
by ijustlovemath 1y ago
Nation states can use the baseband radios to track/monitor you, so it's best to leave your phone at home. You can't disable or observe baseband from the higher level OS.
81.
by ijustlovemath 1y ago
My steam deck has superceded my rpi for this kind of stuff. Probably not as power efficient but I live in the South and use A/C and hot water so I feel like those are far bigger spends of electricity
82.
by ijustlovemath 1y ago
Hallucination obstruction, I'd imagine. When you have an LLM create a formal system, it can be verified way easier than a general purpose one
83.
by ijustlovemath 1y ago
There are no viable competitors because nobody is big enough to take on Amazon. Anyone with aspirations to will inevitably just get undercut and run out of business.
84.
by ijustlovemath 1y ago
Hm, not sure how much math you've had, so let's start with fairly basic stuff. A and B are statements within a given set of axioms whose truth value is knowable within those axioms. A could be something like "Some number k th
85.
by ijustlovemath 1y ago
feel free to expound once you're feeling regulated.
86.
by ijustlovemath 1y ago
A iff B doesn't mean "this is the only way for this to be true", it means A implies B and B implies A. B being the statement that a number is prime, but you can have any arbitrary A that is actually true.
87.
by ijustlovemath 1y ago
My jaw dropped when HN loaded first try from Termux! Nice work!
88.
by ijustlovemath 1y ago
They'll most likely pursue some sort of business source licensing, where you will not be allowed to deploy apps in production using their tooling without the business paying some kind of subscription. I understand that none of their ex
89.
by ijustlovemath 1y ago
Have you all looked at how Pyrefly does it, or are your methods incompatible?
90.
by ijustlovemath 1y ago
Did you go through many iterations on the API of the registration? If so, which designs did you disqualify and why?

More ›