skysight-inc/HackerNews huggingface dataset:
The transit is even worse than that, right? The moon orbits the earth so at different times of day it is over different parts of the earth's surface. So the route is not only constantly changing, but sometimes you have to go around the entire earth (either via satellite relay or fiber) and then cover the distance from the earth to the moon on top of that.

It's hard to imagine any scenario where this proposal really makes sense.
you may want to take a peek at INTERCAL. you think GOTO is bad? wait until you have to deal with COME FROM, especially in "Threaded INTERCAL" where arriving at the location that multiple active COME FROM statements are pointing to simply jumps to all of them simultaneously.
It's just you. I would rather hang out with this guy than anyone who has ever started a company.
I worked with a publisher for a few reasons: 1) I didn't know what I didn't know, and didn't want to "find out" AND make the game at the same time. I needed a partner for the business/marketing end. 2) An advance (funding) helped de-risk things for me. 3) I needed help to find an artist. I was having no luck on my own. Even with the traction the game had!

Publishers actually came to me. In a weird coincidence, I happened to show the game in a Discord where localthunk, the Balatro dev, was hanging out, and he shared it with a few big streamers. The prototype was streamed to thousands of people like ~5 weeks into its development, and the publishers started showing up immediately. Not normal. Very lucky.

I started very confident, and stayed relatively confident, for myself, but there were some weird days where you'd get a paranoid feeling: "Wait, all you do is drop a ball in this game. Why do people like it? Are they just blowing smoke up my ass? Am I having a manic break, thinking the gmae is good? It really can't possibly be good enough, right? Making successful indie games is something other people do, not me." Needless to say the demo getting reception in October 2024 Steam Nextfest (before being released in December) was hugely validating and was like the "pinch" I needed to prove it wasn't a dream.

Next is healing and recovery ... and supporting Ballionaire. Working on a creative project intensely for a year at the exclusion of almost everything else in your life, esp. at my age -- doesn't leave you in a great state when it's over. It was self-imposed crunch mode. It's not easy to be bounce back creatively or energetically.

Thanks :)
The thing is that you think this only started with Trump and that it wasn't happening with the previous Democrats. It was, you just agreed with the totalitarian state when it went your way.

Hopefully you learn, but I doubt it. Trump/Elon bad and all that, right?
Is Substack really failing? I don't have any particular insight into the business as a whole but I do see quite a few prominent political writers on there who seem happy with their traffic and reach.
I think it's better to present simultaneously, but give the authors several rounds of drafting against each other, so they can update responses into their main body (similar to how supreme court opinions are authored and released).

You'd need a really strong editor to be in charge of the review/revision/back-and-forth process, so they could cut out shenanigans like an author withholding their strongest argument, only to include it in their final version.

I'd probably have a rule that no new arguments could be introduced into an article, other than as a direct response to anything _new_ that the opponent author included in their prior revision.
A few smashed windows is not a riot, nor nationwide riots, nor requiring doing what Cotton advocated. Popularity is certainly not at all a reason to suppress liberty.

I witnessed some of the 'riots'; what I saw was perfectly safe except for a very small physical area - maybe spots of, very approximately, 50 sq ft - and even there you were probably safe.

There was no danger to the public, some danger to some windows. I've seen worse in team victory celebrations. I saw much worse at the Capitol, where they were beating people and some died.
Good lord that Steam page and the trailer have a ton of appeal. It’s no wonder you’ve got a hit on your hands! Reviews are very good too. Congratulations!
Somewhere, William Randolph Hearst is simultaneously smiling and jealous
Hurdles mean nothing to a determined penetration tester. Unless you have watched one in action, or tried an exercise yourself against a hard target, it is likely to surprise you how little "hurdles" mean.
I really don't think many people set taxes because they love to tax. They are a means to an end, not an end themselves.
100%, it was really the only form of promotion the game had, besides the demo itself, and the trailer. Ballionaire was accidentally designed to be verrrrrrrry streamable.
It felt like I was there, in my head, for a brief and beautiful moment of time. What an incredible set of photos.
Looking at imac G3->G4->G5 each one was a huge step in design. I think the G4 stands out to me because the "floating" display was something I had never seen before.
He was a finance guy during the tech boom. He could have gotten the capital somewhere else.
They aren't free. Noticed all the oligopolies around lately?
> personal liberties are generally anything that's not explicitly banned

I haven't heard that. Where does that definition come from, and where did Bezos embrace the definition and reject civil liberties?
As a business they are doing decent (kick myself for not participating in one of their earlier rounds, and potentially turbocharging my career).

But from the standpoint of an independent news organization, they suck. If you as an independent commentator are tied to a centralized platform, you are a feature to be sold, and will be muzzled or deprecated if needed.
I don't think that the blinking cursor is AI's biggest flaw. I think AI's biggest flaw is that it unethically stole millions of peoples work without compensation.
It's simple: Using right-wing thinking to drive business decisions means more profits.
It's built into Safari now too.
The minute I read “dancing stick figure” I knew exactly what game we’re talking about.

I’m not a stoner and am not really into stoner culture but I’ve watched that figure dance for like 10 mins once, entranced by it. I dunno what exactly it is, but it’s just an absolute home run.

I’m not joking, I’d pay for an app that’s literally just that guy dancing to some music.
> ...a euphemism for "ban or severely curtail moderation (and the associated liability implications)".

Yup. Just more doublespeak.

Remember "free enterprise"? Sounds awesome right? Yes, please, gimme some more of that freedom.

Imagine my surprise apon learning the "free enterprise" advocates actually meant freedom from consequences.
The easiest way for me to conceptualize it is to think of it as orientation + rotation. 3 dims for the orientation vector to get the object facing/pointing the right way, then a further 1 dim/var for rotation about that axis. For a total of 4 variables/dimensions

3blue1brown and Ben Eater did a series of interactive videos on the subject that can be explored:

https://eater.net/quaternions

My favorite demo on this point is this one: https://eater.net/quaternions/video/rotation

Where they have a toggle to go between `a + bi + cj + dk` quaternion notation and an equivalent formulation in terms of 3d orientation vector plus rotation angle as `cos(θ) + sin(θ)*(ai + bj + ck)`
I think you missed the part where I’m asking why the extensions aren’t sandboxed whereas they do invest into sandboxing when it comes to renting out their own machines in the cloud. Even browsers try to do sandboxing of extensions. It’s a jarring disconnect and VSCode is well beyond the prototype stage at mass adoption - the lack of sandboxing is confusing and worrying.
That's what he says, but most of his announcement is obvious falsehoods and propaganda. Why should we trust him? Obviously he intends to use his power to get what he wants, without regard to anyone else's perspectives.

Note that they rejected an advertisement criticising Elon Musk, for example. That's not a news article, but it definitely looks biased.
Right, I'm roughly aware that's a concern on Earth too which is why I was wondering. How's the thermal conductivity of the moon?
I love this. Congrats on the launch. You all are always building something interesting
Dude. Learn some history if you think Europe had peace for 70 years. I'll help, Google Yugoslavia. Also, Google all the wars or "interventions" that NATO/US did all around the world.

It's truly repulsive how imperialistic warmongerers like you pretend you're "the good guys".
Newspapers generally run opinion pieces from an array of viewpoints.

They give the writers full freedom, which makes it hard to get strict point counterpoint pieces like that. And many editors are averse to a simple "two sides" narrative.
While I agree with the gist of your reply, I would make one amendment:

"open source" _is_ typically an economic endeavor, or maybe more accurately a financial one.

"free software" is typically not intended for productized distribution, and I think more accurately expresses what you''re saying above.

The original "free software" model was development by user/developers, who started with the motivation to make s/w that they wanted/needed to use. The software is then distributed to other users, for possible modification, or just for end use. This was intended to facilitate the freedom of the user, by not being bound by the profit motive of a corporate developer, but instead benefiting from the user serving motivations of user/developers.

Many businesses had issues with the "user freedom" orientation of free software, and created the moniker "open source". Which is unlike free software in the sense that it is often for the purpose of creating a for profit product. For profit is fine, as a concept, but it often causes the motives of the developers (or their controlling managers) to be oriented towards the advantages provided to a product vendor, instead of advantages provided explicitly for end users. Things like user tracking and data exfiltration are examples of these non-user motives,

This is all somewhat of an aside. Your statements above about not taking other people's criticisms onboard are very valid. Just the fact that a developer would feel pressured by these demands does indicate a caring personality. Finding a balance between caring and not being overwhelmed is a current issue that many developers are trying to resolve.
I also recently came across "Geometric Algebra", which seems like an idea of equipping a vector space with a formal anticommutative product. There seems to be a subset of people on the internet who swear by it.
What's wild to me is that Gen Z and Gen Alpha are basically computer illiterate by and large.

The reason old computers were fun is because all the hip young millennials loved them for everything. That has become much less the case as the younger generations do everything with a phone/tablet/or console. Just surfing the internet for my generation was a chore that is hard for the younger generations to understand.
Articles like this annoy me: it seems to want to comment on philosophy of mind, but shows zero awareness of the classic debates in that discipline - materialism vs idealism vs dualism vs neutral monism, and the competing versions of each of those, e.g. substance dualism vs hylemorphic dualism, eliminativist vs reductionist/emergentist materialism, property dualism, epiphenomenalism, panpsychism, Chalmers’ distinctions between different idealisms, such as realist vs anti-realist and micro-idealism vs macro-idealism…

Add to that the typical journalistic fault of forcing one to read through paragraph after paragraph of narrative before actually explaining what the thesis they are presenting is. I’d much prefer to read a journal article where they state their central thesis upfront
The amount of “why would somebody waste their time with this” comments is pretty surprising.

This guy is a legend now. Every developer slack channel at my company is buzzing about it
> Replace "free market" with "competitive market"—what most people actually want when they talk about free markets

I wish this was recognized more widely. I feel like the public versus private thing is kind of a red herring; the real issue is competition and cultivating it. Sometimes this means the public intervening in various ways (to support individuals in their skill development and ability to take risks, or break up monopolies, offer a competitive alternative in a public service, etc.) and sometimes it means the public stepping out (as when public regulations stifle true competition or a public service exerts too much control over pricing and services).
I can think of a bunch of great reasons to be wary about this, but at the same time it feels inevitable, doesn't it? Biggest reason I don't like it is the fact a big rock lobbed at earth from the moon is one of the lowest cost of entry WMD programs imaginable.

Seems like it's only a matter of time before someone deploys their capital to another space rock, convinces people to go with them, and then declares sovereignty of that rock. What comes with that is all the same stories history tells over and over, just again, on a different rock.
What if we want to avoid explicitly spawning threads and blocking the current one every time we do this? Task.Run does not create a new thread besides those that are already in the threadpool (which can auto-scale, sure, but you get the idea, assuming the use of Tokio here).
I definitely agree it's a mistake to think that. That said, I do think LLM's or their direct successors are going to be more akin to Google search than the items you mention in terms of market penetration. And my comment was attempting to communicate that voice is today, and will be in the future a great way to interact with LLM's. I think you're saying you disagree with that, which is totally cool of course. Just thought I'd reply to share a little more of my thinking.
> For decades they have dutifully aired competing perspectives from the political left and right as well as major international players of different stripes.

I'd say they were clearly on the left since ~2017, but had other perspectives as well.
You're making an excellent case for using AI during the interview. If you can actually code and do the work, you're hurting no one by using tools to get past these arbitrary barriers during the live interview. The system is clearly flawed when someone demonstrably skilled gets rejected over trivia.

I actually created a tool to help myself get through the live interviews, specifically by listening to the questions and giving me real time answers to things I couldn't recall under that kind of pressure. It's not about not knowing the material, it's about the ridiculous expectation to perform perfectly on demand.
You have coding skills. Some marketing and video production skills. Self discipline and persistence. The time to spend 18hr days on a project. Why look for employment? Start your own business.
WP's phrase "Democracy dies in darkness" apparently was not a slogan, but a prediction.
What does roguelike mean? I've played the original Rogue, but haven't been a gamer for decades now. I'm not seeing how this is connected?

Sorry, but you said ask anything lol.
Hopefully my comment doesn't make it appear as though I disagree.

This entire situation reads to me as extremely corrupt and—almost ironically yet not surprisingly at all—more likely to be harmful to personal liberties of many while beneficial to very few.

Free market coming from Bezos' mouth is a laughable concept. He will do everything in his power to nullify competitors while squashing the liberties of his own employees. Nothing about this is sincere.
Interesting - do you happen to know a citation?
Isn’t the US a democratic republic in practice?
not sure I'm familiar with supreme court opinions, but are those drafts public?

edit because parent edited to talk about editor :): I think there needs to be transparency at the editorial level then, if the editor is making decisions they can write a reasoning behind each one and make it public.
That's a good point. In this context, we've been using "commodity GPUs" to refer to standard Nvidia hardware, in contrast to specialized chips like Groq and Cerebras. While these chips also achieve fast speeds, they are not nearly as ubiquitous as Nvidia GPUs. We think that matching their performance on standard Nvidia hardware can make AI much more affordable. We also support any GPUs, not just H100's.

We're going to be releasing a tech report soon, stay tuned!
But you do know the specification, or at least parts of it in many cases.

In the upstream example, one specification is that some reasonable time after you turn on the airplane, the flight controller is ready to fly. That's a very reasonable spec and important to verify in the given story. It is a thin end of the wedge for a lot of real-time guarantees that you might like to make.

As another instance where the specification is known, what is the specification of compiled object code? The specification of compiled code is the source code and proving that the object code matches the source code is a way to protect against adversarial tool chains. Check out seL4 for an example of this kind of formal verification.

Memory safety is another property susceptible to formal verification. The Rust community is making use of this very nicely.

The net lesson is that even if it is impossible to get formal specifications for lots of things, there are lots of other things where you can define good specifications (and you might be able to prove you meet them, too!).
By area, only about 80% of France is in Europe!
> Once you’ve overcome the intimidation of the blinking cursor and typed something in, one of the next obstacles you’ll likely meet is the lack of clarity regarding the overall capabilities of these general-purpose AI systems.

The article presents this as a UX problem, but isn't this actually a much deeper issue? We straight up don't know what those models can and cannot do (I.e. which tasks can be reliably done with high levels of correctness and which tasks will just lead to endless hallucinations) because the mechanism by which the models generalize tasks is still not fully understood. This stuff is still an active area of research.
I'm from GenX and at one time that's what the opinion section in newspapers were like.
Yes, we plan to be releasing a tech report soon. We are not open sourcing the models at launch time, but we have a roadmap of future releases in which we hope to make some of our models accessible to the research community.
I’m not jumping to conclusions. I think you’re discounting just how much companies rely on virtual technologies to enable them to build meatspace things more quickly and cheaply or to do simulation testing more quickly and cheaply.

And yes, cloud is definitely towards the future I want where I can easily spin up infrastructure to enable some project rather than having to figure out reliable hosting for myself from scratch every time. Cloudflare Workers are actually closer to what I want than the vision AWS and Google enable but it’s not as full featured yet and it wouldn’t exist without AWS creating the market in the first place. Of course there are issues around privacy of data and trusted compute that aren’t solved yet vs local, but the cost savings and simplicity va having to manage hardware (which I’ve also done ) are real.
If I experienced your air fryer story, I'd assume the recommendation system had access to my shopping history somehow.
Hell, look at how grey the parent comment is.
I don't have one handy but when he first bought it and got pushback about concern that he would be pushing his liberal agenda (ironically) that was his response.
This is explicitly not about the editorial direction, but about op-eds, which are opinion pieces outside the editorial line. Of course a newspaper has largely the right to publish whatever it likes, but this new policy just increases the filter bubble and intellectual isolation, regardless of the editorial line.

https://en.wikipedia.org/wiki/Op-ed
I’m a fan of this co-authoring-a-document model. It’s nice bridge between free form interaction and rigid UIs of the yore.
If you can't formulate an argument as to why "master" is meaningfully better than "main", you are no better than the culture warriors who insisted on changing it in the first place.
Original source: https://github.com/Wack0/entii-for-workcubes (6 points, 1 comment so far) https://news.ycombinator.com/item?id=43189080
Could you give us a link to the article?
I very explicitly, with my family's support, set up the expectation that the game was my #1 priority in 2024. I only took one small vacation, during which I still worked. My wife and I would watch one 30 minute tv show at night, and do the crossword in the morning, and other than that, aside from meal time, the expectation was that I would be working on the game by default (not that I worked non-stop, just that the default was "the game"). It was fully 7 days a week for like 30% of the project. Involuntarily, I sacrificed exercise and diet too :( I just couldn't manage the discipline. I also absolutely annihilated the quality of my sleep.

I got feedback from my wife within a few days, the first time she saw the game. Even she, a non-gamer, could tell that there was something compelling about the idea. And if you look at an above response, you'll see that I explained that the prototype, about a month into dev, go streamed to thousands of people. The feedback was VERY early and very positive. I wouldn't have been brave enough to keep at it otherwise, knowing myself.

I wish meta progression was better, what shipped was a compromise with respect to time. "Good enough" was just purely just vibes and an editorial eye. No articulable criteria. Just a lot of vibes and trusting my intuition (a skill I gained verrrrrrry late in life)
My understanding is that roguelike means that when you die you start over from the beginning.
Jan Łukasiewicz
Jan Łukasiewicz (Polish: [ˈjan wukaˈɕɛvit͡ʂ] ⓘ; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic.[1] His work centred on philosophical logic, mathematical logic and history of logic.[2] He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle, offering one of the earliest systems of many-valued logic.
Wow congratulations. The game presentation is awesome.

When working on this how long did it take before the game felt fun to you?
Very cool -- feels like teams are in "app overload" now with too much context switching. This looks pretty seamless and agree with others -- the summarization is a really nice feature.
The memory safety of the Rust standard library is an example of something where formal methods are bearing fruit already.

So you don't necessarily have to wait.
Finally, a WASM runtime that will be banned in Ohio