skysight-inc/HackerNews huggingface dataset:
One fun tidbit about using Vi keybindings in readline is: you can use '*' as a wildcard when searching history. You can't do it in the default Emacs mode. I use this all the time!

Originally I read about this feature in a POSIX spec, noticed it did not work, and filed a bug with readline about it.

They fixed the bug, but since it was only mentioned in the spec for Vi mode, they did not add the feature to Emacs mode.

I'm glad to have done my part to make Vi mode strictly superior to Emacs mode (:
Yes, having used both TLA+ and Prolog extensively, they share many similarities (both having roots in first-order logic). In practice -- TLA+ code is often a bit more "imperative" owing to the fact that unbounded existential quantification isn't implemented in the TLC interpreter (whereas in Prolog, it is a core aspect of any interpreter).

And of course, TLA+ has a suite of temporal operators used exclusively for declaring contracts in service of its role for verifying specifications. Which (as @hwayne points out elsewhere) stem from mathematics -- Linear Temporal Logic specifically -- and not programming.
> It's not really about motivation. Difficulty of terminating employment can make employees a real liability when you're small if they turn out to be a bad fit.

Given significantly smaller salaries and the typical 3-6 months probationary period before going full time, I don't think this is much of a risk. If someone turns out to be a 'bad' fit 6 months in, the employee isn't the only thing in need of looking into.
> artist who can't afford to iterate his cover art ideas multiple times with a professional finds a creative solution
> ChatGPT as a brand name

You're forgetting the phenomenon of the fast follower or second to market effect. Hydrox and Oreos, Newton and Palm, MySpace and Facebook, etc. Just because you created the market doesn't necessarily mean you will own it long term. Competitors often respond better to customer demand and are more willing to innovate since they have nothing to lose.
I think your point about law breaking is good. Facebook, Uber, AirBnB. Too much law breaking in the name of innovation.

I intended to make a narrower more trivial observation that innovation produces winners and losers. Innovation is just competition.
Microsoft offers to charge for Teams to address EU antitrust concerns
> if you're hacked, it's your fault

I'm on the fence about this. In a perfect world, I agree.

In real life? "They" only need to get lucky once. I need to be perfect all the time, and it probably isn't going to happen.

Don't get me wrong, it is always somebody's fault.

If your is meant as in your business, I'd lean more to the agree side. Security basics are just a cost centre, right?

And how are you supposed to vet a binary from a trusted vendor?
Building a Drag-and-Drop List with LiveView and SortableJS
My problem is they're charging a subscription for a one-time bit flip in software.

That just feels "icky" to me.

With Netflix, they arguably have higher costs associated with supporting super-HD feeds or more devices or whatever else.

My use of "fast mode" in a car has no such recurring cost.

I have no objection to paying for fast mode once, as I would for a V8 model over a V6 model or whatever other upgrade I might want.
I am very sure that OSM does not get this information because they make it hard for businesses to give it. I know this because figuring out how to get that information published was my job a few years ago.

Specifically I was a developer for a company whose job was to update business information in Google Maps, Apple, Facebook and so on. We'd get the data from companies like Cheesecake Factory, Walmart and Trader Joe's, then we would update all of the sites for them.

All of the sites have some sort of API or upload mechanism that makes it easy to do things like publish phone numbers, hours of operation, hours for specific departments and so on. All of them were happy to let us automate it. All were happy to accept data based on street addresses.

I tried to make it work for OSM. It was a disaster. I have an address. Google et al understand that a street often has multiple names. If the address I was given named the street something else, Google took care of understanding that route 33 is also such and so street and they accepted the data. If I said that there was a restaurant inside of a mall, Google didn't insist that I know more than that. If I was publishing holiday hours, Google accepted us as the default authority. (And gave ways of resolving it if someone else disagreed.)

OSM did NONE of that. It was all roadblocks. If I didn't have the One True Name that OSM in its wisdom determined was right, good luck matching on address. If I couldn't provide OSM with the outline of the restaurant on the floor plan, OSM had no way to accept that there was a restaurant in the mall. If a random OSM contributor had gone to the location and posted store hours, OSM refused to accept my claim of its reduced hours on Christmas Day. And so on.

All of the brands that I named and more don't publish to OSM for one reason, and one reason only. OSM make it impossible for businesses to work with them in any useful way to provide that information. And therefore OSM is not on the list of sites that that data gets published to.

In short, if it isn't perfect, OSM doesn't want your data. And the data off of a spreadsheet some business uses to manage this stuff usually is nothing like perfect. I respect how much work went into getting OSM just right. But they made it impossible for real businesses to work with them, and so they don't get that business data.
So you are advocating for even more discrimination and prejudice in society than there is already? Yes, prejudice because we are treating people based on a characteristic that may be completely unrepresentative of their character. This time it's age, not race, but that doesn't make it any less awful. We've been down this path before....
I did over here https://news.ycombinator.com/item?id=35820670
Databases are another data point that fit this pattern. They’re not sexy and commercial players like Oracle have moat.
The major factors after Vietnam that changed the scenario (such that, as you note, Iraq does not impact the national psyche like Vietnam and Cambodia did) are

1) Vietnam broke the back of the draft system. In the aftermath of that war, after realizing force of law had been used to force Americans to kill and be killed in an invasion for no gain, there has not been the political will to reactivate the draft for any reason other than a direct military assault on home soil. Even after 9/11, calling up a draft for Afghanistan or Iraq would have been absolute political suicide for those who tried. The consequence of this in the American psyche is that soldiers who die in our foreign campaigns are "volunteers" and "knew what they signed up for," so it puts the consequences at arm's length; nobody carrying a rifle into a war zone with an American flag on their armor is doing it despite desperately not wanting to, and Americans are sort of fine with a self-feeding military-industrial complex that generally leaves the home front alone.

(This is, of course, not entirely accurate or true, but it's true enough that most Americans sleep at night while some of their children are stationed in Iraq).

2) The US hasn't lost any subsequent military engagement nearly as badly as it lost Vietnam. Afghanistan comes closest, but the 2,400 soldiers dead in over a decade of Afghanistan operation doesn't hit the psychic shock from 58,000 pressed servicemen dead in the 8 years of Vietnam. During the whole Afghanistan campaign, the US consistently lost more troops to injury and accident (across the whole service) than to enemy action; one doesn't get the same moral outrage of "bodies sent into the meat grinder" if most servicemembers dying while serving are dying in car crashes. And the fundamental shift of rules of engagement away from boots-on-the-ground and towards air supremacy and air-to-ground strikes lowered the body count to the point where far, far fewer Americans personally know a Johnny who didn't come home.
I don't think so. We had fire sweep through; I never heard of one safe protecting contents, out of thousands of structures. In every case I'm aware of, the contents were heated to the point of melting most metals, and reducing all papers to ash. Maybe not melting firearms, but definitely rendering them useless. In many cases, the safes failed to the degree you could kick them apart.

Regardless of insulation, when you put a container in a 1,500 degree environment, the stuff inside is going to be wrecked.

Maybe there are some models that would have worked, but I wouldn't trust any of them.
That's not what I meant by interaction. The evaluator had to ask the models to do tasks for them that they thought of by their own. Otherwise there are just too many ways that information could have leaked.

OpenAI's model isn't immune from this either, so take any so-called evaluation metrics with a huge grain of salt. This also highlights the difficulties of properly evaluating LLMs: any metrics, once set up, can become a memorization target for LLMs and lose their meaning.
Not really, my savings converted to EUR gained thanks to the currency movement and then the interest - which is bigger than anywhere in the Eurozone. I am mostly interested in that since I buy property in Eurozone countries. What I spend in CZ is peanuts. Yeah I can buy less bread and butter but I don't really care, it's not like I'm going to buy food for 5M CZK, I spend less than 15k/month on that. And Czech property prices are currently going down anyways.
Terrible, terrible interface in the linked website. I've no idea how much to scroll to get "next" paragraph of content. Gave up after a few attemps, I don't care what he's trying to say, that UI deserves to die.
I know that, but did it have the notebook interface like people call Jupyter nowadays, which was based on IPython which was an explicitly described honoring of Mathematica for Python?

I ask because I don't know if Macsyma had that...we had a university site license for Mathematica so in my case I never had Macsyma to play with back then.
You may (but do not have to) use <reponame>, <filename>, etc. as special tokens to prompt the model with extra metadata. These help you use the model go beyond just code completion.

Page 30 of the TR has a few examples:

https://drive.google.com/file/d/1cN-b9GnWtHzQRoE7M7gAEyivY0k...

Note that they were produced with StarCoderBase. E.g., here is one:

Input:

<commit_before>def fibonacci(n):<commit_msg>add type hints to function<commit_after>def

Output:

fibonacci(n: int) -> int:

(If you try this in the playground, dial down the repetition penalty to say 1.0 in Advanced Settings.)
You stupid teacher (ancient math)
Sadly I've let go. Switched to some other small and fanless things. Surprisingly with x86-64!
Those problems came at a bad time for Toshiba as the Japanese government would not be interested in supporting a national champion in nuclear immediately after the Fukushima accident.
Also relevant link - FIDO’s press release about Apple, MS, Google commitment to passwordless sign-ins.
https://fidoalliance.org/apple-google-and-microsoft-commit-t...
cf https://www.youtube.com/watch?v=JCS-g3HwXdc
can you do that off the top of your head without showing your work?

How I would approach it:

Me: I have two arbitrarily long string so of binary numbers and I want to add them what would be the best way to do that?

The best way to add two arbitrarily long strings of binary numbers is to use the binary addition algorithm. Here's a step-by-step process:
--- steps ---

Me: what if I don't want to do that manually

If you don't want to do the binary addition manually, you can use a programming language to perform the operation. Here's an example using Python:
-- code --

Me: I got an error about not being to big to convert to an integer

If the binary strings are too large to be converted to integers, you can use a custom function to add the binary strings without converting them to integers. Here's an example in Python:
-- more code --

Me: I don't know if this will work. How could I tell?

To check if the custom function works for adding large binary strings, you can test it with various examples. Here's the complete function and some test cases to validate the function:
index.php is back
That's funny because when driving in the bay area, inability to get the -name- of the upcoming exit from google maps was driving me nuts! The exit numbers are not listed on the upcoming exit/distance signs on 280.
When/why would you want to do this? I went to pt. 1 but it didn't seem clear.
It's fine for automotive companies to maximize their profit margin. If they have smaller margins than google, that's probably because google is nearly a monopoly, and there's fierce competition in the automotive space.

A key difference here is a car is a product that we buy and own. It doesn't cost Mercedes an ongoing cost every month to support these hardware features they change a monthly fee to unlock, and so the monthly fee doesn't provide additional value. To the extent it does, it's because the manufacturers are artifically limiting their product. Compare this to, say, and Adobe Creative Cloud subscription. With that, you're getting access to cloud services that costs Adobe to keep running, it also gets you access to new features and security updates. Whether or not you like Adobe's business model, this provides a justification for the subscription model that is simply absent in the automotive space.

Going back to the competition point, even if you just look at the monthly fee as cost shifting, it lets the manufacturers advertise a price that's lower than what the consumer is going to pay.
> So 8% of the capacity for 1% of the cost.

If this is the way that economies of (small-) scale work w.r.t. tunnels, then how 'bout we shoot coffin-like pods down pneumatic tubes for something close to free ?
Huh? Embed is there (and this is great).
If you just want to see the actual raw images from the sat, they're here (seems it's 11k x 11k for a full disc):

https://imagine.eumetsat.int/smartViews/view?view=MTG-I1Firs...

Note, each image opens with a magnifier slider at the bottom, easy to miss on mobile.
> But is that really violating your rights by having someone request your data be deleted from someone else's dataset?

If I used Spotify and anyone could delete my data (playlists for example) that would be quite annoying.
https://archive.is/wOkpG
I'm happy to see -- in the discussion here-- the continued backlash against microservices and the deleterious effects it has had on software complexity, and data modelling.

But I think it's interesting that if we took a time machine back to 2014 or 2015 the tone here would be quite different, and microservices were all the rage on this forum as I recall.

I like to hope that the industry learns from its failed trends, but I'm now old enough to see this is rarely the case.
No, you can’t. To own s3.amazon.com the HTML on that exact domain and not a sub path needs to have a specific link back to your profile on it.
This is fun. I must’ve missed this game — first time seeing it
His malfeasance is clear to most people. You shouldn't make excuses for him; I could have done a better job than him just by not lying about anything.

Furthermore, the US health system is not in an abysmal state. We have more hospital beds, more doctors, and more nurses per capita than Europe.
I say: just hack the damn thing. I own the stuff, I can do whatever I want with it. Also kill all the telemetry and phone home in the process.
“Range” is a euphemism for wasted lithium, cobalt, and/or copper that could be better used elsewhere (I.e., building more PHEVs). If your grid is natural gas you may as well bring your fuel with you.
Play store is able to do the same if google want to. It's not a problem. Its company's choice to sideload
That seems to depend on your use case. Frankly, I don't have much use for either of them but Midjourney was much closer.

I've twice spent a couple of hours unsuccessfully trying to generate a simple background image that would be blurred out when rendering 3D models. SD out-of-the-box was far worse, but Midjourney still was not up to the task. It's incredible how well they can generate images of nearly any subject/object and make some changes to the style and placement, but trying to precisely achieve critical broad-stroke things like like perspective, sizing, lighting direction/amount/temperature, etc. was far too cumbersome. Prompt refining is just like having a program with a bunch of nebulous undocumented menu entries that you just have to click on to see what they do rather than just giving you the tools to make what you need to make. Was that the right entry or the wrong entry? Who knows! Maybe just try it again to see if it works better!

There's a fundamental disconnect between professional-level and consumer-level tools. Consumer tools must be approachable, easy to use, quickly yield appealing results, affordable, and require little maintenance. Professional tools need to be precise, reliable, capable of repeated results with the most demanding tasks, and easily serviceable into perfect working order.

These are consumer-level tools. If you merely need a cool picture of a space ship done in such and such style with such and such guns blah blah blah (that for some reason always looks 10%-50% Thomas Kinkaid,) these tools are great, but they abstract away the controls that really matter in professional work. Novices who get overwhelmed by all of those factors love it because they don't understand, and probably don't care about what they're giving up. For serious work, aside from getting inspo images or maybe generating deliberately weird bits of whatever, they're hit-or-miss at best. Without exception, doing a rough mock-up in a modelling program took FAR less time than trying to wrangle exactly what I needed from one of those generators.

I'm sure they'll get there someday but right now they're miles away from being professional-quality image generation tools.
It also helps that the company they started with is the largest in the industry, and that any regulations targeted at them will affect a couple billions people.
Different applications can have very different requirements. I've worked on systems which would kill for 5% latency and on systems that would gladly pay 5% for better memory usage.
I've been using Vim for years (well, decades really...) and a couple of years ago I decided I was going to go all in and learn to do it all from the the home keys. I did the Vim snake game, daily practices, the whole nine yards. So now I am slightly more productive inside Vim and fucking type strings of j's all over everything else I use.
The author is overly optimistic with the current state of open source LLMs, (e.g., Koala is very far away from matching ChatGPT performance). However, I agree with their spirit, Google has been one of the most important contributors to the development of LLMs and until recently they've been open sharing their model weights under permissive licenses, they should not backtrack to closed source.

OpenAI has a huge lead in the closed source ecosystem, Google's best bet is to take over the open source ecosystem and build on top of it, they are still not late. Llama based models don't have a permissive license, and a free model that is mildly superior to Llama could be game changing.
And when the market decides to form an oligopoly and switch to the rent-seeking model, then what do consumers do?

It's bizarre to me that in 2023 there are still so many people who think that anarcho-capitalism works.
Of course, the natural next step is "But OpenAI isn't worth $1.33 trillion."
Seems fine. Always go for Sir Mix-A-Lot nostalgia drips whenever I can get them.

Why do you think it is strange?
AutoHotkey has a huge support forum history in addition to great documentation. The language it uses seems terrible and confusing, almost as bad as bash! But if you want to do something chances are it has been done and there is example code already there to get your started, a lot like bash. That is worth a lot more than it having a better language at the end of the day.
I'm excited to see all the model's implementations that are yet to come. Refact.ai seems to be working on code transformation tools and chat inside Jetbrains and VSCode powered by StarCoder https://refact.ai/blog/2023/self-hosted-15b-code-model/
That extra cost should be a one-time fee assessed when the feature is unlocked (with any extra costs borne by the manufacturer/vendor baked into that pricing).

Not a subscription that lives on for the duration of the device.
>You can make your Mercedes EV go faster for $60 a month

Umm, no.

Allow me to correct this misprint.

Unless you pay an extra $60 monthly your already-expensive vehicle will not give the full outstanding performance that your particular hardware was engineered to do.
Arches National Park requires permits for entry during the busy season so you would need a permit for any sort of experience there.
You could implement the hashing code in a helper class and construct the HashMap with it.
A nice UI is completely and utterly useless for a business attempting to create an automated workflow from a spreadsheet for things like business hour updates and letting map publishers know when new stores are going to open.

So yeah, OSM is a nightmare for businesses to deal with. And unless that changes, its access to business information that people expect will remain severely limited.
Mike Acton (Dots, DoD, ECS) Is Leaving Unity
Not sure if this is what you're saying, but the truth that nobody wants to hear is that cars are inherently dangerous because of their speed. The best way to save lives if have roads that encourage calm careful driving (bollards, single lanes, speed bumps, trees, ...). People want to have their cake and eat it. go as fast as possible, yet still be "safe". That's fighting against the laws of nature, weight + speed kills, it's just impossible to square that circle. We just need to internalize that in our hearts, and externalize this in our infrastructure.
>but inflation is much larger than in the Eurozone

I doubt it. The RON has been stably held to the Euro. It's still 5 RON = 1 Euro like before. So the RON inflation should be tracking exactly the same Euro inflation.
Photo of Selena Gomez at the 2023 Met Gala Goes Viral–But She Wasn't There
Any domain on the public suffix list should just be ignored I suppose.
https://publicsuffix.org/list/
An off-ramp from the digital IKEA maze (marginalia.nu)
A lot of people here think building a successful subscription based product is the absolute goal in life. To them Mercedes (and BMW and others) doing this isn't dumb - it's super smart and worth applauding. Otherwise you're just leaving money on the table /s.
hence -std=stone -pedantic
Good catch. I scanned for it but missed it.
> You can go and see what I’ve been up to.

Not everyone wants this. I'm in Discords with friends, I'm in game hacking Discords, I'm in Overemployed Discords, etc. I don't want everyone knowing what Discords I'm active in.
I'm not sure if it's a flat out lie or if someone just tries to take responsibility they dont' have, or a promise they can't live up to.
Or like to go visit Berghain once in a while.
If you can upload a custom file to a domain/subdomain, bluesky social (Jack Dorsey's new twitter) uses it to verify you are the owner of the domain. Chaz uploaded his custom file to their Amazon s3 bucket and now since he was the first one to do it, his account is now associated with Amazon S3.
Weird. My experience was always that Netscape was the unstable one; the Mac version of MSIE 5 was more reliable (and had much better support for CSS).