skysight-inc/HackerNews huggingface dataset:
On one hand I have a 4GB sandisk cruzer drive for sneakernet transfers still working well since 2008. On the other, 3 of my sandisk extreme ssds died this year. Luckily I had mirrored backups elsewhere.
This wouldn't work where I am, where it's windy when it rains. The tiles themselves don't make a roof waterproof.
Is anyone using these free subdomains professionally?

A proper .com is only ~$8/year, quite a good deal — is free domains still a problem that needs to be solved?
Both of those products provide that functionality on paper, but they are widely different products with widely different audiences.

I think their respective "Get Started" buttons show it best: Tailscale tries to get you connected to your team and to download the client as fast and easy as possible (= it's a product for everyone in the company), while Narrowlink throws you to a lengthy explainer page that no non-technical user will bother with.
Because on Van Nuys Blvd the sensors are vandalized regularly, especially around the court house at Erwin, and further North near Panorama City, and you will sit at those left turn lights late in the evening for a very long time, yet no cars pass by. And there are other places like that too. Venice Blvd just west of Lincoln, in the two decades I've lived in L.A., the left turn lights in that area are so badly programmed they might as well not exist. There will be eight or nine cars backed up at Venice & Overland, and they will briefly blip green enough for a car or two to get through, yet the left turn light at Glendon will sit on green long after the last car has passed through. There's a reason people shortcut down Glendon, then jink on to Overland further down at a T-junction with a functioning set of lights. Same problem exists on Fairfax around the school and theatre. You get to know precisely which lane you should sit in for which section of the road, that literally varies block to block, because the left turn lights will block up traffic all the way back to Canter's deli all the way from Santa Monica if it is the wrong time of day.
MLS has the same problem basketball leagues have overseas. The NBA is where the best players in the world play and I can watch it on TV, why would I watch a local sports league? There is some hometown pride from the diehards but casuals would watch the NBA. Similarly in soccer, I don’t think it is feasible to expect the MLS to break out of their niche. The casuals are watching the Premier League. We are now just watching the MLS figure out how big the niche can get.
The poster was very probably implying something different:

in our terms, intelligence is (importantly) the ability to (properly) refine a world model: if you get information but said model remains unchanged, then intelligence is faulty.

> humans

There is a difference between the implementation of intelligence and the emulation of humans (which do not always use the faculty, and may use its opposite).
Highlights of Ep06 of Path To Citus Con podcast for developers who love Postgres
I'm really glad to see a post like this come out. I've seen so many discussions online about customizing models -- this post really does cut through the noise.

Really like the evaluation methodology, and seems well-written as well.
This year, there were lots of product announcements, so the keynote was end user centric. It's really platforms state of the union address the same afternoon that has the developer focus: https://developer.apple.com/videos/play/wwdc2023/102/
Check out Hugging Face. It's cool to be able to try out different models to see how they perform. RAM requirements can get steep for the larger models.
It is actually very similar.
The first one mainly. The Code of Conduct is just standard Contributor Covenant stuff for people who contribute back code.
How are people supposed to produce videos that include other Youtube clips without a tool like this?
What does OBL mean? Is it just a play on word with "oblong" (https://en.wiktionary.org/wiki/oblong) ?

Anyway, I doubt depending on a unknown project may qualify as "quality" for something as important as you domain name. Especially since having you own domain name can cost less than $10 per year, I don't really see the value in something like this (and I never want to live the Freenom debacle again).
Kinda meaningless unless that also share a number. Did it go from 1 to 2 or 1 million to 2 million?
That work is still under MPL (Terraform Providers, which are mostly community maintained / developed). Hashi owns and is the primary developer of the terraform tool itself, but not the 'keeping track of all the different API changes' part.
You have to build it from source to avoid the 60kbps limit. There hasn't been a release since Dec 2021 and there have been some updates since then that implement the 'puzzle' to get the right value of the url parameter.

It's worth noting that YouTube is trialling a new player and a lot of applications (invidious, new pipe, etc) are experiencing some issues in the last couple of weeks.
The former - the CoC was adapted from the contributor covenant which explains a lot of the community language, we figured it (heavily modified) would work well enough for domain content too. Thanks for pointing that out though, we'll work on it!
Not the OP but I’ve had situations of waiting at a weight-sensor-triggered left turn light for so long that I had to back up and turn right then u-turn.

Los Angeles, mid-sized sedan.
I think RTO is stupid, especially as it will lower productivity for most and a lot of execs won’t be returning. I just think it’s insane to feel off put by going into the office when pulling down more than double what others who (checks notes) have to go into a significantly more dangerous job site five days a week.
That's only for verifying email - it's WebAuthn/Passkeys.
For some people having a PR accepted by $COMPANY is a great boost for their CV.

Not everyone will be doing it for the love of building software.
Use Linkify to find links in plain-text and convert them to HTML <a> tags
I'll take that trade
The first one is a 404. I love the irony of there being an error condition in this case of a missing redirect.

https://deirdre.net/2014/programming-sucks-why-i-quit/
> The API allows an application to check if a mobile device is in proximity of a given location. The API request contains the location to be checked and an accuracy range in km (between 2km and 200km). The API response indicates whether the location is within the accuracy range of the last known location of the MSISDN.

I'd say this can only "give away" the location if you already roughly know where someone is AND no rate limit exists.
Voice capture quality wouldn’t be any great from all directions as echo dots have somehow solved with multiple microphones.

Also is the device facade.
if Hashi chooses to enforce it to such extent that even calling a terraform binary (which is open source itself for now) constitues "embedding"... then good luck Hashi staying an "open source company". The days of proprietary programming languages are long gone. They appear to be confusing the languages / frameworks space with self-hostables. BSL makes total sense for Mongo / Elastic (as well as Vault or Consul). Not so much for a CLI / compiler thingie which Terraform is.
Yeah but for some reason in the 90s American Judges decided to throw that whole "justice for everyone" thing out the window and now explicitly empower ONLY certain giant rightsholders to have any rights.

I'm waiting for a judge to accept an argument that web browsers should be illegal because they allow you to look at infringing content.
I'd extend this wish to things like:

- Let us pay to keep this from being turned off.
- Let us pay to have actual support, including ways to unlock accounts that are erroneously blocked/limited.
- Lets us pay to remove all ads.

This is what I thought the article was going to be about.

Various services get yanked (not just by Google, though people keep lists of what it killed) without ever having offered users an option to pay for them.

Various services, like Google & PayPal, refuse to provide any recourse for account troubles or other problems, presumably based on cost of personnel, but refuse to offer an opportunity to pay to change this.

Hulu won't accept any amount of money to remove all ads. Amazon won't accept any amount of money to get rid Freevee ad-supported stuff that's "Included with Prime!" or get rid row after row of upsells for video/music/books. These two feel like, "We know already pay us, but pay us MORE.".

StartPage won't let us pay to remove the two pages of ads that load and push down actual results, either just as I'm clicking a search result, right where I'm reading a the top results. Great for advertisers, but not being able to pay to get rid of dark patterns that trick seems suspect for a "privacy focused" search engine.
> If I type a defun into a REPL, is there a good way to get source code back out again?

this used to be the normal way of programming in lisp repls (like in 01980) but maybe this is good enough

* (defun tri (n) (loop for i from 1 to n summing n))
TRI
* (describe 'tri)
COMMON-LISP-USER::TRI
[symbol]

TRI names a compiled function:
Lambda-list: (N)
Derived type: (FUNCTION (T) (VALUES NUMBER &OPTIONAL))
Source form:
(LAMBDA (N)
(BLOCK TRI
(LOOP FOR I FROM 1 TO N
SUMMING N)))

> When I go to load my code back in, I get errors, because oops I was actually still calling that deleted function somewhere -- it "worked" before because the old function was still hanging out in the image.

so a thing you can do in that case is to delete it from the image at the same time

well, you can't really delete it from the image, but you can remove the function binding of the symbol, and since normally in common lisp implementations function calls indirect through the symbol (which is why you can replace the definition with a newer one) deleting the function binding is enough

* (defun tri0 (n) (tri (1+ n)))
TRI0
* (tri0 4)
25
* (tri0 5)
36
* (fmakunbound 'tri)
TRI
* (tri0 5)

debugger invoked on a UNDEFINED-FUNCTION @52A00674 in thread
#<THREAD "main thread" RUNNING {1001348003}>:
The function COMMON-LISP-USER::TRI is undefined.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE ] Retry calling TRI.
1: [USE-VALUE ] Call specified function.
2: [RETURN-VALUE ] Return specified values.
3: [RETURN-NOTHING] Return zero values.
4: [ABORT ] Exit debugger, returning to top level.

("undefined function" 6)
0]

as rainer pointed out, slime has a command for this (i barely use cl myself, you know much more than i do)
Gotta love these though:

catch {};
Very cool, I'd have a big use case for "Litestream in Rust" as a library.

Any way to get notified about the release?

Also: will this be a straight port, or could it also support "live-replication" from S3, instead of just on-demand restores? https://github.com/backtrace-labs/verneuil supports this. Sadly it isn't very actively maintained and buggy.
It's just a question of proportions. If people organize meetings that are not directly related to my tasks, enforce camera on policy and so on, they are not respecting my time and negatively impacting my productivity. On the other hand, calls with my team about the tasks at hand are extremely useful and can save a lot of typing. And usually they are quite short unless we decide the problem is so hard we need to work on it together, which rarely happens.
You're not using the software, you're using it on a 3rd party (GitHub).
Lol I mean it has ~53k stars on GitHub. Not exactly a secret. :p
> Increasing biodiversity would most likely also mean increased diversity of pests

It’s not the opposite that is true but that the net effect is not that negative.

Anecdotally, from my backyard food growing experience, biodiversity increase means more pests, but once more species come in, there comes a balance that exists in nature. Year 1 of my backyard farming, I had plentiful bounty. All my crops did extremely well, and I thought I was some kind of genius that disproved the decades of agricultural progress re:chemicals in farming. Year 2, was my biggest and most ambitious growing season and I could barely get anything out of it. The pests came, from insects to rodents and nothing survived. Year 3 and year 4 were my learning days. I introduced more plants to my garden, native plants, plants that provided food in late summers to next spring for the fauna, more varieties of food crops, etc. I welcomed everything in my garden, including pests. Eventually I hit a balance. Aphids suddenly affecting plants? The wasps are here. Rats and squirrels eating my strawberries? The owls and crows came to rescue. Slug problem? The neighborhood possum took care of it (though I had to put up a fence around some of my veggies for the possum). Overall I think with the constraints of the size of my backyard, I still need some proactive measures of pest control, but most of the time nature takes care of it and makes sure the problem is only temporary.
As a long time MLS supporter (late 90's), I agree with you, however, every other aspect of the deal has been a significant improvement over the mix of ESPN+, FS1, ect.

Not having blackouts, greatly improved streaming quality, single subscription, the pre- and post-match shows, global audience, added content, etc have taken the league to another level - to a point where we are even seeing the changes at one of the lowest payrolled clubs in the league in Colorado. Additionally, Apple played a big role in Messi signing with an MLS club. (Side note: found this in his Instagram bio being followed by 482 million people..
apple.co/mlsmessi)

The main complaints I have seen are the commentary as well as lack of Android application. Other than those two items, people seem to be thrilled with the service so far.
this is awesome! uxn is like "what if pico8 was serious?" and I love it.
I choose to use Firefox, for more than a decade. It does not mean I am a happy user, and it does not mean that I can't complain about Mozilla being shittifed year after year.
> What’s different enough?

Genetics. In case of humans the differences are tiny.

> There’s clearly physical differences of magnitude and measurement.

By that logic two brothers would be different races if one is tall and one is short.
In post-mortems involving pilot error, what strikes me is that airliner cockpit design sounds so convoluted, unintuitive, and just plain bad. The burden of disentangling this bad design is always placed on the pilots - through extensive training and rote memorization - which inevitably fails under stress.

In this particular example, consider:

- the opposing pilot inputs being signaled only by a pair of little green lights

- the cacophony of warning lights and alarms which, together, say little more than "something is wrong"

- instruments that direct a pilot to pull up during a full stall

- sensor failures with no clear indicator

- computer safeguards suddenly removed without a stated reason

Etc. And the expectation towards the crew is to quickly and corrently reason about this stream of conflicting signals, while embroiled in a sudden emergency.

It smacks of pure engineer-driven design, assembled with serious attention to the technical issues, but with near-zero empathy for the humans who will be operating the contraption.

Reminds me of internal web tools at so many companies. They present giant messy forms, with checkboxes and dropdowns for every conceivable edge case, which have to be manipulated just so or the system explodes. And when something breaks, of course it's the user's fault every time.
But why? This is like worrying about pennies on a thousand dollar price.

A tic-tac is zero sugar in the context of a person's normal daily intake.

Except for those who took (and paid attention in) a chemistry class, most people are woefully ignorant of precision and significant figures.
It seems you're advocating for error messages which I think many would agree with, but the comment you're responding to was proposing that error codes have no place being shown to users. I would generally agree with hiding codes. They're generally meaningless and really intended for devs or automation.
Code contributions are material when Hashicorp makes them, see, but the only contribution from others that matters is cash.
Well, you need to search for apps somehow (I guess the app library is always there, but seems a bit extreme to get rid of it). It would be nice to be able to hide certain apps from search, but I think it is already nice to hide the default suggestions that are there in Safari. Android offers way more customization, but not nearly as polished as iOS.
Could be an option even if it is not as fancy as echo dot 4 it’s a great start.
To be honest, I don't think both are similar at all.

Parallelizing across machines involves networks, and well, that's why we have jepsen, and byzantine failures, and eventual consistency, and net splits, and leadership election, and discovery - so in short a stack of hard problems that in and of itself is usually much larger than what you're trying to solve with multiprocessing.
Next generation SEO technique: introduce minor typos to LLM-generated text to make the search engine think it wasn't LLM-generated.
RTO is mostly about profit for the real estate investors who happen to be in big corps boards.
You're free to try running a payment processor with a mantra of "Innocent until proven guilty."

You'll be a honeypot for every scammer, fraudster, and con artist ready to take advantage of that policy, your processing fees will be through the roof because of chargebacks, and the only people who will use your platform will be the aforementioned scammers, fraudsters, and conmen.

I'm sorry for the GP poster's situation, but there's really no way to make everyone happy, here.
What is the practicality of actually using CompCert? And what does it actually defend against?

All I know is that it tries to ensure that the behavior of the program is the same as the input, meaning that the compiler itself does not have bugs. But how does that actually interact with undefined behavior in the language? What happens to an array out of bounds?

And what are the limitations imposed, since it only works on a subset of the C language?

It seems unlikely that I could just switch compilers and suddenly have a safe program written in C.
Anti-obesity drug slashes heart-disease risk
Or just use numpy's arrays, which have their integrated multiprocessing.
Sure, but you don't run red lights, we can charitably presume.
Now i can understand better, why he is so famous.
Fluent is terrible. I excitedly implemented it in my most recent app, and immediately ran into so many issues.

1) It can transclude variables in translation strings, but these variables cannot themselves be localised. This makes Fluent completely useless for constructions like “Your knight has killed a dragon with a crossbow” in any language with case or gender, unless you pre-translate every possible combination in advance. Which is absurd - the possible combinations almost immediately grow astronomical.

2) The parser is extremely sensitive, and it produces errors which are terse and difficult to debug. Something as basic as a localisation key appearing twice throws an unrecoverable exception.

3) The input files mandate a weird arrangement of new lines for even the simplest branching (e.g. 1 -> cat, 2+ -> cats), which makes them become incredibly difficult to follow. I quickly lost track of my own reference English file - good luck giving them to translator to figure out for any languages with greater grammatical complexity.

4) The documentation is too Spartan to know what happens in edge cases. The word “Fluent” does not restrict language-related web searches in any useful way.

I worked around issue 1 with some ugly nested localisation hacks, but I plan to rip Fluent out before release. It heralds itself to be the saviour of all i18n, but it’s literally worse than the mess that came before it.
Mozilla Langview: A library for language models to respond with GUI
An interesting other-side of this, a Chrome add-on dev published how they continuously receive monetary offers from the kind of organisation that does exactly this:

https://news.ycombinator.com/item?id=37066680
Systems scalability: a short study on an ML orchestrator
Hi HN:

I wrote this article with the intention to share with the world some fascinating (at least for me) findings on how scalable systems behave, focusing on a specific OSS project: Flyte.
Same idea: 0 calories does not mean 0 calories https://youtu.be/EN6COaYLS_A
Name and shame the location?
The remote satellite/robot shouldn't decide what is a valid command (beyond verifying it comes from a valid authority), because we have multiple situations where NASA has recovered a space probe/robot by sending commands never dreamed of when the vessel was launched.
Maybe not even acrobatic flying training but glider training. Pilots with glider experience are some of the best performers in emergencies.
You don't need to "pay back" for a gift.

The problem is entitlement and thinking that anyone owes you anything after you have given software away to the world. It's no longer yours, there is no "back".
My friends have managed to avoid introducing their 5 year old to the iPad. They do allow her to use it on airplanes, but they rope the flight attendants into it and have the attendant present it as "the airplane's iPad."
Wait till you learn about lead free brass
> I used to have a competitor who would email PayPal every couple of weeks to tell them our web site had CP on it just so PayPal would instantly shut off our payment gateway while they investigated

Isn’t this sort of behaviour criminal? (I mean the competitor submitting a fake child pornography report, not whatever PayPal did to respond to it.) And if not, surely it ought to be.
it is vanishingly unlikely that ken thompson and rob pike are unaware that people sometimes program to explore a problem space
one gpu? feasible with one 3060?
Of course. But this means the Hashicorp Cloud is either not technically attractive enough or too expensive if Hashicorp decided to make this move.
You unionize when you have "power", not when you're out of power tbh.

Anyway, throwaway account clearly shilling for companies. Interesting :)
Huh? News organizations are explicitly asking third parties to take their content and helping them do so... I'm not sure how that is an argument for third parties taking that content by force. In fact they're now complaining that Meta is no longer taking their content at all. So really not sure what argument you're trying to make here.
No I understand. SF is huge. I dont know what is the level (or quality) of home ownership for folks on that median salary. Or even the location and how "indentured" they are. I do agree that as techies we have the luxury of upward mobility which most of the median salary folks may not have the good fortune of. Just that 250k while sounds great on paper - when your crappy home to house a family (at say southbay) is 2M+ (and this is very very low end) being 3x median while something is not quite eye popping. Yes you could always chose to live a 2hour drive away in a more constrained place - but at this point your "eye popping" TC is not looking that great anymore is it?

Now should a question be what is a "fair" standard of living everyone should have?