skysight-inc/HackerNews huggingface dataset:
Life is too short to want to spend it grovelling around in the shit left behind by other people.

There's a fundamental difference between being able to rip apart a ball of mud and rebuild something sane out of it and being excited to do that for a pittance.
Holy hell, they caught the booster!
The fact that we are arguing about the basic rules of money still is amusing. Any corporate drone can tell you that allocating budget is the main way a corporation identifies what is important. If it wasn't, why is the CEO getting paid so much? Why are the biggest problems and the dearest things allocated the most budget?
How many backflips do we perform for said things?
Any other interpretation is ignoring the most basic power dynamics at play.
Common Lisp implementation of the Forth 2012 Standard
"In house" could mean in the institute, though. I never worked anywhere that had in-house sequencing, but better-funded places like Lincoln's Inn Fields did. Those places were big enough to make it cost-effective, and it's hard to beat the turnaround time of a sequencing lab two floors above you.
There are. Tabling (available in most mature implementations) helps when recalculation of the same states is a problem. Meanwhile, custom search strategy is always an option to implement directly in Prolog. You'll see this in many Advent of Code solutions in Prolog when it is applied to path finding puzzles, in which depth first search is rarely a workable solution.
Consistently been such a high performer, but being gifted, ADD and on the spectrum made absolutely sure I can’t be politically correct enough to get any form of compensation, approval or recognition commensurate with my achievements.
You get used to it I suppose, both a blessing and a curse.
Moon by 2030 and Mars by 2040 seems like a winning bet lately
There are 3 syntactic modes in typst: markup, code and math. In markup, everything is literal, unless you put a `#` sigil like `#expr` in which case `expr` is parsed in code mode. In code mode everything is an identifier, as usual in programming. In math its a bit of an ugly tradeoff but its ok: single-letter things are parsed as literals but multi-letter tokens are parsed as identifiers. Finally, in code you can enclose in `[...]` to parse in markup mode. So typically, your document will be mostly in markup mode and you will encounter stuff like `#something[An argument]`, which is a function call to which you pass one content-typed argument.

So above, `y` is parsed as literal, while `dt` is parsed as an identifier, hence function call.
Yes, the chopsticks are attached to one giant lift.
This article really papers over the elephant in the room: Google Play store revenue. "Android makes zero profit" is an absurd notion; sure, if the government forced _the Android Open Source Project_ to be an entity of its own, they would have to figure out some drastic change in funding or die. But Google Play Services is so tightly integrated with the AOSP, and Google Play store is correspondingly tightly integrated with Play Services. If any antitrust litigation was actually carried out, the three of them would most likely go together.

I'd argue this is actually a pretty healthy split--Android makes plenty off app store profits, well enough to be self sustaining, and the search engine/advertisement died of Google really doesn't need to be so closely integrated for Android to continue to thrive.
Layer 7? Which protocols on layer 7, there are millions
And here I thought nothing would top the double landing view from Falcon Heavy...
Does anyone know of a browser plugin or similar that could summarize, in real-time as I browse, a given website’s privacy and data use policy. Seems like reading through lengthy and verbose privacy policies could be great application of LLMs.
I think you are right in terms of an employee class. Anecdotally, my buddy ( I don't see myself as a high performer those past few years ), is going out of his way to make things work, while I kinda drift along. He is definitely more stressed and he should get cash money for it, while it is still an option AND he is not burnt out.
I'm just so happy to see this level of progress. This another big step for opening up space. To think that one day this will be considered normal. 150 Metric tons sent on a fully reusable rocket.

Thats like a 747 to space.
Yes, the chopsticks lower and raise. They will lower the tower onto a transport vehicle and send it back to the bay for examination, and then possible reflight.
I'm assuming you've been to France and particularly Paris? I wouldn't say every French person is unfriendly, but my anecdotal evidence seems to point to there being a higher rate of unfriendly people (towards tourists perhaps) in France (mostly in the south of France + Paris twice), compared to other places I've visited as a tourist.
That was crazy, 50% of me thought as it was coming in, especially as it pitched towards the tower, "they've overcompensated and are going to bring the whole tower down" but they absolutely nailed it.
How Abstraction Shapes and Misshapes Our World
Video of the catch

> Mechazilla has caught the Super Heavy booster!

https://x.com/spacex/status/1845442658397049011
I'm pointing out that common belief was hilariously wrong in the past, so there's no reason to think it's not hilariously wrong now. The meme that "there's lots and lots of stars, so life must be out there" is not sound reasoning.
One aspect of this is knowledge is part of intelligence and lifespans influence shared/communal knowledge.

I don't think anyone claims that early humans were not as intelligent as we are now but the weakest link in the knowledge of how to effectively use levers or roll logs, or not (metaphorically) 'reinvent the wheel', would have been the eldest members in the community.
Damn what a time to be alive! Amazing
It's difficult to overstate how important the milestone of catching the booster is. Now we have a reusable rocket an order of magnitude larger than anything we've had before, and the cost of kg to orbit just nosedived.
That was soooo good!
The SpaceX engineers are incredible for being able to pull this off.
Something among the lines of : "No matter how many resources you put into an LLM, it will always hallucinate". And researchers proven that : https://arxiv.org/abs/2401.11817

LLMs are just statistical models and just "regurgitate" what they've been trained by. They have no will, no desires, don't feel anger, hunger, joy, nothing. How can you you say LLM can match the cat intelligence "without too much trouble" with "heavy-retraining" ? This is a just some "alignement". Please don't overestimate LLMs as they just mimic just a few of visible human behaviour with some statistical tricks. You just need to show a dog once to a cat so it understands what a dog is, how many times do you need to show it to an LLM to understand what is a dog ?
Using sibling parameters as default values in JavaScript functions
Yes, but for good reason. This is an almost religious topic at this point, everyone’s opinions have been locked in for years and all debate ends in fire.
NSF video: https://x.com/nasaspaceflight/status/1845442658203734384

Truly incredible. A day for the history books.
Much thuggery. Much shifty. Much euphemism. Much denialism.
Depth first search is not complete if branches can be infinitely deep. Therefore if you're in the wrong infinite branch the search will never finish.

Breadth first search is complete even if the branches are infinitely deep. In the sense that, if there is a solution it will find it eventually.
Nothing could have prepared me for how that catch looked. I was sure the rocket was careening into the tower at the last second before it straightened out. The control algorithms must be incredible for the landing system to work within those small tolerances.
You seem to be of the same opinion as Sabine when it comes down to distinguishing between mathematical modelling, and reality. In mathematics though, coordinate transformation and space transformation are the same thing. How that plays out for the actual physics happening, might be a different thing, but note that you still describe it mathematically.
Uuuh the first stream on YouTube was Musk giving a speech, so I was waiting for the launch but turns out it was on another stream? So I just missed the whole thing, great.
Not sure where you see the "minimal resources" here? But I'd just counter all questions about "why" with the blanket response of "for understanding natural intelligence": the way biology innovates is that it throws everything against the wall and not pick the one thing that sticks as the winner and focus on that mechanism, it keeps the sticky bits and also everything else as long as their cost isn't prohibitive. Symbolic modeling ("this is an object that can fall down"), prediction chains based on visual similarity patterns (this), hardwired reflexes (we tend to not trust anything that looks and moves like a spider or snake) and who knows what else, it's all there, it all runs in parallel, invited or not, and they all influence each other in subtle and less subtle ways. The interaction is not engineered, it's more like crosstalk that's allowed to happen and has more upside than downside, or else evolution would have preferred variations of the setup that have less of the kind of crosstalk in question. But in our quest to understand us, it's super exciting to see candidates for processes that perhaps play some role in our minds, in isolation, no matter if that role is big or small.
Naive question: I obviously expect there to be flames from the engines, but there were flames on the lower sides for quite a while after the catch – is that expected?
Kipchoge is less like "quietly focusing on a sustainable career" and more like "consistently maintaining the highest quality and pace of development and rarely if ever having an off week".
Everyday Astronaut Stream: https://youtu.be/pIKI7y3DTXk
That was craaaaaaaazy!
wordpress itself is GPL, so anyone, not just WPEngine, should be allowed to freely provide hosting.

This is exactly what elastic search faced, which necessitated their changing of their license, and subsequently, caused AWS to fork elastic search.

Elastic search cannot, and do not, have the right to demand payment from AWS.
Amazing achievement.
They don't do lives on youtube, those are scammers. it is always on x.com
At this rate I would be surprised if the Texas HSR is complete before 2050. Texas has not come to terms with anything. I say that as a resident for the last 10 years.
In some ways, it's all kind of moot, since the current usage of cars, trucks, planes is all unsustainable on short timescales (decades).

Bus and rail is likely to be unsustainable for much longer (centuries ?).
Tell me more.
I don't really think that isn't possible to learn -- I'm not saying lying, I'm saying adding a second translation layer which allows you to tell the truth in a inclusive way.
"Black people are dumb"
VS
"People with less access to quality education tend to be disproportionately people of color".

Then again, I don't live in the States.
Magnificent, it's hard to image what we'll be able to do once these do roundtrips daily. For those are not aware, that booster is 71 m (233 ft) tall!
Most people who have studied this field we're in have gained Computer Science degrees. These courses often don't prepare the student for working as a SWE.

I work with more graduates of Russian than I do Software Engineering.
Humanity has reached a milestone.
Yep, they handle all the mounting/demounting ops on the launch mount, so they have to be able to move along the tower.
Just like WordPress does, right?

I assume you work for automattic, right? I've noticed when it comes to comments like this, normally they're made by automattic employees.
> NSF is not affiliated with NASA, but the initials in the URL are used with permission from NASA.
In a past life I was involved in a bug bounty program. I don't think the reasoning is as detailed.

When you stand up a bug bounty program you get a ton of "I opened developer tools, edited the js on your page, and now the page does something bad" submissions. "I can spoof some email headers and send an email to myself that looks like it is coming from you" isn't something I've specifically seen due to some weird details about my bounty program but it is something I would absolutely expect for many programs to see.

So you need a mechanism to reject this stuff. But if that mechanism is just "triage says this is dumb" you get problems. People scream at you for having their nonsense bug rejected. People submit dozens of very slightly altered "bugs" to try to say "you rejected the last one for reason X but this one does Y." So you create a general policy: anything involving email spoofing is out of scope.

So then a real bug ends up in front of the triage person. They are tired and busy and look at the report and see "oh this relies on email spoofing, close as out of scope." Sucks.

I think that Zendesk's follow up here is crap. They shouldn't be criticizing the author for writing about this bug. But I do very much understand how things end up with a $0 payout for the initial report.
Congratulations to those working at SpaceX!
important to note that food intake increased linearly over the century, but then people started to cross the diagnostic threshold and so the percent of obese people started to shoot up

unfortunately it seems the problem is a lot more prosaic than mystical contamination in the environment, it seems evolution never had to worry about this, and here we are.
My guess is that it's venting out the system pressure, and it's safer to burn it.
Generating this at pixel level is the next level thing. The reverse engineering method your described is probably appealing because it's easier to understand.

Focusing on pixel level generation is the right approach I think. The somewhat noisy output will be improved upon probably in a short timeframe. Now that they proved with Doom (https://gamengen.github.io/) and this that it's possible, probably more research is happening currently to nail the correct architecture to scale this to HD and minimal hallucination. It happened with videos alredy so we should see a similar level breakthrough soon.
who cares... they did it and it didn't burn up or destroy the platform. rest is just nitpicking
I would like to shake the hands of the steeley eyed rocket men and women who just landed a skyscraper with centimeter precision. Respect.

This one's for you. Hit it Perry. https://www.youtube.com/watch?v=_VJlHWESyLI
>Otherwise, stepping outside the mold just upsets people in the corporate world.

That's not exactly true. What upsets people in the corporate world is telling others that their creative ideas enshrined as a Corporate Policy are wrong and asking to do it the other way.

What doesn't upset people in the corporate world is finding a way to further said Policy while at the same time getting yourself a license to some creativity in the ways to implement it.
You usually see some down near the engines after a Falcon 9 landing.

The vent out the side before touchdown didn’t look right, though. Something blew, but non-critically.
A little etymological sidenote: Sephardic is just the Hebrew word for Spain, whereas Ashkenaz was one of the great grandsons of Noah associated with eastern and central Europe.

However, when you see a Jew with the last name Ashkenazi, it's safe to assume they're Sephardi. Why? Because last names for Jews are a more recent historical development and these Jews immigrated to Sephardic territory hundreds of years ago (before the expulsion talked about in this thread) and have fully assimilated into the Sephardic tradition.
"So, what do high performers really want in the workplace? They seek recognition, growth opportunities, and autonomy, but retaining their commitment requires more than just understanding these needs."

Or you could pay the high performers more and compensate them better?

People are generally not spending their time at work for sheer altruism. There are of course exceptions, but I would say the majority has bills to pay and the uncertain future to consider; people work, not because of self-fulfillment and spiritual growth and whatnot, but because they get money for their efforts.

Also, if the work environment is micro-managed, meeting-infested, has arbitrary policies, lacks autonomy, does not recognize people, has near zero growth opportunities, bottom ranks go "WTF?" every time when upper ranks open their mouth, and so on, I doubt people can become high performers to begin with.

That is: the work environment has to do something right for high performers to arise at all. So, optimizing the components of a good work environment further might be fine, but if those are already on an OK level, from the point of view of the high performer: what's the point -- what's in it for them?
And the leg motions we sometimes see in sleeping dogs suggest that this is very much a way how having dreams is useful!
THEY REALLY CAUGHT IT!
It's more likely because hunger was a common human experience for entire history so doing it on purpose seems like a quirky, hip thing to do and that's what religions flock to for the purposes of attracting followers.
Both look awful. Eat elsewhere.
I'm kind of an high performer and it's not so simple. The first thing is that you need to flight under the radar most of the time. It doesn't pay to do 10x all the time (and realistically you can't constantly in all facets of your job), you need to do 1.5x most of the time and then do 10x when it's most needed and most clear to everyone that you just saved the day.

The second thing is that I never said no to more money. It's a job, your boss and colleagues are people who work with you. Occasionally they can become friends but not automatically and not most of the time.
Probably not expected, but the nice thing is that they don't have to pull the vehicle off the bottom of the ocean to study what happened there.
This! My first actual project (besides some testing) has been my phd manuscript, and after ~2 days i actually had a tufte-style 1.5 column layout going, written from scratch. And its probably like ~250 lines.

There are some rough edges still, the dom model and advanced programming stuff is not quite there yet (user-defined elements, user-defined settables, advanced layout like chaining blocks for laying text flows). But like the quality of the user interface is several orders of magnitude better than (La)TeX.
I am interested in helping you build this.
I’ve had lifelong intermittent sleep paralysis and it’s one of the worst feelings. Happened to me yesterday during a nap actually! I went to get up, and only my right foot moved an inch (or so it felt). I had to count to 3 and muster all of my strength to try to move again, and it didn’t work until the 4th time, when my body finally giggled a little.. enough to wake up the rest of it and free me once and for all.
Desirable? Probably not. Expected? Yeah. Especially given that is the was pretty unexpected to work on the first try.
The B100 is only 20% faster than the H200 on average within the same target accuracy. There's nothing revolutionary about this architecture, that's why it's 4nm.

Nvidia drops precision and adjusts via software to sell a new gen.
Would you agree that perhaps executables whose origin is a usb drive should be treated as equivalent to a browser download and unconditionally get a prompt to execute even if it was copied off the usb? I think it’s naive to think that our own security wouldn’t be helped by improving software measures even if it does risk our own offensive capabilities - we have very advanced and well funded adversaries ourselves
Indeed I wouldn't, but others might.
Are you saying I can't get 10x more customers than I expected by targeting Juggalos?
Could we imagine parts of game elements to become "targets" for models? For example hair and fur physics have been notoriously difficult to nail, but it should be easier to use AI to simulate some fake physics on top of the rendered frame, right? Is anyone working on that?
Youtube has a terrible problem with scammers. I don't know why they don't do anything about this.
They'll lower it to the launch mount... the catch arms are effectively a crane. But I wonder if it's more "toasty" than they were expecting? There were some fires going at catch (those look out, at least on external camera views) and the engines are still a bit.... smokey. Don't know if that's normal... or if they were expecting it.

My hunch is that they don't put it down for awhile. If there's still an issue were there are fires lingering inside, my hunch is they want that as far from the ground infrastructure as possible.

Either way incredible progress.
There was an AI crypto scam channel. Musk is so scammy that it looked feasible and was shared widely by the looks.
If that happens then I don’t think my mother’s maiden name was going to protect me either.
One of the easiest ways to be a 10x dev is to sabotage the productivity of every other dev on your team. I suppose it’s often not consciously intentional, but that’s the end result when you ship features at a breakneck rate using the bolt-on pattern. That being the one where every new feature is bolted on to the existing code without ever bothering to refactor or otherwise slow down and consider the design as a whole. The end result is the 10x dev runs the technical debt printing press hard and fast, and then once he perceives that the system is about to collapse under its own weight, he moves on to another project. Meanwhile whatever sucker takes over responsibility gets left holding that bag and the almost inevitable PIP that comes with it.

One of my more gratifying mentorship experiences was having one of the devs I advised come back to me years later and tell me how much my teaching him to recognize this phenomenon helped his career.
It sure did. Dries cashed out thanks said upwards movement and then he realized this move destroyed the contributor pipeline (make a personal/charity/etc small website-tinker Drupal-contribute to Drupal) and also market share so he now tries to move it back down with Starshot. I wish him the best.
> This made me realize that Go was always promoted as "do not use frameworks, do not use libraries, use standard library, everything you need is in there".

I've been writing Go since 2012 and have no idea where you picked up this sentiment. The stdlib is there to give you many useful capabilities but it's focus has always been on correctness and flexibility rather than performance.

If performance is your concern, it's always been recommended to reach for other libraries that share that focus.

There's plenty to dislike about the direction Go is moving but stdlib performance isn't one of them. Just find a package that suits you better.
I’ve done things like this. Back when Flash was around and Captivate was first out I created interactive lecture videos. One in particular was, I thought, really good. It was an explanation of how progressive tax systems work and how the amount of tax paid is a piecewise defined function of salary. Included in the videos at various places were concept questions. The video would stop at such a question and when you answer it would continue.

What was the result of this? Most didn’t watch the video and those that did didn’t finish it. Students largely don’t watch lecture videos or videos of any kind regarding math. For online courses students are using AI programs to do their work. They answer questions that should take minutes in seconds.

Most of the people I’ve responded to on the thread I started have no idea what they are talking about.
Typst authors being germans, one can hardly accuse them in the "everyone uses English" attitude.
Typst `dif` math operator (as in dx/dt) produces upright 'd', quite unexpected to ones used to slanted 'd' tradition.
Well it shows like SpaceX on mobile with 150k viewers, maybe YouTube could use some brain power to fix that.
That was one of the greatest things I've ever seen.