skysight-inc/HackerNews huggingface dataset:
> surely that Act is by definition unlawful?

Whose definition?

Answer: The Supreme Court decides the definition of things. Its only unconstitutional if the Supreme Court says so.

That's how the USA can get away with... I dunno... the Office of Censorship in 1941. (https://en.wikipedia.org/wiki/Office_of_Censorship). Definitions change, not only due to different members on the Supreme Court, but also due to different circumstances (WW2 meant that the Supreme Court was willing to ignore the obvious incursion into the 1st Amendment, at least temporarily)

EDIT: I always forget that it was actually the Office of War Information that did the Hollywood Censorship thing (https://en.wikipedia.org/wiki/United_States_Office_of_War_In...), rather than the Office of Censorship.
Ted Talks peaked in 2013, with "2070 Paradigm Shift", one of the best speeches ever in the history of the planet earth.

https://www.youtube.com/watch?v=SmicRDpS5Gk

Imitated by many, never surpassed. Ted Talks were all downhill after this one.
Arguing isn’t a game of diplomacy and middle grounds.
I love doing this. Mostly within a block or so. I get plenty this way - I think a lot of it blows out of nearby recycle/garbage bins...
Wow, this is extremely relevant to my current work (porting from Go to Rust). Adding on to the paper, some other issues are:

- Modeling concurrency across boundaries, like if you're p using goroutines but also tokio, how the heck does that work?

- Persisting data across FFI, like if you have some Go code that calls Rust, and you want the Rust code to persist stuff in memory, that gets tricky fast.

- Assumptions around strings. Go will give you a bag o' bytes and say "it's a string, trust me!" while Rust expects UTF-8.

We definitely ran into some of these issues, like remembering who should deallocate which memory.
More likely it is DRM-cracking packages.
systemd supports "suspend-then-hibernate" which I think works now.

That said, systemd fucked the hell out of this feature and then the devs started gaslighting people about it[0][1]. That was on top of the fact that their "fix" broke the setting entirely and when you suspended your laptop it would never resume, guaranteeing a reboot and lost data (which ironically was their premise for "fixing" it in the first place). They really tried to get people to believe that a nearly dead battery 8 hours from now was preferable to hibernating after X minutes and resuming with a nearly full battery. On a motherfucking laptop.

Sigh. Just when I was starting to accept systemd they go and do that shit. Words cannot express how pissed I still am from that github thread and them breaking my laptop from a basic ass fucking system fucking mother fucking fucking upgrade. Fuck systemd.

[0] https://www.reddit.com/r/archlinux/comments/zczdnq/systemctl...

[1] https://github.com/systemd/systemd/issues/25269
You're right and missing main point at the same time.

The reasons why biology didn't evolve what we discovered don't matter.

What matters is that it didn't, yet they can exist and outperform.

Similarly brain is not an upper ceiling for intelligence.

We can create more intelligent machines than us.

Things like energy efficiency don't matter as much - when we run large models, nobody cares that it may require more energy than two sandwiches and a beer per day. We do care about energy efficiency but not at scales of biology.
What is a fusion reactor but another, tiny, sun?
The Brilliant Pebbles work supposedly was going to need at least 400 missile satellites to work. That alone seems like a significant coordination problem, especially for the time. And it relied on very early detection & interception.
> "The data that gets passed into the actor interface is basically runtime-defined GOTOs." ... "Any system which drastically increases overheads via serialisation, context changes, possibly network traffic and finally deserialisation in the place of a few instructions function call is a design which should be used very sparingly."

I think that your opinion of the actor model has been particularly colored by ROS, as these constraints aren't necessarily part of the actor model. It's an abstraction, and a formalism that is built around the idea of message passing, but that doesn't mean the actual implementation has to involve literal message passing. If a function call will really do the trick, a sufficient compiler can produce equivalent code.

But the question is... is the function call really synchronous. For instance, you give the example of a gyroscope attached to a kalman filter, but what about a GPS? What happens when the GPS becomes unavailable, and the kalman filter doesn't get any more updates? Indeed many (a majority actually) of my sensors have Ethernet interfaces, and we communicate with the sensors over networks that include routers. Some of the robot's sensors are external to the robot itself, and we communicate with them over a wireless network. So when you say this:

> Each subsystem can be proved to be safe, but the moment it goes through an async interface all bets are off.

I find myself in full agreement! But you cross that async interface as soon as you want data from your sensors, because the sensor interface is asynchronous. So you might as well deal with the asynchrony explicitly.

> Since you seem to be an actor model evangelist, how would you go about, just as an example, tracing execution flow in a debugger, for example?

Typically what I look at are message traces. What's nice about actor model is it lends itself to new ways of debugging, like time travel debugging. It's also a formalism, so we can leverage that formalism to prove properties of the program.

> how would you prove (in a certification perspective) that in certain scenarios the system as a whole behaves in a certain way, and fails in a safe way?

I guess it would depend on what system you're trying to certify and to what standard. If you have something in mind, how would you imagine going it ideally, and then maybe I can try to respond as to how my mind would wrap around it.
Sony announces a new Playstation handheld, to enable cloud streaming from a PS5
Framework Laptop 16 Deep Dive – Display
For the kind of service they are providing I think the logging is appropriate.

I mean if DOJ is interested in PyPI logs the only reason I could think of, is if it was used as a supply chain vector into breaking in into other organizations.
In the Multicloud World, the Data’s the Thing
On first glance I don't see much there or why anyone would be interested. Maybe a few dummy accounts or items would help.
Yes, to switch the card being emulated, you can flash new firmware images directly from DOS using the pgusinit.exe program that ships in the release package. It takes about 5 seconds to load the firmware and the new emulation is available to use right away without needing to reboot the machine.

Longer-term, I'd like to have multiple cores available in one firmware image for the ability to instantly enable/disable them. All code runs from RAM instead of flash for speed, so that's a potential limitation on the number of cores that can be loaded simultaneously.
Just a century or two ago parents would bury half of their children at a young age. The heaven is now.
If law enforcement was never allowed to engage in clandestine operations then it would hamper their ability to build a case against and/or apprehend criminals. Case in point, organized crime syndicates.

This is why the majority of your fellow citizens disagree with you and are fine with the current state of affairs.
The feeling is mutual, it's good to see that there's still the possibility of mutually respectful discussion on this topic. Thank you.
That's a bit strange... it doesn't happen for me. I thought it might be a zoom level thing but I've tried a wide range and the text never overflows.
> Hey, it's the cloud. Backups are "someone else's problem". That is until they are your problem, then you're up a creek.

The FSF used to sell these wonderful stickers that said "There is not cloud. It's just someone else's computer."
Things that bother physicists but not mathematicians
Thanks for the insight. I gained a sliver of insight into GIS when trying to do some data analysis on lakes. I discovered that there is a lot to it. Its an interesting space, especially for those interested in geography or the outdoors.
Using LiDAR means you are actually saving on compute resources since you're now getting direct distance measurements instead of inferring using ML.
Webusb is just so badass. This is a great idea. Wishing you good success.
Hey Max (and jack), I'm actually curious on your feedback of using temporal for this use-case. I'm building an alternative to temporal (and a low-code builder to run arbitrary code on top) at windmill.dev and keen to learn on your experience. I will send you a DM.
I don’t know where or who we would address it to. “Feedback” is such a black whole.
Yes, every serious survivalist puts a heavy emphasis on water and food. I was not talking about the serious survivalists - I was calling out the silly minority
At this point, why not do the clean thing and have a forked repo per dependency. Setting up your "monorepo" like construct is as easy as a gitignore and a json file listing your dependencies and the specific hash, then have a script pull them and do a checkout.

This lifecycle is vastly cleaner and easier to update/control than vendoring, and also forces you to actually have explicit copies of everything your build needs in the same way that vendoring does, but in a cleaner, separated, traceable, manageable way.
> I'm sorry, I clearly haven't explained myself well as otherwise you would not have wasted a huge amount of text tying yourself in knots based clearly on a mistaken apprehension of what I was saying.

No need to apologize. This is a discussion. No one did anything wrong.

>For clarity I reproduce the original function you gave and then I present what the change I am suggesting is

This is called dependency injection and it's a valid way of segregating IO away from pure logic. Although this pattern is popular among old school OOP programmers it's getting out of vogue due to the complexity of it all. You used a python trick here of default values, but typically dependency injection changes the function signature and ups the complexity of the code by a lot. Let me show you the full output of the code that chatgpt was implying:

#unit testable code (without using dependency injection tricks)

def cool_function(x: int) -> None:
IO_function(logic_function(x))

def logic_function(x: int) -> List[int]:
return [i for i in range(x)]

def IO_function(x: Any) -> None:
print(x)

def test_output():
assert logic_function(4) == [i for i in range(4)]

Chatgpt only gave you logic_function, because IO_function is sort of obvious.. it's just "print" (I only wrapped print in "IO_function" to keep things clear, typically you won't define that function). But basically the full complete code would be to recompose IO with logic. You now have two components one of which is testable.

As a side note you will see it's actually an improvement to the code. It's simpler, no dependency injection, no confusing function type signature and a much simpler test case. The other thing that must be noted is the modularity.

Making tests unit testable in this way allows for your logic to be portable. What if I want to repurpose cool_function to output it's logic to another function? In your example you don't have the components to do that, it's harder for your case as you'd have to create another component for injection.

In short not only did chatGPT produce A correct answer. But it produced the better answer compared with your dependency injection. That being said your dependency injection is valid BUT you were not correct in saying that chatGPT's answer was worse or incorrect.
Well yeah duh, the shortages were not only from the lack of production, but also from sudden demand as everyone started WFH. All of those people haven't broken their brand new laptops in 2 years yet. There was also government stimulus worldwide which lots of people used to buy new computers.

Overall I think there's also a slight decline in desktop/laptop usage as a whole, as younger people grow up doing everything on touch devices instead, but that's more of a slow generational shift.
they should just put this one on automatic rotation on the hacker news front page like the promoted ycombinator startup ads
The point is that a sudden change in climate can't be blamed on them continuing to do what they've been doing for millions of years.

Now I highly doubt that an elephant occasionally knocking over a tree is the only thing holding back the continent from being forested, especially given that many elephants live in densely forested areas, but if for the sake of argument we assume that their behavior is a major factor, you still need to explain why their behavior, and thus that forcing function acting on the environment, would suddenly change.
simple - this market is a bunch of sideways and capital is looking for any positive "port in a storm"

all the major techs are massively overbought because its become a safety trade
I can't think of a benefit that would outweigh the balkanization of the Internet.
I've been writing unit tests for over 15 years (actually longer, but before that they were just throwaway run-once testing stubs). I wouldn't consider what you got ChatGPT to produce to be an adequate rewrite of a function to make it unit testable (and several others in this thread have expressed the same view). Even the "hack" using monkey patching makes for a more actually-useful test.
Jogging while picking up litter. Yay. Cool. Very good!
I played World of Goo on a PC and on a tablet back in the day, and I felt it's easier to control with a mouse, because you can't see the gooballs (which have to be placed pretty precisely) if your finger is over them. So, if you want to play it without a Netflix subscription, it's 12,49€ on Steam. Or 60€ for the Tomorrow Corporation Bundle, including WoG, Little Inferno, Human Resource Machine, 7 Billion Humans and The Captain.
I don't hate it. I need a keepass version though, especially reskinned with the Ken Log theme they have here. Maybe add a sound byte when generating a password.
Hey isn't 20% just 16% rounded up? /s. They should be round up to 1/2 or maybe 1/1
It’s illegal to do that in The Glass Bead Game however, isn’t it? If I remember correctly - it’s been a decade since I read the book - that’s one of the thing the magister ponders for a long time while a student at the monastery, how his own memory and experience colours his perception and how that’s lost to the game. That’s a part which stayed with me.
Good to know! I'd still be surprised if we had solar-powered AI assistants that are powered via ambient indoor lighting in the next few decades.
And even who can buy what property. He takes the mantle of conservatism, but his values aren't conservative at all, and more outlets need to point that out. What he is, definitionally, is an authoritarian.
Too bad it's not a Steam Deck or ROG Ally competitor, to enable native games to be played on device..
different, humans experience the world, machines can handle way more information and operate at speeds imperceptible to humans
Yes - best against moderately complex threats in limited numbers. For reference Recent SM6 test (FTM33) shot down 1 of 2 short range ballistic missiles with 4 interceptors in what's described as "most complex" test so far, but "most complex" hasn't hinted at dealing with anything like counter measures. Reality is, even US missile defense also haven't been seriously stress tested.
This is a great way to boost performance. Have you looked at implementing something like Autochapter/semantic chunking? I know your second point leans towards that, but I think such tech would be helpful here.
I guess that is the point—as well as the value—of posting news articles like these to forums like HN. An ancestor of yours posted a few studies by the ADL which back up a similar point.

Perhaps it is not ideal, but this way the writers of Al Jazeera can focus on their most obvious target audience—people who just want the story—while the more curious among us can find the sources and share on these forums.
I like that we're just calling any form of infrastructure automation AI now.
> The woe-is-me passive-aggression isn't helping your cause, dude. Share what you know, nicely, even if you're disagreeing with something, and people won't jump on you

Has he been not-nice?
Given deterministic everything sure, but nothing really is. Perhaps GPU 7 has a very toasty neighbor and is slower.
Here's my rule of thumb: if my search doesn't depend on recent information, and it is likely to return blog spam as the top result, then I will use ChatGPT instead.

I still use web search frequently to find project homepages, official and up-to-date documentation, news and announcements, discussion (hearing people's stories of their experiences with a product is a lot better than ChatGPT's noncommittal and abstract pros/cons), searching for videos/images, etc.
> doesn't just mean next to, it means nearby.

That's why we say "next door neighbour"
Ok but it's still different. I've finished with CoH2, 10 years was enough.
>> The tape was the only backup for those things, and it completes Frogger 2's development archives, which will be released publicly.

In cases like this can imagine some company yelling "copyright infringement" even though they don't possess a copy themselves. It's a really odd situation.
Yes, but it’s not related to the complexity of the input
easier than kubernetes, which many already do
Unless the Ukrainians deployed everything in the same area and very close together, I don't see how one or two missiles could destroy a Patriot. Unlike planes or tanks, the system is modular and made of different parts (launchers, radars, etc) that - as far as I understand - are supposed to be spread around.
> an actual maneuvering hypersonic missile - which is something that all major players are working on - is indeed a major threat

I've heard Avangard lacks propulsive glide. That means it's ballistic in space, and only maneuverable (at the expense of range and speed) at the terminal phase. This is solvable because it's old tech–basically MIRVs.
It's not about saving that 15%. You've already demonstrated the will to leave the company. If they don't train someone up on your responsibilities then they're likely to left holding the bag. Add in a touch of spite and there you go.

And I agree about interesting work, but al of people work in an environment where they don't get to directly choose what you work on. And it's easy to stick someone on bug triage or perpetual on-call during office hours to sap their will to stay.
The motors on these burn out pretty quickly, after which point they become atmospheric ballistic (not truly ballistic because they have fins and there's atmosphere). This is true of all basic rocket artillery generally.
It's important to note that a Patriot battery consists of multiple components that can be distributed over a wide area. There's the trailer-mounted launchers, fire control radar, and the command and control unit. All the components talk to each other but don't need to be parked next to each other. Damage to a single launcher doesn't prevent the other launchers in the battery from functioning. A damaged radar can be covered by a backup or even the radar from another battery.
The link has a typo, you probably meant https://github.com/Blub/netevent
I'm not going to participate in this nonsense nerd sniping.

I don't have a dog.

I think other forms of environmental destruction can be relevant in general, but generally irrelevant to any discussion of climate change.

I think it's perfectly sensible to be concerned about climate impact on a macro scale and for people to make reasonable trade offs. I don't think "car=bad", only that in many areas (including where I live in CA) it's the highest single-source of greenhouse gas emissions, so it should be paid the appropriate amount of attention to.
Seriously? Has the bar changed from "Google it" to "Read through several research papers and books" for someone to comment on how true something is generally accepted to be? And you're saying that the person who looked something up on Wikipedia is the problem?
> hammers

Just stop. Programming languages aren’t like carpentry tools at all.

For a programming language to survive you need a critical amount of users so that they can support each other by teaching each other, writing libraries, and influencing management in private and public industries to adopt the languages that are wanted. That naturally leads to at least some competetition for mindshare among developers, even (especially?) among the grassroots.

Just let this lame analogy die already.
Milk-V Pioneer – Crowd Supply
Non Linear Circuit's Tripple Sloth is probably worth a mention:

https://www.nonlinearcircuits.com/modules/p/triple-sloth

I'm not sure if it does exactly the same thing, but anyways it's used in modular synthesis to automate semi-random changes over time.
The reason this sort of thing comes up a lot is that it doesn't feel like rolling your own crypto. Developers will be quick to point out that their language of choice has a well established sha 256 library, developed by experts, who did all the crypto rolling. And then they came up with some workflow using it, not expecting this sort of interaction involving the way they use it.
Seems like a good way to select. The dating pool may be small but it'd be epic.

One of the Project Eddystone things I wanted to build was a dating profile. Literally showing up as a notification on people's phones. More as a demonstrator than intent but dates would have been welcome. ;)

Instead I built a small digital library & electronics parts loan catalog. And started building a "What am I reading".
It's also a sure way to boost piracy.

Service providers don't seem to learn that by restricting access to content they only incentivize people to pirate it instead. The more accessible content is, the less likely it is to be pirated.

The music and gaming industries have mostly caught on, but for some reason TV and film are still clinging to their old ways.
The artist using AI to turn our cities into 'a place you'd rather live'
American Redoubt: Conservative Political Migration Movement
It's arguable that the LLMs can help many people improve their writing, communication, and discourse. But I agree that it should be used more like an editor than a primary author.
Beej helped me get into programming back in 2004-5....what a legend!
Duke Anthropology Professor Goes Undercover in an Amazon Warehouse for 18 Months
Can you share more about what you are doing or what you've seen others doing?
Bio-compatibility issues are not intractable. We know about many biomaterials that the body doesn't have a strong adverse reaction to. I'm sure people are developing materials that are both conductive and bio-compatible.
Admitting you are wrong and made mistakes is sort of an impossible task for despot dictators though. He has spent decades killing or jailing anyone who told him something he didn't like, so everyone learned to tell him good news.

It's part of the reason why the initial invasion went so terribly; Putin's analysts told him Kyiv would bend over immediately, and that the public would welcome them as liberators.

Putin smells so much of his own farts that he bought it completely. The analysts were then shocked when Putin said "Okay, invasion today"
Should we have a death penalty for car theft? Letting victims shoot alleged perpetrators then not charging them. Maybe death penalty for bread theft next week.
Nice theory, but how is your kid going to love World of Goo when:

> Note: Netflix games aren't available for Kids profiles.

https://help.netflix.com/en/node/121442
What I’m saying is it’s not correlated to the complexity of the input, because GPT models don’t have a built in way to say “let me stop and think about this”, it’s a fixed amount of computation per token
The Computational Democracy Project