skysight-inc/HackerNews huggingface dataset:
I was just recently traveling with someone and they had a copy of both of our boarding passes (I just had mine). I boarded first and heard behind me some issue happening: they'd accidentally given my pass so it popped up as already boarded. They just switched to the right pass and there was no issue. It would have been a little more complicated if we had just happened to board in the opposite order, though.

So, I'm sure the general issue of "this pass was used already" happens a lot. How often it gets resolved without the would-be passenger presenting a "good" one, who knows.
While they are in school? That's tough and the student has to be very careful not to cross any lines. CPT and pre-completion OPT sometimes work but there are significant restrictions and conditions that must be met. Oftentimes, the solution is to take a leave of absence and switch to a work via (if possible and it oftentimes isn't).
A dependency at a particular version vs. the latest version of that dependency. The latter relies on a „channel“ snapshotting all available dependencies at a particular version. This is considered to be a mistake in hindsight, hence flakes
I have one or two DECT phones but no landline for them any more.

The last 'landline' was going out over the fiber anyway and was some kind of emulation. The router had a phone jack to plug an old school phone in.
They also say that a given integer should be split into two smaller integers.
Exactly. I don't see how strictly trusting the computer would have lead to a better outcome:

1. Computer says no, leading to the true passenger being rejected. Probably would have resulted in the guy managing to steal her seat and maybe not getting caught.

2. Computer says no, overreact, and reconcile everything until the computer is satisfied (e.g. deplane everyone and start over, maybe checking IDs). I'd guess this attitude would result in hundreds or thousands of delayed flights when everything was fine.
Perhaps take a break from everything you where doing for this project and spend some of that time looking for other people who are or could be as excited as you are about it.

They could be your first users, first collaborators, first customers, or first haters. Then maybe you won't feel all that weight of uncertainty upon you and you may have gathered enough energy and motivation to keep going.

Or it may prove worthless for anyone but you, which is perfect because you can be more relaxed about it and not think too much into or around it.
See my response above. After they graduate, it's much easier, OPT and under certain circumstances STEM OPT permit this.
I can’t choose my ISP but I can choose my VPN.

The use cases for VPNs include hiding piracy from your ISP, evading IP bans, accessing geoblocked content.
As I said: the name represents a statement I want to make about entities. Naming things is fine. I'm against categorizing things.
but a lot of the artefacts left their countries in circumstances which sounded legal but were not.

Consider the example of Euphronios Krater[0] which the Metropolitan Museum of New York "legally" acquired, and it took 40 years to convince the museum that it was not actually legal.

Or the Ishtar Gate[1] parts which were smuggled out of Egypt by the germans and then bits were sent off to museums in the US, Denmark, Canada etc.

Or the parthenon marbles owned by the Vatican and recently "gifted back".

And that's big stuff! The smaller stuff is just less noticeable, but it's obvious if you think about it that a lot of stuff acquired before 1900 has not being acquired in a way that would be considered "proper" today.

[0] https://en.wikipedia.org/wiki/Euphronios_Krater
[1] https://en.wikipedia.org/wiki/Ishtar_Gate
Just want to say I agree about the book. I like the book, but I've never felt connected to any of the characters. There's simply no reason given to particularly care about any of them, any many simply appear to fill a role and then disappear as quickly.

The Villeneuve movie at least gives personality to Stilgar.
Artisan AI (YC W24) is hiring a senior back end engineer
Quality cones with design refinements learnt after the technology has been in people's homes for decades.

There is nothing theoretically unreliable about a heat pump - it would totally be possible to design it to work for 50+ years with just basic filter replacements.
There's no way they invade Taiwan in a controlled manner, it's too easy to sink a navy over that distance. Sure they could do a long range bombardment but then there's nothing left to take.
I don't understand the initial motivation for converting regular dynamic library dependencies to dlopen dependencies. How does that help with reducing the footprint?
Oscar: Computer Algebra System in Julia
Yes, it doesn't matter for determining if you are infringing on the patent. But it does matter for (a) the kinds of damages that you can be liable for, and (b) it can matter if you try to attack the patent itself to try to get it invalidated. Patents are only supposed to be granted for non-obvious ideas, so one way of attacking a patent is to show that many people came up with that idea independently, which is a strong argument that the idea doesn't pass the non-obviousness test and can get the patent invalidated.
One country with 1400 million people
Which is why politicians are going to enforce systematic export regulations to defend the "free world" by stopping “terrorists", and also to stop "rogue states" from using AI to oppress their citizens. /s
Most likely SOCKS5? At least in Firefox there's builtin UI for configuring it separately from OS. Chromium is more annoying and needs command line flags.

They claim to use wireguard, which might be something a browser extension can start on-demand?
Should You Use Vercel
Laundry machines are not always positioned where they will be easily heard.
Who has not taken the U.S. job? Yes (if I understand you correctly).
Bonobos not the peace-loving primates once thought, study reveals
You can make a physical version by having one fixed height pole for each integer up to the max, and then an equal number of post holes. Eg. If you wanted to support a game up to the integer 10 you would need 10 posts with lengths from 1 to 10 units, and 10 post holes.

The biggest issue with this game is that there's no guarantee that any arbitrary starting state has a valid solution. A much needed improved would be a simple rule for guaranteed reversible starting formations (if one even exists).
My thoughts exactly. It's stomach-churning to hear people talk about improving search and privacy for all, before putting it behind a prohibitively expensive (and probably inordinately profitable) subscription.

I'll just say the quiet part out-loud: expecting people to pay $10+/month for a search engine is a pipe-dream that rules out 95-98% of the world population. People buy food with that money, they pay rent, they live lives that aren't tethered to a search engine in a meaningful way. Google "wins" their traffic because they don't care, and every bit of friction in-between them and their content is extra work. Kagi's payment-upfront mentality is unrealistic for everyone except the most well-paid Bay Area engineers.

That's not to say I don't understand the "avoid ads at all costs" concept. I do oppose to using anti-advertising sentiments as a populist rallying cry so people will line up at your Search SaaS kiosk and pay you whatever you ask for. At this point you really might as well just invest in your own Searx instance, it's plenty cheaper. And you can't even "dropbox comment" me since there have been third-parties providing search for free since before HN was a website.
It's also a "so what" situation. If China's economy is severed from the rest of the world's, competitors can't take its market share. Being five or even ten years behind on chips is irrelevant when your consumers can't go elsewhere. What did people use their smartphones for ten years ago? Recording themselves and watching cat videos. What do they do now? You don't need 2nm chips to do anything except take market share from the company using 3nm chips. The F-22 Raptor uses an i960 processor from 1988.
> When the Allman Brothers chartered the plane, they found "Welcome Allman Brothers" written on the plane's bar in lines of cocaine once they boarded.

I wonder how that looks on an expense report
> very few libraries are adapted to apple silicone let alone optimized

This is a joke, right? Have you been anywhere in the LLM ecosystem for the past year or so? I'm constantly hearing about new ways in which ASi outperforms traditional platforms, and new projects that are optimized for ASi. Such as, for instance, llama.cpp.
Honestly a big issue seems to be in other countries, especially ones like Japan people frequently site as the model for public transit, transit is privately run and developed more pragmatically/more profitably. There wouldn't be sense in adding useless screens with useless information, but there sure would be a lot of consideration on how we can make our station more attractive than a competing line's station, paring down overhead to its most base items to further that goal.

Whereas here in the US, its like transit departments are handed budgets generated by tax dollars but no clear direction or plan for how to maximize those dollars. So they have to turn to subcontractors who eat through the pile of money like a vulture eats carrion. This is a system that over time lobbies to further entrench and sustain itself and becomes impossible to rip out and restart. If you go advocating for privatizing the transit system you'd be likened to Judge Doom before people stop and think for a second of what that would actually look like: the shinkansen for example.
I would assume he has to take into account that it took him about 2 years (based off his Reddit profile post) and there's Steam's 30% cut + publisher costs.
Yeah, this caught my eye:

> “If they are hosting customer data on a third-party system like Amazon, it better damn well be encrypted,” Weaver said. “If they are telling people to rest credentials, that means it was not encrypted. So mistake number one is leaving Amazon credentials in your Git archive. Mistake number two is using S3 without using encryption on top of it. The former is bad but forgivable, but the latter given their business is unforgivable.”

I've got all our buckets encrypted-at-rest with a CMK, but if someone compromised a key, the role that key is connected to would necessarily have to have permission to decrypt the data as well. at-rest encryption just means nobody's going to buy a used hard drive and suddenly have access to gigabytes of healthcare or financial data or passwords. Or am I missing some nuance or implication of the conversation?
Based on should be, that IRC can be extended, if users want to. They can have the features they want, but with discord, if I don't, I'm just along for the ride they provide.
If I were 90yo with health issues, I wouldn't.
Because software is full of bugs, false assumptions, and ambiguities, people make mistakes, information doesn't transfer perfectly between airlines, and rare situations become common when you are dealing with enough people. If the gate agent can't override the system, the airline cannot operate.

I've lived in a number of countries in the past 10+ years and encountered more than my fair share of edge cases when flying. On the average, the gate agent has to override something 1-2 times per year when I fly internationally.
dynloading libraries can have some side effects.

Which the recent xz attack used to mess with `sshd`, even if it never actually used functions from the library.

dlopen loading only loads the library *when it's actually used*, and doesn't include everything and the kitchen sink on startup.

If the libraries are used seldomly enough, it might also allow to make more dependencies optional in package management.
Thanks (for link). The most interesting part to me:

>[paraphrased] According to BCG: in 2023, the top 3 US meat-packers invested approximately 5% of their capital funds on advanced automation equipment, with plans to "repurpose" 500 employees per year.
> store bought air conditioner

Yup. Saving the world is going to be ruined by Chinese shovelware-quality equipment re-stickered with American brands, but in this case it's even worse since you're hiring a professional installer and those guys will only work with a short list of manufacturers, so getting somebody to install an expensive quality European model will be basically impossible (if they're even certified for use in North America).
Their media capabilities are quite meh however
I think you underestimate how painful wrangling the proliferation of chat apps can be!

Another application is resource-constrained devices. I love the netbook form-factor, but my little Intel N200 machine buckles under the strain of running what amounts to six web browsers simultaneously (because everything is Electron now) in order to receive notifications from all the chat networks I have people on.

It can also be nice to have a kind of buffer layer in between you and the chat network, which doesn't necessarily have your interests in mind. For example, Facebook Messenger's Android app somehow managed to wake up my phone's screen every time it received a notification, despite my turning off every related setting and permission I could find. So I put it behind Beeper and the problem is gone.
Spoken like someone with no clue about China apart from social media. Talk to any Chinese entrepreneur and you'll know the competition is much more strong and ruthless than in West. Even for capital intensive high tech industries like EV and mobile you'll find more companies than rest of world put together.
I like that they say how the model was trained for 1.3 hours on 4 nodes of 8 x H100s. By my rough calculation, that should probably have cost around $100 or so. (At $2 per hour, x 8 gpus x 4 nodes). Not free, but pretty cheap in the scheme of things. At least, once you know what you're doing.
I wonder if it would be possible to use a fine-tuned LLaVA 1.6 along with the GPS/phone orientation and reference tape measure etc. in images collected via app. I think if you can cover from multiple directions and aggregate the data effectively it could be pretty efficient.

Not saying it's easy but I want to believe that a fine tuned open vision model can do a lot.

Or just use Claude or GPT 4 vision.
Let's pretend this is a late April fool's day joke

In the meantime, you can revert with this trick:

uBlock popup > gear icon > My filters:

youtube.com##+js(set, yt.config_.EXPERIMENT_FLAGS.kevlar_watch_grid, false)
> If this were a determining factor, it would be part of real estate listings.

It is part of real estate listings in the Netherlands, and it very much affects the value of the building. https://www.tilburguniversity.edu/nl/actueel/nieuws/meer-nie...
The H-1B program is supposed to protect the wages and working conditions of U.S. workers (but it's debatable whether it does either) but there's no labor market test requirement to employ an H-1B workers.
> Something that is emblematic of the problem: Nix has an implication operator. That's something that virtually no other language supports - it's normally something found in formal verification systems.

I wholeheartedly disagree. Nix's `a -> b` is just a boolean function, like `&&`, `||`, `==`, etc. It's meant for assertions, e.g.

assert format == "csv" -> depth data == 2;

Most languages allow assertions like this; they'd just be more awkward, like

assert(depth(data) == 2 if format == "csv" else True)

In fact, a common complaint about the Nix language is that it's untyped: which shows just how informal it is!

> The Nix language is designed by people that think everyone is familiar with lambda calculus and function programming. That's fine. But it's crazy to use a language like that for something that everyone has to use.

The Nix language is basically just "JSON with functions" (although the syntax is unfortunately different, since JSON wasn't so popular back around 2003; it does support XML though!). There's only an emphasis placed on functions since they're the USP of the language; otherwise we could just use plain JSON. Lambda calculus is just a simple model of functions; you don't need to know or care about it in order to write functions in the Nix language. In the same way that you can write integer arithmetic in Nix without knowing Peano's axioms, or von Neumann's set encoding of ordinals, or whatever.

I've not used Starlark, but it seems to be waaaay more complicated than "JSON with functions"; e.g. it has loops, which makes the semantics dependent on some notion of time/temporal-ordering, which is sounds like a massive headache.
I think it would be more fun if you only displayed problems that are solvable.
If this wasn't clear before, it's now clear that Google services are unreliable even if they're paid.
I find it rather interesting that companies like FLIR are limited by regulation (I believe US export bans) from selling IR cameras with greater than 9fps. there is also a resolution cap but I forget what it is off-hand. Strangely enough this doesn't stop US citizens from purchasing higher performing cameras from non-US companies. I think technology has come down significantly in price over the last few years and you can now get smartphone attached versions like infiray for a few hundred bucks.
> The problems that GraphQL solves

> 1. Mobile apps break periodically after API changes

The author says that GraphQL solves this problem because GraphQL APIs never contain breaking changes (the author phrases it slightly differently). I disagree: breaking changes happen when you don't have proper diligence and review of changes. I've seen breaking changes happen in GraphQL and REST APIs, and they are always because people didn't consider how their changes would break the clients - it had nothing to do with the engine powering the API. I'm not strongly anti-GraphQL, but I don't believe that you will avoid breaking API changes just by adopting it.

Granted, one might argue that my experience is with people who were "doing GraphQL wrong". Well, no disagreement there, but it reinforces my point that a protocol or language won't protect you from human error.
Seems wonderfully on-brand for a band named after a thing that isn’t supposed to fly.
That reminds me of the faster horses quote I'm afraid.

Or you know, that all cell phones had to have a physical keyboard. Until they suddenly didn't.

[Never tried Kagi, but let the man do his thing.]
InfLLM: LLMs for Understanding Long Sequences with Training-Free Memory
There was also that CheapEth crypto scam he tried to pull off.
> So, inside Seven Sisters tube station, there’s still a Rabbit base station sitting on the wall, more than 30 years after it last broadcast a radio signal.

Is that the base station itself, or is it just the antenna, with the real base station sitting in a closet somewhere? And if that's just an antenna, the base station might have already been removed, leaving just the antenna and its cabling (though it wouldn't surprise me if you open the right closet and find the original base station still plugged into that antenna).
US citizen here. I have a special situation which I think will be only of interest to me...

My wife (a green card holder) and I have moved abroad and her travel document is expiring soon (in July). We have no returned to the US in the past 3 years, and were not planning to visit only for the purpose of resetting the counter..

We are planning to actually fly into the US for a vacation right after the expiry date... what if anything can be done to renew or extend the travel document (a.k.a re-entry permit)? Of course we are in good standing with respect to US taxation.

Else, can she apply for an ESTA (country of citizenship is part of the visa waiver program for tourists), which I believe be done up to 3 days before travel (is it ok to apply right at the deadline when the permit is about to expire but just so we travel 1 or 2 days immediately after expiry) ?
Wood gasification jet engine!
It may not force you directly, but I think it's safe to say that when a language focuses on inheritance (e.g. c++) it does not offer good alternatives (e.g. rust traits). This means that if you want features such as runtime polymorphism, you are _kinda_ forced into inheritance.
The worst part about H1B and subsequent immigration policies is that it doesn't value your contribution to the country. Someone doing a PhD in the US is usually on an NSF/NIH/DARPA/<Govt agency> grant, and contributing to critical research here. If they choose to to go into industry (academia has uncapped H1B), then they go into the same pool as someone from India working some basic task with some IT Consulting company.

Eventually, the PhD would need to leave despite the government spending close to half a million for their education. This is a huge waste of government resources, close to a billion plus dollars in a lot of cases.
Party supplies
Kirin wasn't ahead, they were "just" head to head with Qualcomm. But that's not very hard if you use generic ARM design and can pay for the BEST TSMC node.

Producing good/great ARM SoCs is simply a function of producing in TSMC. The reason why Google abd Samsung SoCs are mediocre is that they produce them in Samsung fabs.
My favorite Bonobo study concluded that when one Alpha far-exceeds his merited-status, two other "upcoming" males will usually form alliances with the intention to literally tear the current leader apart, limb-from-limb. [R.Sapolsky, PhD]
Sure they could do a long range bombardment but then there's nothing left to take.

This is irrelevant. Not because you're wrong, but because you're thinking of terms of what a rational, reasonable person would do. Taking Taiwan has about as much to do with helping China as the Iraq War had to do with avenging 9/11: nothing whatsoever. If China attacks Taiwan it will be for the sole reason that Xi Jinping has and is using it as a political tool to amass power. For that purpose it doesn't matter if Taiwan is a smoking crater by the end.
That’s a good point. My repo doesn’t change that often. But for me the source of truth is always dev.
This is the kinf of annoying "holier than thou" comment which sounds insightful, but which is utterly divorced from the reality of our crumbling and dysfunctional government.

Just look at how Flint, MI was handled. It took years of nationwide outrage for the government to even admit that there was a problem.

Facts are that the US government is (now) intentionally and explicitly designed to remove all power from the people and give it to lobbyists and special interest groups. All levels of government explicitly ignore majority decisions and do whatever the fuck they want. Even votes barely matter when districts are gerrymandered so hard that all elections are predetermined. When that's not enough, we just go straight for bald faced voter suppression.

Things are not sunshine and roses. The US government is actively working against you.
Paper:
InfLLM: Unveiling the Intrinsic Capacity of LLMs for
Understanding Extremely Long Sequences with Training-Free Memory

https://arxiv.org/abs/2402.04617
Everything is a push for outsourcing. Workers rights is a push (looking at you Boeing, moving from WA to SC). Ecological rules - looking at all toxic production which had been moved to the places with less accountabilities instead of fixing it. I'm pretty sure there're more examples.