skysight-inc/HackerNews huggingface dataset:
The existing C interface doesn't have means to describe the lifetime of the data being passed in. It just takes a pointer. An experienced C programmer would often understand what's happening by convention and not encounter the problem.

But the custom Rust wrapper was composed as a game of telephone (ugh), with the author blindly mimicking "Jonathan" who seemed to have been blindly mimicking a sloppy (and later repaired) example from Nordic.

The argument is that if the library and its internals were originally written in Rust, which has richer semantics for object lifetimes, Rust would have been able to formally convey that the input data needed to outlive the individual function call, throwing an error at compile time.

The wrapper could have enforced this constraint itself, as it probably does now, but the handoff between Rust and C needs somebody to account for and understand the by convention stuff in C so that it can be expressed formally in Rust, and that human process failed to happen here.
@spicyusername I will thank you for your comment
Even if he did, that’s not such a bad deal.

Particularly if the brand has value when he’s ready to move on and can be sold.
Well yes, one clear indicator of that is where homes are expensive. Like in places with great transit and amenities.
Meta isn’t panicking, they want AI to be cheap and commoditized so they can focus on what comes next while everyone is distracted by party tricks.
lol “for those who didn’t realize yet”. Please stop with the hype, we all use it
Accepting arbitrary input is a complexity that will be abused. Why not lock it down to a limited set of inputs… or just a heart? `POST /openheart/heart{?url}`
Not really? It's just a version that's proceeding 4x. I don't think there's really any reason to pathologize it.
This is reportedly the largest anchor in the world (not my domain, I wouldn't know):

https://www.reddit.com/r/interestingasfuck/comments/hxnyf0/w...

Eyeballing it, the cable I'm suggesting has a metal part about four times that anchor's cross section, let alone the chain's cross section. Even if it was bare metal (in the ocean, which would be madness all by itself), the anchor or the chain would break well before the power cable.

With a moderate layer of, say, concrete, that anchor wouldn't even be able to hook onto the cable as the arms don't go out far enough.
"As a result of the increase in WWS supply and decrease in demand from 2019 to 2024, the daily-average gap between WWS supply and demand decreased gradually during that period. This culminated March 7 to June 30, 2024, when the 24-h average WWS supply reached 61.3 % of demand, versus 56.1 % of demand during the same period in 2023."

Also "peaked at 83.2 % of daily demand on May 25."

Note that demand in 2023 was 533.6 Gwh/day and went down to 529.1.

"between June 2023 and June 2024, nameplate capacities of utility solar, wind, and batteries increased by ∼18%, ∼4%, and 73.3%, respectively"

Cost and details of those capacity increases isn't mentioned but it seems that the average 31.7% increase in capacity only yielded a 5.2pp increase (mostly from the batteries which appear to handle 4 hours of load).

The study: https://www.sciencedirect.com/science/article/pii/S096014812...
There are other banking models that are needed. Look into Custodia Bank’s model (SPDI). Full reserve system meant to backstop high risk (but legal) businesses. They went through a multi-year lawsuit around the start of 2020 with the fed who didn’t want them to exist, ultimately lost.
Personally I find the concept of Oracle TikTok hilarious. I would love for them to make it all corporate and Oracle-chic. Imagining light-theme TikTok, Arial font, loading spinners, clunky page refresh when you load the next video, big ol' "contact sales" button permanently in the corner, inconsistent theme between pages, and oh my the frequently-updating terms of service.

Just thinking about it makes me chuckle.
I think what this all is showing is that language itself is the key invention at making something reason.

The next step is to get it working with math symbols (I'd think they'd have already done that).

Then it's to combine all the ways we 'cheat' at reasoning (street signs, crochet, secret hand shakes, whatever) and see how multiple methods in combination work together.

Then, I'd think, we have these AIs come up with new ways to reason that we don't have yet. Once you get the 'theory' down with a lot of examples, it should be able to hallucinate new ones.

Then, well, buckle up I guess
> Takes time to evolve; is there a bug report / enhancement request out there for this in libmodem ?

The end of the post says

> This would have been so simple to put in the docs. I've opened a ticket on their DevZone forum. As of writing they've still not updated the docs of the init function.

And they've replied

> Thank you for reporting this, it will be fixed in the next `libmodem` release by the end of the month.
you should probably disclose what you work on as this makes you not exactly impartial, it would be quite bad for you to criticize value of what you sell:

> I'm the CEO of Hipposys Ltd, a boutique Data & AI Engineering shop (www.hipposys.com). We specialize in building RAG systems, Data Warehouses, and anything else related to the intersection between Data & AI. If you have any questions, please feel free to reach out to me at edan@hipposys.com, and we can see if we are a good fit!
Designation of Ansar Allah as a Foreign Terrorist Organization
Ask HN: What is the state of Freelancing in 2025?
He didn't run the government by himself.

The Biden administration was composed of way more career oriented individuals in the right place than this administration. You have to be lying to yourself (or believing others who are lying to you) to think otherwise.
OneHouse also has a fantastic iceberg implementation (they're the team behind Apache Hudi) and does a ton of great interop work: https://www.onehouse.ai/blog/comprehensive-data-catalog-comp... && https://www.onehouse.ai/blog/open-data-foundations-with-apac...
Exploring the Feasibility of Starlink's Satellite-to-Cell Service
So, is AI already reasoning or not?
Like the Metaverse? Or NFTs on Instagram?

Meta is great at getting distracted by party tricks.
Transmitting data across the internet requires energy, plus JS is JIT/compiled every time it's run. Popular websites load up on JS, so it uses quite a bit.

I was under the impression that Python's serious number crunching ultimately happens in modules written in another language like CUDA. If it couldn't be tied together with Python, it would be in another language.
I just read the article, I agree with pretty much everything in there. Imo TDD (not really mentioned here but in the other article in the beginning) is still a good idea because it forces you to think about your design before getting bogged down into implementation details.

What often misses from such articles though is an example of how to get there. Nobody sets out to write bad code or brittle tests. So following along a codebase that used to suck and is slowly getting better would be great! Though I understand it's a much more involved exercise, I'm not holding it against the author.
Except for most ordinary use cases. I guarantee you that, if someone downloads a compressed file, they'll find it infinitely easier to right click and select the "Extract here" option than whipping out some tar command. The linux-brain has people convinced that the layman would prefer the latter if only they would listen.
It's better than Claude because it's doing a different task, and I don't think it's better than o1 let alone o1-pro.

The new Gemini model that competes like for like is also probably better too but I haven't used it much.
That’s the thing I can’t ever come to understand about crypto. It’s purely about perception of value. At least with some precious metal, it has a floor value as a function of its practical uses and abundance.

Which leads me to believe that the only thing that could be honestly said is that a crypto is purely about winners and suckers and timing.
Truth Doesn't Scale
Individuals don't run the government, something that will become clear as day by the end of next quarter.

A single person couldn't possibly have the bandwidth to be able to direct government, especially someone over the age of 70.

Do you really think Trump or Biden are sitting down and drafting executive orders themselves? Do you even think they came up with their campaigns themselves?

There are organizations behind these things, composed of partisan ideologues. That is how you get the bullshit in the last administration and the bullshit in this administration.
In many cases the start-ups that disrupted entrenched big players did so by skirting the existing law and regulations the big players have to abide by and gaining market share before regulators could catch up to them.

Maybe I simply lack vision but I don't think this behavior maps well into the fundamental day-to-day livelihoods of every day people. Certainly I am not willing to risk my finances for marginally increased convenience or marginally lower fees.
What isn’t the bank doing for me that is in need of “disruption”?

High Yield Savings Accounts? Amex offers a HYSA that is 3.8% vs LendingClubs 4.5%. How many people have enough money in savings to make the difference worthwhile and make them willing to trust a non traditional bank? I have a year’s worth of expenses in mine (in addition to retirement savings) and I wouldn’t even bother.

My bank is there to accept my money and let me pay stuff with it.
there are MANY of us who have not only tried it but using it daily to do amazeballs shit. you can read numerous other posts here of people saying how indispensible they have become in their day-to-day work. just like with any other tool, some will learn its strengths and limitations and take them to the limit while others will say “this is no good…”

if I was in the first cohort I would think long and hard how to move to the second…
I don’t think disrupting banks is even possible. The time, money, and energy required is simply not realistic. There’s so many disrupt-able industries out there and I’m not even sure banking is the most beneficial one to tackle.

It’s a realistic Star Wars story where the Empire always wins because… well it’s the fucking empire. They didn’t get there by losing.
> The only way to win this war is to deescalate

But there is absolutely no way that will happen, so the pragmatic question is which horse to bet on.
DeepSeek Is Hiring
Or bar owners pulling down similar amounts.
> Your comment reads a lot like you were assuming that he was a layperson who never flew a plane before.

You're reading something that's just not there then. I clearly left out the details as TFA clearly states he was a pilot (you just need to have read it and not skimmed). What I was referring to was landing on an airstrip on the ground is drastically different than landing on moving landing strip that also has hidden gotchas for trained pilots. Doing that for the first time as a pilot is one thing. Doing that for the first time with your wife and kids onboard is a whole other level. Your comment, however, is a whole other level going the other direction
"Investors' worst nightmare" seems very off. Most SAFE notes give you dividends that are on par with how corporations issue dividends. Assuming there is cash flow, you should be getting dividends.

If the dividends are so low that you will never be reasonably paid back you can often negotiate to get out in some form. Very low cash flow only with no growth seems to be the only exception...which I'd guess would only exist if something such as high revenue or some unique IP existed to make the equity very valuable and therefore the company worth running.

With a convertible note as opposed to a SAFE, you either need to extend the maturity date or get paid back your note with interest.

Both SAFEs and convertible notes seems to have a path to exit in some reasonable form.

The only time I've seen "nightmare" situations occur is when the investor themselves makes it a nightmare i.e. https://www.cnbc.com/2025/01/07/tech-investor-denis-grosz-or...

...and that's a nightmare for the company, not the investor.
Anonymization wouldn’t work. Turns out people are very very good at picking up subtle signals that might hint at the anonymized identity likely is. What ends up happening is more discrimination rather than less. If you don’t anonymize, people will still discriminate, but they are always aware their decisions may be illegal or unacceptable. But when you anonymize, they just discriminate against anyone that has any hint of belonging to the discriminated class. And now you have given them an out plausible deniability by anonymizing.
This has been demonstrably shown to be true over and over again. Anonymizing is an elementary school student solution to a complex phD level type problem
I don't follow this "And AI competition is a good thing for Europe especially when it lags behind technologically." How that? Please explain your rationale.
The answer is "it depends".

Sum is a good thing to do in the Db because it's low cost to the db and reduces io between the db and app.

Sort can be (depending on indexes) a bad thing for a db because that's CPU time that needs to be burned.

Conditional logic is also (often) terrible for the db because it can break the optimizer in weird ways and is just as easily performed outside the db.

The right action to take is whatever optimizes db resources in the long run. That can sometimes mean shifting to the db, and sometimes it means shifting out of the db.
Why have we allowed interviewing in this industry to become such a humiliation ritual? It’s on its way to not even being financially worth it
First of all, I'm not sure what you mean by "disclose" - you took that from my HN profile which is a click away. Do you think I should mention this in every comment I make about LLMs?

Secondly, you're confusing cause and effect. I've been in the industry for more than twenty years working on many different things, and my company has done mostly data engineering work for most of its existence, the AI engineering is a relatively-new (past year or so) shift.

I don't think highly of AI because I work in AI - I work in AI because I think highly of it!
Ask HN: Is anyone else having problem accessing the DeepSeek?
Hi HN,

Any one having problem accessing or getting or loading the chats in DeepSeek?
Some datacentres do in fact recover the heat for things like municipal heating. It's tricky though because being near population centres that can use the heat is often (not always) inversely related to things that are good for datacentres like cheap land, power and lack of neighbours to moan about things like construction and cooling system noise.

There was also a startup selling/renting bitcoin miners that doubled as electrical heaters.

The problem is that computers are fundamentally resistors, so at most you can get 100% of the energy back as heat. But a heat pump can give you 2-4 times the energy back. So your AI work (or bitcoin mining) plus the capital outlay of the expensive computers has to be worth the difference.
In France the first TV program (TF1) now has unskippable ads. Until now you could just start later, get back to the beginning and fast forward the ads. I am not sure how this works if you recorded your program.

I do not watch TV but it was in the news.
What's behind rising cancer in the under-50s?
https://archive.is/wip/AFtH7
I guess only in the sense that any form of slavery is bad and morally reprehensible, and ethically inexcusable.
Would you really need a complicated LLM just to bark some instructions to a game?
There is a finite way of expressing instructions to the game, you don't want to get into a discussion about what 'my tanks' means in the middle of the action.
Siri could do this in 2011 and later versions work fine on device without connectivity.
And relatedly - several of the animals sold in Wuhan with proper paperwork were from farms far closer to the closest Covid ancestors including many in the same province - not to mention wherever else the off-the-books animals were being brought in from.
How intermittent of an issue is it? I don't think collecting client side HAR files from real customers is the way to go, even if they're willing. What happens when the next weird error shows up? More HAR files?

Echoing some other suggestions, but to a different extent, increase logging in the problem areas both client-side and server-side. It might be directly related to the token refresh since it only happens there, so a great place to start is within that functionality. Log the entire connection's info to both services (front and back logging) and if users are manually submitting tickets you should be able to track them down by userID / IP in the logs.

Also extend the fuzzing capabilities w/ your tests through browser (potentially could be headless, depending on the issue) automation that authenticates and uses the app "normally". Keep it on repeat using the app and when token refresh time comes see if the error pops up. Throw some extra variables in their, ensure its off the corporate network or routed through DCs farther away to see if it's a latency issue somewhere else. You could log the HAR file for this.

Multiple versions of tests might need to be run in parallel with different modifiers, such as one being allowed to directly communicate w/ the origin, vs. another going through the CDN like a standard customer would.

This is also an edge-case, but I've seen it popup sometimes; ensure that there aren't any other required variables that are missing during the refresh process. Sometimes specific functionality in some apps is tied to a custom header, and sometimes the value isn't updated to what the app expects. Things like that which could throw the process of from another angle.
You are correct!

Any person who enjoys military/naval history will love this museum. It’s very well maintained and just has some of the coolest stuff in it.
Okay, Larry Ellison
In this specific case its also about buying access, so I doubt he'll rug pull, he can just direct the access requests to buy something.
Consider also checking out Datomic, though technically it's datalog not prolog, and not for connecting to your already-in-use SQL system, but it is a good example of taking the expressive power of logic programming to interface with a database.
I’ve seen some users do that, and got stuck in a loop where the AI is saying "ah, this error is because", and not fixing it properly, or fixing it and adding a different issue by modifying part of the code that is not related at the same time. Next, the code is fixed but by added the old fixed issue.

I saw that with users asking VBA code to be generated by people trying to automated part of email and excel work.
This guy is running our health department.

>“Covid-19 is targeted to attack Caucasians and Black people. The people who are most immune are Ashkenazi Jews and Chinese,” Kennedy said, adding that “we don’t know whether it’s deliberately targeted that or not.”

https://www.cnn.com/2023/07/15/politics/rfk-jr-covid-jewish-...

He just says stupid things without any sources.

This type of "scientist" is what we celebrate now.

Dr OZ is here!
https://apnews.com/article/dr-oz-mehmet-things-to-know-trump...
In Brazil traditional banks are totally being disrupted. See Nubank.
One can only imagine how many corners your friend had to cut to get to the product you call finished.
The article I read indicated a number of researchers did become ill and die in the right timeframe, with the wet market they routinely visited following that.
If anything, the superhuman AI should be used to write simpler laws that are unambiguous and free from exploitation and/or loopholes. Well, at least better than we humans do today.
I have asked Deepseek-R1 and o1-preview to articulate in 1000 words on why this is potentially disruptive of the highly overvalued US market. I gave them the same guidance / prompt using openWebUI multimodels functionality and let them browse the internet as needed. The assay costed $0.85 for o1-preview and $0.03 for Deepseek-R1.

https://giorgio.gilest.ro/2025/01/26/on-deepseeks-disruptive...
Worse than becoming lifestyle company is becoming a zombie startup.

Zombie is when founders get rid of almost everyone except what they need to give the impression of effort, do little work, but draw an income and slowly spend down the money they raised until it’s gone.

I was one of the very few survivors at a startup that turned into a zombie in 2020 (went from 100+ employees to 10 in a matter of weeks).

In some ways it was a cushy job and a privilege, just wish I realized the founders didn’t truly care about success. Cause then I could have shared the mindset and better prepared myself and my skills for life after.
> this is a useful result theoretically, but it's not very practical in game

Yeah, it's an unfortunate combination - the game itself is too complicated for the analysis to be useful (counters, full builds, game state), and the item space is too simple to need it.

I remember a story about Richard Feynman, where he said he had a dozen or so (?) mathematical "tricks" that he applied to every problem he encountered. When one worked, he looked like a genius. When it didn't...
I’ve also found this to be the case. Starting a new chat or in Cursor composer session puts things back on the right track. Also, prompting is really important. A lot of people just seem to think they have some kind of oracle - “fix the bug” - how is anything supposed to work from that?
That’s so much slower than writing it myself though.

The only reason to bother doing that with a junior developer is to teach them.
Yes, and on line 5 in my browser.
>No, I don't think it's overly harsh.

Where's the falsifiable framework that demonstrates your conclusion? Or are we just supposed to trust your intuition?
It did, e.g. Poland have very good bang for buck ratio. Something like Bangladesh wouldn't work for IT, but more developed countries will
It was commercial version of couch surfing and/or web2.0 version of vrbo. I was highly skeptical of it taking off because it was “a copycat”! How wrong I was…
The Limits to Growth Are Interplanetary
PyIceberg is nice but we had to drop it because it's behind Java API and it's unclear when it will match up, so depending on which features are needed I'd look it up
https://archive.is/QOG5i
I am sorry, but the comparison of 'stack overflow' and tutorials to LLMs is bizarre. The amount of time to get to the answer from LLMs is drastically shorter. And claiming that the they only 'cache thing' is just wrong. They are certainly capable of correctly answering things that were not directly in their training set.
Op is a Pak Protector
I like the concept, but honestly I don't see myself writing an entire webapp with this.

Here is some feedback:

There are a bunch of libraries that need to expose an http API. There is a niche for providing an embeddable http server that comes batteries included with all the features such as rate limiting, authentication, access control, etc. Things that constantly have to be reimplemented from scratch, but would not warrant adding a large framework by themselves.

That's where I think the idea of a "WebDSL" would shine the most.
Yes, it would have to be unable to reason about its own confidence levels, wouldn’t it? It produces content—and, as far as I understand, sort of simulates basic reasoning—by making predictions based on a huge corpus of text. The larger this corpus becomes, and the more sophisticated its method of analyzing it, the better it becomes at “reasoning about” the things described in its corpus.

But the question “How sure are you?” inherently refers to something—the LLM’s “mental state”, if such a thing can be said to exist—that isn’t referred to anywhere in the corpus. No improvement in the quality of the corpus or the power of the predictions made based on the corpus can have any impact on this problem.