skysight-inc/HackerNews huggingface dataset:
Notice that a charged label on a Wikipedia page is enough for you, a skeptical person, to make an absolute conclusion.

And that’s true for most people which is why editors fight so hard to control it.

If it’s so obviously false, can you share the landmark study or experiment that disproved it?
Kinda, yeah. It's open source in the "intelligence" sense of the phrase because it's openly available information (like OSINT), but it's not freely usable.
This. Actually, I've observed the opposite way more often in EU academic circles: Humanistic studies parroting STEM quantitative approaches in fields where it's useless or even ridiculous - Think the "poetic mathematical analysis" at the beginning of Dead Poets Society.
One of the most impactfult things I ever picked up was to put a rough estimate on every task I'm doing and then plan my day/week according to it. In its essence, its just timeboxing. But I kept getting better at estimating the real effort necessary to complete a task which in turn made me a lot better at prioritizing.

An important side effect is that it changed the way I work: I focus on the outline first and use the remaining time in my timebox to gradually refine my result. At the end of the timebox, I have the best working result I could achieve within my estimate.

The combination of timeboxing, better prioritizing, and outlining / starting with an end-to-end prototype did wonders for my productivity and stress levels.
There is more to know in life than I will have time to learn. I memorize things I need often, or things I don't need often but in an emergency I will need to know them instantly - everything else I look up on need. It gives me more time to work on the things that are important to me. Unless your goal is to win a trivia contest you shouldn't memorize everything. (nothing wrong with winning a trivia contest if that is your goal, but only a few people can do it across all contests). Every one of your examples are things that I'd look up if I need to - in every context where I'd need them I'd already be using a calculator that has those built in.

Everybody should learn CPR, hopefully taking a day every year for the class turns out to be a waste of time at the end of your life but I still encourage everybody to do it. Some people need to know what e is - but it turns out I haven't needed that since I got out of school (learning to use e was in general good for learning rigorous thinking, but no need to memorize e as that value was someplace in my notes when I needed it). There are obscure things I use all the time I have memorized - but they are specific to my job or hobbies.
Those sites have something like Phoenix LiveView or it's something ad hoc like a simple SSR template engine? Would be nice to have something to handle migrations in the client side code to match the server side API.
Hey pal, indeed, these anomalies occur mainly due to a lack of signals coming from the hiring market itself. Formation initiatives (and even people’s interests) always lag behind what the market is ready to absorb.

I've been talking to the entire market about skill management and I’ve noticed how flawed our methods for visualizing individual skillsets are. It’s impossible to consider upskilling and reskilling this way. When demand arises, the only possible solution is firing and hiring. This alignment will only occur when the demand provides a granular, specific, and clear indication of the skill gap.
I'm a years long daily chatter on the espresso aficionado discord, hoon's discord and brian quan's discord. lol also this will be far be my cheapest grinder
Hey, you can actually see the pump here, in the kit you can use to put it in other kinds of espresso machines - it's inside the machine. I'll find a way to incorporate it into the product page for the espresso machine as well.

https://velofuso.com/store/p/gear-pump-upgrade-kit
We live in dark ages.
Maybe the market can go fuck itself?

Not everything has to be commodified into a product.
Some of it is audiophile in the very high end, but the Capresso is definitely not where I would consider the edge of diminishing returns. It uses pretty mediocre burrs with a considerable amount of plastic and a poor grind adjustment mechanism. I used to own one and upgrading got me substantially better coffee.
“Inferior” is a bit silly in a comparison to this, considering this entire hobby is about small quirks and incremental changes. They seem to have similar offerings except for the big difference that this one has a pump. If you don’t care about a pump, a robot will do fine for the rest of your life. I’m personally bored of lever pulling multiple shots, but my counter space is limited, and I’m interested in purchasing, after seeing a review.
I’ll admit a good PM does interface well with stakeholders and gets them to finally agree to what they really need and to flesh out the requirements.

Otherwise it’s a role not too many teams need but when you need one you know it and you really need one.
Either I can't find it or the site needs more detail. I'm totally blind and have a couple of questions I can't find answers to.
1. Is the grinder stepless? Based on the description it appears it is. This is a deal breaker for me.
2. How do you control the Espresso machine? There are many coffee products I can't use do to there interface. I'd like to get a Fellow Aiden coffee maker but the interface is completely inaccessible. It's unclear to me if there app will ever allow you to fully control the machine. If this machine had a documented API I'd be interested. I've looked at the Decent espresso machine, but can't justify the cost since I drink mostly filter coffee.
Re: the menstruation app one - instead of spending 870 k talking about what they would like to see in a menstruation app, just make one. It's not rocket science.

re: the transgender one, it seems to be one of these social science projects that just involves interviewing people. From the project page: "This discourse-based research will interview twelve transgender young people". Is interviewing 12 people for $870,000 NZD a good use of money? I don't think so.
Adult literacy, numeracy declining or stagnating in OECD countries
Good question. Naturally I expect there's more than one way :\

But Youtube doesn't come in on this PC.

From what I have seen though, given the choice between Broke Loser and Broke Survivor, to each his own.
> I hate to see [a correction] happen as part of a charged ideological / political process.

Isn't that any correction? changing the status quo is about as purely political as it gets
For example, I've seen a program that sets foreground color to a symbolic (not RGB value) yellow, and doesn't set background. While that combination might be legible on some terminals, it's definitely not on all of them. Don't assume that the user's terminal's color map makes all combinations legible.
The notion that rejecting the scientific method is necessarily bad thing is epistemically unsound, and a rather provocative topic.
From https://wg21.link/p2544

> The root cause is that the unwinder grabs a global mutex to protect the unwinding tables from concurrent changes from shared libraries.

> We did a prototype implementation where we changed the gcc exception logic to register all unwinding tables in a b-tree with optimistic lock coupling.

Did they try just stripping synchronization altogether to see what the performance ceiling would be?
No. I know nobody with that name. The only time it is in my record is the dozens of times the phone wrongly guessed that's what I was trying to do and I sent it.

Just a slight, tiny, grammatical parser would fix this. Nothing heavy. Just a look behind parser
Honestly I don't know. In theory it would reduce some conditions, but in practice I assume most people will prefer conception the old fashioned way.
Thank you for this. I've favorited this comment so that I can read on each of these to sate my curiosity. Now I'm off to search for accessible resources for these topics for those of us non-mathematicians ;-)
Developer survey shows which AI assistants are most adopted
Manual espresso machines are great and you would not be disappointed buying one! The main advantage of one with a pump is how much more repeatable the entire workflow is in terms of preheating and maintaining pressure - you don't need to repeatedly pour and purge water from it, and the pump will output exactly the same pressure every time.

In case you have 26 minutes to kill, here is an interesting video on the subject of group head diameters.

https://youtu.be/jTAkb-dCFro?si=xYffYaVnOQkZB0ZH
Some scientists in the Manhattan Project worried that the first nuclear test could trigger a chain reaction that would annihilate the earth.

These fears were unfounded.

(Granted, atmospheric nuclear weapons testing has its own set of subtle consequences that are gradually becoming more well known.)
i know someone who is taking care of a parent who is bedridden and needs daiper changes every few hours.

Whats suprising to me is that these parents choose to punish their kids instead of end of ending their life. selfish fucks!!
It seems like it ought to be reasonably restrictive to install some new AI tool on dev machines.

* they don’t know who’s behind it, what’ll it output?

* they don’t know the business model. Is will it be used to exfiltrate code from the company, aka train on the company’s codebase? Other text files you open?

I’m not at all saying I think Cursor is doing that—training on customer data would be a completely unethical business practice, bordering on malware, usually companies whose names get bounced around here are not so bad. But, the hypothetical host company doesn’t know anything about them, so it is prudent to require some checking.
Source that this is a company town of old?

Edit: Why am I getting dowvoted for asking for a source?
I've often pondered why some animals make friends.

I grew up on a small farm, where we mainly kept sheep. Most of the year the ram would have next to no interest in the yews (female sheep), unless there was some sort of threat - he'd just be off doing his own thing.

Once my mum bought a calf as auction as it was so cheap (from memory 20p - most cows are sold in lots of 6, but this was an odd lot and no-one bid) - the calf loved us and wanted to be with us whenever we were in the field (and to be bottle fed), but the rest of the time would hang out with the ram.

That September a family brought a pet duck to us as their daughter couldn't take it to university and the parents didn't want to look after it. We said sure, and as soon as they left we put it in the pond. The geese we had started to attack it, and the duck ran out of the pond and hid between the legs of the cow who just happened to be near.

And that was it - for the rest of the year the duck, cow and ram were always together - they'd pace up and down the field together and at night the duck would either sleep between the cows legs, or curled up to it, if the cow was seated/lying down.

They genuinely seemed to all get a lot from the bond they shared as three 'others'. Sadly a couple of years later, after a few of our chickens were eaten by a fox, my mum tried to put the duck away each night. As she was trying to catch it the cow started stamping to tell her to leave the duck alone, and accidentally stamped on the duck, breaking its leg. We took it to a city farm and 'gifted' it to them - but I am told it made friends with their ducks, though I didn't recognise it when we visited - but I was only about 8 at the time.
Hair color, eye shape, eye color, are all noticeable traits that contribute to the family resemblance of ethnic groups. What are you suggesting?

> It doesnt make sense to put an Aussie and Canuck in same bracket,

Of course it does? If you’re talking about their common ancestors groups.
>> I'm also interested in the underlying distribution (not just the average).

> On average. Some starting positions are much less balanced than regular chess.

Yes, I expect variation, which I why I asked. :confused-face: At the risk of over-explaining, when I said "distribution" I meant https://en.wikipedia.org/wiki/Probability_distribution

What does "much less" mean, quantitatively? For each position, what is the white-winning probability if you used e.g. Stockfish or some suitably adapted tool?

I would love to see e.g. a histogram where the x-axis buckets the estimated-advantage-to-white and the y-axis counts how many of the 960 starting positions fall into the bucket. What shape might it take? Lacking any particular insight, I would guess normal.
Unleavened bread?
How was your experience? Did you use PyTorch?
Sounds like his next challenge.
Yep. More generally, I have a lot of distaste that big tech are the ones driving the privacy conversation. Why would you put the guys with such blatant ulterior motives behind the wheel? But, this seems to be the US way. Customer choice via market share above everything, always, even if that choice gradually erodes the customer's autonomy.

Not that anywhere else is brave enough to try otherwise, for fear of falling too far behind US markets.

Disclaimer: I could be much more informed on the relevant policies which enable this, but I can see the direction we're heading in... and I don't like it.
Show HN: I made the slowest, most expensive GPT
This is another one of my automate-my-life projects - I'm constantly asking the same question to different AIs since there's always the hope of getting a better answer somewhere else. Maybe ChatGPT's answer is too short, so I ask Perplexity. But I realize that's hallucinated, so I try Gemini. That answer sounds right, but I cross-reference with Claude just to make sure.

This doesn't really apply to math/coding (where o1 or Gemini can probably one-shot an excellent response), but more to online search, where information is more fluid and there's no "right" search engine + text restructuring + model combination every time. Even o1 doesn't have online search, so it's obviously a hard problem to solve.

An example is something like "best ski resorts in the US", which will get a different response from every GPT, but most of their rankings won't reflect actual skiers' consensus - say, on Reddit https://www.reddit.com/r/skiing/comments/sew297/updated_us_s... - because there's so many opinions floating around, a one-shot RAG search + LLM isn't going to have enough context to find how everyone thinks. And obviously, offline GPTs like o1 and Sonnet/Haiku aren't going to have the latest updates if a resort closes for example.

So I’ve spent the last few months experimenting with a new project that's basically the most expensive GPT I’ll ever run. It runs search queries through ChatGPT, Claude, Grok, Perplexity, Gemini, etc., then aggregates the responses. For added financial tragedy, in-between it also uses multiple embedding models and performs iterative RAG searches through different search engines. This all functions as sort of like one giant AI brain. So I pay for every search, then every embedding, then every intermediary LLM input/output, then the final LLM input/output. On average it costs about 10 to 30 cents per search. It's also extremely slow.

https://ithy.com

I know that sounds absurdly overkill, but that’s kind of the point. The goal is to get the most accurate and comprehensive answer possible, because it's been vetted by a bunch of different AIs, each sourcing from different buckets of websites. Context limits today are just large enough that this type of search and cross-model iteration is possible, where we can determine the "overlap" between a diverse set of text to determine some sort of consensus. The idea is to get online answers that aren't attainable from any single AI. If you end up trying this out, I'd recommend comparing Ithy's output against the other GPTs to see the difference.

It's going to cost me a fortune to run this project (I'll probably keep it online for a month or two), but I see it as an exploration of what’s possible with today’s model APIs, rather than something that’s immediately practical. Think of it as an online o1 (without the $200/month price tag, though I'm offering a $29/month Pro plan to help subsidize). If nothing else, it’s a fun (and pricey) thought experiment.
It probably is internationally, right? There are anti-dumping laws after all. But nobody follows them.
Fourteen North Koreans Indicted for Fraudulent IT Worker Scheme and Extortions
Of course your absolutely right and I'm very sorry if that's been your experience.

I was trying to allude to the saying "you can never have enough time with the ones you love" which I took as a pivot away from solely parents (ones that are loved) but maybe I was too implicit and that isn't a widly known saying and it seems that by trying to allude to it, I left my intended meaning unclear. Sorry about that.
It's a routing change in a sense that gen_server is routing function calls to the new module definition. I know about gen_server and code_change, the point was that conceptually the same mechanism, just on a different level of abstraction.
They should be required to return the money with interest.
That's just gibberish.

Physics, medicine and so on are full of fraud. It's rather common in academia. The social sciences can tell you why, math can't.
Fun fact, there have been 3 soundness bugs in lean 4 so far. (They were all fixed within hours.) I expect we have not yet found them all, but I also do not sleep poorly worried that mathematics will come tumbling down, because these are invariably implementation bugs (either in the literal sense of implementation of the system, or in the implementation of mathematics in the type theory). If something is wrong it is almost certainly going to be the system and not the mathematics. But I'm saying this as someone who works on the proof assistant itself (i.e. hold fixed the mathematics, vary the proof assistant). Kevin Buzzard will say the exact opposite because he is working on the mathematics (vary the mathematics, hold fixed the proof assistant), in which case the likely failure modes will be that a given proof is written poorly, a definition has incorrect behavior on edge cases, etc, but only the current proof is under threat, not some completely unrelated e.g. proof of infinitude of primes deep in the library.
"No industry malfeasance could ever excuse murder.

Period."

Murdering a murderer to save many innocents could be considered ethical by some?

(Not saying that's the case here, but nypost made an interesting categorical statement.)
A struggling guy, with a tech degree from Waterloo U, tried freelancing for years, but his income has always been inconsistent, with shady clients and projects that never went anywhere.

He has a looming eviction coming and spends some time talking about "renovictions" in Canada rent-controlled buildings. He’s decided to double down on YouTube as his best shot at stability, even though it’s been a rough ride overall.
I was speaking more philosophically—I don’t believe our legal systems, much like their failure to stop Trump’s reelection in 2024, are designed or capable of meaningfully altering the trajectory of something like AI.
Is that really the default? It's mapped to Alt+Caps for me as long as I can remember
just 649, why so cheap ? why not charge a subscription along with the base price of 10,000 ?
> whatever happened to that Parallella "super computer" project?

I had a couple of those. (Well, still do – but not using them for anything now. Mine are the ones with 16 cores, that I got for backing them on Kickstarter when they did their original crowd funding) And I was wondering the same a while ago. This guy that was part of Adapteva, makers of Parallella, is working on some ASIC stuff now it looks like.

https://github.com/aolofsson

https://scholar.google.com/citations?user=qdDUg48AAAAJ&hl=en

And since Adapteva website also says: “Adapteva is now Zero ASIC”, I guess maybe some other people that were originally doing the Parallella thing are now doing ASIC things with that guy too.

https://www.adapteva.com/

The Parallella website is still up.

https://parallella.org/

And you can download the old Ubuntu images for the Parallela SBC from the GitHub releases. But they stopped adding anything new to it years ago.

https://github.com/parallella/parabuntu/releases
If anyone tries this out and hits the limit, just let me know and I'll increase it for you for free :)
Could you go more into detail on the actual process of designing, prototyping, and manufacturing? Like how would an average person, given enough motivation, do what you were able to accomplish?

Also, how did you fund this?
Riemann hypothesis(conjecture) doesn't prove much for prime, other than a tight bound on the prime counting function.

Most just mean related Riemann's explicit formula for prime when they link Riemann hypothesis and prime number.
"Now, if I had something similar for Fahrenheit!"

Subtract 30, divide by two.

100 Farenheit, a very hot day, is 35 on this scale, but 37C on the real scale. 32F, the freezing point, is 1 on this scale but 0C for real. -10F, freaking cold, is -20 on this scale and -23C for real. For human temperatures the diff is negligible versus the real conversion. Obviously that freezing point is a big problem for real science, but who does real science with Fahrenheit anyhow, even in the US?

Still an ugly conversion, certainly, but you don't need the "2" in the 32 or the 9/5s ratio to get a good-enough-for-the-weather result.

(Likewise in reverse; multiply by two, add 30. Order matters, of course.)
Nigel would catch it.
Archer and Anduril to develop military VTOL and Archer raises $430M
What good will that do anyone? Just force them to do their job.
Can't search the images but one of the quotes is

> We enter the first order of business is checking for E115 then leaving the ship together to send it away.

Once again, E115 decays fully (multiple half-lifes, very little left) in mere seconds and is very radioactive.
Don't be so pessimistic. There is a lot of manufacturing and supply chains in the US. However US manufacturing needs to be highly automated to compete and so it only make sense for products that are easy to manufacturing in a highly automated way. This implies high volumes, or something else that isn't always easy.

There are a lot of grey beards in industry, but that means there is room for a young person to learn what they know (they do know a lot of great things!) and then take over as their retire/die.
Aye must be. Alt+Caps is just toggling Caps Lock here.

Shouldn't haven't modified anything for it, do my utmost best to just use WSL for work.
how can you memorize all words of a language and still not have command of it? that's a feat in and off itself it seems.
Yeah, the first group to show up on the map is the Iroquois Confederacy.

I think, fundamentally, the problem with this kind of project is that it centers empire as the fundamental force in history. Then the nation state shows up when it becomes necessary to differentiate between the imperial core and far-flung sea-based empires. What that means is, until you start conquering, you don't matter.

Still, I won't lie to you. It's fun to watch the Mongol Empire grow. Wouldn't have been as fun to experience if you were on the wrong side of it.
Apple removed the macOS Music app controller from the Watch
"No industry malfeasance could ever excuse murder."

AND YET
I mean it kind of was the artists first. It's nearly impossible to make a living as a writer, musician or visual artist and has been for a decade at least. The ones who did manage to produce anything just had their collective works strip mined to fuel the AI products that are displacing petty freelance work, their last reliable source of any income however insufficient.
> They are just error return type

https://wg21.link/p2544#expected

>> the overhead is so high that std::expected is not a good general purpose replacement for traditional exceptions.

I'm guessing you don't care about performance that much.