skysight-inc/HackerNews huggingface dataset:
Edit:

Seems like I misread the documentation...

~~What I was implying is that Kani just can't figure out all of the paths;~~
~~Consider this example from Kani documentation [1]:~~

fn estimate_size(x: u32) -> u32 {
if x < 256 {
if x < 128 {
return 1;
} else {
return 3;
}
} else if x < 1024 {
if x > 1022 {
panic!("Oh no, a failing corner case!");
} else {
return 5;
}
} else {
if x < 2048 {
return 7;
} else {
return 9;
}
}
}

~~Kani is very unlikely to find x=1023.~~

https://model-checking.github.io/kani/tutorial-first-steps.h...
This would probably be closed on SO as too broad.
By running it in an ephemeral container with no network access for each file you want to check?
Is registering domains with names similar to a product of a third party a valid investment strategy? Particularly if it is very early in the product lifecycle?
I get the same thing on Chrome and my last generation Intel iMac.
The Apple situation was far more egregious. There was no announcement or planned end of support (no surprise coming from Apple).

One day I flipped on the TV and it no longer worked. From what I could piece together, they made a breaking change to their API and did no testing on the legacy product. Instead of doing the right thing and fixing the bug, they just said "fuck them, they get no updates". No coupon, no nothing, just a brick in my living room and forced to upgrade if I expected to stream content. And Apple, above nearly any other company, had the money and resources to throw at fixing their mistake. But they chose not to.

The other distinction is the ecobee's primary purpose as a functioning thermostat isn't affected.
This entire thread is interrogating whether consumer behavior (excessive consumption ) is to blame for business failures as suggested, but never explained by the original statement.
Prompt Tower v0.1.9 – Batch file selection
Somewhere to download an apk?
The LaTeX code can be found at [1] (.tar.gz) or by clicking the 'directory' link towards the bottom of page [2].

[1] https://web.archive.org/web/20080516051043/http://cm.bell-la...

[2] https://web.archive.org/web/20080516051043/http://cm.bell-la...
I have started searching for “@company-url.tld” to find a public email instead of using contact forms
We run an image scaler on aws lambda based on libvips. We cache the responses from it with cloudflare. We compared to letting cloudflare handle the scaling and the lambda was several times cheaper.
Rust 1.78: Memory-Safe Programming with New Diagnostic Attributes
There are, and have been, very few real bubbles in human history. AI is not a bubble, its a continuation of a technology trend
Backstage is built on a modular, plug-in based architecture that allows engineers to layer-up their developer portal to meet their own needs.

Frankly, this is just incorrect. Just read the configuration guide for "installing" a plugin to see what I mean. You have to modify the source code of your own deployment in several places. That's not a plugin based architecture.

https://backstage.io/docs/getting-started/configure-app-with...

Additionally, check out what it takes to stand up a standalone backstage server. You used to have to clone their repo if I remember right, but now they give you a starter template via npx and leave it up to you to put all of the pieces together. They don't even ship a docker image to get you started.

https://backstage.io/docs/getting-started/

Frankly, the architecture of Backstage is ill-conceived and a hassle to operate. If you have the budget their are vendors that will deal with all of this for you. I think the concept of Backstage is fine, but the execution leaves a lot to be desired.
Its still going on!

I remember when Margaret Thatcher, you know her.

Espoused the Pro capitalist free market fantasy.

All it does in reality is to make rich people richer and poor people poorer.

Yet there are working class people who vote for these peopole thinking they are one of them because they have a good middle class job and salary. Idiots.

oooh! look I'm a Tory, I have a huge mortgage, I have a huge car loan, my life is lived by constantly living off bank loans. I own nothing, Oh yes you are so tory.

Another example of the failure of privatisation here in the old UK.

Since privatisation, our, My, yes my, water, I paid taxes for clean water, clean rivers and beaches to take my kids to swim.

Water companies are now owned by foreign entities like the Saudi's and the French government. Vast profits are paid to share holders all the while the water companies are borrowing billions and still paying out huge dividends. Obscene amounts of money.

All the while spending sweet FA on cleaning up our water and sewage

All with the help of the pro business Tory government who have disabled any safe guards that protect our rivers and beaches.

Dumping shit in our rivers and on out beaches.

Isnt capitalism wonderful
Surströmming
RE ".....Wouldn’t the school just expand their housing and own the homes ..."

No because they may not want the risk and the expense. These factors are not well understood in my belief and experience.
well, "evolutionary pressure on software" seems to be driving laptops to be increasingly segfault-free

and there are instances where individual laptops get more and more segfault averse as time (and updates) happen

...

the problem with characterizing learning as agency is that right now there's god-knows-how many billions of dollars burning on the altar of transformer networks, and it will lead to some learning behavior added to absolutely everything.

(and of course this leads to an argument similar to "god of the gaps" where consciousness becomes less and less unexplainable)
The ADA has for a very long time told diabetics to keep eating carbs. Their tune is finally changing, but no, they don't give a shit about anyone other than themselves.
+1 to vips! It's amazingly fast and stable. I even wrote (some minimal) Swift bindings for it to be used with a Swift backend: https://github.com/gh123man/SwiftVips
still a terrible name
> Can you create a size limit on the pre-signed URL

Yes, pre-signed URL can have the `Content-Length` set and amazon S3 checks it. However, note that this is true for Amazon S3 but not for others like BackBlaze or R2. Last time I tried, BackBlaze didn't support it.
I'm aware, I've been on the experimental vite branch for a while. It is literally "vite, done right"
There are some who believe so. I think they call it "domain investing"
Counterfeit Cisco Devices Discovered in US Military Combat Zones
It could be, especially since the average person likely isn't familiar with OpenAI but has definitely heard of ChatGPT.
Link not working. They are doing something weird with the PDF
Kani will find 1023 unless you constrain the input. The link you posted is saying a property test is unlikely to find it but Kani will find it.
I, for one, apprechiate a company that will cancel their service easily and doesn't have a secret price list only available to people that complain.
but is it justified self-defense to respond to a tiny bite with lethal kinetic force?
It's not clear wether it has been bought:

> I don’t know if there was any financial settlement involved in this dispute. Generally speaking, the only incentives I can think of for a respondent to settle a UDRP dispute early is if a payment is made or in order to prevent an adverse UDRP decision. In addition, even if a UDRP panel ruled in favor of the respondent, it could have been a Pyrrhic victory if the complainant opted to escalate this to the courts, where legal fees can add up quickly

https://domaininvesting.com/openai-secures-chatgpt-com/
I find it somewhat sad. I've seen a bunch of former colleagues posting more and more of that bullshit as time passes by and they don't get a job.

Knowing them, you can see they are desperate, and that's why they follow the spiel to get "noticed" on LinkedIn.
> (If Chrome is such a user privacy dumpsterfire, why not implement WebSerial so that people don't have to run Chrome in order to communicate with and program microcontrollers?)

This doesn't seem like a logical comparison. Is there no other way to program microcontrollers outside of Chrome?
Ask HN: What if ChatGPT popularity breaks your 2024 startup?
Just before ChatGPT, a cofounder and I were refining the concept of a specialized social site/app.

Unfortunately, the explosive popularity of ChatGPT and similar LLMs among ordinary people, for tasks like cheating on homework... breaks part of the fundamental appeal and mechanism of our site.

(Note that, even before ChatGPT, there's always been strong incentive for bad actors to "game" this application domain, so it's going to happen. Our approach actually was a barrier to those people.)

Is there any way we can prevent LLM-generated content from destroying the key to our startup?

Ideas:

* Honor code, change people's default assumptions about what's appropriate, have them take pride in it.

* Have users police submissions, such as with flagging and/or voting, and hope they can detect enough LLM-generated content that HQ can direct sufficient negative feedback at it.

* Do identity verification, to help suspensions&bans have teeth as a deterrent, and to discourage repeat offenders. Costly, and invasive.

* Find a lawyer who really hates the jerks, and wants to craft a legal way to be able to go after them (including deep-pocketed competitor saboteurs, operating through an intermediary). Like, IANAL, but maybe there's a way to offer a side product, for a billion dollars, to let people use do LLM/shilling/etc., and then it's theft of service with a price tag. Or a better idea an actual smart lawyer could come up with.

Better/additional ideas?
Maybe it was before, but now the entire world knows it well. To change it would be taking an incredibly recognizable name—like Twitter for instance—and then just throwing it away. ChatGPT is forever part of history, and almost everyone recognizes it immediately at this point.
If I understand correctly (and I'm not sure I am), what killed MFTF was they pushed ahead too fast. They didn't find all the instabilities before they started building it.

Since then, the instability that killed it (DCLC) has been understood and they've found a way to design the system to avoid it. So mirrors are being worked on still, they just don't look like MFTF.

https://plasma.physics.swarthmore.edu/brownpapers/WHAMmirror...

https://www.researchgate.net/publication/374070078_Physics_b...

https://realtafusion.com/
but you don't have to "100% solve" these things, it's enough if there's an approximate and well demonstrated behavior in a specific adapted context (ie. where the robot is designed/evolved to live/operate)
While I very much like svelte, it's not fully mature yet and it doesn't have a very deep ecosystem, plus the additional hiring time/cost basically means building anything other than a small scale solo project with it is going to end you up in the red.

On the Vue vs React debate, honestly it comes down to preferring templates vs components. Vue is simpler but there are good reasons for a lot of the React complexity, and React still has a stronger ecosystem and more developers.
I dunno if "close enough", but there's no C code in TFA, only Python. ctypes - guilty as charged
The AI venture-capital bubble is destined to burst (eg. Humane and Rabbit are going nowhere) but the incumbents like TSMC and Nvidia are probably going nowhere anytime soon.
pre-signed URLs also allow you to set conditions such as file size limit, type of file, file name etc to ensure malicious party isn't uploading a massive 1 TB file into your bucket which you serve as profile pics. However, while amazon S3 supports these "conditions", others like backblaze implementing S3 may or may not implement it. So beware.
I'll give you a caveat here. To be clear I think any big company should have easy to fill contact forms since they have the resources but as a solo dev building projects I get so much crap from contact forms. It's not even spam - a significant number of users think of the contact form as a chatbot and will ask personal/lazy questions.

Sometimes its not even questions. Just one off statements like 'I want to use your product'. OK...then use my product?

Its very weird and made me try to hide the form more and add extra fields just to add a little friction.
Earth is definitely at the center of the universe, just as any other point of its observable universe.
First, no it wasn’t.

Second, the DMCA has nothing in it that explicitly targets emulators. Now what some hardware makers have done is include some kind of cryptography and called it an anti-circumvention method, but that is a later phenomenon and the earlier attempts at this didn’t amount to much in most cases.

Third, the Yuzu Devs brought the wrath of Nintendo of America down upon them through means other than merely writing an emulator, in particular they were likely engaged in actual piracy. They probably knew they were cooked and chose to settle rather than go to trial.

So again, FUD. There’s been a lot of it everywhere on this specific topic, so quit spreading it around like so much manure to nurture Nintendo of America’s basic stance towards emulation. They can have their opinion, but it doesn’t overrule judicial precedent.
Unfortunately not at the moment, but we hope to support entry level SWE positions in the future.
I'm sure I've said this before on here, but I used to work for a company that provided a SaaS solution to my countries biggest Telecoms provider, and I remember them saying that they actively did NOT want people contacting them - I wouldn't be surprised if at some point actively "hostile" interfaces cost less than meat answering the phones/emails
Can't reproduce it right now, but I'll look into it. Normally, it would show a button to sign in with google.
It’s like having infinite stack overflow examples (and explanations) to sample from and iterate on. It’s unlikely any one of them will solve a complex problem you’re working on but by reading and experimenting with enough of them eventually you grok it.
Not if a landlord is involved :) I do business with CBRE, JLL, and Cushman Wakefield. All of them make me pay them a fee to send them an invoice, and that fee is built into my price since as I’ve said,
I think it would be quite mentally difficult to be successful at writing device drivers (any hardware device, many different fields) if a person had the slightest reservation about debugging. I've got past a lot of blockers by creative trial and error and making it work was the satisfaction driver. I actually enjoy the making things work part. I have had employees who felt the same, one of my jobs was telling management to fuck off while the person worked on the bug, for days without result if need be[1]. The "just writing code" part is how one actually gets to the interesting part where I earn my salary.

I have no idea how an LLM could help with that process.

[1] I successfully found a bug in a CFD solver (not a device driver) in the early days of templated g++ only after 2 weeks of fairly grueling half time work. Missing ampersand in an argument list. Believe it or not I was very happy and doubled down on the code. However! I once fucked up a job situation where my MPI-IO driver failed because I had a very subtle linux RAID hardware bug that I could not find after weeks of effort. I found it later, too late. That truly sucked. I really don't know how LLMs could possibly help with any of this.
> electric tankless water heater

I went with a heat pump water heater.

The tankless heaters use so much amperage that I'd overload my main breaker if someone took a bath while the car is charging and the heat it running.
I saw link to backstage some time ago, but I could not figure out what it's supposed to provide. Can someone explain what it does / what do you use it for?
I've tried a few times, it didn't work out:

- the PD was off, making me nauseous

- looks bad on me

- fits poorly and would require going to a glasses store anyway for adjustment, if it's even possible

- lower quality than expected

I could have spent more time to address these problems, maybe by better researching what I was buying, or returning obviously bad glasses; but I'd rather go to Costco or some other independent store where I could see the glasses before buying them and getting them fit correctly quickly. If you're stuck with the Luxottica monopoly, I can see how paying 1/4 or less of the in-store price is a steal, but I'm ok with paying around $100 and having a much better idea what I'm buying.
Yup. The early collected tales often violate a lot of what we'd today understand to be basic "rules" of storytelling, for example maybe somebody gets given a magical item, they're told it can be used three times - in any modern story we known we will see it used three times in the story, maybe the last time is a twist, but a reader or audience knows that's how this works - but in one of these tales it'll sometimes just get used twice because that's all the story needed.

Chekhov's Gun is another rule, in these early tales maybe our hero is given a magic whistle, big deal is made of the whistle, there's a ceremony for it, and then he fights a dragon, and... he slays the dragon with a sword. What is the whistle for? Nothing, it's just a magic whistle, the real world is untidy like that. If you wrote a Hollywood movie which did that, reviewers would be appalled.

These rules create a straitjacket that I think needs to be resisted more often, and so I'm glad to see that the stories targeting small children (e.g. "The Tiger Who Came To Tea") don't obey them as strictly, and that's why my favourite comic book issue is "Winter's Tale", Gaiman's telling of the story of how Winter Moran (Miracleman's daughter) went far away and came back. Gaiman chooses to tell this as a kid's picture book in a story-within-a-story because in this mode it needn't obey normal adult rules - Winter meets various ludicrously powerful people across the galaxy, they all seem perfectly delighted and assist her. Adults would suspect that maybe the galactic slaver traders and arms dealers aren't entirely aligned with Winter's preferences, but in a kids book that never comes up. Winter says "Everything" already belongs to her and the arms dealers just say OK, then this is already yours. Just like that. There is no big fight scene (back on Earth a climactic fight is happening, but it's not shown at all), there are no verbal or physical clashes, she just meets people around the universe who are all very agreeable and then she comes home.
After Apple will relase a new iphone with ChatGPT-style integrated.
Outside our bubble chat gpt is not much used, but everybody talks about it is the future. So when they are tired repeating "AI is the future"
It seems the folks at OpenAI were surprised by how popular ChatGPT became. Because they didn't expect it, they didn't do the usual things to protect the "ChatGPT" brand, such as buying the .com domain name.

They also didn't do a very good job of protecting the "CHATGPT" wordmark trademark. Check out all the "live" trademarks there are for "CHATGPT" with the USPTO, and note how most of them don't belong to OpenAI:

https://tmsearch.uspto.gov/search/search-information

Edit: It seems there's no way to link to the search results, but you can do a new search for CHATGPT easily enough.
not really when some of their personal wealth + pension funds and some other financial made up products are relying on Apple and big tech stocks being intact :) simple.
Bender was running 6502 the same as my first computer: Atari 65XE
> As if a healthy Native nation wouldn’t stop hunting endangered species!

The North American megafauna didn’t disappear all by themselves. More recently, the Maori certainly made some species go extinct in New Zealand. https://en.wikipedia.org/wiki/List_of_New_Zealand_species_ex...

If you’re going to recognize that natives/first nations/etc. have agency then we have to accept the good and the bad instead of infantilizing them according to some fantasy ideal.
I’m getting tired of people not using the Shift key.
I’m sorry keep returning to this, but seeing today’s headlines in Haaretz kind of proofs my point (or at least you should be able to understand my point of view from it):

> Israel-Hamas Hostage Negotiations Hit Critical Juncture as Netanyahu's Statement Jeopardizes Progress

https://www.haaretz.com/israel-news/2024-05-04/ty-article/.p...

And:

> Hamas Accepts Gaza Cease-fire Deal; Israeli Officials Reject Prospect of War Ending

https://www.haaretz.com/israel-news/2024-05-04/ty-article/.p...

This is very similar to how the failed Qatar brokered ceasefire deal turned out in January/February [1]. It was also a temporary ceasefire with extension clauses, and all but ready to be signed and put into effect, meanwhile Netanyahu kept trying to vandalize it with statements of how Israel would not comply. And despite all that Hamas agreed to it, and it looked like it would come into effect, but at the last moment Israel withdrew and the genocide continued.

It may be true that Hamas is a bad actor in these negotiations, and it may be that they bear a ton of fault for there not being a ceasefire already. But as today’s headlines prove, Israel’s responsibility is at least as much.

1: https://www.bbc.com/news/world-middle-east-68225663
A HWRNG is not necessarily a TRNG. As you say, a TRNG has one bit of entropy per bit of output. There's no way to prove this property is even possible in this physical universe, since it requires perfect unpredictability. Urandom is a CSPRNG seeded by a HWRNG.
Software defined malicious compliance. “Sure, it can tune to AM. Ticket closed.”

Just keep kicking the can until the last ~4k AM stations in the US close.
Good luck filling it on a road trip!

Besides, home charging is such a game changer that using a non-traditonal fuel is just a waste of time.
Never heard it called that. Domain Squatting is the more common way to refer to it.
Yes. I've seen this go well, and I've seen this go terribly. It works (in my experience) when the migration work is pushed down to the directly responsible teams - with, of course, affordance made for the time it will take them. (Sidenote: that has the benefit that they learn / re-learn their dependencies for themselves, and discover efficiencies they never would have otherwise.) An overarching "migration team", or whatever you choose to call it, only adds friction, confusion, and more kludges. Management has to be fully committed, and enforce deadlines all the way down the line. Running two systems can (usually) be done short-term, but not long.

(Another thought: "short" and "long" terms are variable for different teams and different types of services. Scheduling should take that into account.)

Admittedly, however, I've not been through it at a particularly large organization. I'm sure there is exponentially metastasizing complexity (human perhaps even more than technical) once the process involves more people than can fit in a room.
Support and contact are two different things. Companies shouldn't have existing customer to fill the generic contact us form.
No. They'll even circle live animals if they can tell they are sick or dying.

I personally witnessed this in the city trash dump of Tegucigalpa. Emaciated cattle grazing in trash, with cultures circling above them.
Maybe I’m dumb but I’ve never found a single textbook, manual or tutorial that taught me everything I need to know about a subject. I always have to make a circuit of multiple sources and examples before I understand fully.
I mean, it's something we did once per day, usually towards the end of the day. This was pre-Covid, so our manager was in the room next to ours and we could just pop by his office to tell him we were ready for today's review.

It really doesn't need to be a massive amount of task-switching. And the benefits were obvious.
If the automakers don't care about reception quality, then why oppose this law? Bad reception in their cars will make their cars look bad, if only by a little, which is why they care.