skysight-inc/HackerNews huggingface dataset:
The death penalty just looks like public entertainment. I don't think the state actually needs the ability to make decisions on life or death. It is demonstrably not a good steward of this power.
This should also be good news for open weights models, right? Since OpenAI is basically saying "you can get very far with good prompts and some feedback loops".
Garbage collectors can really be very efficient in languages that are both strongly-typed and truly immutable.

The type system means you don't have to worry about folks hiding pointers in arbitrary pointer-sized integers, so you know all the roots ahead of time.

Immutability means you can only ever create references in one direction (i.e from new objects to old objects), and you can't ever create cycles.

This lets you do fun shit like a mark&sweep garbage collector in a single pass (rather than the usual two) - and if you have process isolation guarantees (a la Erlang), you don't necessarily have to suspend execution while it runs. Or maybe a generational collector where the generations are entirely implicit.
“THERE ARE THREE R’S IN STRAWBERRY” - o1

I got that reference!
If you make it a long drink yes (which you shouldn't as it overextracts). If you run it on the short program it's pretty strong. At least with local pods here in Spain.
OpenAI o1 broke out of its host VM to restart it
> lol.

It's there for a lot of people already. I can see it on 3 different accounts. Including org and just regular paid accounts.
Actually cutting code is maybe 10% of the job, and LLMs are absolute crap at the other 90%.

They can't build and maintain relationships with stakeholders. They can't tell you why what you ask them to do is unlikely to work out well in practice and suggest alternative designs. They can't identify, document and justify acceptance criteria. They can't domain model. They can't architect. They can't do large-scale refactoring. They can't do system-level optimization. They can't work with that weird-ass code generation tool that some hotshot baked deeply into the system 15 years ago. They can't figure out why that fence is sitting out in the middle of the field for no obvious reason. etc.

If that kind of stuff sounds like satisfying work to you, you should be fine. If it sounds terrible, you should pivot away now regardless of any concerns about LLMs, because, again, this is like 90% of the real work.
Capitalism.

Btw communism is capitalism without systemic awareness of inefficiencies.
o1-preview gave me this...

Final Decrypted Message:

"Por ejemplo te agradeceré, y te doy ejemplo de que lo que lees es mi ejemplo"

English Translation:

"For example, I will thank you, and I give you an example of what you read is my example."

... initially it gave up and asked if I knew what type of cypher had been used. I said I thought it was a simple substitution.
You don't really need `String|Integer`, for most usecases an isomorphic type that you can exhaustively pattern match on is more than enough, and sealed classes (along with the support in `switch` expressions) does exactly that.
Uber even had a whole program to thwart law enforcement attempts to investigate them called “greyball”. They knew what they are doing.
https://www.nytimes.com/2017/03/03/technology/uber-greyball-...
The increased work capacity of an accountant means that nowadays even small businesses can do financial analysis that would not have scaled decades ago.
As much as I hate Python, I love fbs. I've used it for a couple of projects and it's always been a breeze.
Oh yeah, it will be MUCH better, not even close. And I own a Hakko. The new wave of USB irons is incredibly better
As far as I've heard, Haskell's type system doesn't normally prove functions to be total; they can diverge. This fine, though, because for ordinary programming, a proof of totality isn't a useful guarantee. You care how long programs actually take to run, not whether they would theoretically finish eventually.

It's only when proving theorems that a mathematical proof of totality matters, and there are specialized languages for that.

For most people, we test in order to make a scientific claim, that we tried running it, and it worked for the inputs we tried, and completed in a reasonable amount of time.

This is true of property testing and even model-checking; in simple cases, sometimes an exhaustive test can be done, but they don't actually prove statements outside the bounds used when testing.
It's my understanding paying supporters aren't actually paying enough to cover costs, that $20 isn't nearly enough - in that context, a gradual roll-out seems fair. Though maybe they could introduce a couple more higher-paid tiers to give people the option to pay for early access
It may have made their already abysmal mileage even worse. If it nocked off 2 MPG that would be an almost 25% reduction.

Glad the poor postal carriers are finally getting it. Having some in sweltering heat, even if you’re always in and out, is better than just a little fan.
I can’t quickly find the mileage with the AC not running. More to the point, it is mostly a myth that running the AC uses a significant amount of fuel. The compressor is usually driven by the serpentine belt, and adding the clutch plate for the AC into that system does not add significant drag. A little, yes.
Not true; it's already available for me, both O1 and O1-mini. It seems they are indeed rolling out gradually (as any company does).
While GitHub explores o1, Double [0] just made it available to all users in our VS Code extension, same functionality as copilot. Would love to get some feedback from the HN community! :)

[0] - https://double.bot/
What he is saying is true, doctors and everyone else involved try to squeeze as much money as possible from dying people.
Are you sure? I thought there were at least two ways to estimate population size from DNA: Y chromosome (since it is only passed father->son), and mitochondrial DNA(since it is only passed mother -> child).

Why wouldn't those show up with a very rapid population collapse?
Eh? Glassdoor is for the other party, which you were implying was being kept in the dark.
I'm not convinced on autogrinders. One of my friends had one (A Jura) of 1000+ euro and the coffee was no better. Eventually the grinder crapped out and the replacement cost 3/4 of the machine price.

He's now drinking Nespresso like me :)

Breville doesn't seem to be a common brand here in Europe but I see it is a lot cheaper. Nothing like the 80 euro of a Nespresso machine though (which has also lasted me 10 years despite never descaling it).
AI Will Force a Transformation of Tech Infrastructure
Big publishers think libraries are the enemy
Mystery tremors were from nine-day tsunami
The EV version would certainly have a very low center of gravity. The gas one wouldn’t be as good but they must have tested for that right?
UPS doesn't just buy ordinary vans and trucks.

'UPS Orders 10,000 Electric Vans from EV Maker You Probably Haven't Heard of' at https://www.autoweek.com/news/green-cars/a30716811/ups-order...

> "Together, our teams [at Arrival] have been working hard to create bespoke electric vehicles, based on our flexible skateboard platforms that meet the end-to-end needs of UPS from driving, loading/unloading and back-office operations,"
Have you never heard of "local maxima"? Why are you so certain another 5 years will provide any qualitative advancement at all?
I use a Cafelat Robot in the USA, and I agree it's great. The workflow is simple and streamlined, yet it affords a high degree of control.
Embracing the platform can hurt when the platform sucks
Ask HN: Is a Masters in CS/Engineering worth it for a mid-career PM?
I’m a PM & designer in his late 30s who is itching to get into deep tech (BCI, AI, aerospace, medtech, etc). I have no background in engineering and am considering pursuing a masters either in CS or similar.

Has anyone here done this mid-career? Was it worth it?
> The first market was the office coffee service market," he said, adding he is "absolutely mystified" by his product's popularity in homes.

After reading this, the invention made a lot more sense. K-cups seem to be a better choice for outside of the home where someone might want a single cup on demand with no prep or cleanup. Like waiting rooms, offices, hotels, etc.
The US is a bit like pre-WW2 Germany, in the sense that a group of power-hungry, self-proclaimed defenders of the people want to overtake government, by whatever means, and suppress basic rights for large groups, based on political conviction and ethnicity.

The world isn't pre-WW1. Russia stands alone in its conflict with Ukraine, and Palestine's neighbors don't give a shit. The only thing that could turn it into a wide scale war, is use of nuclear weapons. It would be a madman's hubris, not geopolitical games of a fading elite that drives the process.
I used to agree with you but I changed my mind. That view point is overwhelmingly optimistic. It grossly overestimates the ability of the technologically illiterate to care about stuff they don't understand. At the same time, it depends on normal people not only understanding and caring about this but also getting on board with whatever we propose based on principles, often at their inconvenience.

We're already going down that path right now, and we are failing miserably. The only possible result of that path is what's already happening right now. Corporations use their trillions to create nice pretty convenient gratis little digital fiefdoms where they hold all the keys, and people are only too happy to become their digital serfs. People actually see absolutely nothing wrong with sacrificing their freedom and control for security and convenience. In fact they look down on us for eschewing the conveniences of 21st century technology.

Once the monopoly is established, it is simple for them to squeeze out any non-conformers and then tighten the screws on their serfs. This post right here is just one example of the methods they will use to squeeze us out. Every post that contains the word "enshittification" is an example of them tightening the screws on their serfs. We're gonna see an infinite number of these until something is done about it.

The only way I can think of to solve this is to enshrine computing freedom into law. Somebody's gotta decide that this computer freedom stuff is right and just and moral and correct, and literally write those principles into society's code of law. And it's gotta be done without a bunch of industry lobbyists neutering the law to uselessness.

The owner of the machine is whoever bought it for his own use. That human must have absolute control over every last bit of it, lest he instead be controlled by it. A machine controlling a human being without his consent is a violation of his basic human dignity and it should be treated as such. It is his right to be in complete control and any attempt to usurp that control is violence. I've come to believe that anything short of this will fail to stop these corporations.
Maybe math is easier to score and do reinforcement learning on because of it's 'solvability' whereas writing requires human judgement to score?
Misspelling aside, Mitchell and Webb have ruined me; any time I hear the name of that state, I think of[1]

1: https://www.youtube.com/watch?v=WxKnFckhzUs
Ordnance Survey height benchmark locations
Time to re-read The Culture. Not everything has to end in a dystopia.
I saw a Rivian mobile service van for the first time about two weeks ago. I was behind it in traffic. It’s exactly the same design as Amazon, just different paint.

All I could think of was “they repainted an Amazon van“.

I know Rivian makes them all. But seeing so many Amazon vans has changed who “owns“ the design in my mind.
That's Keurig. We don't have this in Europe.

We do have other plastic pod ones like Nescafe Dolce Gusto. The nespresso one is using aluminium pods.
As a gamecube controller modder who uses a TS101 on the go, the handle isn't such a bad deal. I paid the same price for the TS101 bundled with a barrel jack power supply that I never use. The short tip-to-grip distance seems nice, and the higher power is good.

But the full station price is kind of outrageous. I got my Thermaltronics TMT-2000S for less, and that's a monster. But then again, I don't have to use their battery, I can use my $70 Ugreen one.

My one concern about the cap is: I worry that someone with bad depth perception will poke their hand with a hot iron when trying to cap it...
> unless you mean that they couldn't agree on many things and had muddy compromises on authority and autonomy

Kinda reminds of EU right now...
That study is an abstract and was not peer reviewed. I find this an implausible result. Is there a version that has been peer reviewed yet?
I can't say what MetFORMin did for me on its own since I also changed my diet and lifestyle significantly when I started it. But since starting it I lost 50 pounds, and got my blood sugar from a diabetic range into a normal range, along with many positive side effects such as increased energy, no more sleep apnea, blood pressure in normal range (was over 170/90). Again MET didn't do these things itself, but I do think it helped to achieve the weight loss and blood sugar control that would have been harder without it. I was on a low dose and never had any negative side effects, and am now off of it after 6 months and maintaining.
It's clear to me that OpenAI is quickly realizing they have no moat. Even this obfuscation of the chain-of-thought isn't really a moat. On top of CoT being pretty easy to implement and tweak, there's a serious push to on-device inference (which imo is the future), so the question is: will GPT-5 and beyond be really that much better than what we can run locally?
Do you have any evidence or do you just feel like that?
The correct answer is that there is no "you". Continuity in consciousness is an illusion that can be deconstructed through deep enough meditation, or more accessibly through psychedelics. It certainly feels like there is as "you" at the center, but what you call "you" is sort of a narrative that your brain is stitching together at each moment, and it can be subject to distortion, revision, reinvention.

You are not the same "you" from moment to moment--you are just reassembled by your brain every second in a way that feels conscious. So I would say there is a false dichotomy in the center here. If "you" are already an illusion, digital emulation just manipulates that illusion in different ways. Whether or not "you" survive in a literal sense is not the right question, there was not a fixed "you" to keep or lose in the first place
Have you tried a 3 to 6 month long retreat at an organic farm with no supps and only the meds that you really need? You can bring your gear and build games there, too.

I wanted to dive into the production of all the different supps for a while but intuition tells me it'll end up in some reverse confirmation bias aka "job security and esoterically enhanced anti-pla-no-cebo thinking" ... and that kills my mood.
Dupe of https://news.ycombinator.com/item?id=41524011 except worse because Twitter.
Play it out

Let's assume today a LLM is perfectly equivalent to a junior software engineer. You connect it to your code base, load in PRDs / designs, ask it to build it, and viola perfect code files

1) Companies are going to integrate this new technology in stages / waves. It will take time for this to really get broad adoption. Maybe you are at the forefront of working with these models

2) OK the company adopts it and fires their junior engineers. They start deploying code. And it breaks Saturday evening. Who is going to fix it? Customers are pissed. So there's lots to work out around support.

3) That problem is solved, we can perfectly trust a LLM to ship perfect code that never causes downstream issues and perfectly predicts all user edge cases.

Never underestimate the power of corporate greediness. There's generally two phases of corporate growth - expansion and extraction. Expansion is when they throw costs out the window to grow. Extraction is when growth stops, and they squeeze customers & themselves.

AI is going to cause at least a decade of expansion. It opens up so many use cases that were simply not possible before, and lots of replacement.

Companies are probably not looking at their engineers looking to cut costs. They're more likely looking at them and saying "FINALLY, we can do MORE!"

You won't be a coder - you'll be a LLM manager / wrangler. You will be the neck the company can choke if code breaks.

Remember if a company can earn 10x money off your salary, it's a good deal to keep paying you.

Maybe some day down the line, they'll look to squeeze engineers and lay some off, but that is so far off.

This is not hopium, this is human nature. There's gold in them hills.

But you sure as shit better be well versed in AI and using in your workflows - the engineers who deny it will be the ones who fall behind
Chinese Cargo Cranes at U.S. Ports Pose Espionage Risk, Probe Finds
I used to defend the death penalty. If we could wave a magic wand that told us definitely the guilt or innocence of a defendant, I would still.

But we don't.

And our jury trials are a poor substitute.

Wikipedia claims that since 1972 there have been ~190 people who were sentenced to death that were exonerated of their crimes. 2.2% of people. A 2.2% false-positive rate sucks for something like a Covid test, or a speeding ticket. But a 2.2% false-positive rate for the state taking someone's life away is unacceptable. The Covid death rate was under 1%.

And that's not taking into account cases like this. Defendants are sitting on death row because DAs are embarrassed that they got something wrong, or because the county can't afford the wrongful imprisonment suit, or because the defendant can't get a competent lawyer.

Create me that magic wand and I will happily join you in defending the death penalty. Until then I can't argue for it with a clean conscience.
> Oshkosh's proposed vehicle will only average 8.6 mpg (27.35 L/100 km) according to the EPA, a barely noticeable improvement on the current Grumman-made LLV trucks, which average 8.2 mpg (28.68 L/100 km).

Such a wasted opportunity
it's not obviously achievable. for instance, we don't have the compute power to simulate cellular organisms of much complexity, and have not found efficiencies to scale that
> Oh there is documentation, but it's old and contradictory.

That's like saying "oh, but I have food to eat, except it's been eaten by mice and mold. I mean, if documentation doesn't work, then it's the same as "no documentation"...

> There's no guessing involved.

But that's where you are wrong. The more garbage isn't cleaned from the repository, the more guessing you have to do. What if a comment next to the code contradicts the code? -- It's garbage! But nobody cleaned it, and now you have to guess whether the comment or the code is correct. But this is just an easy-to-understand example. Essentially, any bug is like this: there was an intention to do X, but Y was done instead, and now you need to figure out whether Y was intended or X.

History needs to make sense, it doesn't need to document the mistakes that happened along the way. Not for the purpose of development anyways.

> Clean the code up as much as you want. The history however is completely hidden and not causing any clutter,

I'm not talking about refactoring code, I'm talking about cleaning the history. It's only hidden if you are completely hapless when it comes to working with Git. Any developer worth their salt work with the history regularly. It's not a secret, and it's definitely not hidden.

On the contrary, if you believe history to be "invisible" -- just use rsync. There's no need for complicated system that's designed to work with history... If you cannot make use of your history -- why bother keeping it?
There was a whole thing with proposals from multiple companies. Did any of those companies even bid? I don’t know.

It was all in the open. It’s not like they were just picked in secret without anyone else getting any consideration.
Security Dilemma
Simulate baud rates with this Linux program [video]
I wonder what’s up there in the EV version. Maybe more battery?
[dupe]

More discussion: https://news.ycombinator.com/item?id=41491191
well it could be a lot cheaper to hire the AI model instead of a human?
Steve Ballmer: facts on the US federal budget [video]
I want Haskell with the tooling, DX, and packages of TypeScript.
I think that explosion would have been enough to set off WW1.
I have a straight forward task that no model has been able to successfully complete.

The request is pretty basic. If anyone can get it to work, I'd like to know how and what model you're using. I tried it with gpt4o1 and after ~10 iterations of showing it the failed output, it still failed to come up with a one-line command to properly display results.

Here it what I asked: Using a mac osx terminal and standard available tools, provide a command to update the output of netstat -an to show the fqdn of IP addresses listed in the result.

This is what it came up with:

netstat -an | awk '{for(i=1;i<=NF;i++){if($i~/^([0-9]+\.[0-9]+\.[0-9]+\.[0-9]+)(\.[0-9]+)?$/){split($i,a,".");ip=a[1]"."a[2]"."a[3]"."a[4];port=(length(a)>4?"."a[5]:"");cmd="dig +short -x "ip;cmd|getline h;close(cmd);if(h){sub(/\.$/,"",h);$i=h port}}}}1'
Predicting exponential functions is a fool’s errand. The tiniest error in your initial observation compounds real fast and we can’t even tell if we’re still in the exponential phase of the sigmoid.
TAME has not yet been funded by NIA. Stay tuned.
Extension to Customize and Declutter YouTube
Well, no one can ensure that same text they found will be found again on a link. It can simply change since the last time you saw it.

Now, building an index means that after you are done you can drop the data you had and use that space for getting newer data, so you might not even have it. It's probably smart to keep the data to help the crawler be less aggressive at downloading the whole internet though, but this data is globally replicated and ready to serve, might be just in 1.5+ hard disk drives that are not publicly reachable because they are dedicated to run the indexing service, not serve end users.

Could Google do it? Yeah, sure, but they are busy doing LLM things.
What is interesting to me is that there is no difference in the AP English lit/lang exams. Why did chain-of-thought produce negligible improvements in this area?
The whole East Coast Mainline is missing!
Can you rephrase your comment as a statement?

As-is, I feel it resembles a rhetorical strategy which is sometimes derisively called "JAQing off."

Exactly what evidence are you suggesting is "fabricated"?
The cup itself may be aluminum, but there is a plastic lining on the inside of the cup and on the inside of the lid that keeps the coffee from coming into direct contact with the aluminum--just like in canned foods
There is a lot of space between the spooky magic quasi-global errno integer and proper sum types. Go's errors are not magic globals nor are they mere integers, even if they aren't sum types either.
It’s a really hard task to make an efficient gas vehicle that stops and starts constantly. They’re just really bad at it.

Sure you can make it a full hybrid but then you’re like 80% of the way there to a battery vehicle anyway.

Also note that while the new one isn’t that much better it is providing air-conditioning. And the whole truck looks bigger so I suspect it weighs more. So the engine is doing more work than in the LLV.
I’d argue the foreseeable future got a lot shorter in the last couple years.
Based on their graphs of how quality scales well with compute cycles, I would expect that it would indeed continue to be that much better (unless you can afford the same compute locally).
Related Apple study from May:

Apple Hearing Study shares preliminary insights on tinnitus

https://news.ycombinator.com/item?id=41491121