skysight-inc/HackerNews huggingface dataset:
> It really isn't. The second example is ...

So will you admit that the first example has been sufficiently addressed? Because I was commenting on the problem involving the Collatz conjecture.

> It's safety also "depends on the semantics of C and how they've been used in a function", specifically on the fact that accessing an array is safe if and only if the index is in bounds. Out of bounds accesses to memory are probably the most common critical vulnerability in C programs, so it is essential that Xr0 prevents them.

True. As you said earlier:

> The safety of this program requires you to prove that `generate_random_planar_graph` always returns a planar graph, that `compute_chromatic_number` correctly identifies the chromatic number and that the chromatic number of every planar graph is less than 5.

This can obviously only be proven if we have the bodies of `generate_random_planar_graph` and `compute_chromatic_number`. Please provide these, and then I can attempt to answer. Because our whole point in Xr0 is that safety comes down to formalising interfaces – without interfaces for these functions we cannot investigate the safety of `main`.
Cookie Compliance Tester
A tool for testing if any websites cookie policy is compliant with local laws.
Sounds like the complication is your credit card, not the airlines or comparison websites.
Look beyond your bubble. The child participating in 'School over the Air' in Australia likely appreciates having such a resource to develop their social skills. Sometimes, you need a private space, especially if the community around you isn't on the same wavelength as you are or it's your family and some farm hands.
It may take an active, conscious, participatory approach to compensate for.

Though, can you help me understand the connection between the grocery store checkout process and community a bit more?
We walk among you
New account "just asking questions".
Unlock Git Power: Mastering Commands
Git, the indispensable version control system, has revolutionized how we collaborate on code. Whether you're just starting or looking to elevate your Git skills, mastering Git commands is the key to success.
Nice! I've been waiting for this. I've added support for it to my little Go module [1] which has minimum deps and now provides API clients for 5 embeddings providers

[1] https://github.com/milosgajdos/go-embeddings
I live in a tiny city. I get the best of both worlds by gate-checking my bags. I don't have to find carryone space, and my bags are waiting for me at the gate when I get off the plane. I also get to have both a window and an aisle seat on the plane since the plane is so small.
Yes, thank you, I feel the same way. It's especially frustrating because I would really like to have an accurate and fair list that I can reference when I need that information, or refer people to it when their memories are short. It's very not helpful in its current form
Fortran and WebAssembly: Bringing Zippy Linear Algebra to Node.js and Browsers
A school near me ordered 3,000 pairs of eclipse glasses from Amazon. It turned out that they were fakes. It was very difficult to get them back because they had already been distributed to the students.

As far as I know, they had to fall back on explaining how to build eclipse boxes during the weekend which, although cool, aren't as cool.
> tests are not needed

Strong words!
But everyone wants to communicate in identical fashions... the most commended book for social skills is from the 1930s.
> So software sold in September 2022 can no longer run in April 2024, and you somehow try to justify that by "legacy platform"?

What? Wii U software still works fine - you can even still download digital purchases from the eShop if you already own them. The component that was turned off yesterday was the servers used for multiplayer games, which isn’t an unusual thing to see occur this late into a console’s lifespan.

Pretendo are doing good work! Even if most of the worthwhile parts of the console’s library have since been ported to other systems, it’s still nice that some parts of the original experience are going to be preserved.
It's a pretty polarizing subject. I am in the "just check all my crap and be done with it" camp, but many people you'll have to pry their roller bag carry ons from their cold dead hands.
Tools written in Rust (or Go for that matter) generally offer an extremely good user experience: good documentation, well organized CLIs with autocompletion, great performance, easy to install…

If I can, I always try to install the Rust or Go version of a tool instead of the Python or Node version.
(co)-author here. It was really interesting putting this together. We had some idea what LLMs/GPT-4 would and would not do well with, but were still surprised ourselves with a number of things. In particular, we knew it would really struggle with the acrostic, but the degree to which it just completely lost the plot was pretty surprising! It was also surprisingly difficult to convince it that Queen Elizabeth II had died in a lot of cases (it takes it better some times than others).
Agreed. But nothing is simple; they aren't simply capitalist now.
You missed the `!=`, `==` (in many instances), bitwise operators, recursion and `goto`. (And much, much more.)

Xr0 is a work in progress, and we'll get there step-by-step.
Interesting, I was wondering about that too -- so are the "0% drop" states sometimes actually "non-zero % increase" states?
Bioluminescent petunias at home
Thanks for buying the app and the feedback!

> It would be nice to have a settings icon before the delete icon. I had to go to the bar menu to find that.

This is great feedback! It's already the case with the iOS app, I'll port it over to the Mac app in the next update.

> - In the list of models, it would be nice to detect the system RAM and highlight the ones that cannot run, showing how much RAM they would need.

The app does a bit of this already. It does know allow users to bigger models (> 7B) on 8GB Macs and Intel macs for instance. Also, when that's the case it shows an info icon that informs them why they can't download the model. There's always room to improve the UX for this.

> - It would be great to run the same prompt with multiple models. If this would take time and loop through, the use case would evaluate different models using the same prompt.

This might be a bit more difficult to implement. Let me think over it for a while and see what I can do.

PS: You don't need to buy the iOS app separately, it's a free download if you've bought the Mac app (and vice-versa), because it's a universal app.
Just to add an interesting information, the famous GNU Hurd project had the goal of making a system like L4 usable by regular humans. (Later on, they changed it to work literally with L4.)

That doesn't mean any project to do that will have the fate of Hurd. But it is a huge and complicated task.
> They forced the people boarding last to check their carry-on bags.

For free, I hope?
No, you’re right. Census is the wrong word. Just… having a list of residents and marital state seems pretty table stakes for an administrative state
Oh, very cool. Thanks for sharing -- glad to know I have this option if I want to go back. Now that I have Thunderbird set up, I'll probably never use the UWP Mail and Calendar app or this Wino Mail app.
I think the reason why LLMs pose a much higher risk is scale. A bad therapist will impact a limited number of patients, whereas an LLM deployed at scale will affect possibly millions of people. In matters of health and safety, the smallest error rate could have devastating consequences.
Well, in closed they find 'bugs' all the time, a large portion of the time you don't need the code at all. That said, you're not solving the issue and probably not doing anything about it.

On top of that, the vast majority of people won't know what to do if they find a bug. In the distant past I was one of those people, and only realized some of the bugs I saw in hindsight. It's been nearly 30 years so the details are mostly gone now, but I remember messing around in Windows and I could make the Microsoft Netmeeting application crash with a buffer overrun error.

Of course I was really new to computers then and understanding that buffer overflows in networked applications were really bad things (and seemingly beyond a lot of people that had been in the industry). Even then attempting to report security issues back in those days would have been far more difficult (hell and even risky in many cases).

So really it is many things that are required. Running into the issue. Having a deep enough understanding of computing to realize the issue is bad. Having a means of reporting the bug to a place where people will look at it. And a security culture that knows when and how to act on the bug report.
Take pretty pictures of them, then build solar panel farms where it makes sense instead.
Based on cleaning up the asciinema recording it looks to be somewhere around 400-500 kbps averaged over the demo.
> AutoCodeRover does not require or assume a unit test to generate patches.

You have this backwards : it's traditional (at least in the past 15 years or so) to have a test to go along with every code change. The idea is that the test proves a) the bug existed prior to the fix and b) the bug is not there after the fix is applied. Commenters here are noting that ACR generates fixes but not tests.
I think you are correct on that one. How long will it take to run this neural net on cheap consumer devices? It might take more than 5 years. But if all the new AI stuff is not a hype, but continues to be used, we will probably see hardware for running it on cheap circuits in a not to distant future. Maybe using a GPU+RAM like structure. Maybe the analog circuits with analog flash will win? The future will show us :)

Maybe add this URL to the calendar on today's date in 5 years an go back and reply with the answer :-D
At least Apple really delivered with the Ax and Mx chips. Let's see if that pans out here as well.
One brings labor into a country, the other evaporates the need for said labor.

Also there are a lot of guys standing in processing centers waiting for their asylum claims to be processed who would take umbrage with your definition of "wide open border", but that's another discussion.
Can you share your strategy regarding smart packing?
developer's website
https://light.bio/
Cool project. I hope it expands to other forms of tuning LLMs
Do we have something comparable for the 3DS yet?
Yea that 10 hour drive from upstate NY was brutal! The traffic was a nightm....opens article

Oh yea and that.
I'm really enjoying ollama. One thing I made with it: overkiLLM[0]

I went overkill on one simple task: write a good H1. The process is adaptable for tweets, emails or any other short blob of text. Here's the process:

Input: Choose authors (e.g., Stephen King).

Direction: Select topic or phrase.

Generation: Script creates variations in each author’s voice.

Evaluation: Variations compete to eliminate weak entries.

Ranking: Rank variations by wins and losses.

0 - https://www.definite.app/blog/overkillm
Why not use AutoCodeRover, Magis, and Devin together for 46%

/s
AA will make you pay extra to "choose your own seat" ($75-$150 extra per ticket for basic economy -> main cabin) and then block off all but 3 rows as "premium seats" so that you can pay $30+/leg/person to sit with your party/travel companion after paying already paying extra. Better get to the airport early and beg the gate attendant or spend an additional $240+ (1 layover, 2 passengers)!

If you book a codeshare they don't even try to let you choose, they simply put in the fine print that the choosing your own seat perk "may not apply to partner airlines".

I hate it.
This page is one I point many people to when they ask about Agates. There are a lot of mysteries to agates, but this page will help sort out many of them.
One of the ways I “get around” this rule in areas where China has taken over that industry already is to buy used. Sometimes that used stuff is made in China.
Exactly. That was the inspiration :)
> but this is a forum for start-ups who often have to send out legitimate business emails

If those "legitimate business emails" can be put as Gmail ads, then they're not legit business emails, they're spam.
There is a use case for sort that might be worth mentioning. If someone needs to sort billions or trillion of lines of data, it can be done with coreutils sort. The trick is to use —-temporary-dir and potentially use ulimit to restrict the process memory. Might be worth mentioning under sort as it’s a neat trick.
My understanding is all of the issues on SWE-bench have at least a corresponding pull request.
If something goes on too long without progress it has to end.

They waited way too long to make the third set of Star Wars movie to the point where the only people who cared were toxic fans. If they had some sense they would have made a Doctor Who movie instead because the casting would have been appropriate.

Intel has burned me with numerous screw-ups such as two desktop replacement laptops I had where the "dual GPU" mode caused web browser malfunctions and the one way to make the system usable was to turn off the Intel "GPU". They found out everybody was doing this but instead of fixing the problem they just made it so you couldn't disable the iGPU. The same way Mozilla killed Pocket by trying to shove it up everybody's noses and Microsoft has killed numerous products (OneNote wasn't that bad but when you shove five icons for it on the desktop and on the toolbars you are not advertising it, you are anti-advertising it.) Intel GPUs have dragged my computers down for more than a decade and the one thing I want to hear is that they made a chip that doesn't waste a square micron of space on a GPU I don't want.
fwiw the example issue highlighted in the post was already fixed by a human 3 years ago so I wouldn't expect to see much in the way of real life fixed issues yet.
I said it's not as simple but there are ways - e.g. you can generate more of your best quality of data, you can try to model the direction of quality or an objective, you can have minor human input at some points to judge which direction performs better, you can objectively verify some of your input to use as a partial objective - code, math, logic etc.
Google announces Axion, its first custom Arm-based data center processor
So this is about broken promises. The Swiss overcommited.
AI-fuelled election campaigns are here – where are the rules?
What language do you read it in? I find the English translation of FGO to be about as easy to read as Chinese.
> Feudalism is defined by a few noblemen owning huge swats of land, lending it out in exchange for labor.

Feudalism was much more complicated than that.

Again, it was closer to federation where there were a bunch of reciprocal and overlapping relationships between multiple people. A feudal lord might just be someone who owned a castle on a hill. Again, the situation is much closer to federation.
So, I read this as a “discrete logic network” “card” rather than “discrete logic” “network card”.

All set to learn what a discrete logic network was.
This happened on the last 4-5 flights for me, at least. If flying with family, can be a nice "optimization" to pack into carry-ons and check them all in for free, when offered (sometimes when checking into the flight, sometimes at the gate). Interestingly, I had one such full flight where the overhead bins clearly ended up with a ton of free space so perhaps others went with the same strategy.
Please don't respond to bad comments by breaking the site guidelines yourself. That only makes things worse.

Crossing into personal attack is especially bad, so please don't do that, even when provoked.

https://news.ycombinator.com/newsguidelines.html
What an I going to do, take a train.

I can get power and a stable internet connection on a train, so I can really work while traveling. Plus no worries about bags, tiny seats, pieces flying off the plane and people dribbling on you.

I use to fly regularity many years ago, now, never again. I told my manager over 10 years ago, I will never fly again, so allow me to drive or take a train on company time, or I will not go :)

No other way of travel is a bad as flying. 30 years ago it was rather good, now it is 1 or 2 steps away from torture.
And that's why I'm using Unigram on Windows: it runs in a sandbox.

https://github.com/UnigramDev/Unigram
I'm very sorry for the inconvenience caused! Currently, the website displays user-generated images, showcasing the most recent 50 images uploaded by users.

Due to the nature of the models, some are prone to generating NSFW (Not Safe For Work) type images.

I will think about how to best control this issue moving forward. I apologize again for any inconvenience this may have caused. At the same time, I appreciate your feedback, support, and understanding.
Ok, prove your claims
There are other options. Positive train control is better than strong cars - train control means the trains can't crash in the first place (they can still derail, but you can't run into a slow/stopped train in front of you as the train will automatically stop if it cannot verify there is no train on the track in front of it). This is now mandatory in the US (with a lot of fine print exceptions).
CA Lawmaker Proposes Bill Forbidding Employers from Calling Workers After Hours
This article underestimates how much good a man in spandex, can make for Tesla stock price.

https://www.autoweek.com/news/technology/a37359183/tesla-rob...
Interesting game! I appreciated the questions which could confuse us but not GPT4 and viceversa.

I had to convince GPT4 that Queen Elizabeth II died and we're in 2024.
Another episode of "what convoluted way can we use tech to 'solve' a social issue that it clearly exacerbates to try and desperately keep the blind cult-like silicon valley version of techno-optimism alive for as long as possible, while ignoring the obvious disastrous social consequences"

I'm pretty sure nobody 15 years ago would have uttered the phrase "opportunities for practising social skills are hard to come by". All social technology ignores our biological need for physical closeness and the severe negative outcomes to our brains and health when we don't have it. People who are so socially crippled that they would be considering this treatment are a symptom of destroyed communities, broken social cohesion, tech addiction and this overly popular brand of post-covid hermitism that seems popular on this site. These are social ills that all need to be tackled. Absolutely nothing about talking to an LLM will help,
Then how can you have confidence that it actually fixes the bug? It means you still need a human to review the fix, no?
~80% of them will be reelected.
Would be interested to see a formula more like dimensional weight used by shippers: some combination of weight (including passenger), volume, and number of units.
Average US Taxpayer Paid over $5k Toward Militarism in 2023
Interesting that they kept the exploit secret for so long!

More discussion: https://news.ycombinator.com/item?id=39977862
If it arrives on time. Amtrak seems to be hit-or-miss outside of the Northeast Corridor.

Which brings us back to "what they have wrought".
This is irrelevant. The comment was about Apple’s preferred way of locating lost phones was Apple Watch so they don’t support pinging it from an AirTag. This has nothing to do with 3rd party support, and in fact 3rd parties (Tile) do have the feature Apple doesn’t for their item trackers.

Apple not allowing 3rd parties use of their proprietary technology is not the entirety of the DoJ’s argument. For example, their claims about Messages and Apple Watch are about support Apple hasn’t built, not about what they prevent 3rd parties from building.
I was skinny fat once, the best way to combat this is to actually put on weight and muscle. Then eventually lose the extra few pounds.

Julian wrote a great guide on this: https://www.julian.com/guide/muscle/

HN thread: https://news.ycombinator.com/item?id=12618223
> Similar to how it has been done with phone numbers.

Phone number lengths are defined by ITU E.164:

* https://en.wikipedia.org/wiki/E.164

They can be up to 15 digits long: so as long as the format change that goes from length x to length x+1 doesn't break that limit, then no changes to code or equipment needs to be done. The routing just needs to be tweaked so that when a number is read the signal is sent to the correct destination.

This is different from IPv4 where the digit length needed to be changed. It would be like if telephones went from 15 digits to 20+ digits: all the telephone gear would have to be changed to deal with the larger numbers.
Next.js and SQLite on a $3 VPS load testing
Have you heard about mining pools? I think the future of PoW coins is huge payment commissions and payment pools which make the commission acceptable, this is what needed to make Satoshi's claim a reality.
Every function has finite domain on a computer.
I think more than the speed itself, it is how fast we get there.

If instead of getting major hardware wins each year it will be a decade things will be much better because now there is pressure to make it so.
"finding a bug" in source code implies there's a mistake there. A bug can be that the implementation doesn't match the spec, or that the spec changed, with respect to the user (customer).

Reporting bugs vs finding them is perhaps what you're looking for, but I'd argue finding is overloaded. It's perfectly valid to kick the tires on some software and find some bugs.

I've found thousands of bugs in closed source software before, and subsequently reported those bugs.
Such an enormous waste of taxpayers' funds should trigger a well-deserved outrage among Americans, but I guess Americans have seen it all and just don't care anymore.
It may seem responsive if you run old software on modern hardware.

It was always slow on contemporary hardware. On affordable PCs Win 3.1 was so slow you could see it redrawing windows and menus. Win 95 was so resource hungry, people wrote songs about it (https://www.youtube.com/watch?v=DOwQKWiRJAA). XP seemed fast only at the end of its very long life, due to Longhorn project failing and delaying its famously shitty successor.

It wasn't just Windows. Classic MacOS for most of its life could not drag windows with their contents in real time. Mac OS X was a slideshow before 10.4, and Macs kept frequently beachballing until they got SSDs.
Pretty much any structure, you can say the same thing lol. True capitalism has never been achieved!
Agreed, but why embedding them in the video stream? Missing a proper subtitle support where the videos are supposed to be played?
The low skill vulnerable labor you bring into the country evaporates the need for the higher paid labor you already have.
It's really sad that Cursor does not support local models yet (afaiu they fetch the URL you provide from their server). Is there a VS Code plugin or other editor that does?

With models like CodeGemma and Command-R+ it makes more and more sense to run them locally.
Nice. I learned programming reading similar books with Basic programs to type in, with a glossary at the end for commands that differed between Basic dialects — if you have a Commodore 64 type this, if you have an Apple II type this instead.

Also, leafing through this magazine, I was surprised to learn that Teenage Mutant Ninja Turtles were called Teenage Mutant Hero Turtles in the UK.
It is but probably though new math and not faster machines.
Intelligent textiles are looking bright
Kind of actually, just depends how much you mean by "regular human"--it's not super popular but the Sculpt OS[1] release of Genode is a pretty solid system runnable on top of SeL4 that supports emulation for the features it's otherwise missing (a la wifibox). Have not personally used it yet but I believe the developers dogfood it on some decently modern hardware (think Framework). It has a very specific design ethos and aesthetic[2] that I find super compelling.

[1] https://genode.org/download/sculpt

[2] https://genode.org/about/2020-09-16-sculpt.png