skysight-inc/HackerNews huggingface dataset:
Can you point me to that paper? What version of the model were they using?

Have you tried again with the latest LLMs? ChatGPT4 actually (correctly) explains what each constraint does in English -- it doesn't just provide the constraint when you ask it for the formulation. Also, not sure if CPLEX should be involved at all -- I usually just ask it for mathematical formulations, not CPLEX calling code (I don't use CPLEX). The OR literature primarily contains math formulations and that's where LLMs can best do pattern matching to problem shape.

Many of the standard formulations are in here:

https://msi-jp.com/xpress/learning/square/10-mipformref.pdf

All the LLM is doing is fitting the problem description to a combination of these formulations (and others).
This kind of problems is really not where LLMs shine.

Where you save loads of time is when you need to write lots of code using unfamiliar APIs. Especially when it's APIs you won't work with a lot and spending loads of time learning then would just be a waste of time. In these cases LLMs call tell you the correct API cells and it's easy to verify. The LLM isn't really solving some difficult technical problem, but saves lots of work.
Showing your work in tests is kind of like “chain of thought” reasoning, but there’s a slight difference. Both force you to break down your process step by step, making sure the logic holds and you aren’t skipping crucial steps. But while showing your work is more about demonstrating the correct procedure, “chain of thought” reasoning pushes you to recall relevant definitions and concepts as you go, ensuring a deeper understanding. In both cases, the goal is to avoid just “winging it,” but “chain of thought” really digs into the recall aspect, which humans tend to avoid because it’s effortful.
Guess Austin, MN hackers are just going to have to join Austin, TX hackers :)
Only "suddenly" after he links to his other post describing AUR and installing yay:

https://giacomo.coletto.io/blog/arch-conf/
The long-defunct literary magazine Wigwag ran a monthly essay by an Angolan writer named Sousa Jamba titled "Letter from Springfield." For each installment he visited a different U.S. Springfield.

https://en.m.wikipedia.org/wiki/Wigwag_(magazine)

https://www.newyorker.com/books/page-turner/wigwag-the-magaz...
people already send light beams over ocean-length optical fibers (that's how we're talking). this is achieved by the use of erbium-doped fiber amplifiers, which preserve wavelength and phase information, but even without amplification you can reach 500 km: https://phys.org/news/2023-06-scientists-km-quantum-key.html

and of course we're only talking about these rube goldberg setups because we're perversely trying to build a telescope with a giant rock in the middle of it. if we build the telescope in solar orbit, we can just shine a light through space for the phase reference
Nah. Dogs are far emotionally better than most humans. Their intelligence is their limitation. Also “skills in learning and acquiring knowledge” is basically intelligence
What limitation is it downplaying? If there are hidden downsides to the proposed solution, I would certainly like to know.

Compared to a RAID setup, this requires a lot less money. It's really good for residential use.
In the US maybe? Here in Europe I'm sure it's the corolla
Why would the IT team spend any time at all trying to help some 3rd party recycler make a few bucks on Ebay?
I mean, I don't live in the biggest city in Norway (Stavanger), but the places there are bus lanes tend not to be the places with the worst traffic problems. And there are roundabouts everywhere, with very few traffic lights, so traffic flows pretty well overall.
> Didn't you read the article? No cap is out.

Right, it's 4 years old:

https://www.urbandictionary.com/define.php?term=stop%20the%2...

I don't care, I'm based
The article isn't about how to install a Linux distribution on your laptop. It's about installing Arch on your laptop.

The fact that installing Debian is easier is true, but also irrelevant.
> Not everything can be, or is supposed to be, taught by schools. Your parents should've taught you those things

Who is the genius that decided that you need a school and government neurotics to teach a kid to play basketball, but post gold-standard factional reserve banking is best taught by parents?

And who taught your parents, and their parents before? Do we go all the way back to cavemen for investment wisdom? You’ve got a bootstrap paradox.

Also in 1970’s we dropped the gold standard and the whole game has changed, did someone issue free adult education to being all the parents at the time up to speed?

The system is complete nonsense, you’ve got to be on copium.m to defend it.

If we taught money properly maybe voters would not elect fools and frauds to run things
A day in Elon Musk's mind
A saner solution would be to target based on the content (like advertisers did for centuries before the internet).

If someone's reading an article about guitars, there's a good bet they'll respond more favorably to a guitar ad than to a picture of someone's ass. Common sense was a casualty in the transition to the internet.
> 25% produce a return between 1x-3x

In addition, notice that this business is considered a failure for the VC while for the founders and employees it may be a perfectly fine business.

So, roughly 1/3 are failures and 1/3 are unicorns. But then there is a full 1/3 of startups where VCs and founders are completely misaligned.

Taking VC money takes your "success" numbers from 2 in 3 to 1 in 3 as a founder. That's a huge drop.

The number one credo of a startup is "You have to be alive to be lucky." Sure, the VC wants you dead within 5 years, but lots of businesses burble along with "merely profitable" for many, many years until they hit their lucky event.
If, and only if, you store it stupidly. There's plenty of ways to safely store it for millennia. It's not a truly difficult problem.

And I'm just doing my best to present the facts as they are -- no fud.
People talking themselves into violently agreeing that yes, being able to run Game Boy emulators and Firefox on their iPhones is unequivocally bad is something to behold and shows how far in space and time the RDF really reaches.
but you did bother to comment on it. :)
What’s the economic model for hacker news commenters?
Much harder to geolocate internationally. You really need a geocoding service that accepts flexible input text, narrows the result set, and lets the user pick one.
I made some simple stuff using Claude with OpenSCAD, it was eminently decent. LLMs really have made the start of all learning curves flat.
It's not like you have to be in genetics for excel to bite you. I once had a “business” column in a CSV with one cell set to July 11. Why? Because the business was 7/11. (I assume in a different locale it would've become November 7?)

The simple solution is to do what every CSV → DataFrame library does, which is ensure columns are a homogenous type. In this case a single non-date entry in a column would be enough to treat the whole column as string.
Why all your clothes are worse now [video]
I live in Japan and have a friend who moved back to Spain from Japan. They visit Japan this summer, and surprisingly told me they'd buy a lot of things there, to which I was surprised since it tends to be more expensive. He told me that, with kids, things like clothes and backpacks break in matter of weeks which makes no sense, so they were taking advantage of the trip to buy high quality clothes. I kept an eye and yeah, noticed it. So just watched this video that seems to perfectly explain the phenomena and wanted to share it in case anyone finds it informative!
Very interesting. Thanks for sharing.

> every change needed to have an automated rollback process

How did you accomplish that?
Could still tax based on weight to encourage people buying smaller cars. That’s how it works in many places.
What was the law that was passed? and what was the "old" method for discharging debt? Asking as someone interested in discharging some debt
One of Denver's most notorious murders is subject of a new movie
Wolframalpha is a free service, really kind of an ad for all the (curated, accurate) datasets built into Wolfram Language

Wolfram Research is a profitable company btw
It's useful. It's not controlling.
My feature req sounds demanding? Or you don't like me hiding my username?
Researchers reveal performance boost mechanism in single-atom catalyst
Nuclear waste leaking into the groundwater? Sure, if someone is being absurdly callous. But if we're going to invent a villain with no morals as just dumps the stuff then we might as well do the same for any other form of energy.

I prefer to assume we're comparing competent operators of any energy type in our portfolio. Saying it leaches into the groundwater is like saying "dams break and destroy towns". Yeah, it does happen I guess, but not often. And we've got lots of systems to prevent it.
I've always thought it was more for developers. You can get something into AUR easily, and it is basically the basis for a real package.

So low effort for developers.

Meanwhile I think the high effort for users of AUR is an appropriate barrier to entry.

Every dangerous thing I've seen in life benefits from good situational awareness, and all the "learn makepkg" stuff plus "can't be root" seems to match the learning effort to the risk.
We're talking about using features exposed by the OS (the Core Animation layers API in this example) to avoid doing unnecessary work to save battery life.

Any browser could adopt each individual platform's proprietary graphics APIs, but using the same API everywhere (traditionally OpenGL) is less work.
Commenting on Hacker News is fun. But I'm really glad the internet has professional journalists as well.
Strongly correlated != 100% overlap

A 99% overlap can still be coincidence.

And even if it was ‘absolutely no coincidence’, that is still only reflective of the reality as perceived by the average of all the people from the training set.
Interesting that you skip right past the part that I mentioned about lead oxide fumes.

"During the soldering process in the form of lead filler metals, lead oxide
fumes are formed and excessive exposure to lead oxide fumes can result in
lead poisoning."

It's right there and easy to read.
Yes, it’s terrible in Latin America. For example, in many areas of Santiago, Chile, you can’t take your phone out on the street without risking snatching.
Id rather live in the world without talking dogs if their main utility is authoring buggy code
> Financial literacy for the average person consists of two things: do not buy things you don't really need / don't spend more than you have

Great, now take out a mortgage at a good time, predict interest rate and house prices manage your savings and plan your retirement, be self-employed for a year and correctly identify what is tax deductible and what isn’t, recognise when you are being sold a bad financial product.

There are all things a middle class person needs to deal with.
I ran a BBS also and likely at least as opinionated. Brother.
The mistake you (and a lot of others are making) is that the people who didn’t make it just weren’t skilled enough.

That isn’t true - I think the people who don’t make it are massively skilled. It’s not random in the sense it’s just selecting randomly from the population. It’s random in the sense that there are 100 elite content producers but at any given moment there is only space for 10 of them.

Stephen King has a massive leg up for already having built the inroads for having a successful book. I think if you give any elite, yet unknown writer, the same tools, editor, and publisher they would succeed. But to truly succeed from nothing may just depend on going to school with someone who became an editor, or the editor’s daughter showing them a TikTok. That’s what is meant by it’s largely random.
I just bought a 1 year old Nissan Leaf for $15,000 in San Diego California.

The aversion to EVs in the US is mostly just american idiocy.

In the US 2/3 of people live in single family homes. That means NEVER using a public charging station.

Most of those households also own more than one car. So it's easy to retain a ICE vehicle for when it's really needed.

Let's just face the facts, the Scandinavian governments, and the Scandinavian people are just smarter than americans...

p.s. I expect this car to pay for itself in ~5 years, due to savings on gas. How long before your ICE vehicle pays for itself? Like most long term investments, it requires a smarter population.
I also highly recommend the 99 bottles of beer gallery, which has the same program written in many different languages including some very old ones:

https://www.99-bottles-of-beer.net/
It may be your local gateway. Seeing no packets from your host. Attempting to refresh your MAC address via ARP. Getting no response. Generating an ICMP message as a result.
Eh...

My adverts are all related to various people in my and my partner's friend circle and past, but it's really weird overall.

My ex-wife ran off with a man who offered to 'help fix our marriage'[0], that man became a 'preacher'.

There were a few periods where I would get lots of adverts telling me to go to Israel to 'get closer to my religion' after that.

When I became friends with someone on discord I started getting a lot of ads for Schizophrenia meds.

During Covid, I had a conversation with a colleague about 'getting tested for covid' and the fucking ad engine decided to slip in ads where a bunch of men in a bar are chatting all happy and the announcer politely talks about STD testing in the foreground.

Speaking of, the last few days I've been getting lots of ads for PReP. It took me a minute for that one, my best guess at present is some friends that are swingers got engaged recently so they've come up more in conversation.

-----

The most shocking to this day however, was way back when Youtube ads got the juxtoposition of "You looked up how your boss's boss was a goat breeder" and "Watching Periodic Table of the Elements" as backgroudfall-asleep audio, led to a a few months straight of advertisements for a company selling Tanks to hold insemination material, 'SemenTanks.com'. Still in business despite the garish font they used 11+ years ago.

[0] - I knew what was happening off the get go but the progression afterwards is hilarious to me considering how he bragged about all of his piracy and hackintoshing.
Yes. It's called HearID

https://www.soundcore.com/hearid
What bootloader is this using? Or is it just straight EFI booting?

No bootloader. It says he's using a unified kernel image: https://wiki.archlinux.org/title/Unified_kernel_image
> Sure, if someone is being absurdly callous.

Firstly, the containers are known to develop leaks over decades. Secondly, there are accidents on site every year, causing tritium leaks if not also uranium. There is also a baseline level of tritium leakage that's considered normal, but it isn't actually normal for the fishes in the river.

> I prefer to assume we're comparing competent operators

Please see the list of leakage incidents at each nuclear power plant. There is one almost every year at almost every site. The local environment pays the price for it. If they were competent, these events wouldn't happen.

None of this is an issue with solar, for example. The radius of the possible damage is minuscule.
JUST when you thought the chatbot was dead
Most software I have any interest in is so big, that it seems insane to even attempt without being paid, and everyone seems to agree, since most of it is in fact corporate sponsored.

Even a 1000 line library winds up being a lot of work when you account for testing and packaging and maintenance and keeping up with breaking changes.
Unbindable Kemmy Schmidt
> I interpret supernatural to mean religious in this context.

TBH I have no clue what the word "religious" means outside of abrahamic faiths. Might as well be a meaningless word. Anyway, the supernatural certainly encompasses many aspects of religion without implying anything about aliens.
You cannot while maintaining the half-duplex behavior of the current system.
This is a cool but ultimately useless pedal for guitarists, for whom precise control over individual expressions is valued above the utility of an all-in-one pedal which would be too easy to accidentally trigger unexpected expressions in the heat of a live performance.
World's first thermal 360-degree throwable camera
I know SteamOS uses an immutable file system over a custom Arch install.

Have any people here tried this kind of thing with immutable file systems on Arch and is there a realistic benefit?
"YouTube", like "Twitter", has never been one thing, one culture. There's a zillion long tail creators making all kinds of unmonetized stuff because they want to.
For anyone else who didn't know that CCGT is a euphemism for gas:

> A combined cycle power plant is an assembly of heat engines that work in tandem from the same source of heat, converting it into mechanical energy. On land, when used to make electricity the most common type is called a combined cycle gas turbine plant (https://en.wikipedia.org/wiki/Combined_cycle_power_plant)
One good use case is unit tests, since they can be trivial while at the same time being cumbersome to make. I could give the LLM code for React components, and it would make the tests and setup all the mocks which is the most annoying part. Although making "all the tests" will typically involve asking the LLM again to think of more edge cases and be sure to cover everything.
English as input language works in simple scenarios but breaks down very very quickly. I have to get extremely specific and deliberate. At some point I have to write pseudocode to get the machine to get say double checked locking right. Because I have enough experiences where varying the prompting didn't work, I revert to just writing the code when I see the generator struggling.

When I encounter somebody who says they do not write code anymore, I assume that they either:

1. Just don't do anything beyond the simplest tutorial-level stuff

2. or don't consider their post-generation edits as writing code

3. or are just bullshitting

I don't know which it is for each person in question, but I don't trust that their story would work for me. I don't believe they have some secret sauce prompting that works for scenarios where I've tried to make it work but couldn't. Sure I may have missed some ways, but my map of what works and what doesn't may be very blurry at the border, but the surprises tend to be on the "doesn't work" side. And no Claude doesn't change this.
Gas is already taxed.
The issue with these kinds of meeting services seems to be that as the population of the online community goes up, the overall quality, and likelihood that you'll meet a real, friendly person, goes down. It's not guaranteed, but the ideals and culture of hackernews could help realize the full potential of that dream. As it says in the welcome page, "A community site that becomes popular will decline in quality... by making a conscious effort to resist decline, we can keep it from happening." I definitely think it would be something worth trying.
Perhaps the first time you start excel maybe a short setup tutorial that sets the default parameters you want for every spreadsheet you create.
A tangent, but, Japanese ship names often include "maru", One of those weird facts that sort of creep up on you, after all, how many japanese ships do you see every day?

So I finally decided to look it up and wikipedia to the rescue.

https://en.wikipedia.org/wiki/Japanese_ship-naming_conventio...

It (丸, maru) means circle, there are many good theories as to why it is attached to ship names, however by this point it has been done long enough that it is mainly tradition.
Show HN: Docker-repack – Speed up Docker image pulls
I created this tool whilst I was learning about Docker/OCI image internals.

The tool repacks and optimizes Docker images by efficiently repacking the contents into equal sized layers. The speed improvements for large images are significant: from 2 minutes to 16 seconds in some cases.

I'm not sure how useful it is, but I find the subject quite interesting and it might be useful to others.
It exists but more as a TCP stream, which is broadcast as packets...
I think most of the discourse is about fees students pay, so $$$ for US vs free for Europe. When you see $38k for US vs $32k for UK then its a different problem.
Tao says that isn't the case for all of it and that on massive collaborative projects he's done many nonmathemeticians did sections of them. He says someone who understands it well needs to do the initial proof sketch and key parts but that lots of parts of the proof can be worked on by nonmathemeticians.
The screen knows what color it displays at all times. It knows this because it knows what it doesn't. By subtracting what it does from what it doesn’t, or what it doesn’t from what it does (whichever is greater), it obtains a difference, or deviation. The controller board uses deviations to generate corrective commands to drive the display from a state where it does not display black to a state where it does, and arriving at a state where it displays black, it now doesn't display anything.
No - in a subtle way, you're assuming that the unary minus has precedence, when the point is that it doesn't.

You're right that "thing^2" means "thing times thing", but in "-3^2", what is it that is being squared? To write it, as you did, as "(-3) x (-3)", assumes that in "-3^2" the thing being squared is "-3". But that in turn assumes that the unary minus is done before the square. By the standard mathematical convention, in "-3^2" the thing being squared is "3". So you do "3 * 3", then you negate the result and get "-9".
>After driving an EV for a few thousand miles, ive realized they are so superior to ICE for my use case

I vastly prefer my low-ish end EV (Hyundai Kona) to every ICE vehicle I've ever driven. Even if I wasn't saving ~$100/month in fuel costs, and even if I the environmental effects were a complete wash, I don't think I'd ever buy an ICE again.

I think the only reason I'd ever go to an ICE vehicle is if I needed something larger. Right now, if you need a "family transport" vehicle with space for adults, kids, luggage, etc, the EV world is pretty limited. I had high hopes for the VW Buzz, but it's total range is a bit borderline for me, although I still need to calculate out how it would compare for my typical long distance drive. The Kona has greater range, but a much slower max charge rate, and it might turn out that those balance each other out, and the Kona has been fine for the 10 hour road trips I've done so far.
https://harvey-os.org/ (Retired)
The team now works on this: https://github.com/r9os/r9
Babashka/clojure is a fairly pleasant way to write scripts.

I also think bun alongside typescript is quite viable, especially with the shell interop:

https://bun.sh/docs/runtime/shell
There hasn't been a release in 3 years and no news updates in 2 years until the recent GSoC announcement. Modern linux distros are still shipping a version from 2021 on a older version of Qt, unless you get a nightly unofficial release from the snap store. That's not a great sign even if there are commits happening. I used OpenSCAD a lot in college and I really hope it has a future. I'm glad to see it's getting sponsors now.
It needs a bigger context, but the moment someone can feed an entire GitHub repo into this thing and ask it to fix bugs... I think O2 may be the beginning of the end.
I'm getting some mixed messages in this thread alone. Who do I believe?

https://imgur.com/a/ylkWLfQ
Are there any alternatives for which these criticisms don’t apply? I use both MS Office and Libre Office and your point applies to both.

I guess almost four decades of the same UI paradigm for such an incredibly widely used software category makes it difficult to conceive of new paradigms.
Considering the number of ransomware attacks and other viruses that infect hospitals, it wouldn't surprise me if stack overflows had quite a large body count.