MurphyA/hacker-news huggingface dataset:
by raattgift | 2025-04-22 17:39:17+00:00
> See https://www.youtube.com/watch?v=XRr1kaXKBsU for the video where he does it.

I'd be grateful if you take me to the time stamp, because in a casual watch of the video there was nothing like your:

Gravity pulls things in by causing space-time to accelerate in a particular direction. In other words we accelerate towards the Earth at 9.8 meters per second per second because that is what space-time itself does.

The closest thing I noticed was just after the 10 minute mark, where he points at Christoffel symbols and essentially says that you can choose a set of accelerated coordinates such that to remain at the spatial origin you have to undergo proper acceleration. "Your acceleration must be equal to this curvature term ... in curved spacetime you have to accelerate just to stand still". Which is totally fine, and even finer if he made it clear that you are "standing still" at some spatial coordinate after an arbitrary splitting of spacetime into space + time. But I don't know how or if those approx 90 seconds connect to what I quoted from you above.

(Even finer still if he removed the coordinates and completed the equation: see e.g. slide 20/50 at https://slideplayer.com/slide/12694784/ - his whiteboard is the term labelled in cyan, adapted. approx 10m45s "You don't have to worry about the details here. The point is...". The point is that I'm not his intended audience, and his presentation is fine enough, so there's no good reason for me to take you up on your suggestion to contact him.)

> At what point in the orbit does it not work as a description of what's going on locally where the orbiting body is?

I don't know that it doesn't work - it's just that to me it's such an odd way of putting it that the consequences of your "describing it that way" are unclear to me. An obvious probe is solving for an eccentric orbit.

Shoot a slower timelike observer on a ~secant line hyperbolic trajectory across the quasicircular orbit, comparing proper-time-series accelerometer and chronometer logs from their first kiss before the latter's periastron to their last kiss after. How does your "accelerated spacetime" vary by position and initial velocity? How does it work as we take v->c?
by Forgeties79 | 2025-04-22 17:40:07+00:00
I don’t think I was being obtuse. We had ways of getting around before Uber existed. It’s literally just taxis in another format, which we still have.

Like you said I can’t think of a single place we’re not having access to Uber means that you are functionally stuck. I’m sure those locations exist, but they must be quite rare. There are a lot of places with the others that don’t have Uber, however.
by ModernMech | 2025-04-22 17:40:35+00:00
> How in the world is this person still able to work anywhere near the government?

It's a pretty long road, but it goes like this:

1. SCOTUS gets rid of campaign finance laws, opens up billionaires buying elections.

2. The world's wealthiest billionaire, Elon Musk, bought the 2024 US presidential election, and put himself in charge of the "government efficiently" office.

3. Elon Musk chose Edward Coristine, and no one said "no" because 1) everyone who would have said "no" has already been fired or pushed out and 2) no one else at the White House could actually pass a rigorous FBI background clearance, so they're just giving them to everyone by fiat.
by lr4444lr | 2025-04-22 17:41:31+00:00
It would be entirely reasonable for robo-god to see LLMs as, well, a bit like we see bacteria

Seeking sustenance, eliminating waste, a reproductive drive, evolving against destruction, and other elements common to all life put us closer to the sentience of bacteria than perhaps many of us would like to imagine. It is not some completely foreign life form from another galaxy that just dropped into our universe.

If a non-LLM AI begins to ascend, I would of course reconsider!
by Adityav369 | 2025-04-22 17:41:34+00:00
Thanks for pointing that out! Fixed it.

For the metadata extraction, we save these as Column(JSONB) for each documents which allows it to be changed on the fly.

Although, I keep wondering if it would have been better to use something like mongodb for this part, just because it's more natural.

Please let me know if you have questions and how it works out for you.
by Forgeties79 | 2025-04-22 17:41:54+00:00
I’m not being obtuse and that’s a very rude thing to say. No need to personally attack me. I get I was being somewhat flippant, but the point is that anywhere that has rideshare almost certainly has at least some other option(s). We would be very hard-pressed to find a place where literally the only option is Uber.
by ComplexSystems | 2025-04-22 17:42:37+00:00
The halting problem can be approximated by a sequence of increasingly accurate computable functions - "partial halting oracles" which give the right answer on "many" inputs, with each better than the last.

The sequences "converge to" or "approximate increasingly well" the true halting function in that for any input, there is some point in the sequence such that all subsequent partial halting oracles analyze its behavior correctly.

The halting problem is "unsolvable" because the goalposts are very high. An algorithm to "decide" the halting problem can have no "failure modes" of any kind, even if the probability of failure is vanishingly small. It must work on every single program. As soon as you limit the scope of the programs you care about analyzing in any reasonable way, like "deterministic programs without randomness that use at most 32GB RAM," the proof no longer applies.

The complexity classes you refer to don't conflict with any of this. In the general case, it is undecidable to analyze what complexity class an algorithm (or decision problem) is in, for instance, but this isn't usually summarized as "computational complexity analysis is an unsolvable problem."
by mritchie712 | 2025-04-22 17:42:46+00:00
Yes, we're still fine-tuning exactly what we cache, but a simple example would be:

1. user writes a `select` statement that return 20k records. We cache the 20k.

2. user can now query the results of #1

we're also working on more complex cases (e.g. caching frequently used tables).
by binocarlos | 2025-04-22 17:43:14+00:00
I agree with this - I hear a lot of hate towards vibe coding but my experience with voice dictation and using 20 years experience in the trenches and so being very specific telling the model what to do has been, well, refreshing to say the least.

I used to pride myself of knowing all the little ins and outs of the tech stack, especially when it comes to ops type stuff. This is still required, the difference is you don't need to spend 4 hours writing code - you can use the experience to get to the same result in 4 minutes.

I can see how "ask it for what you want and hope for the best" might not end well but personally - I am very much enjoying the process of distilling what I know we need to do next into a voice dictated prompt and then watching the AI just solve it based on what I said.
by cyberax | 2025-04-22 17:43:15+00:00
> Slow animations are a way to hide latency, they are essentially loading screens. Apple is really good at it, or at least it was with the early iPhones, and a reason why iPhones felt so smooth compared to their Android counterparts while not being actually faster.

Now it got flipped. I turned off animations on my Android phone, and it's great. And now every time I have to use iOS (for app development), everything seems to be moving in slow motion.

And you can not turn it off! Apple in their infinite wisdom doesn't provide ways for app developers to disable animated transitions.
by 4ggr0 | 2025-04-22 17:43:44+00:00
I'd love to have a poster of the picture in the "PC Preppy" advert from October 1984[0]. I wonder how I could aquire the highest resolution possible...

Love raccoons <3

[0] https://d1pkj6r18lfvhs.archive.is/BxyNA/d05003d20de92f868e5b...
by chistev | 2025-04-22 17:44:37+00:00
You can talk about the project organically here on related posts and hope people jump on it. Do this on related subreddits too. It's not blatant advertisements, just find a way to incorporate your game into conversations.

Or, you could do direct advertisements on social media platforms. It will cost you, though. If you have some money, you can go this route while still doing the first one too.
by mindslight | 2025-04-22 17:45:49+00:00
> As for the real world, there is a large variety of tariff policies around the world, and most countries implement much harsher tariffs than what Mr Trump is suggesting for America. There are many very good arguments for tariffs and against tariffs, let's talk about them instead?

Sorry, no. This is a common Trumpist talking point that has validated the comment you're responding to.

Every aspect of the US economy is currently wholly reliant on imports. Untangling would certainly be possible, but would require an intelligent fine-grained approach with deliberate analysis and substitution - not ham-fisted blanket import taxes. There is absolutely no sense to any of Trump's actual policies, nor the manner in which they're haphazardly announced and then constantly churned, unless the goal is simply to harm our country.

Debating and critiquing as if these might be good faith attempts at helping our country is a waste of energy that needs to be used more productively. Trumpism/destructionism thrives on our desire for rational debate, because while we debate how to build they just destroy. At this point, regardless of your political persuasion (I'm libertarian), it's time to stop drinking the Kool-aid and wake up to the fact we have a malevolent attacker in the White House. We can go back to debating the finer points of policy after we have an administration that actually puts the interests of the United States first.
by amluto | 2025-04-22 17:45:53+00:00
To be fair to quickselect, I can imagine a lazy data processing framework having a concept of a lazily sorted data column where the actual data has been materialized but it’s not in sorted order yet. Then someone does “LIMIT k” to it, and the framework can go to town with quickselect.

As noted a couple times in this thread, there are all kinds of tradeoffs here, and I can’t imagine quickselect being even close to competitive for k that is small enough to fit in cache. Quickselect will, in general, scan a large input approximately twice. For k = 3, the answer fits in general-purpose registers or even in a single SIMD register, and a single scan with brute force accumulation of the answer will beat quickselect handily and will also beat any sort of log-time heap.

(In general, more advanced and asymptotically better algorithms often lose to simpler brute force algorithms when the parameters in question are smallish.)
by amarcheschi | 2025-04-22 17:46:15+00:00
But we're talking about people willing to sacrifice people for a hypothetical scenario of doomsday to avoid.

Yes, allocating funds to research is something that has to be done to distribute resources given they're not infinite. But that's a real scenario. Not people pulling bayesian bs in a bad way with random numbers they agree with. It's a completely different scenario, even if resource allocation is necessary in our lifes
by ImPostingOnHN | 2025-04-22 17:46:48+00:00
> Meaning that if there were more than eight...

That seems like a big "if". What I'm asking is, how many were there before elmu's DOGE started compromising systems? Was it more than 8? If not, that would not be a valid justification for the DCIO to cite.

Did elmu's DOGE make sure not to grant themselves administrative access (because that would make it more than 8)?

How many remain? Is it 8? Do the current administrators match the ones which existed before elmu's DOGE started compromising systems?
by sschueller | 2025-04-22 17:46:56+00:00
".. siphons data back to the People’s Republic of China (PRC)"

How does that work when I run the model myself?

Cry me a river, you tried to build a massive moat to force the rest of the world to suck you off for access and now you got caught with your pants down by a model that has been given out for free.

I wouldn't want to know how the US would use the discovery of cold fusion or a cure for all to make a profit for its elite instead of giving it out for the greater good.
by fasbiner | 2025-04-22 17:47:18+00:00
> The whole growth of vibe coding really did help them because I don't think actual developers use it because putting things like functions in the database and authorization in the database is something that we learnt a few decades ago is a bad idea.

Why are those things a bad ideas? You could be right but if you insist on making value judgements without explanation or elaboration, you're going to sound like a whiny old crank who is scared of becoming obsolete.
by ipsento606 | 2025-04-22 17:47:27+00:00
It happens to me maybe once every 5-10 years, whereas I open and close various credit card accounts several times a year. So for me it would be far more irritating to have to add and remove cards from my phone's virtual wallet several times a year than to potentially have to order a replacement card once every few years. Most phone wallets also don't give an option to provide a nickname for cards, which is extremely irritating if you have multiple cards from the same issuers, whereas with physical cards it takes a couple of seconds to add/remove cards from my wallet, or to make a note on a card with a sharpie.
by throwawayb299 | 2025-04-22 17:47:31+00:00
Clearly you know what you're talking about and when you break your time down like this it makes way more sense.

A minor point I'd make is you seem to define coding as strictly typing out... well, code. My perspective is that interacting with undocumented libs definitely counts towards coding and debugging might, depending on the context.

Now, if you scroll way up to the comment that kicked off this thread you'll see it lists three kind of activities a software dev's job is made up of and claims that that the first two are supposed to take the overwhelming majority of time and effort.

Let me quote:

> Why am I doing this? Understanding the business problem and value

> What do I need to do? Designing the solution conceptually

> How am I going to do it? Actually writing the code[, debugging, and refining]

>

> That last part is actually the easiest, and if you're spending inordinate amount of time there...

Let's go along with this notion for a moment, if a dev spends 95% of their time on the first and second parts then for every 16 hours they dedicate 51 minutes to actual coding (as in legacy libs spelunking, debugging, and typing out code)

And that's what I call utter bs on.
by AnimalMuppet | 2025-04-22 17:47:47+00:00
I remember reading about a company that had these 5-year projections of what their sales and revenue was going to be. A new CEO came in and said, wait a minute, we can't accurately predict what our sales are going to be next month. How are we going to make 5-year predictions that are anything other than worthless?

He scrapped the long-term planning system, shrinking the planning window down shorter and shorter. They ran the company on a 30-day window for a year or 18 months. Only then did they get the numbers right. After that, they extended the planning window, but never back to five years.

So, those who are doing longtermism: How accurate are your short-term forecasts? Can you accurately predict a year from now? If not, how can you predict the long term future with enough accuracy to act on?

Worse: For every year further in the future, you should probably multiply your certainty in your prediction by 0.8. (This depends on the nature of the prediction, of course, and is a made-up number. Still, the point is valid - the longer term the prediction, the more probability that it is not only wrong, but wildly wrong.) That means (using that number) that predictions 10 years out only have 10% accuracy. Predictions 20 years out only have 1% accuracy. How do you think you know enough today about what will happen then in order to make decisions now on the basis of what will happen then?
by throwaway5752 | 2025-04-22 17:48:03+00:00
I am sure the author is a fine person, but this is an incredibly self-entitled piece. A number of biologists managed to make it through these classes just fine, and are paid much less for pursuing their passion (and making the breakthroughs the author enjoys reading about while on vacation).

A title like "I wish I had enough attention to get through the boring parts of high school biology, I now find pop biology interesting" may have had less impact, though.

Computer scientists and programmers are very intelligent people who often have grossly unrealistic projections of their competency in other fields, and this is a fine example of the phenomenon.
by pixl97 | 2025-04-22 17:48:06+00:00
> Things like Math and engineering are all rigid and rules based

Depends where in math, in things like particle physics things get all wibbly wobbly is my cat dead or alive. In things like engineering quite often what you're dealing with is probability based, but you just stack the deck so far in your favor the probability is 1.

As they say, building a bridge that doesn't fall down is easy. Building a bridge that barely doesn't fall down is much harder.
by nomel | 2025-04-22 17:48:19+00:00
Here's the statement checking code, which I believe is pre-AST [1]. I would have to dig more to see if that check is there to prevent invalid AST or to just "help the user" (would depend on how they reference the original variable I suppose).

But wow, that's the first time I've seen "nonlocal". In the ~100 packages I have installed, I see 0 usages!

[1] https://github.com/python/cpython/blob/a6a3dbb7db0516a72c5ef...
by laweijfmvo | 2025-04-22 17:48:52+00:00
Would it be possible to have some sort of hierarchy of "batteries" in an EV? A supercapacitor that charges in 1 minute and gives you 10 miles of range, a lower density fast charging battery that charges in 10 minutes and gives you 100 miles, and an ultra dense slow charging battery that needs hours but gives full range?
by cma | 2025-04-22 17:49:01+00:00
There have already been good results there with DeepMind's math Olympiad work. I think the LLM portion there was only for translating from informal to formal in the training process and in the final process they still used a manual translation to a formal description and the solver was transformer based and RL trained, but I think not starting with any language base, but it was able to learn some distribution helpful in solving the problems with RL, verifier,and light scaffolding of the tree search alone.
by frankfrank13 | 2025-04-22 17:50:05+00:00
A lot of comments seem to take issue with Supabase being aligned to Vibe-coding, which is understandable, but I do think it's related! I think vibe-coding could very well be a real market-force, and as best as I can tell it exists within a specific type of tech circle. No one is vibe coding Elixir, no one is vibe coding Rust, people are vibe coding React + Node/Python, and more specifically I think people are watching streamers and YT videos on hot-new-frameworks-near-you and want to try them out! Supabase is absolutely a darling of this tech-circle, and I think a few other companies could be as well:

1. oxc (oxlint)

2. vercel

3. fly.io

probably more! and more every day
by silisili | 2025-04-22 17:50:19+00:00
Coming from Java or any heavy OO language is probably a bit of a shock. I've never really missed inheritance with the way it does composition. I think one of the 'mantras' of Go is having the writer know the cost of what they're doing, at the expense of a lot of helpers. The issue is it's a bit inconsistent IMO. Like, they make you iterate to copy a map, but not to copy a slice. It feels like it should lean more heavily one way or the other.

I -would- definitely like more in the standard data structures and algos realm. I used to be more active on golang-nuts, and a lot of the replies to such ideas was "it's so easy to write yourself, look at this 5 liner, why make a package for it." Initially I kinda understood, but years in, after rewriting the same things over and over, it would be nice to one line a lot of this.
by gmuslera | 2025-04-22 17:50:22+00:00
I don't plan to live forever, but I do go to the doctor to check if something may affect my short and middle term health, and try to follow his advice for short and middle term recommendations, from taking some medicine for some present problem to exercise and eat healthy for the not long term future.

Putting the extremes as the two options frame the discussion as having only two unreasonable alternatives. Worrying and taking action to avoid the worst of climate change won't ensure our very long term survival, but we are expected to survive a few centuries more at the very least. Its like reaching 40 and do everything in our hands to kill ourselves what the civilization is doing.
by MikeTheGreat | 2025-04-22 17:50:28+00:00
FWIW - 'Kermit' is now an option in desktop MS Word. Click on the font drop-down box and it's listed alphabetically. I assume it's in the web app too but haven't checked.

Interestingly, it was listed in the font drop-down but there was an icon next to it to "download this font". That was quick and painless and the resulting text looks like the one shown in the article.

So it might not be free, but if you've got MS Word you can at least download and try it out.
by sdenton4 | 2025-04-22 17:50:30+00:00
Well, this is incredible: "The gene sequence had a strange repeating structure, CAGCAGCAG… continuing for 17 repeats on average (ranging between 10 to 35 normally), encoding a huge protein that’s found in neurons and testicular tissue (its exact function is still not well understood). The mutation that causes HD increases the number of repeats to more than forty – a “molecular stutter” – creating a longer huntingtin protein, which is believed to form abnormally sized clumps when enzymes in neural cells cut it. The more repeats there are, the sooner the symptoms occur and the higher the severity"

Not the only sequence model that exhibits stutters on repetitive inputs...
by ein0p | 2025-04-22 17:50:54+00:00
What's interesting is that most of this is applicable to proprietary US models when used by non-US users, too. "Stores data in the US"? Yes. "Complies with approved narratives"? Check. "Cooperates with intelligence services and the military"? Check. The only real solution here are open weights, and Deepseek is the strongest open-weights model to this day. Don't like it? Compete.
by asnyder | 2025-04-22 17:50:56+00:00
Back in the day we'd call this phase a design and workflow prototype as to not have to deal with all the technical components until the actual flow and concept is done.

Feels we're skipping these steps and "generating" prototypes that may or may not satisfy the need and moving forward with that code into final.

One of the huge benefits of things like Invision, Marvel, Avocode, Figma, etc. was to allow the idea and flow to truly get its legs and skip the days where devs would plop right into code and do 100s of iterations and updates in actual code. This was a huge gain in development and opened up roles for PMs and UI/UX, while keeping developer work more focused on the actual implementation.

Feels these generate design & code tools are regressing back to direct-Code prototypes without all that workflow and understanding of what should actually be happening BEFORE the code, and instead will return to the distractions of the "How", and its millions of iterations and updates, rather than "What".

Some of this was already unfortunately happening due to Figma's loss of focus on workflow and collaboration, but seems these AI generation tools have made many completely lose sight of what was nice about the improved workflow of planning, simply because we CAN now generate the things we think we want, doesn't mean we should, especially before we know what we actually want / need.

Maybe I'm just getting old, but that's my .02 :).