skysight-inc/HackerNews huggingface dataset:
Does Replit Ghostwriter reference live documentation of the API you're asking for, or is this just coasting on having memorized a recent version of the Slack API? If the latter, this seems like a completely unsustainable approach to development. What happens when an API change is introduced and none of the code Ghostwriter is giving you works, and its explanations of the API are all wrong?
I also prefer BB’s, I think because the rapid increase in scale gives me an almost supernatural or divine feeling. As you said, “smallish” BB’s already transcend ZFC, which is something like humanity’s best attempt at “universal” logical foundations. So, when thinking about BB’s, I can’t help but feel that I’m running up against the limits of what is even possible for humans to comprehend.
Right exactly, for me It was https://www.byond.com/ with their C like language Dream. Had their manual open on the left and their game editor on the right and when I made the low quality fireball move for the first time, the rest, as they say, is history.

If, for this next generation, it's an LLM on Replit, that's genuinely awesome.
other thread: https://news.ycombinator.com/item?id=37781612
I started to go down a line of thinking where I think we might see a return to books in the next 3-5 years. The reason is that with a book it’s a big collection of knowledge and people can post reviews about the quality of the book whereas on the web you have no way of knowing what quality of an article will be anymore.
Weight loss drugs may be linked to stomach paralysis
Electric Hydrogen is the green hydrogen industry’s first unicorn
Really? And which model? What kind of setup are you using?
The legality is itself a function of commercial and political power amongst publishers.

In front of a jury of peers, the moral arguments might well be persuasive.
https://archive.ph/2023.10.05-165142/https://www.wired.com/s...
Chargeback in Europe can, at least with some major banks, require first a fraud report with police.
> Anybody else needed rpath (hard code search paths in binaries) to make sure the shared objects were found?

What the heck are you doing, that the binaries coming with your system aren't finding their libraries in the default system dirs?
During final assembly of the Dyson sphere, the astrodynamics contractor cranks the to-be-enclosed star's fusion rate way up - to brake the infall of the segments of the spherical shell with light pressure. Then, once all the shoring joints between the segments pass their load/shear inspections, the general contractor clears the AC to drop the fusion rate back to nominal.

From a distance, the now-enclosed star seems to wink out in a very brief time.
Platforms like subscriptions not only because of money. YouTube does know a lot about users, but it can be sure that you are likely not a bot if you have an account.
Am I an artist if I let Midjourney create an image for me
They have to have the same price for “non members”. You can sign up for free to the hotels loyalty program and book a lower price.

You also get points if it is a chain hotel that can be used for future stays. The points can be worth from 7% to 20% of the cost based on what combination of base points, credit cards, and status you have.
When setting up a mini PC as a home server about 40 days ago, I did not realize Fedora Server does not configure NTP synchronization by default. In only two weeks I managed to accumulate 30 seconds worth of drift. Prometheus was complaining about it but I had erroneously guessed that the drift alert was due to having everything on a single node. Then when querying metrics and seeing the drift cause errors, I compared the output of date +'%s' on the server and my own laptop. The difference was well over 30 seconds.
I'm very happy to hear that
When I use C or C++, it's certainly not for legacy reasons. And my use of it doesn't prevent you from using a different language.
Plenty of browsers allow self-signed certs—Firefox and Safari, to the best of my knowledge, treat HTTP/3 certs exactly the same as they treat HTTP/2 and HTTP/1.1 certs. Chrome has taken the position that it will no longer allow self-signed Root CAs for HTTP/3 websites, to prevent SSL interception with companies intercepting all of your traffic. For personal use, you can always whitelist an individual certificate using a CLI flag without allowing a trusted root CA
I don’t understand how a fine fixes the problem.
Especially since you don’t know where the money goes.
I guess it does make a good story though.
> that argues it's the users responsibility to be careful,

If you try to sort with a function that's not a valid comparison operator, I don't know what to tell you. What should it do?

Semantics cannot be validated at compile time. The best that can be done is to annotate the function as "yes this should have the right semantics" as is done in Rust and C++ concepts, but that's still not a guarantee.
lol, I'd never seen that before, but when looking at how to make haptics, there are lots of haptic body suits. I'm wondering if someone (not me) should just make a vibrator with an open api, but I guess that's what I'm using your phone as :)
IIRC, straight lines alone will give you projective geometry (which also has points, but they're the meet of two lines).

> If you create a parallelogram

Parallelism requires affine geometry, which you can't get just with straight lines (and their meeting points). Here are couple of explanations:

- We can also get projective geometry by using great-circles on the surface of a sphere (e.g. "equators" at different angles around the Earth), instead of straight lines on a flat plane: both situations give rise to exactly the same theory. Parallelism doesn't exist on the surface of a sphere, since all great-circles will meet at two antipodal points, so projective geometry (which describes great-circles as well as straight lines) cannot be used to construct/ensure/check that two sides of a quadrilateral are parallel.

- Alternatively, consider that projective geometry is invariant to changes in perspective, whilst parallelism is not. For example, we can get two straight lines by tracing over a photo of train tracks. If the photo was taken top-down, then the lines we traced will be parallel; but if the photo was looking along the track then our traced lines will converge (in the photo, they "meet" at the horizon). Projective geometry (and hence straight lines) can't distinguish between these two scenarios, due to this invariance.

> And if you can determine that the diagonals are the same length

If we extend our straight-line setup with some way to determine parallelism, we still wouldn't be able to compare the lengths of the diagonals, since they go in different directions. Projective geometry + parallelism is affine geometry, which can only compare lengths in the same direction. Essentially, parallelism allows us to translate: we can use this to compare two line segments by translating one so they share a common starting point, then seeing whether the other end has landed closer or further than the first line's. The latter comparison only makes sense if all the points end up colinear (i.e. the original segments were parallel, unlike a pair of diagonals).

To compare the diagonals we also need some form of metric, e.g. like the distance between a pair of compasses.
And if we reflexively block every advertiser the platform shows?
Not surprising, the pipe you've created doesn't transport any of the data you've echoed.

(echo red; echo green 1>&2) | echo blue

This creates two subshells separated by the pipe | symbol.
A subshell is a child process of the current shell, and as such it inherits important properties of the current shell, notably including the open file descriptor table.

Since they are child processes, both subshells run concurrently, while their parent shell will simply wait() for all child processes to terminate. The order in which the childs get to run is to a large extent unpredictable, on a multi-core system they may run literally at the same time.

Now, before the subshells get to process their actual tasks, file redirections have to be performed. The left subshell gets its stdout redirected to the write end of the kernel pipe object that is "created" by the pipe symbol. Likewise, the right subshell gets stdin redirected to the read end of the pipe object.

The first subshell contains two processes (red and green) that run in sequence (";"). "Red" is indeed printed to stdout and thus (because of the redirection) sent to the pipe. However, nothing is ever read out of the pipe: The only process that is connected to the read end of the pipe ("echo blue") never reads anything, it is output only.

Unlike "echo red", "echo green >&2" doesn't have stdout connected to the pipe. Its stdout is redirected to whatever stderr is connected to. Here is the explanation what ">&2" (or equivalently, "1>&2") means: For the execution of "echo green", make stdout (1) point to the same object that stderr (2) points to. You can imagine it as being a simple assignment: fd[1] = fd[2].

For "echo blue", stdout isn't explicitly redirected, so it gets run with stdout set to whatever it inherited from its parent shell, which is (probably) your terminal.

Seeing that both "echo green" and "echo blue" write directly to the same file (again, probably your terminal) we have a race -- who wins is basically a question of who gets scheduled to run first. For one reason or other, it seems that blue is more likely to win on your system. It might be due to the fact that the left subshell needs to finish the "echo red" first, which does print to the pipe, and that might introduce a delay / a yield, or such.
You could say this about almost any Linux-based GUI-first system.

Linux is a small part, and very important, of the Ubuntu ecosystem.
Decidability has very practical applications. There have been a number of security exploits that have depended on the attacker being able to run a weird machine inside a decoder of some kind, like NSO's iPhone hack:

https://googleprojectzero.blogspot.com/2021/12/a-deep-dive-i...

"JBIG2 doesn't have scripting capabilities, but when combined with a vulnerability, it does have the ability to emulate circuits of arbitrary logic gates operating on arbitrary memory. So why not just use that to build your own computer architecture and script that!? That's exactly what this exploit does. Using over 70,000 segment commands defining logical bit operations, they define a small computer architecture with features such as registers and a full 64-bit adder and comparator which they use to search memory and perform arithmetic operations. It's not as fast as Javascript, but it's fundamentally computationally equivalent.

The bootstrapping operations for the sandbox escape exploit are written to run on this logic circuit and the whole thing runs in this weird, emulated environment created out of a single decompression pass through a JBIG2 stream. It's pretty incredible, and at the same time, pretty terrifying."
The lists that I post, and that most users post, are reviewed to include only the interesting threads. This makes them more valuable to readers, since the odds of going on a click trip to something boring are much lower.

Rather than autogenerating them, I think what we'll do is add software support for the community to collaborate on the 'related 'list for a post. And it needn't just link to related HN threads - it can be related URLs on the same story, for example.

When we'll actually get to this is another question of course...
Something that is very disturbing in seeing people compare AI models to humans is the seeming implication by many of them that humans only have rights because a law says they do, and that there are no rights inherent to being a human (which AI models are not).

Arguing that because a human can do something, an AI model should be allowed to as well, shows a remarkable lack of value of humans.

Humans are more valuable than AI models, and should retain many inherent rights that AI models should not.

AI models are just pieces of software, they're not actual intelligence or sentience or life. And companies using them are just profit-driven companies, not benevolent child-rearers of a new lifeform.

This entire case is just a corporate power-grab seeking to profit from the work of others for free without legal repercussion, and it's sad seeing so many people jump to support the corporations.
Well Java syntax is very verbose, but I'm referring to the effects of static typing on the program structure.

Dynamically typed programs have much simpler structures and are much easier to reason about and test than their static typed counterparts.

The larger the program you write with static typing, the worse it becomes compared to it's dynamically typed counterpart. The internal complexity of statically typed programs grows at a much higher rate. This increases development times and decreases program correctness.

Through I don't think I can really do a fair comparsion with a functional language like Scala. I've only used Scala for 2 weeks on a single project. Functional languages tend to increase code correctness by trading away performance.
Do google developers develop on Chromebooks ?
I think it goes further back than that. You can find early radio broadcasts where the story was brought to you buy some brand. They would even work the brands into the stories sometimes.
Not even just compared to individuals, but even to smaller competitors. If a smaller company acted like Booking did here, they'd be sued into oblivion or out of business in no time. Same with a shop that sold counterfeit goods as casually as Amazon or an app store seems to, or one that fired people as suddenly as Twitter/X did those months back.

The problem is that laws are basically just 'suggestions' if you're rich/your company is rich, and life altering consequences if you/your company is not.

There should actually be jail time for corporate leaders that break the law, and the potential of being forcefully removed from office or the company itself forced to shut down if poor behaviour continues.
They have to, it's a "derivative work".
Wasmer Edge (Beta) Is Now Generally Available
Google actually makes a router?
There is an strange opinion, praising the freedom in South Korea, when South Korea is also a country with censorship in movies and several media: https://en.wikipedia.org/wiki/Censorship_in_South_Korea
I kept hearing rust was ready for embedded pretty early on (like 2018), and I fooled with it for a bit in 2021 and it definitely was not, on the platform I chose at least. Updating compiler version (minor update) broke existing code, I was relying on one guys hobby to support the relatively popular (though fading) mcu I pulled out of my parts bin.

What about rust today makes it suitable for replacing some code but not all of it? What’s better, what still isn’t there yet?

I guess from my limited experience register fiddling ergonomics in rust were miserable, but I was blessed with working with an extremely safe and ergonomic set of c macros at work (you could do something like rmw(i2s, clockconfig, enable, set) and know if it compiled that such a value corresponded to a valid value in a field that existed in such a register in such a peripheral) and I know some vendors provided c “pac” equivalents that were pretty sloppy and error prone, if still nicer than all the punctuation needed to set a bit in a register in rust. How is HAL quality for popular platforms? How much does that matter? The stm provided c HAL is extremely limiting in my experience, anything fancy requires bypassing it, and I worked places without touching the vendor provided libraries ever but I guess having it as an option for popular platforms is important.
This crackdown is also in preparation for moving podcasts into YouTube where ads can be injected into them more readily than in the Google Podcasts app.
Twitch has a timer in the corner for when the ads will be over. Seems like it’d be pretty easy to create an adblocker that looks for that and just blanks the screen out during ads.
Would you know! So Linus is the real father of blockchain?
https://en.wikipedia.org/wiki/ISAM
I had been using Youtube exclusively from a browser with uBlock Origin and only learned about its ads persistence when we finally upgraded our ancient TV. I was in shock, the service is close to unusable with ads.

At the same time, the reality check is that ads continue to be the way to monetize the masses as no other model works at this scale of users.

So do expect it to get worse. By means of IP, the Web Integrity API, whether you've opted-in to this new "Ad topics" thing in Chrome...the future direction is to discriminate clients. You will see the ad or not see the service.

The only resistance is to just watch less or not at all.
Guy in backyard makes contact with ISS Astronaut using handheld antenna [video]
I blame Electrify America for tanking the viability of EV road trips with their abysmal reliability.

I know of several people who sold their EVs to buy Teslas for the fact that they couldn't take them on long trips.
The middlemen argument isn't valid anymore. Hotels have for the most part forfeited their right to sell directly. Which means whatever they do, they still pay full commission to whomever they are under contract with, unless said booking concerns 10 rooms or more.
They are busy planning a conflict with China now.
Sounds like a success if that means people see more ads while trying to find what they actually searched for.
For one, the post isn't about AI art in any way, which makes your comment appear as a low effort drive-by.

Second, the use case described in the submission is functional and internal-only, and does not deprive or have the potential to deprive software developers or artists of any lost revenue or recognition. It's purely a reflective experiment.

There's some nuance into the scope of generative AI, which normally Hacker News does well at discussing. But kneejerk "AI art is theft" comments only serve to discourage people from sharing their experiences with AI.
Unfortunately, that's a trivial signal to emulate.

At a minimum, you'd have to validate them by confirming existence in the Wayback Machine.

Otherwise agreed that those are indeed high-signal documents. Increasing reliance on integrated educational software means that even such things as online syllabi are increasingly rare.
Any plans to spin it out as an egui UI library?
All new devs are given Chromebooks unless they need a specific device (like a MacBook for iOS devs)
> Saying things like "perfectly safe"

I've never said that. It's always about trade-offs, but simply adding a typed system would not have prevented the issue, as it was already built in a typed system.

My whole point is not pro or against typed languages. It's that we need to move beyond that.

> Actually thats exactly what they are, because they will stop you from compiling a program that would have bugs in a dynamically typed system.

It totally depends. It only stops you if you are diligent enough to write programs with a very good type structure and hopefully you don't have any logical mistakes. If you type everything with primitives like uint you can still have a compiling program that's incorrect.

> This thread is full of people suggesting type-safe fixes that would've prevented this

And I could suggest fixes without typed languages that would also have prevented this, like better testing. The point is that a type system does not inherently change anything. It's still up to the developer and the systems around to be good enough to prevent catastrophes from happening.

Using types is most definitely one way of solving the issue, if implemented correctly. But the exact same could be done with a dynamic language.

> But if you keep suggesting that types wouldn't work here you simply don't understand types

Sure... I don't understand types ;)

In any case, I never said types wouldn't work here. Read my comments again. I said types are not the determining factor. The fact that this happened in a typed language simply cannot be overstated. Using a typed language or not affects many variables but it's not what will ultimately decide if a critical piece of software will kill someone or not.
What do you think is incorrect, exactly? ChromeOS is a GNU/Linux distribution - a Linux kernel with GNU and other userspace components on top - derived from Gentoo.

Android, it's true, is a non-GNU Linux distro, which does use mostly custom userspace parts over the Linux kernel.

I wasn't intending to discuss Android, just to point out that ChromeOS is a GNU/Linux system, and a surprisingly vanilla one at that.
> It’s also only going towards improvement from here

Why?
That’s the great thing about booking directly especially with a chain hotel. If you don’t like it, you can cancel the rest of your reservation and only pay for the time you are there. With travel portals it’s much harder.

Even if you’re not happy with the response from the hotel - and I’ve never had a problem with a chain hotel making things right, I can call corporate customer service.
You could say that ChromeOS is Google's desktop environment with a Linux kernel, also. Which actually is!
For a stunt car like this there's not a huge need or desire to have it powering the wheels at all.

The direct air thrust will push the car just fine, doesn't need a transmission, has zero issues with wheel spin or traction, and so then doesn't require re-engineering the wheels/tires and then the suspension and/or chassis to handle 1350hp.
My YouTube recommendations are awful so it’s really interesting to hear that yours are good. Wonder what the difference between us is?
We even have speeches by Cheney from just a few years prior about how much of a horrible quagmire an occupation of Iraq would be.

>Have to give credit where credit's due.

The only credit due is that which the Hague would give.
Yes. But it seems perhaps they haven't even done those things correctly.

The project seems to have a slight case of Wolframesque overreach

https://arxiv.org/abs/2210.00901

The 8 Fallacies of Assembly Theory

https://hectorzenil.medium.com/test-8f0be54817c4
Yes.

It is actually fairly tricky to get a value across threads like this. The simplest I could come up with is this:

struct UnsafeSync<T>(T);

unsafe impl<T> Sync for UnsafeSync<T> {}

fn main() {
let i = std::sync::Arc::new(UnsafeSync(std::cell::Cell::new(0)));

let thread_i = i.clone();
std::thread::spawn(move || {
thread_i.0.set(1);
});

eprintln!("i is {}", i.0.get());
}

https://play.rust-lang.org/?version=stable&mode=debug&editio...
YouTube knows a ton about most of its users since they’re using chrome with a google account.
Without naming the company, I have seen specific examples of blog posts being written by AI, hallucinating a "fact", and then that "fact" re-surfacing inside of Bard.

Its xkcd's Citogenesis automated and at internet scale https://xkcd.com/978/
What hotels don’t allow you to book directly?
You can achieve similar on terra firma. Go way out to the boonies away from city light pollution. You'll be in nature with all of the critters that entails, but hopefully the flying types. Set up your camera to frame just the night sky. Set it for long exposure focused at infinity. Place a dim light source near the camera but out of frame. Black lights work wonderfully well. As the night progresses, all sorts of flying insects will swarm your camera rig at random heights. As they fly around during the exposure, you'll end up with a very similar look.
16 bit CPUs for one. They often lack the instructions.
How I'm reading your comment in the context of the topic is that if the US hadn't been involved in a costly war effort, they could have perhaps countered the moves China made by allocating trillions to support their own industry. They might not have, but at least it would have been possible without the war.