skysight-inc/HackerNews huggingface dataset:
Can someone steeped in type theory explain the following:

I never understood why the default for [a] means that the list could be empty. If ...

foo: [a] -> a

... foo is supposed to get a list of a's, it should get a list of a's, with at least one a. If the list can be empty, then explicitly annotate it so:

foo: [a*] -> a

One way or the other one has to deal with the empty list explicitly (in the signature). If you allow empty lists, it will have to return a 'Maybe a'. It seems to me that it just makes processing the result easier in the common case if the input were to be constrained.
It sounds you actively want to read too much into it and find some conspiracy.

Announcing a scheduled time would be as silly as your question. As soon as they scheduled it, it would leak and they would lose control of the narrative.

I don’t know if you noticed this, but the internet is kind of a big deal and politicians have been using social media as part of their campaign and communications for a while.
You can fly for not a lot of money on Ryanair, their fee structure, website, and app are similar to all other budget airlines. Those extra fees are for handling your luggage (extra manpower and fuel). If you want to complain about Ryanair's fees, get hold of the Fees Schedule for the airport you fly from and to. You will learn how much airports charge for landing, parking, hangarage, handling, fuel, etc. It's an eye-opening read.
I have an android TV running Kodi. Kodi connects via SMB to my NAS (Odroid HC-4, OpenMediaVault) and can easily show all my content.

Would Jellyfin improve my experience? I could run it on odroid without transcoding, and then use the official android-tv client. Would it be worth the effort of switching?
Jellyfin helps fit a niche between a more complicated Kodi setup and Plex’s easy setup with everything just working.

Non-techie family though prefers Plex, hands down. Looks good and really easy to setup on any machine.
Visually fancy, but personally it's way too "busy" for my brain.
Bravo on the title. Oh what a world we live in
just added to the library:
https://moocable.com/mooc/view/crafting-interpreters-101599
yeah. use raw datatype url provided by the language and get hacked by some exotic xss you are not aware, because the specs have kitchen and sink included
"On a book entitled 'Lolita'", by Vladimir Nabokov (1959) [pdf]
It's hard to find a middle ground between regulation and companies playing it fast and loose
You aren't just paying for convenience, you're paying for dynamic scalability. With the likes of AWS (and Vercel for that niche) you can stand up and tear down network, compute, and storage without having to own, host and manage the underlying physical infrastructure.

Yes, if you really want to save cost and forgo the convenience, bare-metal is also available on-demand, but you're going to end up building and managing your own subset of AWS on top of it, and that itself comes with a cost.
Longforms from papers like the Economist actually really interest me, and I look forward to opening them even when my life is pretty happy already. But you need to find non-extreme papers that match your interests and keep reading time under control.
This site could really use a mobile version[0]

[0]: https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_media_q...
> then just learning these things once and building an appropriate abstraction layer for them pays for itself very quickly

No point building an abstraction, if none of your projects make money… it’s wiser to focus on building something people will pay for
This is seriously frightening almost to the point of gaslighting I'd say.

As a sidenote: you're saying I lied to spread rumors ?
I added the book :)
It seems you two can make study partners
llama3.1-405B leaked at 3am the day before on 4chan
Ok i get it ? so tell me what is right?
Also many shells come with greatly improved ls implementations built in, like that of nushell.
Why? Not everything has to be a subscription or a hyper growth business, not every product needs to do everything. If they and their users are happy with the cadence, and have a war chest of 3 years operating costs assuming 100% of funding stopped then why not divert attention to other projects in the ecosystem that might need the funding more?
The only one I know of if Library Genesis

https://en.wikipedia.org/wiki/Library_Genesis
sounds like ABA with diet
The Loki CLI does paging to get larger time windows back - I wish the Grafana GUI did something similar, but that is at least a workaround.
Several reasons:

1. They're sold on a lie. Here's a photo of my laptop in front of a beautiful pool, next to a delicous bowl of $1 Pad Thai. Ignore the February burning season and total inability to communicate with anybody outside of self-deceiving 20-something Westerners like myself.

2. There are benefits. Being a DN is freeing and fun, especially if this is your first shot at remote work. You don't justify to anybody what time you have your sandwich in the morning.

3. Most DNs have never experienced actual loneliness before, so they don't know how crippling it is. They think all their friends and family having been away/busy one weekend or even one month was loneliness. That's like how the people in 5-day COVID hotel lockdown thought of themselves as having experienced imprisonment. Sure, only in a glancing sense.

4. Sex/romance tourism. Look at the hot exotic naive foreigner who's here to exchange some emotions/experiences with you, the hot exotic native person who's otherwise boring or too slutty/free-thinking for people in your own country.

Being a Digital Nomad is a life experience that comes with as many negatives as positives. But there are positives.

Why do people do it? Because the alternative is to never have done it.
Extremzufallsgenauigkeitsangabe?
Time-efficiency is not the only metric to consider. Privacy, and offline mode are also important. Great tool for federated learning.
CE Marking
Yeah, it's not a terribly well-written article, and _Ryanair_ is certainly trying to push the line that this is about scraping, but it's hard to imagine that the _resale_ thing wasn't a significant part of the case.
This is fun. Nice project and well done!
From what I see it's basically BSL (and BSL was used until 4 months ago). It's neat that the new license is using “plain English” language, but were there any specific problems with BSL that prompted this change?
Our science/electronics lab was given a bunch of Apollo workstations around 1990. Used for schematic capture and SPICE simulation. They were very powerful but one thing I most clearly remember was the absolutely weird graphical user interface they used, quite unlike anything before or since (and not in a good way). Does anyone remember what that was called?

Edit: Domain/OS! https://en.wikipedia.org/wiki/Domain/OS
Try to read again what I wrote. It doesn't matter on the software ceph,etc.
The definition of a list is that it contains zero or more elements. There's nothing deep about it; it's just the way the type is defined (and always has been, back to the early days of Lisp from which functional programming evolved.)
It's clear that Mojo is in some sense inheriting Swift's notion of "value semantics," but Rust also has "value semantics" in the same sense. Rust just also has references as first class types, whereas Swift (and as far as I can tell, Mojo) only allows references as a parameter passing mode; Mojo expands on Swift's inout parameters by having an immutable reference passing mode as well.

Not being able to store references in objects does solve the problem of "self-referential structs" in that you just can't implement code like the code Rust compiles to, but that isn't at all what the quoted paragraph says about Mojo so I am quite lost as to what they mean.
--color=never
Solarized is easy on the eyes and the colours are chosen for readability.

https://ethanschoonover.com/solarized/

The list on the site lacks some entries. Konsole has it built in and i bet Gnome Terminal too.
That sounds like a very Amazon-esque solution!
FYI — your title has a typo. Should be HN instead of HW
This goes against my experience. I too have a Plex lifetime pass and it has been rock solid, my library lives in network mounted NAS drive, formatted with filebot. I've unpinned the default views that it comes with when you install the client and pinned just my libraries. It just works on all devices, absolutely no issues, no memory leaks, the UI is beautiful and Netflix like, which is important for my family. The central account is what makes claiming the server and sharing the library with others and the overall remote login experience very easy, this is what enables plex.tv/link functionality.

Yes it is not perfect and they made mistakes along the way but comments as such just tend to ride on the sentiment that vilifies all non OSS products as if it's something inherently bad, the "us vs them" attitude is something I see time and time again here.
I think you've really missed the point.
Single-client is IMO where Kodi shines. This way you also have less complexity as Kodi doesn’t need a ton of things that are integrated in Jellyfin, I’d not switch if you don’t have any pain points with this set up.
This lawsuit is not about scraping, it is about booking.com acting as a reseller of ryanair products without a reseller agreement - to which they mention that booking.com adds their own profits to the transaction and makes ryanair unable to communicate with the real customer - through "unauthorized access" (scraping).

What we on hackernews would consider scraping is not covered by this lawsuit, and ryanair's vendetta is not against scraping but "pirate online travel agencies" (resellers).
> (AWS) is just a layer on top of (bare metal servers), and they charge 100-200% more than what (random bare metal server provider) charges

The answer is the same: Convenience, SLAs, layers of abstraction…
Tru Niagen.
Ryanair's claim was that Booking.com etc was reselling its seats, adding its own charges on top, and providing false passenger details. It's in Ryanair's interest to portray this as basically a screen scraping case (because Ryanair don't like screen scraping in general), but there does seem to be more to it than just that.
For finding study partners -> Reddit.
For directory (courses) -> https://www.classcentral.com/
For directory (books) -> https://www.oreilly.com/search/
Also, Goodreads.

These are the closest established alternatives.

Then, there's
- https://www.mooclab.club/
- https://my.cuddy.app/

These are niche alternatives.
What I understand is that some Azure VMs are running CrowdStrike, and like any other computer running CrowdStrike on Windows, they crashed. Totally not Microsoft's fault, CrowdStrike messed with the kernel, the only thing we can blame Microsoft on is to allow such a software to exist.

Where Microsoft is to blame however is the unrelated Azure outage in the Central US region that happened (and was fixed) just before the CrowdStrike faulty update.
> To them, it doesn't matter that this will result in lots more work down the road once the product needs to scale up.

*Might* result in lots more work, *if* the product needs to scale up. Program lazily and ship quickly enough and that isn't an issue.
Surfing or bhopping in counter strike
A new CUDA kernel for quantized LLMs achieves up to 2.6x latency improvements
Introducing FLUTE, a CUDA kernel for non-uniformly quantized (via a lookup table) LLM Inference. It accelerates QLoRA's NormalFloat (NF) out of the box and more. As an application, we extended NF4 and are releasing quantized models for LLaMA-3 (8B/70B) and Gemma-2 (9B/27B).

Highlights:
- Support arbitrary mapping between (de)quantized tensors via a lookup table (INT4, FP4, NF4, etc).
- Up to 2-3x faster than dense GEMM kernels.
- 1.3x to 2.6x end-to-end latency improvement (vLLM).
- Batch inference, 4/3-bits, and various group sizes.
- vLLM integration and 10+ pre-quantized models off-the-shelf.

And, for those who care:
- Almost entirely written in CUTLASS 3 (i.e., CuTe).
- Uses TensorCore, Async Copy, and Stream-K.
- Tailored to Ampere GPUs.

Paper: https://arxiv.org/abs/2407.10960
Code: https://github.com/HanGuo97/flute
> My private tragedy, which cannot, and indeed should not, be anybody’s concern, is that I had to abandon my natural idiom, my untrammelled, rich, and infinitely docile Russian tongue for a second-rate brand of English, devoid of any of those apparatuses--the baffling mirror, the black velvet backdrop, the implied associations and traditions--which the native illusionist, frac-tails flying, can magically use to transcend the heritage in his own way.

I wonder how many people, with English as the mother tongue, could write even this paragraph.
I always thought booking sites had partnerships with airlines and using an API!
Booking.com BV is a Dutch Company which has subsidiaries all over the world but is also itself a subsidiary of Booking Holdings Group which also owns Priceline, Kayak, OpenTable and quite a few more companies.
DAMN I need this as a plugin in Photoshop or Canva immediately. Game changer.
If I donated to project X and they redistributed my funds to related project Y, I'd be mildly peeved. Only mildly, mind, but the way they're doing it here is exactly the right way, imho.
Show HN: A react state hook that syncs between tabs and pages
A hook very similar to React's own useState that syncs between pages and tabs using the BroadcastChannel web API.
Could it be because of the shape of I? A scratch could easily make that shape, while an X requires at least two of them
And we're going to say "let's do this a day from now", leaving the software to decide whether that's 24, 23 or 25 hours from now. It could be any of those things, depending on where it was said and the DST changes for that timezone.

Or conversely, is a specified instant considered "tomorrow"?
Nah, just went to their website; you don't need to be logged in to price tickets.

(It's _possible_ that this is a recent DMA/DSA compliance thing, I suppose.)
https://fsl.software/
What it's 'about' (according to one side) and the law involved are 2 separate things.

When I buy something from the supermarket, they add charges and make it difficult for the manufacturer to contact me directly, so that isn't illegal. Many things with bad outcomes are legal.

Breaking the terms of service of the site may be illegal, and if you're mis representing yourself to log in, even more so.

But then you're also moving away from what I would term screen scraping.
It does. Everything is open source and from what I see there is no official server – you can store captured sessions anywhere you want.
I bet if he had written code it’d be hard to debug.
omg I didn't notice that. thanks so much
> Yes the UK is

This isn't adjusted by immigrant education/background though?

e.g. in the UK a slightly higher proportion of foreign born residents have tertiary degrees, in France it's the opposite (especially if we look at Île-de-France).

Australia especially is extremely picky (e.g. 60% (immigrants) vs 40%(native))

https://www.oecd-ilibrary.org/docserver/a0fc61dd-en.pdf?expi...

And I assume there might be other significant cultural/class/etc. differences. e.g. in the US 53% of all Arab-Americans are Christian. I can't quickly find any statistics but I assume in Europe the ratio is very different. Not saying that this specific example necessarily has an impact but differences in other characteristics might.

Generally English speaking countries tend to have and advantage at attracting highly educated/productive immigrants presumably both due to language and other cultural, economic and social factors. It's not at all surprising that their children do a better than average.
>Now I have a single, snappy slogan that encapsulates what type-driven design means to me, and better yet, it’s only three words long:

>Parse, don’t validate.

For me the slogan is rather "always validate only in the single constructor" (or constructor function, doesn't matter). That way, you cannot have invalid objects at all, and there's always a single source of truth. If you want to modify the object, implement it via constructing a new state by calling the same constructor again.
Not happy about this post. Instead of asking to stop, they should do just what they suggest, without further ado - distribute the income to the ecosystem devs the way they see fit. Make it transparent, make application to these funds posssible, make feature bounties, write it besides the donation button.

Once someone stops donating, it is unlikely they will put up the effort of continually researching on which client/dev to support. This would be much better handled by Jellyfin maintainers.
Sure, but that's what you want, not what booking.com wants. Booking.com wants to charge you for the service, and if they're not part of the transaction they'd have to get money out-of-band, e.g. as a subscription for the price finding service.

Remember that this lawsuit is between two large companies both trying to get your money.
Thanks for the great insights on fine-tuning and the kind words!
I cannot find this shortcut in https://fishshell.com/docs/current/interactive.html.

Do you know where it's documented by any chance?
This makes the process less manual, but it still remains a absolute clusterfuck needing to reboot ~1 billion computers.
The snarky answer is that it's easier to be a full stack developer if your stack starts and ends with JavaScript. It's also the real answer - most webapps create value in the instant of views or clicks, so being charged solely on those metrics (even 200%) can make a certain amount of business sense, and if your business doesn't have need for redundant data stores or major backend services, you can get a lot of mileage out of a vercel based infrastructure.

I personally can't stand it, and actively work to excise it from front-end applications though _because_ it's difficult to work with it as a 'part' of your world. Like a lot of dev-experiential products/business models, their moat only exists if they can keep you "in" vercel, the moment they become just nodejs + lambda to a customer, then their value-add ceases; So they make it difficult to "grow up" out of vercel -- for many shops that's fine, it will be all they need from it, so a premium for a polished nodejs+lambda+deployment+cdn experience is worth it.

But if you're a micro-arch with backend services running on your own cloud, vercel will always be the wart in your infrastructure making everything from network policy to authentication and monitoring or tracing more difficult.
> If you search on google you are also agreeing to their terms, there just isn’t a checkbox.

Depends where you are, really. In Europe, where Ryanair does virtually all their business, courts have generally been reluctant to take the "haha, you clicked on the website, you've magically agreed to the license" thing as being particularly meaningful, and recent regulations have cut down the usefulness of EULAs even further.

That said, Ryanair prices aren't login-walled anyway.
That sounds like a lot of work which could lead to people complaining that their money didn’t go where they wanted it to go. This is simpler.
Had access to this beautiful machine, during my Computer Graphics course in the late 80s. Brings back memories.
VPS is just a layer on top of physically maintaining servers. That doesn't mean anything. People are paying for convenience.

Using a Platform as a Service (PaaS) is a much better experience over using cloud service providers like AWS. The amount of premium that one pays for using the former and whether it's justified is a separate discussion.

Also this should be an Ask HN.
Remember the Windows safe mode? Remember F8 step-by-step confirmation for config.sys, autoexec.bat and .vxd drivers?

Why does it have to be automatic?
I think this isn't an entirely worthless comment, but you start off by insisting that Justine Tunney is referred to as "himself". This is either a silly mistake, or a misguided political statement.

Either way I don't think it adds to the discussion, and it's certainly going to distract people from your more interesting point that mixing binary data throughout the shell script is not permitted by the standard.
I've been using Jailer, which has a unique graphical join view which is quite handy: https://wisser.github.io/Jailer/data-browsing.html
> Netware 4 I think was dubbed "intranetware" and had some form of IP support.

No. You have the timing about right but not the version number.

Netware 4 was still based around IPX/SPX; the big new feature was a network-wide directory server, called NDS, for distributed authentication.

IntraNetware was specifically NetWare 4.11, with improved TCP/IP integration, an Internet-standards email server, and a web server so it could host LAN-internal intranet websites.

https://www.novell.com/news/press/archive/1996/08/pr96151.ht...

> Netwars was a key component of this.

Was that a typo for "Netware"? Netwars was a different thing: a game that ran on Netware networks.

https://en.wikipedia.org/wiki/NetWars
Thanks for sharing! Got an answer to my question about updates there in the FAQ:

> How exactly does the two years work?

> The two year timeframe applies to each software version that is made available. Methods of making software available include pushing a Git commit, publishing a package to a repository, or mailing out a CD in a tin. For example, one could clone a repo, run git checkout `git rev-list -n 1 --before="2 years ago" master`, and—if LICENSE.md is FSL—use that version under MIT or Apache 2.0.
And 8 years with Obama as VP in 2009-2017 (in his late 60's and early 70's). Obama got visibly older in 8 years, and he was way younger than Biden was at the time. And yet, Biden challenged Trump that had previously won against Clinton, not the new guy in the neighborhood. And he won.

Seriously, the stress he went through in the last 15-20 years, that's some s*. He even lost his son in 2015.

This guy has crazy good genes. And it sucks that people make fun of him. He should not go as a "joke". People should have some respect and understanding for him.
Latest HN thread on quickwit (Binance built a 100PB log service with Quickwit): https://news.ycombinator.com/item?id=40935701

I also wrote a benchmark on Loki vs. Quickwit: https://quickwit.io/blog/benchmarking-quickwit-loki
I can give a couple examples:

1) Jellyfin supports reading NFO files to help determining matching the file with the correct metadata (https://jellyfin.org/docs/general/server/metadata/nfo/). This is arguably superior than Plex's way (you have to name your file with IMDb id or tmdb id https://support.plex.tv/articles/201018497-fix-match-match/#...), but I still constantly find media w/o metadata in Jellyfin.

2) The way you fix the matching in Jellyfin has a pretty terrible UX. You select the movie w/o metadata (there's no filter to "find all media that Jellyfin fail to match w/ metadata) and click "Identify" in the 3-dot menu, then fill in the information and search (why can't Jellyfin prefill useful metadata, at the very minimum the year that should be easily identified using regex?), then pick either IMDb or tmdb (why do I have to choose one of them? Can I bulk-switch my library to use IMDb instead of tmdb?), with a checkbox to confirm you want to "replace existing images" (why do I have any images to replace? Jellyfin did not match the media to any metadata right?) you now have some useful metadata.

3) When I need to force a rescan of a library, there's no way (that I can find) to do that when you are viewing the library. The only way to do this is to go to Settings -> Dashboard -> Scan All Libraries.

4) There's no offline media playback support (AFAIKT).