ijustlovemath (u/ijustlovemath)

ijustlovemath commented on Go ahead, self-host Postgres pierce.dev/notes/go-ahead... · Posted by u/pavel_lishin

odie5533 · a day ago

Recommends hosting postgres yourself. Doesn't recommend a distribution stack. If you try this at a startup to save $50 a month, you will never recoup the time you wasted setting it up. We pay dedicated managed services for these things so we can make products on top of them.

ijustlovemath · a day 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.

ijustlovemath commented on Go ahead, self-host Postgres pierce.dev/notes/go-ahead... · Posted by u/pavel_lishin

ijustlovemath · a day 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 function, and now you can POST. It uses JWT for auth, but usually I have application on the same VLAN as DB so it's not as rife for abuse.

ijustlovemath commented on Rust in the kernel is no longer experimental lwn.net/Articles/1049831/... · Posted by u/rascul

bmicraft · 11 days ago

Well, GCC 15 already ended support for the nios2 soft-core. The successor to it is Nios V which runs RISC-V. If users want us update the kernel, they'll also need to update their FPGA.

Microblaze also is a soft-core, based on RISC-V, presumably it could support actual RISC-V if anyone cared.

All others haven't received new hardware within the last 10 years, everybody using these will already be running an LTS kernel on there.

It looks like there really are no reasons not to require rust for new versions of the kernel from now on then!

ijustlovemath · 11 days 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 IP we were using.

ijustlovemath commented on Landlock-Ing Linux blog.prizrak.me/post/land... · Posted by u/razighter777

samus · 22 days ago

Yet for many syscalls there is an official library - in most cases a wrapper in libc, but especially io_uring is known to provide a C library that most applications ought to use instead of the raw syscalls.

ijustlovemath · 22 days ago

Is io_uring not itself a set of syscalls?

ijustlovemath commented on Landlock-Ing Linux blog.prizrak.me/post/land... · Posted by u/razighter777

ijustlovemath · 22 days 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!

ijustlovemath commented on Pg_lake: Postgres with Iceberg and data lake access github.com/Snowflake-Labs... · Posted by u/plaur782

mslot · 2 months ago

DuckLake is pretty cool, and we obviously love everything the DuckDB is doing. It's what made pg_lake possible, and what motivated part of our team to step away from Microsoft/Citus.

DuckLake can do things that pg_lake cannot do with Iceberg, and DuckDB can do things Postgres absolutely can't (e.g. query data frames). On the other hand, Postgres can do a lot of things that DuckDB cannot do. For instance, it can handle >100k single row inserts/sec.

Transactions don't come for free. Embedding the engine in the catalog rather than the catalog in the engine enables transactions across analytical and operational tables. That way you can do a very high rate of writes in a heap table, and transactionally move data into an Iceberg table.

Postgres also has a more natural persistence & continuous processing story, so you can set up pg_cron jobs and use PL/pgSQL (with heap tables for bookkeeping) to do orchestration.

There's also the interoperability aspect of Iceberg being supported by other query engines.

ijustlovemath · 2 months 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!

ijustlovemath commented on Three ways formally verified code can go wrong in practice buttondown.com/hillelwayn... · Posted by u/todsacerdoti

friendzis · 2 months ago

Engineering specifications implement requirements.

EDIT: more formally, specification is a document stating requirements

ijustlovemath · 2 months 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. Subtle but important difference.

ijustlovemath commented on LoRA Without Regret thinkingmachines.ai/blog/... · Posted by u/grantpitt

dannyfritz07 · 3 months ago

Dang it! Got me too! I've been wanting to hop into Meshtastic lately.

ijustlovemath · 3 months 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 at all times.

ijustlovemath commented on Scientists find that ice generates electricity when bent phys.org/news/2025-09-sci... · Posted by u/isaacfrond

gus_massa · 3 months ago

The amount of electricity is tiny, probably less than https://en.wikipedia.org/wiki/Piezo_ignition and difficult to isolate because it will like to partially melt and the electricity will go in unexpected direction.

The idea to use this to explain some of the electricity generated in thunderstorms looks less impossible, but the new discovery is for temperatures below -113ºC (160K) (-171ºF), so probably too cold for Earth but may be there are some weird thunderstorms in Pluto.

ijustlovemath · 3 months 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.