skysight-inc/HackerNews huggingface dataset:
I think this is in part people's memory. People will often just mention a ticket by ID and lots of in the people in the room seem to know what they are talking about. I find it nearly impossible to remember associations between "random" numbers so I will always need to build that into a URL and look it up.

But yes, when written please, please, please just use the URL. It is at worst the same if people recognize the number, much easier if not. Plus people can quickly just check it to make sure they remembered correctly. Also shout out to ticketing software that puts the title into the URL so you get the confirmation and reminder without even clicking the link.

GitHub and GitLab are awful here. Their default merge and squash messages reference tickets with stupid short forms like #123 or other/project#123 which aren't clickable except in their web-UI. It feels like a form of lock in. I would much rather that they just put a full URL so that I can click it when reading a Git log.
You’d expect at least some evidence that it can lift that much weight by this point with a dummy load in the hold. Especially considering that they should be long past that point according to their last updated roadmap.
That has to be the best paywall I've ever seen
I feel the same way about Microsoft.
After decades of inaction, states are finally stepping up on housing
Sam seems to have referenced this in his tweets, were he tweeted:

"I have a soft spot for GPT-2" and then "I have a soft spot of GPT2"

Considering that it reports back it's GPT 4, I'm guessing the underlaying model is the same/slightly tweaked GPT4, but something else is different and it's that which is a 'v2' version, maybe agents, reasoning layer etc.
It's a bit like how people analyze "disgruntled" and use humorously the non-word "gruntled" to mean "to be content".
That's way cool man. I love the aesthetic.
It wasn't intended as a jab, spinning it up to settle the propellant for transfer sounds like a good idea to me. Of course, failing to exit the spin is still mission-ending but they'll figure it out.

Now we just need the Attenborough voiceover about the mating habits of starships as they spin through space.
Understand Internals of Std:Expected
(1) Android. With a competitor like that you don't need... anything.

(2) Microsoft. When it comes to mobile, crickets.

(3) Meta. Can execute pretty well on VR and other things but it doesn't matter when your main product is so hated. The big picture is that "FAANG" companies comfortably dominate certain domains and find it almost impossible to innovate because nothing they come up will get the same monopoly profits their business is built around.

(4) Why not let others take the risk and take a 30% cut off the top at the app store? It's a lot less embarrassing than Apple Vision Pro.

(5) Apple is doing really well in terms of hardware support for NNs. Microsoft and Intel are talking about AI accelerators, Apple has them in all their devices. Because of the UMA, Apple's M* can run bigger LLMs than all but the absolutely largest NVIDIA cards, even if they don't manage the same GFLOPS.

(6) Everybody struggled with voice assistants. Alexa, Siri and Cortana were all disappointments.
At this point I have to believe that any significant tech talent is looking at Tesla as a poison workplace.

They are going to have to pay pretty damn well to get anyone with a brain.
Do I hear the sound of GPU farms being packed up in preparation for being moved to another state (or, more likely, the next generation being built in another state)?

Raw compute doesn't care where it occurs. Anywhere with plenty of reliable electric power is fine (which is increasingly not California to begin with).

The people who use the compute power don't even have to live there.
> Pasteurization is unnatural

Completely agree. You should also eat raw potatoes!

I hear ricin is completely natural too.
This reminds me of my favorite part of this story. In 1943, the first Quebec Conference between the US and UK military brass was a very contentious and heated affair, with the top generals and admirals on either side almost coming to blows. At one point they all dismiss their aides and go into a closed session, and Lord Mountbatten takes this opportunity to brief everyone on Project Habbakuk, using some samples of pykrete to demonstrate its resilience compared to ordinary sea ice. At one point in the demonstration, he draws his service revolver and fires at the pykrete.

Now, both the US and UK aides and staff officers are outside the room where this is happening, and they don’t know what’s going on, but they all remember how heated the earlier discussions were, so naturally, when they start to hear gunshots from inside the room, they all panic and assume the worst and burst through the door. Fortunately, everyone was unharmed—the bullet ricocheted off the pykrete and embedded itself into the wall, only grazing the trouser leg of Ernest King.
Now I need to know the ballpark cost of this whole setup, so it will block me from trying to get into yet another very costly hobby.

EDIT: oh, just saw it https://news.ycombinator.com/item?id=40206558
> Not sure I understand your numbers here in relation to the quoted part

The unknown variable is in-orbit propellant boil-off. How much propellant will poof away for each day in orbit, and during the propellant transfer. The test next month will observe this for 3 to 4 weeks. So for the actual mission, we will presumably have 3 to 4 weeks to put all the fuel in orbit. Assuming it takes 14 launches to launch that fuel (we won't know the final number until we do the tests), that gives us a required average launch cadence of about 2 days.
If only they had a language agnostic way of encoding version information…

Perhaps someone wrote a library for that…
Fair that I don't intend my question there as a full rebuttal. I do question if functional semantics are fully needed any more so than other tools. In particular, I recall formal methods was more about prepositional logic than it was functional semantics.

And yes, you have to add and remove things to any model to really be able to reason about it. Is why engineering dynamics is harder than engineering statics. Things that change are hard. Reducing this to state being the enemy, though, I think is wrong in a lot of functional advocacy. State can be reasoned about without having to boil the ocean, as it were.
Maybe training on whatever this is started before the licensing deal?
OP did not openly endorse flat earth or suggest lizard people run the world. Speculation about tech that is at the center of geo-political tensions is bound to happen and it's only natural to question if government pressure is at play.

The US has already enacted GPU bans and investigated and killed technology transfer deals. The US Commerce Department just this month is "working to review potential risks and assess whether there are appropriate actions under Commerce authorities that could effectively address any potential concerns" with regards to RISC_V. [1] That's the same department that pressured AMD to lower performance on China products before refusing to gran them an export license.

[1] https://www.theregister.com/2024/04/24/us_commerce_china_ris...
To me it seems you can get the LLM to predict some tokens that contain words that point to the right algorithm. But the LLM doesn't know what it chose. It just sees some tokens. Do you think it could somehow tell it had chosen a CNN in its response and then do something with that knowledge to run a CNN?
I thing being continuously updated should be tied to receiving new external content.

It's fine to have an embedded device that's never updated, but never receives new content - it doesn't matter that a system won't be able to show a new emoji because it doesn't have any content that uses that new emoji.

However, if it is expected to display new and updated content from the internet, then the system itself has to be able to get updated and actually get updated, there's no acceptable excuses for that - if it's going to pull new content, it must also pull new updates for itself.
Why make the rule that capital letters only be used when the unit is named after a person, if the rule is discarded the instant it is inconvenient?
Every time I think "oh Jean-Yves Girard".

Besides being perhaps the logician of note of the 20th century (against considerable "competition"), he's become an important philosopher in the 21st. I think he realizes he's become a philosopher, although it would seem (from private correspondence) that he doesn't find philosophy all that important, let alone that he's such an important one.

The recommended book-length treatment of Girardian ideas is "The Phantom of Transparence". The TED talk version is this: https://www.youtube.com/watch?v=Nc3pgZxU-Cg

I often tell people to watch the video even if they don't know one "euh" of French. There's something about the energy in it that already conveys so much.

----

I can't honestly evaluate the other, minor Girard because of the homonymy. It's unfortunate.
if it's a percentage based cut then it's predetermined in a sense. leadership is just doing this as a blood sacrifice to the animal spirits of the market.
Oh they added it to recovery too. Interesting.
Menstruation consultant
Actually, the proles in 1984 used normal English (as we read in the scene where Winston goes drinking in the proletarian sector and chats with the old man about life before Ingsoc). Newspeak was for the Party members.
GNU didn't. Why should Systemd?
It told me that things were going to the same place no matter what. :-)
In the absence of any evidence or even a sensible motive, what is it? There’s no reason to think Google’s stated reason isn’t true, and as an attempt to obstruct China it would be rather pointless to go after something they have almost no deployed usage of which is starting behind things they do use.
> leads it to be only within range for rescuing those on the moon, for a couple days a week

I genuinely never heard about the Gateway being there for rescue until Destin's talk. (Not saying he invented it. Just that it wasn't what it was advertised for.) Compared to just landing a spare Earth ascent vehicle, it seems like a stupid way to solve for our lack of low-gravity trauma medicine experience.

> Why does Gateway have this type of orbit? Because the Senate Launch System doesn't have the delta-v to get the capsule to circularized low-lunar orbit

NRHO also minimises communication black-outs with Earth. With the Gateway in orbit, other craft in circular orbit can maintain continuous contact with the Earth.
> just a very small piece of a much bigger puzzle

I agree with that, but plenty of people are talking about LLMs as the precursor to AGI, especially the OpenAI crowd. Plenty of people here and elsewhere say that LLMs are actually intelligent.

I think LLMs are an important illustration of what's possible, but it's not the one true way.
IANAL, but I don't think your employer could make an "IP claim" on work that wasn't at least created using their time and resources, particularly not under a FOSS license.This is something you should be discussing with your employer, since it depends on company policy.
> They are going to split the RISC V ecosystem.

Part of the DNA of RISC-V is to provide a basis from which a million flowers can bloom. Instead of homebrewing, you can reuse RISC-V and make tweaks as you need... if you really do need a custom variant. Think of it as English, a common substratum from which there are lots of mostly interoperable dialects. This is what happened with Unix.

Now if we want a mainstream consumer then we will need a dominant strain or two. The RISC-V foundation is doing that with the RVA23 profiles etc, but if there is a few major ones that should be navigable. Linux had support for PC-98[1] which was a Japanese alternate x86 platform.

The changes I've seen proposed by Qualcomm don't seem drastically different [2], and could be incorporated in the same binaries with sniffing the supported features. The semantics are what are important, and it's not different there at all. Could be supported with trap and emulate

[1] https://en.wikipedia.org/wiki/PC-98
[2] https://lists.riscv.org/g/tech-profiles/attachment/332/0/cod...
This is par for the course. When you post about a product in a domain, people will discuss similar products. There's no targeted teardown.
> any more so that the developer of a web browser, calculator, or word processor

Or even a piece of chipped flint or a pointy stick, if it comes to that.
lovely site, bit more focused on education that just CTF nonsense. id still recommend first to get books on the topics. windows advanced reverse engineering. the art of exploitation, etc
these are often a bit dated, but the old stuff underpins really the new, so it should not be skipped if you really want the background knowledge. e.g. _why_ certain security features work as they do, rather than simply learning some bypasses for features. everyone has their own learning path tho, with exploit dev since its so broad, many approaches are valid.
>> Baby cows don't drink pasteurized milk, and neither do human babies

> No, but (a) there's a much shorter supply chain there in nature, which is the big problem, (b) cows consume all sorts of things that are inedible by humans, and (c) it's not actually "natural" for humans to drink cow's milk at all, that's a relatively recent genetic adaptation (lactose tolerance) that not everybody has.

and (d) some places, especially large dairies, do feed baby cows pasteurized milk. They do this to limit the spread of illness among their livestock and to use up waste milk. Some do this with colostrum as well.
I just wonder why can't hackers write homoiconic (if thats the word), languages that get array tokens and provide results like so. I often wonder what if sqlite was also designed to have its statements like ('select '* 'from 'table), it would also had been better for third part libraries, to implement their orms.

Since all of this (byte coding) (AST) is done by almost many programming languages I ever explored (Python,Ruby, lua, ...). It would have been awesome, if they were easily parse-able I guess.

Most of the ORM implementations are very error prone to those design decisions. (Especially SQL databases).
Understood metaphorically, the "thetan hypothesis" might be partly true. It belongs with other psychoanalytic theories which, while out of vogue today, probably contain some truth.

With regard to Girdard, there's a broad pattern here where prominent thinkers realize something and then interpret everything in light of that realization (the article gets into this but I don't think satisfactorily). Obviously thinkers are making an error when they univerisalize their idea -- but that's what makes them great thinkers: they give us a new, strangely plausible way of looking at the world. People who are skeptical rarely make waves (unless they take their skepticism to extremes).

I'm not sure where this leaves us. Maybe every "great thinker" is a mountebank? I'd be more kind than that. It's probably good to have these highly idiosyncractic worldviews floating around, even if they're always partly false. Perhaps they cause us to reexamine the world or act as useful tools for us to navigate life with.
So 4x18TB for HA 36TB.

Then another 2x18TB for backup.
This sounds a lot like the system which drew the halo and trails on the hockey puck for NHL games, FoxTrax.
Why would anyone use anything other than UTF-8 in this day and age?

Windows took a gamble years ago when the winner was not obvious, we’re stuck with UCS-2, but you can circumvent that with a good string library like QT’s Qstring.
Not to mention with 2 mechazillas in both launch locations, they can technically launch 4 at a time if they want/need to.
Thank you! I'll be trying this out in the next few days as soon as I get some time. I much appreciate your effort. I know you don't do it for the money, but I'll throw some sponsor bucks your way. I'd love to buy you a few beers (or coffees or whatever your love is) :-)
When Silicon Valley Stopped Trying to Save the World
which DE?

my issues were on KDE. i had also that the windows on a just unplugged monitor are not moved to a still active monitor. this used to work on Wayland.
Usually when I encounter sentiment like this it is because they only have used 3.5 (evidently not the case here) or that their prompting is terrible/misguided.

When I show a lot of people GPT4 or Claude, some percentage of them jump right to "What year did Nixon get elected?" or "How tall is Barack Obama?" and then kind of shrug with a "Yeah, Siri could do that ten years ago" take.

Beyond that you have people who prompt things like "Make a stock market program that has tabs for stocks, and shows prices" or "How do you make web cookies". Prompts that even a human would struggle greatly with.

For the record, I use GPT4 and Claude, and both have dramatically boosted my output at work. They are powerful tools, you just have to get used to massaging good output from them.
> I'm even less an admiral or air marshall but I dont see any tactical or strategic advantage here either.

Not disagreeing with your main points at all, but from a strat/tac point of view, up until later in the war, there was an air gap in the Atlantic where German U-Boats didn't have to worry about a significant air threat from the Allies. A large airfield parked mid-Atlantic might have significantly improved Allied air coverage, and helped reduce the stunningly bad shipping losses they were experiencing.
This scenario is precisely why the outcome of Chevron is useful -- and, I'd argue, vital in addressing areas where legislation is needed, even if we still disagree about what shape it might take.

Congress' process takes too long to adapt to conditions on the ground. The ATF has a focused mandate to study and set policy in this area without waiting for Congress to consider the issue. It might not be perfect and is still subject to political influencing as the makeup of the committee changes based on appointments, but at least something gets done.

Regarding the FCC, there is some prioritization based on the type of traffic served, but it's fairly commonsense in its approach and the committee recognized that a complete lack of regulation wasn't in the public's best interest.

The idea that everything is left to Congress -- or ignored, as the case may be -- creates a situation where good ideas don't develop into meaningful legislation or the bad ones get implemented over the will of the majority.

Again, not only does this not happen in parliamentary systems, it's not possible because the people debating the issue are all on the same side. They all agree on the desired outcome, it's rather a question of how far they want to go.
He mentions the blackout problem, but having a constellation of a couple relay sats is likely going to happen anyway if IIRC.
The main downside is now you're making the bytecode an API which means all future changes need to be backwards compatible.
A little girl said monsters were in her bedroom. It was 60k bees
Outside of the MechE space, I don't think they were that great of an employer anyhow. The wages at Tesla were always much lower than peers despite having most of R&D in the Bay Area.

They also seemed to overhire on boondoggles and not concentrate on execution.

Back in the day, I was constantly getting pinged to be a PM for their ML Infra team, but the pay was meh and they probably could have done better by acquihiring additional companies (similar to what they did with Deepscale).
Unix is trivial too

unsafe
{
[DllImport("libc", EntryPoint = "write")]
static extern nint Write(nint fd, byte* buf, nint length);

var text = "Hello, World!"u8;
fixed (byte* ptr = text)
{
Write(1, ptr, text.Length);
}
}
> having the ability to transfer propellant even if the pressure differences and settling cannot be achieved seems worth the lost performance

Pumps are way more complicated than pressure feeding.
I admire Elon’s resolve in making the environment obvious why those left should unionize.
As a counterpoint to the sibling commenter, who seems intent on being negative: good job, I hope that the app is useful for plenty of folks!
That’s fine by me.

In my 10 years of experience writing in a language that I like and I think I know rather well, I cannot share your view that “async/await is easy”. The happy path is easy, but you’ll hit show-stopping issues when you’re building big complex systems.
I think you are confusing programming with developing software. Otherwise, we'll have just to agree to disagree.
This is neat. I'm going to try this out. I have to admit though I do cloud sync on my existing app because it's convenient in case I switch devices. I favor convenience over privacy in this case. Do you have a system for when switching devices or is it just as simple as copying the backup data into the new device?
Reminds me of the Buddhist idea of impermanence; psychologically important in an unstable world
Interesting indeed! Do you normally experience high latencies >1s from your connection or is copilot more of an outlier? I have noticed that when I travel to the midwest I will get latencies around 70 to 90 ms rather than my current 30 ms, but It's not something I really notice too much, though that tends to be in major cities.
The whole pleasantries is a waste of time. In chat, tell me what you need in the first message. At the start of a meeting, get on with an agenda. I don't give a damn how your weekend was or want to discuss it. Get to the point and stop wasting my time. In email, don't tell me you hope you find me well as it is irrelevant and empty. Tell me what you need in the least words possible. In other words, stop with the flaff and get to the point.
For a The Economist article, it sure does a lot of hinting
"Musk also told staff that he would ask for the resignation of any executive "who retains more than three people who don't obviously pass the excellent, necessary and trustworthy test."
I've lived in 3 EU countries and visited and known people from many more and while it's true most people would be against most wars, I don't think most people would be against a MIC sponsorship for an open source conference.

Airbus alone employs 40,000 people in the defense sector and there are many, many more MIC companies in Europe where many people are happy to work at (for the record, I'm not one of them). Also, all European countries have a military and buy weapons, and probably all of them also manufacture some weapons or others (microstates being the exception). Some of them even have mandatory drafts, I think.

As an example, I'd be shocked if an Airbus sponsorship would ever be rejected in Europe (perhaps Germany being the exception now that I'm familiar with the Civil clause).

Honestly, you sound like someone with a heavy anti-US and anti-MIC bias (and admittedly, I'm also known to take pleasure in anti-US and anti-MIC prejudices, but my concerns don't intersect this particular scenario at all).