skysight-inc/HackerNews huggingface dataset:
> The reason why they are bad at tool calling is they aren't trained on it.

Yes they are.*

> OpenAI just talked about it recently as being the answer to autonomous agents

You nailed it.

It's key to autonomous agents, OpenAI says so out loud, and yet, we're 6 months into reasoning models and performance is regressing, which OpenAI also says out loud but in the fine print of a model card.

I know this is a flaming hot take because current thing is reasoning. But it's completely mistaken that reasoning models help with tool-use, both in theory and practice, which puts them in quite a situation.

I'm sure they'll figure it out, but I'm also sure on a long enough timeline the LLM is a computer.

* I have a bad habit of dismissing without evidence that which is asserted without evidence, and 'not even wrong', in the Pauli sense. It's a cheap way to avoid confrontation. But it makes me look petulant. We can observe, inter alia, every release post September 2024 (i.e. o1-mini and o1-preview) can call tools. (i.e. o1, o3-mini)
"Law and order" has long been code words for using the power of the state to enforce hierarchies that benefits those shouting "law and order".
> It's very unfortunate that this stuff like efficiency and technology integration is now associated so closely with neo-Nazis

Do not mistake the Nazi's too. They were very efficient and highly organized. IBM played a great role in delivering the tech the Nazi's needed.
Thickening is maybe the most interesting component! I.e. how do you make a thick perpetual stew?

I'd assume thickeners have different behavior when cooked for 1 week+, as you start to get some byproducts you don't normally see in "fresh" cooking.
https://ground.news/

No affiliation other than being a customer.

They aggregate stories and report on who's reporting on the story and how, detailing bias and factuality. They do international stories and probably also stories in your local area (in the US, perhaps less likely elsewhere).
It definitely took a while for most libraries to catch-up with Scala 3, now, I don't see anything is missing in the main area I work with (web development), playframework already works for Scala 3.
Decentralization doesn't necessarily imply lower supply of goods, but it does almost certainly result in higher cost of goods (outside of compared to monopolies). That's the cost of market resilience: higher average cost for lower variance over time. Higher cost of goods may result in lower demand and then lower supply, but the causal order is the opposite direction from assuming decentralization means lower supply.
> The error bars suggest there is too much in-population variance to come up with useful general guidelines.

I’m not sure I’d agree there. What’s the argument for that?
Ask HN: Is Godaddy Running a Scam?
Recently, I was trying to a buy a domain for which we had bid in Godaddy. We bid the suggested price in Godaddy. Our bid was rejected buy the owner.

That peaked my curiosity to check who actually owned the website.

When we ran whois on the domain. The name that pops up is Wild West Domains, LLC [http://www.wildwestdomains.com]

When you look further, Godaddy's CEO is the CEO of Wild West Domains. Lot of the staff are part of this LLC.

Just wondering what is it all about?
Flu cases in NYC reach 4-year high as CDC reports nationwide spike
Consumer electronics use Lithium Polymer generally, which has one of the lower useful lifespans.

Just replacing it with LiFePo batteries would give you 4x the lifetime. Of course, with current technology the battery would have to be twice the size.
Mercurial has both "real" branches (history is kept so you can always tell what revisions were in what branch) as well as git "branch is just a pointer tag"

So really you can choose whatever suits your needs.

Personally the things I love about mercurial are:

more consistent commandline (that's the simple part others bring up)
revsets (awesome query language for revisions, there's also filesets, but I don't use that as much)
absorb (I think someone added a git extension that does something similar a few months ago)
fa --deleted
grep --all
phases ♥
Ha, honored :) When I was hacking this together the thought did occur, "I bet this is up SimonW's alley." Thanks for all the great LLM experiments & writeups.
At some point you have to be willing to admit you don't have any signal
What are the criteria you believe are required to establish causal risk between an exposure and an outcome?
TIL there are multiple flavors of Golang including “Microsoft Go”. Wow - I’ve been away from Golang too long. I was initially shocked and then kind of sad that Go is not so simple anymore.
salt? some people don't use salt in their cooking and that quickly speeds up bad things.

Long time ago working student summer construction jobs in Siberia we had "perpetual tea" going for several months - several electric tea kettles were always on at close to boiling, and we were putting into them, without any selection, whatever green stuff was growing higher than 2 inches - ie. above the moss - in the pine forest around. And I don't remember pulling old stuff ever out, only adding new one into the kettles.
SemiAnalysis says DeepSeek spent more than it claims
No, HN users mostly prefer to use their own brainpower instead of outsourcing it
Wasn't there a rumor that Apple is indeed working on robotic arm "for the home"? My read on it was that it was meant to be a kitchen partner of sorts.
When was GoDaddy ever not a scam?!
It doesn’t matter if you write or call your representative. He knows that if he goes against President Musk, Musk will throw his unlimited funds at someone so he gets primaried and even before that Musk will use his bully pulpit - Twitter - to berate him.

He is in a D+3 district that usually votes Democratic. That would usually moderate him. But see above about he would have to first survive a primary.
Definitely can help, but I've found that for people that don't do it very often, it's very easy to make mistakes with a knife. The t-post method has very little opportunity for mistakes and really makes it a lot easier for people that don't have a ton of experience, i.e. backyard poultry owners.
Thank you for the kind words, I really appreciate it! I'm glad you enjoyed it
Put a whole uncooked egg in the microwave for a few minutes and call me in the morning.
AI Tools Allow Nonexperts to Find Patterns in Satellite Images Across Globe
My grandparents told me something similar was the norm in schoolhouses of Appalachia circa 1930s. Read: a few kids in assorted grades.

Everyone brought along what they could, the teacher tossed it into a pot, and by lunchtime that was it.

Per my grandfather's telling, squirrel was not uncommon, and any meat was welcome.
https://archive.ph/Qifno
Other related reading, the excellent piece from the Digital Antiquarian :

https://www.filfre.net/2024/07/the-later-years-of-douglas-ad...
How would that be different from something like ChatGPT executing Lean? That's exactly what humans do, we have messy reasoning that we then write down in formal logic and compile to see if it holds.
> My outlook is: this industry has always faced threats that looked like it was going to spell the end of our careers, but we always come out the other side better than ever.

I don't think there ever was as big treat to intellectual jobs. If LLMs ever get really good at programming (at the level of senior) there is 0 reason to keep majority of programmers employed. In addition it's not likely that it would be like other historical events of replacing workers with technology, because it most likely won't create new jobs (well, at least not for humans). So if LLMs won't run out of fuel before reaching that level I'm afraid we are fucked.

> I won't rule out the possibility of LLMs that are so good that they can replicate just about any app in existence in minutes. But there's still value in having workers manage infrastructure, data, etc.

Why would AI advanced enough to spin entire app from scratch have problems with managing infrastructure and data?
The places where automation is most needed are for non-technical folks. To “write a script” is a huge hurdle.
In particular, anything that has a lot of liquid benefits from using lower power for longer.

Of course, putting a quart of spaghetti sauce in an open container and microwaving it at 100% will result in some very cool sauce explosions as localized steam in the source rapidly expands and blows giant sauce bubbles all over your microwave.
> Ah, but - in large and poorly-maintained codebase, it is always the case that some refactoring is already in progress, likely stalled for weeks, months or years as priorities have shifted without it having been completed.

This is true, and something I also thought of when reading that point. I don't think it's necessarily a counterargument, though. It's probably a better idea to spend your time helping to complete the previous refactor instead of starting your new one. Codebases in which many refactorings are started but not completed can be worse than ones that aren't refactored at all.

There could be exceptions if your new changes is very small, localized, and unlikely to interfere with the other changes going on.
MicrosoftDocs GitHub Issues Hidden
It's a good list, but...

> [ ] it lacks the energy density to make it sufficiently portable.

... only matters for mobility applications. You can forget about this one for grid storage.
If that counts, I bought PLTR by accident and got 1222,93% on it (not a significant amount though)
It's not my intention to be dismissive because the project idea seems really cool. I'm just curious, why not wait until the source code is ready to post it on HN?
Summary of this page from chatgpt: https://chatgpt.com/c/67a53bee-35d8-8010-a043-5b3ece65870f
Maybe it's not that new then.. after all, I guess the Nazis did a lot of great work on rockets.. but very unfortunate. That association clouds people's views of technology in general. Technology itself is not biased or ignorant or evil. It's a lever. It should be able to help everyone.
Are you sure that’s not just the domain privacy setting being enabled?
WWD is part of Godaddy
iirc I kept it hot (scalding) but not boiling. I was worried it would boil dry overnight and burn/ruin the pot, but maybe I just need to keep the liquid topped up enough so that doesn't happen. I'll try this next time, thanks!
I've no problem with the govt making sure that disabled people get accommodation so they can participate in civic life. I do have a problem with the govt requiring private individuals to pay for it, "handle the load", etc. even engaged in public accommodation: because it's obvious that a 20,000 sq ft publicly trade Delaware class C corp retailer has room for ramps and generous allocations of space around swinging doors, bathrooms etc. But if I rent a 500 sq foot postage stamp shop in NYC to open my dream counter service juice store which is a step up from the sidewalk, it's just too much of a burden for a new business of which 9 out of 10 fail anyway. You think juice store owners have anything against disabled people? they don't.

We all need to pay for it, not pass feel good legislation that shoves it down the throats of sole proprieter LLCs.
In my mind, the pure reinforcement learning approach of DeepSeek is the most practical way to do this. Essentially it needs to continually refine and find more sound(?) subspaces of the latent (embedding) space. Now this could be the subspace which is just Python code (or some other human-invented subspace), but I don't think that would be optimal for the overall architecture.

The reason why it seems the most reasonable path is because when you create restrictions like this you hamper search viability (and in a high multi-dimensional subspace, that's a massive loss because you can arrive at a result from many directions). It's like regular genetic programming vs typed-genetic programming. When you discard all your useful results, you can't go anywhere near as fast. There will be a threshold where constructivist, generative schemes (e.g. reasoning with automata and all kinds of fun we've neglected) will be the way forward, but I don't think we've hit that point yet. It seems to me that such a point does exist because if you have fast heuristics on when types unify, you no longer hamper the search speed but gain many benefits in soundness.

One of the greatest human achievements of all time is probably this latent embedding space -- one that we can actually interface with. It's a new lingua franca.

These are just my cloudy current thoughts.
This article has a superb diagram of the DeepSeek training pipeline.
Good tips, thank you!
> Clojure for instance or arc use conventions like that to reduce the number of parentheses

Clojure also reduces parentheses by introducing more characters for various data-structures (good and bad, many would say), like [] for vectors, which are for example used for arguments when defining functions

(def add-five [a]
(+ a 5))
Regardless of desired future issue location, breaking thousands of pre-existing URLs/links without even archiving them seems unideal
It is substantially different from hoarding guns: not hoarding exploits takes away those exploits from adversaries.

If an important factor is the ratio of exploits A and B have, then publishing their hidden but common exploits the ratio does not remain the same.

The ratio is interesting because potential exploitation rate is proportional zero days (once used, the "zero" day is revealed and remediated after a certain time span).
Gleam Community Developer Survey 2024 Results
I didn't add salt (it tasted fine without) but maybe it would help preservation, I'll try this too!
It's not "the dismantling", it's the "bringing in line with Trump".
I wonder why he resigned. Half the administration seems to have ties to white supremacy, if not ouright neo-nazism.
so, what solution are you using to extract data with 99.96% accuracy?
On the fraud issue, while it's infuriating, I don't think you have standing to allege the actual issue.

The issue is statement 17 of your filing is factually incorrect, as Oracle details in their motion to dismiss. The form, without that specimen, is still valid; the most the court could do is to strike that image from the record and everything else would remain unchanged.

I'm not a lawyer, but from what I understand, you need standing to proceed with a claim. Standing here means that you were harmed or affected by the claim, and are seeking relief (i.e. asking the court to do/order something for you). The problem here, as Oracle points out, is that you were not harmed by the misrepresentation of the specimen. The USPTO was harmed by the misrepresentation, not you.

A way around this issue would be if the USPTO delegated its authority to bring-misrepresentation-concerns to any applicant willing to pay the court costs. You'd have to check if any law delegated that authority (for judicial action), or if there's a separate form, process, or procedure used to handle the delegation (outside of judicial action).

A similar example of this in action is EPA violations; for many cases, no individual has standing to bring the court action needed to address the harm being done. So the EPA was given that standing by law. Then the EPA delegates that authority as needed, or acts on its own.

I think you should drop this claim and continue with the others, and look into how USPTO handles immaterial but knowingly-false information. They probably have some mechanism, so that people don't just... throw stuff at the wall and see what sticks.
DOGE is just a dipshit rebrand of the US Digital Service, which was created under the Obama administration, and did bring real improvements and efficiency to the Federal Government. They're behind the IRS free to file program that I heard was just killed off. They also did login.gov. There is a huge number of lower profile improvements across the government that they're responsible for.

DOGE is a farce and I hate that I have to type the name of a joke from 2009 because Elon is a child and Trump is a crook.
sbt is way better than what it used to be, also, check-out scala-cli which is very nice.
After reviewing the official Spotify terms you referenced, I’m not quite sure what types of apps would be permitted at all? Sort of off-putting on Spotify’s part. The terms are so restrictive it makes one wonder why they would even offer the platform in the first place.

Edit: I’ve previously thought about some personal projects that utilize Spotify api/data, specifically to perform some exploratory data analysis of user-listening-history, but after seeing these terms, it seems like even that would be against the terms.
I brought the print-and-play GALAXY PDF for my son - he loved it and spent the next ten hours playing it, barely stopping to eat. Seemed like a good mix of mechanics and modern videogame progression rewards.

The shipping to Australia is a little pricy, but I aim to buy a set of the physical versions (they're each randomized) to use as flashbangs for future boredom.
Perhaps expected, but I have similar feelings towards people that work at slaughterhouses. So I definitely can understand where GP is coming from.

But like you and the other poster said, killing an animal for food is a deeply ambivalent experience. For me at least.
TL DR : The parent company spend a lot on hardware, but there is nothing in the article to refute the DS claims.
Now there's an accompany Technical Blog entry:

https://developer.nvidia.com/blog/nvidia-rtx-mega-geometry-n...
Most of the ecosystem is on Scala 3, I think Spark would be the biggest piece pending to upgrade.
I like Raschka's writing, even if he is considerably more optimistic about this tech than I am. But I think it's inappropriate to claim that models like R1 are "good at deductive or inductive reasoning" when that is demonstrably not true, they are incapable of even the simplest "out-of-distribution" deductive reasoning: https://xcancel.com/JJitsev/status/1883158738661691878

They are certainly capable of doing is a wide variety of computations that simulate reasoning, and maybe that's good enough for your use case. But it is unpredictably brittle unless you spend a lot on o1-pro (and even then...). Raschka has a line about "whether and how an LLM actually 'thinks' is a separate discussion" but this isn't about semantics. R1 clearly sucks at deductive reasoning and you will not understand "reasoning" LLMs if you take DeepSeek's claims at face value.

It seems especially incurious for him to copy-paste the "a-ha moment" from Deepseek's technical report without critically investigating it. DeepSeek's claims are unscientific, without real evidence, and seem focused on hype and investment:

This moment is not only an "aha moment" for the model but also for the researchers observing its behavior. It underscores the power and beauty of reinforcement learning: rather than explicitly teaching the model on how to solve a problem, we simply provide it with the right incentives, and it autonomously develops advanced problem-solving strategies.

The "aha moment" serves as a powerful reminder of the potential of RL to unlock new levels of intelligence in artificial systems, paving the way for more autonomous and adaptive models in the future.

Perhaps it was able to solve that tricky Olympiad problem, but there are an infinite variety of 1st grade math problems it is not able to solve. I doubt it's even reliably able to solve simple variations of that root problem. Maybe it is! But it's frustrating how little skepticism there is about CoT, reasoning traces, etc.
I have been writing Scala and Rust everyday for the last few years.

I actually don’t see the two overlapping all that much. Rust is a terrible backend language compared to Scala/JVM. When you are dealing with real world concurrency i.e. error/thread management Rust’s memory management model becomes unusably complex very quickly. And the entire ecosystem lacks maturity i.e. the majority of libraries I use are not at version 1.

Whereas from Scala you can just use any Java library e.g. Vertx, Spring almost all of which have commercial, enterprise support and continue to be proven time and time again. It almost always just works.

Rust’s strength is in desktop apps e.g. Tauri and low-level programming.
US judge temporarily blocks Trump buyout offer for government workers
Always has been. Trying to right that wrong gets the most violent pushback every single time.
Please cite the source for o1 being trained heavily on tool usage.

Reasoning will obviously improve agentic workflows, reasoning is the main problem we see today with autonomous agents. It seems to be likely the _last_ issue we have with them
Please no more mandated insurance programs.
I've been switching back and forth a bit at work recently, and I find Cursor still has a slight edge.
> It is very useful, particularly to grasp a general, yet detailed, idea on what is going on, on a market. However it is only as valid as a remix of previous things, not an actual market research for an actual strategy. Many sources, elements, landscape of which companies and products related are there are totally useful, perhaps 30%-40% of the total work and it gives a clear structure where to go from here.

> Probably it may improve the more interactive that the tool is, for example asking to correct some sections or improve in specifically suggested ways by the user. Basically the user needs to bring expertise, reasoning from the field and critical thinking (things machines will be lacking in any foreseeable future).

Yeah, that's just the thing. With what you know, you can iterate on the results it gives you. It's very sensitive to how your prompt is written and structured, so some fine tuning, user-provided context, and user expertise, it'll dial-in on any subject very well. It's not top-expert-level yet -- at least not on its own -- but it's close, and it's miles better than asking o1-Pro (or Deepseek r1) for a detailed report.
Do you anticipate that:

> When GODEBUG=fips140=only is used, in addition to the above, cryptographic algorithms that are not FIPS 140-3 compliant will return an error or panic. Note that this mode is a best effort and can’t guarantee compliance with all FIPS 140-3 requirements.

Will need to be more complete/certain in order to pass certification? My gut says it would based on the requirements, but I don't know how the auditors would respond in practice.
> It sounds like you've never used a welding torch, installed a kitchen sink, or done similar blue collar work. These jobs will never be replaced by robots, or by a non-trained person wearing a headset.

Why do you think they will never be replaced by robots?
How are you interpreting that as a personal attack? I didn't say anything about the posters character?
I was pretty careful with my 4.4yr old Intel MBP, nearly always using Charge Limiter to max at 80% or so.

It's at 500 cycles now, the battery has been declaring it recommends service for a year, and taking it out to cafes limits my work time to maybe 3 hours max (starting at 80%).

There were at least one or two occasions where it 'cooked' itself to death inside my backpack though, when it didn't sleep on lid close as expected.

Not sure how big an impact charge limiting has made (is my battery life better? did I avoid pillowing?). Or the self-cooking. But that has been the life of this computer.
You're making an even less charitable set of assumptions:

1). I'm incompetent enough to ignore publicly available table benchmarks.

2). I'm incompetent enough to never look at poor quality data.

3). I'm incompetent enough to not create a validation dataset for all models that were available.

Needless to say you're wrong on all three.

My day rate is $400 + taxes per hour if you want to be run through each point and why VLMs like Gemini fail spectacularly and unpredictably when left to their own devices.
Threats of violence is what drives all those inexplicable last minute vote changes in congress, simple as that.