sdeframond (u/sdeframond)

sdeframond commented on Patterns for Defensive Programming in Rust corrode.dev/blog/defensiv... · Posted by u/PaulHoule

sdeframond · 10 days ago

Those patterns look good.

Question: how to encourage such patterns within a team? I often find it difficult to do it during code reviews and leading to unproductive arguments about "code style" and "preferences".

Funnily, these arguments do not happen when a linter pops a warning instead...

sdeframond commented on Accepting US car standards would risk European lives etsc.eu/accepting-us-car-... · Posted by u/saubeidl

mothballed · 13 days ago

It would work beautifully for the last 10% of my journey. The only reason why there are no private roads for the las 10% is the county tax funds that road, and only a complete and utter moron would build a road when their "competitor" has a price of zero at the point of use. People commonly ask why the public road has a monopoly; it's not that they are a natural monopoly but rather that it's literally impossible to compete with someone with zero costs (tax costs already sunk) so places with public roads have ~no competition.

The second that road gets defunded by the public coffers, guy with tractor would show back up.

sdeframond · 13 days ago

How would you charge for road usage? Would there be a toll at the limit of every property ? How would it be operated ?

sdeframond commented on Accepting US car standards would risk European lives etsc.eu/accepting-us-car-... · Posted by u/saubeidl

mothballed · 13 days ago

I'll always catch hate for saying this, but the quickest way to get people into small more efficient vehicles is to eliminate public roads and make the fuckers pay whatever the market rate is for their super-sized diesel coal rolling environmental destruction machine to be on a road.

They'd quickly find out when they're not being subsidized by the general public and people actually have to pay their way to use their vehicles through tolls to people amortizing their road maintenance costs, that the smaller more pedestrian safe cars are the ones that make sense to operate.

sdeframond · 13 days ago

I share your feeling. However

> pay whatever the market rate

would only work if there is a market. And infrastructures like roads are a natural monopoly[0], so there could be no market.

[0] https://en.wikipedia.org/wiki/Natural_monopoly

sdeframond commented on A triangle whose interior angles sum to zero johndcook.com/blog/2025/1... · Posted by u/tzury

anigbrowl · 17 days ago

Spherical geometers: the trolls of the math world

sdeframond · 17 days ago

Ah! I just realized that there is an infinity of different triangles passing through those three points: two poles and any other point. Wild!

Posted by u/sdeframond a month ago

Ultra-Processed Foods and Human Health thelancet.com/series-do/u...

sdeframond commented on Claude for Excel claude.com/claude-for-exc... · Posted by u/meetpateltech

cube00 · 2 months ago

I don't trust LLMs to do the kind of precise deterministic work you need in a spreadsheet.

It's one thing to fudge the language in a report summary, it can be subjective, however numbers are not subjective. It's widely known LLMs are terrible at even basic maths.

Even Google's own AI summary admits it which I was surprised at, marketing won't be happy.

Yes, it is true that LLMs are often bad at math because they don't "understand" it as a logical system but rather process it as text, relying on pattern recognition from their training data.

sdeframond · 2 months ago

> I don't trust LLMs to do the kind of precise deterministic work you need in a spreadsheet.

Rightly so! But LLMs can still make you faster. Just don't expect too much from it.

sdeframond commented on Why Nigeria accepted GMOs asimov.press/p/nigeria-cr... · Posted by u/surprisetalk

bootsmann · 2 months ago

I feel like this kind of discussion hinges on a misguided belief that farmers are not very smart businessmen. The idea that a farmer would abandon their current crop for GMO crop that they cannot replant without making a cost-benefit analysis in their head just strikes me as very odd. These peoples life depend on making such decisions, we should trust them to make them themselves.

sdeframond · 2 months ago

Many businesses are not thinking long term. Farming businesses are businesses too, and may prefer short term profitability over long term sustainability.

See for example the depletion of the Ogallala aquifer, which is at the same time an existential threat to to farming and caused by farming.

https://en.wikipedia.org/wiki/Ogallala_Aquifer

sdeframond commented on Meta Superintelligence Labs' first paper is about RAG paddedinputs.substack.com... · Posted by u/skadamat

ekianjo · 2 months ago

Open weights models, not open source. And even their weights are under a specific license not as permissive as apache 2.

sdeframond · 2 months ago

I propose that from now on we call freewares "open binaries".

sdeframond commented on Why we develop EloqDB mainly in C++ eloqdata.com/blog/2024/10... · Posted by u/the_precipitate

unshavedyak · 3 months ago

Your post reminds me of the old runtime vs compile time language debates of old (for me). Some would argue duck typing is all that we need, and that lots of tests can cover the missing types/etc. Eventually i realized that i'm just manually implementing compile time typing by way of robust tests to cover interface requirements.

sdeframond · 3 months ago

> Eventually i realized that i'm just manually implementing compile time typing by way of robust tests to cover interface requirements

This, so much this!

sdeframond commented on Rustroid, a Rust IDE for Android rustroid.is-a.dev/story... · Posted by u/coolcoder613

johnisgood · 3 months ago

Do people seriously code on their phone without any keyboards? Are IDEs in demand for phones?

(It is not intended to be an insult of any sort. It is a serious question. I do not know anyone who does this and I cannot imagine myself being productive at all. I want to compare WPMs on a keyboard vs. on a phone as well.)

sdeframond · 3 months ago

I sometimes plug my phone to a screen with a keyboard. It is not as good as a "real" computer but most everyday thing can be done (sending mails, browsing the web, editing spreadsheets).

I never tried programming on it but I can imagine a world where the only computer i own fits in my pocket.

u/sdeframond

KarmaCake day773January 18, 2014View Original