skysight-inc/HackerNews huggingface dataset:
We're talking about infinity, not practical considerations.

> (or insert them in order),

There is no order. You can't describe one, and it is proven that no order exists.

> you can count as many real numbers as you want

No, you can't count more than 0% of them, even in infinite steps.
I feel for you and your friend and hope they get well. But especially with mental illness, you only have so many tries at a therapy before the patient gives up on ever getting better. So I think the "see what sticks" and "you might as well try X" approach can be more dangerous than most people realize, because it eats up valuable patience. So I'd rather prioritize such suggestions, and maybe try the ones that are known to be working at least some of the time, first.
Thinking Big with Small Drones: An Allied Approach to Swarming
While this looks like a step in the right direction to provide user-space per-process control of the latency VS throughput tradeoffs (lower runqueue latency at the expense of shorter timeslices), I'd rather see the SCHED_EXT patch [1] merged, so there's a lower barrier to entry when it comes to implementing alternative scheduling policies (eBPF vs in-kernel). It's also much faster to iterate user-space if you don't have to upgrade kernels every time, especially in large fleet deployment setups where AB testing is available.

On a more controversial note, I trust more Meta & Google engineers proposing alternative schedulers that have been properly AB tested on millions of servers running a wide range of heterogeneous software VS small-scale synthetic benchmarks even when run by experts/maintainers.

[1]: https://lwn.net/ml/linux-kernel/20221130082313.3241517-1-tj@...
Yogurt and pickles.
I haven’t ever thought of cosmic radiation in that way before. It would be interesting to know more data on the rate of bit flips when flying at altitude.

If I edit my photos on the flight home, am I more likely to corrupt my files with bit flips?
I'm guessing more crashes occur because of bugs in software or RAM / CPUs that are already damaged than row hammering.
Have they ever considered that the subsidy goes the other way?
The margins on an A100 card is probably 100% higher than a RTX4090. Gaming industry is also like THE first industry to be revolutionized by AI. Current stuff like DLSS and AI-accelerated path tracing are mere toys compared to what will come.

Nvidia will not give up gaming. When every gamer has a Nvidia card, every potential AI developer to spring up from those gamers, will use Nvidia by default. It also helps gaming GPUs are still lucrative.
I definitely have concerns about security, but I think Google already knows as well. What if OpenAI would promise us to keep our data in our OpenAI device and actually run most of the operations in the device while having limited data sync with their server?
I'd like to see the doctor's license suspended and all exec pay to be held until investigation of malpractice is complete.
Well later in the thread he corrects to say it was GPT 3.5 turbo, so not that relevant anyway. https://mobile.twitter.com/random_walker/status/163694532497...
I don't think write once run everywhere applies to Android. Any native code has to be compiled and embedded into the apk, so you need to know at least which target architecture toolchains to install before you can start thinking about compiling it. Then we must consider any possible runtime differences between the various android distributions, "deprecated" API's at least. The only paths forward are to either accept google's full control over the various API's that it artificially imposes over it's linux base system, and may break app compatability, or use something more close to actual linux which claims to "never break userspace"
Which is offset by the need to climb through 30,000 ft on the way to 60,000 ft.

It turns out that higher cruising altitude isn’t nearly as useful as atmospheric pressure might suggest. Aircraft end up optimized for their cruising altitude, but there’s a lot of tradeoffs when targeting a higher altitude.
Pretty long, how was it?
Sure, how about "wolves are basically large dogs" ? That is provably false. If you deny that, you're just ignorant of the research.

Dogs might have descended from wolves and can even interbreed with them, but they're not the same.
They're also the CMS tier 1 site for US and possibly north america
"For every complex problem there is an answer that is clear, simple, and wrong." - H. L. Mencken

Even a moment's thought about the power disparity between an insurer and an individual facing medical problems leads me to conclude your "simple solution" has little to recommend it.
If you like this kind of thing, I did one a week ago. https://youtu.be/vYhtYjXNBCU It’ll be interesting to diff the two and see where we diverge.

Any progress on automatic transcriptions? Seems like Whisper should be able to give a readable version of both. This one’s a bit hard to listen to since it’s not a YouTube link, which means you can’t use your phone for other purposes for two hours.
It's not the LLM, but the hardware. GPU operations generally involve concurrency that makes them non-deterministic, unless you give up some speed to make them deterministic.
If they don't care then why should I care, spend my money to help them, etc.?

There are enough people who can read "at their age level". We'll make do with those (and with ChatGPT - a "just-in-time technology if I've ever seen one!).
I don't think the state should be in the business of killing anyone.

But a woman aborting a Downs baby is not the state killing anyone, and most pro choice people would say the woman isn't killing anyone either, since the fetus isn't a person in their view.
It's not that easy.

If you go higher, the speed of sound decreases so you have to go slower to avoid going above the critical Mach number for your aircraft. Normal airliners have to stay quite a bit below Mach 1 to avoid any part of the airflow going supersonic, since that would create big issues like shock waves making the aircraft uncontrollable.

But due to the air being really thin, you also have to go faster. Otherwise your wings will not generate enough lift to keep flying.

At some point you cannot go faster and you cannot go slower, that effect is called Coffin Corner and limits how high a subsonic airliner could fly: https://en.wikipedia.org/wiki/Coffin_corner_(aerodynamics)
Dear Hiring Manager,

I am excited to apply for the OpenAI Research Residency program as a Research Resident. As a software engineer with experience in building scalable systems in the fintech, health, and adult entertainment industries, I believe I have the skills and expertise required to excel in this role. I am particularly drawn to the opportunity to work on real, cutting-edge AI problems and advance the research agenda of the team.

I have a strong math background and proficiency in programming languages such as JavaScript, TypeScript, Node.js, React AI, and C++. I have also published research in the STEM field, created large software systems, and authored highly cited publications. Moreover, I am a self-starter who is motivated to discover AI breakthroughs and their potential benefits to humanity. I am excited to immerse myself in the fundamentals of machine learning and work closely with a team of machine learning researchers to build AI systems that can perform previously impossible tasks.

I am available and interested in joining OpenAI full-time after completing the Residency, and I am willing to relocate to San Francisco if required. I believe I can contribute to OpenAI's mission and help shape the future of technology. Thank you for considering my application. I look forward to the opportunity to discuss my qualifications further.

Sincerely, Angelina Lee
To be fair, I was quite confused by wikidata query notation when I tried it as well.
I'm curious but that's not much of an intro/demo.
We didn't have compilers in undergrad, but we had formal languages being required.
"It is what it is" is not an argument. There is nothing to break down or 'obliterate'. It's an admission and acknowledgement that there is nothing that can or could be feasibly done to improve the situation.

Example: "My father's gambling addiction made life growing up much harder, but I managed to come up okay. It is what it is".

Here, they are stating that as a small child growing up in a home with an gambling addict father life was made more difficult, but there is not much that they as a small child could do to rectify their situation. It's not an argument, it's a statement of fact.
It's often overlooked that a massive component of fat loss is psychological.

That's why people will get results doing such wildly different approaches.... All of them work to done extent; the big question is what you can stick to
Moore's Law makes it a good long term strategy for Apple. The GP is complaining about his battery life today.
I grew up hosting PHPBB, game servers, ratio'd FTPs among many other things in the 90s. Dozens of friends used my "services". It didn't contribute to anxiety. It taught me a lot of skills because I wanted the things we used collectively to be available. Were they always? Nope. That was the contract.

Fast forward to today and it's no different. The complexity has increased, yes. But in many ways some of those complexities make things easier. The hosted solutions I provide friends and family with are rarely offline. Do I hit 5 nines annually? The real question is - does anyone care? No. But if I were to guess my downtime is cumulatively less than a few hours per year.

If you're drawn to it don't be distracted by an opinion of others who project these sorts of narratives. For some it may create anxiety - so don't do it, but for others they may find a path in their career through learning via the self-host path.

And if people you're providing ancillary services for are jerks about a bit of downtime here and there, and those folks are not contributing to your endeavors then tell them to go fly a kite. Because nobody I've shared self-hosting with has ever truly complained. I've had years of fun banter, especially in the earlier days, around uptime. But those people weren't trying to cause discourse. Those people are still friends.

I enjoy following the self-host community, contributing in minimal ways, and self-hosting useful things for friends and family. It doesn't keep me up at night. I'm constantly improving because of it.
The author asked me to share this here: https://mastodon.social/@jamesturk/110086087656146029

He's looking for a few case studies to work on pro bono, if you know someone that needs some data that meets certain criteria they should get in touch.
Hear, hear. It's wonderful that we still have these majestic creatures on Earth, but part of what's so wonderful is that they were here before we were.
Thanks, fixed.

I don't have any pics of the buggered up examples, but the boards are
https://github.com/bkw777/REX_Classic
and
https://github.com/bkw777/Teeprom

I've orderdered several times from oshpark because over the last 5 or so years I've iterated the design slightly many times. From oshpark I have received different results at different times from the same board outline. One time was a single rat bite in the middle of the short ends, leaving the castellations fully clear. Another time was two rat bites on each end at the corners, but on the short sides, again leaving the long sides clear. But most of the time the tabs are placed randomly other than being spaced apart.

Even the buggered ones were usable, it's just that one was usable after cleaning up, and still slightly uncosmetic even after cleaning up because you can only sand down not fill in, while the other was not only usable but fully cosmetic right out of the box.

I give all my boards nice rounded corners now just because apparently it's free so why not.

It's even functional not just cosmetic in this case. Any time a part has to fit into another part, there has to be some relief either on the inside or outside part, they can't both have perfectly sharp inside and outside corners and fit into each other. It's often not possible, and usually not desirable because of stress riser reasons, to manufacture perfectly sharp inside corners, and so you need the outside corner of the inside part to be cut down. Or, if the outside of the inside part must have a sharp corner, then you need to cut out extra relief in the inside corner of the outside part, like adding a round hole centered on the corner, both for stress-riser reasons and just to ensure the part will always be able to fit without interferance.
Like the inside corner on the left edge of this pic:
https://github.com/bkw777/WP-2_IC-Card/blob/master/COVER/WP-...
There's a connector body with square edges that fits into that part, so there's a little extra cutaway right in the inside corner.

In the carrier part above, the drawing for the carrier has simple imaginary perfect inside corners, and in real life the printer doesn't quite make a knife-edge inside corner of course. And the pcb has slightly rounded outside corners. If the fab couldn't do it for me with the router, I'd do it by sanding.

I would say those two particular projects (rex and teeprom) are a special case with needs that most people won't need to worry about, so I'm not saying oshpark is a bad choice. It's just a difference, and the whole point of the article was to compare and show differences.
It's a hard problem and anyone who says it's easy (including "just look at SAT/GPA!!") shouldn't be taken seriously.

The problem with SAT, GPA is that once everyone knows what you're measuring, they optimize for that measure, and it loses its meaning.

Of ten kids with no particular extra tutoring over what they got in their average public school, SAT and GPA are going to tell you a lot about underlying aptitude.

Have one of those kid's parents send the kid to a bunch of extra tutoring, and it ruins the ability to do the comparison.

Have every kid get all that exact same level of tutoring and it's back to an even playing field, but you've managed to ruin everyone's childhood.

And you might've beaten a lot of creativity and other useful-for-real-life but less useful for mass-produced-college-education skills out of them.

Today we're somewhere in between - well-off kids often get the helicopter-parent-study-to-the-test short-term-maximization childhood; less well-off ones do not.

So you need a new metric, or some secret sauce, but the secret sauce is only useful if it's secret. And if it's secret, it's hard to tell if it's legitimately trying to value the right things...

If we were starting schools greenfield it might make sense to just let them all do whatever they want, and then see how their graduates do, but... we're saddled with a lot of legacy shit from existing wealth, past wrongs, etc, that make that real tough.

And then some people put crazy expectations on colleges to do things like fix those historical problems, too, when in reality so much damage to some kids prospects are done WAY earlier: https://crookedtimber.org/2023/02/06/can-college-level-the-p...
Tailwind - https://github.com/motifland/markprompt/blob/main/tailwind.c...
The usual knowledge about evaluating products applies.

If you go to the website of markprompt the people who made it already appear to be accomplished entrepreneurs, having worked on something called Motif, which I hadn't heard of but appears to be legit.

They also have a nice website and everything I read makes it sound like they know what they're doing.

These don't count for much but they count for something. I haven't investigated them much but I think this should be assessed like any other startup product.
As an American I can confirm that, not only do we say “4th of July,” both phrasings are in common use for any date of the year.

March 5th is more commonly heard in USA than 5th of March, but nobody would look at you funny either way.
Indeed. It's crazy the amount of stories I've seen on Reddit this past decade from people who are warning others about the dangers of treating a company as family etc., after they themselves were discarded at a whim. It's always the same story, and they sometimes profess how unexpected it was, and how important they were (or how many projects they lead) in the company.
Technicallly, this is great. The UI is nice as well.

But... if it were my dream job, I'd definitely put more effort into the cover letter. I'd use it to say why this is my dream job, rather than simply re-stating what's on my CV.
Arkit makes use of it on the phone, there’s plane detection and classification, image and object detection, segmentation for people occlusion, probably more behind the scenes.

I find it a little frustrating we aren’t using the built in capabilities of iphones more in our company, i still kinda think apple tech is kind of a pariah in some circles, so we have to run with stuff that runs on cloud that costs us money over, heaven forbid something you could run on an iphone
How to implement visual content search in video using OpenAI's CLIP model
Definitely, these anti-elite luddites think they can just put gravel on roads til it's above water without proper expertise and oversight. We definitely need a global authority to issue permits for people to put extra gravel, or move dirt from the above water part of the hill to the below water part.
Have you applied for the download? The first links were sent out pretty quickly.
Ranked choice voting is another solution
Responding as a constructivist would.

Let's define real numbers in a concrete way where they certainly exist, such as by equivalence classes of Cauchy sequences. Where a Cauchy sequence is a computer program that takes in a natural number, and returns a rational, complete with a proof that the rationals that it spits out will converge at a calculable rate.

Your mapping can now be constructed from an enumeration of such programs. (A single real may appear many times because many programs are equivalent. That's just a detail.) For each program we can put in a large enough number that we get the decimal place down to one of two. (The old 0.9999.... = 0 problem is a small complication here.) And then we pop out a clearly different digit. Given the mapping, this program can be easily written. And so we can produce our number which starts off in your example as the sequence .6, .64, .643, ... .

So far, so good. But what goes wrong?

Well we have a program that we assert produces a real. It certainly seems to do so. But proving that it represents a real requires proving that the program will always give the next digit. That requires proving that it works as advertised. That requires proving that the logic we used to make all of our decisions is consistent. But by Gödel's Incompleteness Theorem, we can only prove that if our logic is INCONSISTENT. And therefore our nice program doesn't have a proof that when ask for the n'th rational that it will ever return anything. And therefore it doesn't represent a real number!

This is why Cantor's diagonalization argument fails in constructivism. The impossibility of making a one-to-one map between naturals and reals becomes a statement about the self-referential logic embedded in the definition of real numbers, and NOT a proof that there exist an uncountable number of real numbers that we can never write down any meaningful description of!

Even if you don't subscribe to constructivism, I think it is important to recognize that the confident statements we make about infinity in classical mathematics rest on unprovable philosophical assumptions of a potentially dubious nature.
I've written a compiler that people actually use[1]!

Studying compilers at university was highly beneficial. Before that course the code was a mess…

[1] https://ltworf.github.io/relational/
Ask HN: Is there a photo curation tool for Dropbox?
I want to look through photos and videos I have since 2000, they are all on my DropBox account, and curate them in some reasonable way. DropBox doesn't provide a good interface for that from what I can tell. Anyone have any ideas, something to accommodate a workflow of selecting 2000-3000 from a collection of 30,000?
> Compilers make it very clear how all those seemingly disparate topics apply in real non-trivial systems.

Combined with a proper OS class, it's the first time a student can truly understand all the levels of abstraction from the language to the logic gate.

And it also helps to recognize and solve parsing problems. How many programs end-up containing a parser, even if rudimentary, to read non-trivial input of perform validation? No, you can't use regex for that...
You overestimate the willingness and ability of the average org to implement and support things like this on their own.
At a basic level, wolves are closer to dogs than they are to humans or bears. “Basically” doesn’t mean “equivalent.”

I’m trying to let the insults roll off me, but saying I’m horse shit and ignorant for two things I didn’t say is a bit much. I think that’s enough HN for the day. Have a nice weekend.
What is the context of that image?
Idk about ios, but this works on android
https://youtubevanced.com/

Ad free, plays videos in background and after closing screen
Totally if you're poor in the USA the healthcare medicaid is OK not great. If you have a little bit of money so dont get medicare its an expensive disgrace.
So what generation backend is this service using?
What is a liability insurance provider? Are you saying Cigna and other medical insurance companies have insurance themselves?
Yes that is true.
Indeed. That the author chose this wording is a signal of how sick and biased the employee/employer relationship is.
> Joking of course but we are not that far away from that.

I couldn't disagree more :). I think we are reaching the peak of fossil fuels, and we don't have relevant alternative energies. So we will have less and less energy in the future, and we will need to handle that. Chances are that hydrogen-based planes will be completely useless, because even if we can make them work today (in a world full of fossil fuels), we will need hydrogen for more important things than flying rich people going on holidays.

We talk a lot about climate change, but we have a global energy problem. Unfortunately, we still have enough fossil fuels to finish messing up the climate, so we will do that. But climate change is "just" a complication on top of it: one very big problem we have is that we don't have a replacement for fossil fuels, and fossil fuels are limited.

We will globally have less energy in the future. We should stop wasting it.
Bullshit like this is why hiring processes are so insane now.
> If you just use grades then you are benefiting the rich to a very high degree. As the rich can pay any amount for tutors and the kids don't need to work, hence being able to use a far higher amount of their waking time for studying than someone who needs to work can.

So what? Even if it's unfair that some group of people were able to study more and have better teachers, the fact is they are better educated people--fair or not.

What about taking someone who is significantly less educated/prepared due to unfortunate circumstances in their first 18 years of life is made right by thrusting them into an environment where they're unprepared to compete for 4 years?

I say this as one of these people. I should not have been admitted to the school I went to. I got a terrible GPA my first year that progressively improved over the course of the years, but even after catching up to the Exeter students by my senior year, my GPA was shit from being averaged out with the first couple years. There are plenty more people in my same position who decided to just bow out of the competition, and studied subjects where they weren't forced to compete with the well-educated magnet/prep schoolers.
I was just going to ask about this, it uses tailwind but must be some kind of known template
I hope it's not disrespectful to point this out, less than 24 hours after his passing, but I don't think Gordon would object to my pointing out that Moore's Law has a finite length. Some have argued it expired up to 13 years ago; Moore himself predicted another 2 years or so.