skysight-inc/HackerNews huggingface dataset:
This is unfortunate considering how far the language has come since then. Local variable type inference (i.e. the `var` keyword) is very difficult to give up once you’ve gotten used to this being table-stakes in basically every other modern statically typed language.
The last time the US was at war was WWII - tough to say if "was" is correct in that sense. Also, not sure the censorship then is widely considered as detrimental.
> Try blindfolding yourself, inserting your installer usb stick, and installing your thing and using it successfully.

I don't understand this.

Are you saying its hard to install Linux? Has this ever been true? Usually you smash the Next button. There is a partioning screen, but that is some serious changes you are going to make.

I don't care what OS religion you follow, I'm taking the blindfold off during partioning.
I think it can be run for as long as you have the right infrastructure.

I'd say it's more 'code that can't be read won't be modifiable for long'.
There is already a media query for contrast preferences (increased or decreased) IIRC
This may come as a shock to you, but the US starts wars of aggression.

> the only country you complain about

It's the country the topic is about. It's the country that gets the most aid from the US, and that talks about having the most moral army in the world and all that, while arguably being one of the most backwards, still clinging to colonialism [1], carpet bombing a population half of which is kids in one of the most densely populated areas of the world, while some Western obediently censor or derail anything that goes against that utterly infantile and intellectually bankrupt narrative.

> 20% of Israelis are Arab? How many Jews are there in Gaza or the West Bank?

What does that have to do with anything? The standard isn't Gaza, the standard is international law and basic human decency and intellectual integrity, and the responsibility lays where you a.) offer support and b.) where someone claims to have anything in common with you, and where silence would be agreement. So, not Syria, and none of the other nonsense that gets constantly brought up, without fail.

[1] https://www.youtube.com/watch?v=zM2fXTkjU2E
This is why I went to Fedora.
Or simply...big incremental breakthroughs are hard. They are not the rule. They are the exception.

It's easy - and also human nature - after the fact to forget the gazillion pot holes smashed into and associated tire changes once some milestone is hit. Let's try a sport analogy for this. Teams and fans celebrate the winning of the World Cup. Few are taking a champagne shower thinking about the hours and hours of training. That's all in the past. The milestone is all that matters.

All that aside, science - not to be confused with Science (upper case S) - had become too much like politics (and "journalism"). Too much for show. Too much for ego. Too mucmuch data cherry picking. Too many incentives to over-state. Too mamany "peer reviews" influenced by favoritism, etc.

And as I write this, this is at the top of the HN list:

https://www.science.org/content/article/misconduct-concerns-...
It had the majority share of users, lots of bugs, and didn't update itself (in the sense that modern evergreen browsers do).

This turned into a chicken/egg problem where apps only worked in IE6. Mitigated somewhat by "evergreen" browsers that update themselves regularly.
Don't forget to explain - in detail - how to build a stable, self-sustaining off-world ecosystem with adequate food, air, water, and shelter out of rocks, energy, and expensive and very irregular imports.

You might also want to think about how to keep critical machinery running on the end of a six month - best case - supply chain.

"Take three of everything" might work practically, but will raise some eyebrows economically.

Those are the hard problems. Compared to them, getting there is trivially easy.
How are the feds able to stick a wire fraud charge on almost anything except for academic fraud? It's one thing to make a mistake like Reinhart and Rogoff's embarrassing excel blunder. It's entirely something else to falsify data.

> Under Zlokovic’s leadership, the USC institute has expanded to more than 30 labs and grown its annual funding more than 10-fold, exceeding $39 million in 2022. NIH grants to Zlokovic have totaled about $93 million. A prodigious fundraiser, in the past decade alone he has added at least $28 million from private sources, according to USC.

So the NIH has given the man $93m. Surely that's a place to start?
That is not the same as a purchase order!
JWST: Earth-like planets may form even in harsh environments
Probably the realization that this is an arms race of sorts.
Instead of slowing down China, we should consider this a wake-up call.

Instead of lazily pointing out that nuclear is “expensive”, have an honest conversation on the extraordinarily high hurdles we put in 50+ years ago.

Right now even a good-faith conversation amongst experts across different industries seems impossible
Every digital photo interpolates or otherwise guesses the unknown data between sensors of each color during debayering.
With the right type system, any formal proof can be represented in it, and the type checker will verify the proof. Any fault that remains can also remain with a formal proof. Look up Curry–Howard isomorphism.
Feels to me the risk of discovery is deemed so low that it is cultural/ systemic. How many other cases will be uncovered?

But speaking to Science anonymously, four former members of Zlokovic’s lab say the anomalies the whistleblowers found are no accident. They describe a culture of intimidation, in which he regularly pushed them and others in the lab to adjust data. Two of them said he sometimes had people change lab notebooks after experiments were completed to ensure they only contained the desired results. “There were clear examples of him instructing people to manipulate data to fit the hypothesis,” one of the lab members says.

The incentives are clear to me, but punishment is less of a deterrent than good incentives, but which incentives would reduce this allegedly fraudulent behavior?
Scheme https://spritely.institute/static/papers/scheme-primer.html
Return to office is 'dead,' Stanford economist says
I have had a quick look at Rectangle. I'm currently using Hammerspoon, but it has problems moving windows quickly and precisely, so I wanted to see if Rectangle does better.

The main thing missing for me is being able to use mouse buttons to move windows: I have a Kensington Expert Mouse and I use buttons 3 and 4 for some actions.

Actually, the built-in keyboard shortcuts for moving spaces with Mission Control have the same problem, so I have configured Hammerspoon to turn the mouse clicks into key presses. I suppose I could do the same thing with Rectangle, tho it's annoying to have to rely on multiple apps.
Yes, but you say it like it's an inherent issue rather than a design choice. Dutch systems are very smart with these things.
Show HN: Open-source reverb plugin (VST/AU) written in JavaScript
We can agree to disagree. By your logic every small open source project needs to hire a marketing firm to ensure their naming convention is easy to understand and inoffensive in every language on the planet. I think that’s overboard.

The project is clearly being built by someone that speaks English and is targeting English speakers. Notice their website and documentation is all in English?
In my military officer training, routine boxing/wrestling/fighting was included to give people a "taste of getting hit in the mouth". It was also super effective for solving disputes. I remember having some trivial issue with a roommate that eventually turned into wrestling. After it petered out I couldn't tell you what the problem even was. Sometimes wish a manner like this existed in my workplace settings. A guess the caveat is this doesn't work between large spreads of physical abilities (gender, age gaps etc.). Not complaining i cant fight old people but wish conflict resolution existed in such an immediate and effective manner.
My long quest to revive a '90s Windows gaming cult classic
Yeah, part two was really something. I got part one in 2:40, and then spent half an hour trying to figure out what the hell was going wrong with part two, lol.

Maybe it was actually done on purpose to foil ChatGPT, because when I get desperate and tried to let GPT4 solve it, it also couldn't figure it out.
"Isleworth Mona Lisa" – is this an early draft of the 'Mona Lisa'?
It sounds like the bug was in the Android app. Shouldn't the microcontroller (on the pump) be validating dose values received?

(dose > MAX_DOSE) ? return DOSE_TOO_HIGH : return DOSE_ACCEPTED;

20 units is obviously dangerous for a single dose.
> How would it work if it wouldn't? He explains what he means by that. If you spend time and resources on all things the users require and your run out of money and go out of business, everybody loses.

I think there is also a bit of a conflation of values vs ability. The formulas in the article represent values. Real life adds constraints based on what's possible.

Consider his formula for dev vs user: "user > dev". You could argue that, just as a business is constrained by time and money, so is the developer constrained by time and skills. And yet, the author is happy with turning the greater than sign towards the user in this formula. Why?
No problem at all, appreciate the response.
Put your frozen croissant into a cold oven, make coffee, get washed, listen to audio book. Maybe it took 30mins, but it is a daily ritual I enjoyed
Yes. Terrible, all of it.
“vision-based” large language models.

Odd restriction. Why not investigate text-based ones?

Or is “vision-based” a technical term that encompasses models that were trained on text?
I'm using Ubuntu 22.04. I encountered several errors with Poetry and attempted to fix them but eventually gave up.
Great point! For one, this is not something the Government can do - which I'm sure is a large Java customer.
The first half of the month is swamped because everybody takes the second half off of work.
Does it though? I find it hard to believe that this type of fraud wouldn't also lead death in some circumstances (maybe not this one).
Thanks for sharing this. I just discovered it now and I love it too.

The space of possible abstractions for any given phenomenon is vast, yet we almost always just assume that real numbers will do the trick and then begrudgingly allow complex ones when that doesn't work. If we're not lucky we end up with the wrong tool for the job, and we haven't equipped people to continue the exploration. It's a bias with some pretty serious consequences (thanks... Newton?).

I don't think I've seen the inadequacy of number-systems-you've-heard-of demonstrated so clearly as it is done here.
I would suspect that they have exclusivity deals with ASML?

Edit: It looks like the Carl Zeiss subsidiary that does the semiconductor manufacturing tech is part owned by ASML:

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

Edit2: Looks like ASML invested a billion Euros into Carl Zeiss SMT:

https://www.asml.com/en/news/press-releases/2016/zeiss-and-a...
Asian brands use more simple and time tested systems. They are about 3-5 years behind in most cases but it pays off in reliability
Webinar: From iOS 15 to iOS 16, a practical guide
What I miss about the old internet was the lack of commercialization. Commercialization has a habit of making things worse.
Lack of experience.

Most of the West has bailed out of the electronics race so long ago, that the experience gap in between practice, and what is told in universities is like 20-30 years now.

No university in the world will teach you how to make a modern stepper. Most of research in this space been going behind closed doors from the beginning of the semiconductor industry, and nearly completely closed since around 2010.

Only places like IMEC and few others are semi-public windows to what happens behind closed doors.

In principle, physics behind the operation of a stepper is nothing secret, components not secret, manufacturing techniques not secret, but the experience of how to arrange all of above in a way it is known to work is only available to, I would say, less than 100 people worldwide.
>I'm hopeful the confirmation screen prevented any real harm from being done.

I hope so too, but I doubt it.

Confirmation screens are notorious for becoming habituated and then ignored. Yes, even important ones.

https://alistapart.com/article/neveruseawarning/
There was a good discussion here on Hacker News about a study from the Federal Reserve related to this - https://news.ycombinator.com/item?id=34492502
Just that I wouldn't worry about the confusion created by a potentially hallucinated definition when having had centuries of dictionaries that carried the correct definition fail to avoid confusion in the first place. If the LLM does or doesn't give the right definition we'll still be confused because the word is inherently confusing.
Not a chance this gathers any traction.

You can just hear: can I run 'popular macOS application' on it? No.

The average user, for starters, doesn't use a computer (most consumer tasks are done on a phone), and won't know how to install a different OS even if they do.

Run FreeBSD on the server and use the macOS Terminal to connect to it over ssh.
Interesting, that’s exactly the same number as Outlook https://news.ycombinator.com/item?id=38441710
Deduplication in ZFS can be pushed onto dedicated flash storage now instead of requiring gobs of RAM.
>"When you only have 2-5 people that _actually_ read a paper"

Even when a paper goes through a vigilant, rigorous peer review, it relies upon the data that the research team supplied. Over and over again cases like this have encountered manipulated data. Humans are flawed creatures, and if you spent a lot of time and professional credibility on a hypothesis, there is a strong motive to find what you sought. Doubly so if the results are salacious or contrarian in some way and thus get viral attention. Just convince yourself that it's the data that was wrong somehow and you know your assumptions are right so just this One Time you need to do a little manipulation.

A study I have seen cited on here countless times is the "honesty pledge" one by Ariely et al. It was the one that claimed that when a person signs a form at the beginning, they're more honest. It was complete and utter BS, based entirely on fabricated data. It joins an infamous list of studies that have had enormous influence (especially if they have an "aha!" factor -- if it is the sort of thing that Malcolm Gladwell would talk about, consider it suspect) but were the creation of someone making up data in Excel.
I don't think think using examples derived from ChatGPT are a fair comparison to the underlying models. OpenAI has many optimization tricks on the ChatGPT side that are unrelated to the underlying models being used.

We do know of course that ChatGPT is most likely using 4-Turbo from the decrease in latency and increase in unhelpful answers.

We cannot say that the models are "converging down" though. I don't remember the marketing materials but from the model side we all realize that the Turbo models have some type of quantization/optimization that makes them cheap and fast. 4-Turbo is 3x cheaper than 4, substantially quicker and provides better results than 3.5-Turbo. Amazing progress in my arena.
liability
It wasn’t a direct quote but did you edit your comment? Pretty sure it was originally framed that MSRP was somehow evidence Tesla’s behavior is not simply misleading the customer. Apologies if you didn't edit and I just misread it the first go-around.

Anyway, it’s kind of silly to say MSRP is “more misleading” when MSRP literally stands for “manufacturer suggested retail price.” It says right there in the name the retail price may be higher or lower.

I don’t think this is some clever Streisand effect marketing ploy. It’s just slimy pricing practices.
The article is making the point that in the time before the COVID vaccine, we should stop providing Tylenol or Advil to patients as the fever is the body’s response designed to kill infections.

My 5-year old has had a 102 feverfor 4 days this week and every time we give him something I wonder if we are extending the length of his sickness, but he is too cute to let him be in pain.

Next time I get sick, I will try to ride it out and see if my typical 3-5 sickness is shorter.
Not necessarily. I think at some companies you can just fall into local maximums.

For example maybe you've spent 10 years building the same CRUD front-ends over and over. You're probably really good at that. And the companies that you worked for needed that skill. However, you'd be a lot more marketable if you had other skills that you could put to use at future jobs.
No reflection needed even for native binary, generate code at graalvm native image build time. 50x faster than native jdk serializtion
Reminder: a tamagotchi Workaccount2 is not you. A parallel instance of you, no matter how perfect, cannot add to your qualitative experiences or make you less dead.
So it's MRI rather than fMRI now? Not surprising given all of the negative findings in the last few years.
I will be doing this advent challenge this year instead: https://adventofchess.com/

Looking forward to read your write-ups!
> it just migrated to git

It migrated to a version control program? I don't understand what you mean here...
No, the point of a business is to create good products. Making money is just the mechanism we've chosen to encourage people to do that, but the justification for capitalism has always been that it creates "the best products for the lowest cost". Only caring about making money, to the detriment of creating the best products for the lowest cost, is a perversion of the system, and we don't need to tolerate it.
Can you clarify? You just mean by going from a round wheel to a rectangular yoke, right?

(I assume you don't mean removing the whole steering column. That's definitely a big deal, but it's independent of the shape of the steering control)
It seems that it only supports Japanese to Chinese only.
Obviously I mean an ML-like type system with automatic inference. Otherwise it is just general logic, and you definitely don't need types for that.

And Curry-Howard is the most overrated isomorphism in history. It may make computer scientists head explode, but mathematicians can live without it.

And yes, I know that Lean is based on it, and Tao is using it, and he just doesn't know better. Sorry.
In my experimental design class in college, I remember the professor talking about the difficulties of dealing with data and what to include and what not. He pointed to a case where a datapoint looks like an anomaly and possibly should be removed. He showed the math behind it and including it means the experiment doesn't show a positive result and excluding it does. So which to do you do? If including it means you don't get funding for you and your team, what do you decide? This, of course, led into the ethics portion of the course, and how easy it is to go down a bad path, because you can manipulate data to make it say what you want.
This is short term thinking - users who hate software can voice enough complaints to get things changed in at least some situations. (not all: many SAP programs with garbage UIs exist)
Steam to End Support for macOS Mojave and 32-Bit Games
"Medicine is broken. We like to imagine that it's based on evidence and the results of fair tests. In reality, those tests are often profoundly flawed." - Ben Goldacre
> privacy is the right to be imperfect

Total knowledge really limits your freedom. Why would you choose a course of action if you know it's wrong? Everyone ends up doing the same thing, according to the rules of the game.

In the past there were far more people who wanted to win the game but didn't have enough information to make the "correct" decision, than there were people willing to lose the game with knowledge of the correct decision.

You can call it imperfection, or the right to be wrong, or just ignorance. It's what affords us freedom.

When were you most carefree in life? When you were a child ignorant of the rules. I'm not saying be childlike, but just establishing the tradeoff here. We've gone way too far into the side of too much information, and it's making us less free and less happy.
Absolutely. The App should be considered hostile by the pump firmware until proven otherwise.
Keith Richards did become addicted to heroin and is 80 in a few weeks.
An example of what Charlie Munger would have called "the power of incentives to cause rationalized, terrible behavior".
Customer-Premises Equipment
Apache Maven Build Cache Extension
I know some of this is personal taste, but to me macOS really doesn't feel finessed. It feels confusing, distracting and annoying. I suppose a large part of the problem is that I want a useful tool, whereas macOS is designed to be a lifestyle.
Your mistake was taking it to a Lexus dealer. The cars are nearly identical to their Toyota counterparts so most mechanics can work on them
Going Global: A Deep Dive to Build an Internationalization Framework
The only thing I would argue is that JSON generation and function calling have noticeable decrease in quality of output in certain uses. I have had a hard time writing tests to measure it but its noticeable for my human eyes when I compare various implementations I have written.
If your argument is that it’s okay for people bully others over their specifically non-Anglo name, you’ve lost me.

If your argument is that the non-Anglo nature of the “funny names” isn’t a form of xenophobia or ethnic discrimination, you lost me.

I’ve got certain Thanksgiving table members who have made fun of people named Patel for being named Patel and being Indian. That’s racist. That’s bigoted. Nobody at Basecamp was getting on the funny name list for having the last name Johnson (and that name even has a phallic connotation!)

I repeat: the funny name list was specifically non-Anglo.

I was bullied for my name as a kid. It wasn't a very common name and it and it was easily turned into a less than pleasant English word.

I would hate to think that middle school children never grow up and continue to be dickwads as founders of a sophisticated technology platform. Grow. The. Fuck. Up.

The workplace isn’t Family Feud. If people are persistently making fun of your name at work you’ve now got to decide if you fight it with HR or find another job. That’s called a hostile work environment. Family Feud is a semi-scripted TV game show where all the jokes and situations are pre-planned and edited for entertainment. If we are supposed to derive our workplace manners from television then your conclusion has to be that everything you see on Game of Thrones or The Handmaid’s Tale is work appropriate.

And again regarding the Python sketch, if your argument for acceptability in the workplace is a comedy troupe from 50 years ago, you’re gonna have a bad time. Why don’t you write an email to your CEO with the subject line “Biggus Dickus?” Right now. Like you said: it’s hilarious. I’ll make their day and get you a promotion. Let me know how that goes.

Wikipedia isn’t a Duke vendor, and the Wikipedia article for the George Floyd protests makes it very clear that most of the protests were peaceful. We don’t call hockey games “fights on ice” nor do we call American football “kickoff and extra point contest” because most of the game isn’t those things. That’s why calling broadly calling the George Floyd protests “riots” is disingenuous.

Did Fox News ever call the January 6th Capitol attack a riot?
I built an OCaml starter project for Advent of Code that I've been using. Take a look if you'd like to give OCaml a spin!

https://github.com/Sixstring982/tanenbaum
Type inference is largely orthogonal to the question.

The point is, any formal proof you could do outside a type system you can also do within a type system, so yes the right type system would help you avoid such bugs.
I really don't understand why a personal website would want to share my data with that many advertising companies...