skysight-inc/HackerNews huggingface dataset:
Empty threats, Nordic unions would just block all the imports.
I wouldn't say normal, it depends on the size and availability at the hotel. I also left some baggage in Indonesia for a month, but the hotel was large and lax. In two other similar-sized hotels they were storing the bags either in the open-air lobby or in a small staff-only hallway. Neither place would be suitable for medium-term storage.
I'm not sure woodruffw necessarily talked about donations to US politicians when they mentioned 'diverting money towards a particular set of reactionary worldviews held by its leadership.'

Perhaps they just don't like malaria nets? See https://www.givewell.org/charities/top-charities
For a long time I was baffled by the seemingly unnecessary gizmos that are popular 3d print subjects, because to me 3d printing was just a means to an end. Eventually I realized that the printing itself is a hobby for a lot of printer people.

Personally I like to use my printer to enable my other hobbies, but along the way I've picked up 3d design and printing as secondary hobbies.
Show HN: A Database and an ETL Tool
GS-Base is a database designed to keep things as simple as possible and the same time to make the most of the (even old) hardware.
With the generic set of UI commands and functions you can perform virtually any data operations/transformations without programming (though scripting is available as well to automate most of the tasks).

The "native" file format is just a zipped collection of CSV tables with LongText, File/Image, Code content saved as zip substreams so it can be browsed simply in the File Manager.

GS-Base can perform intense multicore field value and pivot table calculations so it loads and keeps all the data in RAM. For example, a table with 150 million rows/records with four text fields containing up to several characters each with calculated fields and formulas can use around 15GB of RAM.

Like in classic SQL databases, binary objects can be stored as links to the original disk files, but even if they are stored as zip64 substreams in the database, e.g. hundreds of thousands of "Memo" fields can be loaded almost instantly.

Recent updates:
The maximum number of fields is now 16,384 (the max. number of records is still 256 millions).
You can apply up to 16,384 field filters at the same time.
Users can predefine how individual columns in the loaded text/CSV files are to be treated.
New field validations and conversions (when entering the data) based on the regex.
New UI commands to perform permanent and dynamic table joining easier.
Easy splitting and normalization of data tables (that is, the reverse of the above) with a few clicks.
Added support for the SQLite *.db files.
Lean4 is brilliant. Worth digging into as a programmer. Coq, Lean4, Agda etc. made my brain explode in a good way. Making me a better software developer.
Wait, where did this image come from? – Adobe Content Credentials
Run LLMs on Any GPU: GPT4All Universal GPU Support
From a previous discussion: https://www.peoplespolicyproject.org/2021/09/21/when-mcdonal...
Alternatively...

https://www.grc.com/sqrl/sqrl.htm
A lot of people travel without research nowadays: book the flight, book the hotel, find everything out as you go. That's how I did my first trip to Japan and I felt like an alien.
> it would be surprising if they don't run into some nasty issue that leaves their customers 6+ months behind on servers or switches at some point.

I just think your premise is wrong - most customers don't care about not having the absolute latest and greatest. Indeed they will often avoid them because

1. They are new so more likely to have as yet undiscovered issues ( hardware or drivers ).

2. If you buy top end, they sell at a premium well above their performance premium.

ie the customers who are perennially chasing the latest hardware are in the minority.
Great thread, I was scratching me head a bit too.
The horror of software employers is relative to their size and revenue. The larger and more money they have the less horrible the employment experience will be. It all comes down to fatal misunderstandings of economics (applies universally) and having sufficient money on hand to cushion that blow.

It seems thoughts on economics are revisited following a major disruption to productivity. Colonization produced mercantilism. Industrialization produced Adam Smith. Modern corporations produced Keynes, Hayden, and Friedman. Software (automation) has not yet had theirs. These thoughts on economics alter the relationships between employees, work, and the things produced.
I work in medical software and a few years ago fixed a bug that was an incorrect parameter value in a model used for computing diagnostic criteria that had proliferated throughout the literature after seemingly being incorrectly transcribed in one influential paper. The difference was relatively small, but it did make results somewhat worse.
No, they were waiting for North America to pick a charging standard. North America has picked CCS with Tesla's plug on the end as the standard. The Tesla plug will become CCS Type 3, aka SAE J3400.

Part of the reason why Europe has seen more EV infrastructure investment, development, and deployment is because the EU standardized on CCS Type 2 combo quite some time ago.
Can I ask this ONE question?

How the heck did Zuckerberg completely MISS the utter total 100% importance of the user handle in trying to lift Twitter's user base from Musk?

Let me tell you this - Twitter users ARE their handles - handles matter.

But in Zuckerbergs's world, to join Threads, you have to get an Instagram account - and apart from all the handles already being gone there, you certainly can't get your Twitter handle on threads.

People love to get a good handle - it's a personalised number plate. So Threads should have played on this - people who are engaging, posting, building audience on Threads, well they get their choice of handle.

There should have been the biggest handle rush of all time - in return for usage and engagement. Instead - Threads got the opposite - no good handles available at all, disincentive to join. Ugh.

Why - why does Threads use Instagram for its user management system? That's a mistake that has to be fixed pronto.

If I was running that project I would have said you get to have the same Threads handle as your Twitter handle if you can prove you own it by posting a code to Twitter. Of course Musk would do his best to make that not possible, but playing that game is part of the publicity of getting people to move over. Coming up with encrypted codes, obfuscated codes to prove your identity. The newspapers would write about it, you could build talk about Threads, build the perception that there was a real movement towards Threads. But did facebook do anything like that? No, they just dumped you in the Instagram user account system and said "no good handle for you". Really, whoever it is at facebook running the Threads project lacks the imagination to be taking on the job of stealing Twitter from Musk.
Show HN: An AI that reads privacy policies for you
I use OmniGraffle for similar reasons :)
I collected clothing tags as a kid for a few months because I saw a kid on TV for collecting something inane (I forget what). Used to do Philately for a while before that.

As an adult, I go by the motto of “Don’t save the candles”, which is to actually use the things you buy, even the expensive cutlery and the scented candles.
French is an official language of Belgium
Ask HN: How do you discover new things on the internet in 2023?
With the fall of Twitter and the fragmentation of where everyone has ended up I'm finding that I'm discovering less and less views/posts/articles that are out of my comfort zone.

I find without the stream of people I had curated for years to be pretty diverse in interest subject matter I tend to just frequent the same haunts every day.

What do you do to discover new things or stay on top of what's going on?

Disclaimer: I've been able to follow a few people to Mastodon but it seems some interest feeds have just dropped dead.
I think Twitter's new limitation to showing just the tweet itself was a great update. I don't have an account, so any time I follow a Twitter link I see only the relevant bit and none of the comments which basically never were worth reading anyway.
> there's definitely a kind of pseudo-hobby of buying things that all too often ends up as an addiction-like behaviour

For Warhammer, specifically, that's maybe why I've heard the term 'plastic crack' ... That is, buying large amounts of miniatures that never get painted.

(Always paint your bases!)
Somebody will try to hire their developers and managers? In order to give them a taste of what they do to others you'd need an even bigger company.
I'm kind of interested in how useful Lean4 is as a programming language, and if it's easy to prove things about a program written in Lean. I should probably look into that when I have a minute.
Epic would have a word.
Once the sympathy strikes got going, McDonalds folded pretty quickly and decided to start following the hotel and restaurant agreement in 1989.

Thank you for posting this.
Code correctness is a lost art. I requirement to think in abstractions is what scares a lot of devs to avoid it. The higher abstraction language (formal specs) focus on a dedicated language to describe code, whereas lower abstractions (code contracts) basically replace validation logic with a better model.

C# once had Code Contracts[1]; a simple yet powerful way to make formal specifications. The contracts was checked at compile time using the Z3 SMT solver[2]. It was unfortunately deprecated after a few years[3] and once removed from the .NET Runtime it was declared dead.

The closest thing C# now have is probably Dafny[4] while the C# dev guys still try to figure out how to implement it directly in the language[5].

[1] https://www.microsoft.com/en-us/research/project/code-contra...

[2] https://github.com/Z3Prover/z3

[3] https://github.com/microsoft/CodeContracts

[4] https://github.com/dafny-lang/dafny

[5] https://github.com/dotnet/csharplang/issues/105
Information should be free, uncensored and unconstrained by relentless and relentlessly varied political puritanism. I have no problem with an internet that contains "racist poems" (in quotes because of some of the absolutely idiotic, absurd modern definitions of racism) explosives recipes and so forth. If anything, it reminds me of the internet we all had much more freely just a couple decades ago.

As long as the fundamental tenet of free expression is somehow preserved in the world going forward, i'm content to let ostensibly free individuals share information without thinking that everything they feel like sharing for whatever reasons needs to be put before a censoriously anxious eye towards how some random authoritarian tendency is going to view it. This by itself is fundamentally a good thing. It's opposite is a grotesque deformity of a powerful ideal that perhaps used to mean more in the past than it does in today's tacitly paranoid world of needing to conform.
Apple sued over slide to unlock.

Edit: and won 120M on just that count.
elon is furious that european workers demand to work in a safe environment because this is not how fortunes are built (they're built the old fashion way, with broken limbs and lead poisoning)
>You own what you produce with it too

As I understand it, this is incorrect - all of these outputs are the creations of a machine, and as such are not eligible for copyright protection
I am not following Tesla things but don't they have factories in Germany and didn't they face the same problem ?
That's alright, Windows 10 machines will run Linux fine :)
It's called "brain rape" in Silicon Valley: https://www.youtube.com/watch?v=JlwwVuSUUfc
Nations die very rarely so this is probably up for discussion each time. I suppose it does become an issue when in 200 years a new country named Yurnia wants the .yu domain.
> Appointments to the House of Lords have long been a sore on the British body politic. In 1922 David Lloyd George was exposed for egregiously selling peerages in exchange for donations to the Liberal Party. The Honours (Prevention of Abuses) Act followed in 1925, but the banning of such overtly corrupt practices didn’t restore complete confidence in appointments. A century later, Boris Johnson’s resignation honours list and the peers it created (or, in several cases, did not create) sparked another bout of introspection about who is worthy of a place on the red benches.

This skips the cash for honours scandal in the early 2000s[0].

[0] https://en.wikipedia.org/wiki/Cash-for-Honours_scandal
Well, neither could win over the other side while the pesky Yugoslavia kept them from each other's throats. So they are both right, in a sad way.
> This kind of constraint is so liberating for me for some reason.

if you like this kind of a thing, erlang is a kind of thing you would like :o)
Please don't be so quick

https://news.ycombinator.com/item?id=38036113
Maybe experience is not the right term; "offering" would probably be better (or "more managed experience"). Although some people are perfectly happy with what Fly offers, it's probably less accessible to some others -and they hence do not use it.

imo Fly targets more techy users than Koyeb. For example, to setup continuous deployments, you are expected to setup a Github Action (https://fly.io/docs/app-guides/continuous-deployment-with-gi...). If you know what you are doing, it's fine. We want to provide a more managed experience by embedding this kind of capabilities in the platform.

So I would say that Fly is more flexible while we are more accessible
I find it strange that you, having worked with Erlang, struggle to see a use-case for BEAM languages in the context of web development.
Not blindly; there is a pretty extensive footnote (footnote 2) covering the linear-risk assumption.
NAVAIR – FOIA Document Library
Yep. Instagram shoves Threads excerpts into my feed at regular intervals. I’m pretty sure I don’t have a Threads account, whatever that means. I at the very least don’t have an ICQ-esque number my name on my Instagram profile. I’m being explicit here to preempt someone well-actuallying me about a shared accounts database or something.

Anyways, at which point am I considered a Threads user? If I stop scrolling to show my partner how absurd it is that they’re doing this? When I accidentally press in that item in my feed?

My normal Instagram feed is at least 25% screenshots of Tweets anyway, and the Thread advertisement interstitial gives you the impression that you can press to “view more” of whatever recycled thing is in the Threads post they’ve decided to shove in your face. So it could very well just be 100M people that pressed “See more”, and that’s one of the more generous explanations.
Especially in southern Albania, where the population is Orthodox Christian, and in a country where any religious observance significantly faded under socialism, there’s some wariness about political union because Kosovars are viewed as extreme Muslims. (Both Serbs and Republic-of-Albanians tend to be oblivious to the Roman Catholic Kosovar Albanians about Gjakovë, though granted they are a tiny minority.) I have repeatedly heard people in Korçë or Pogradec give the standard Albanian platitude that all Albanians everywhere are brothers, only for them to disparage Kosovars in nearly the same breath.
Do people living somewhere usually read travel guides? I'm still young so I haven't visited many countries (just ~13) but I've never read a travel guide, I presume they have useless information. I've also gone on 3 trips to Japan and I've never heard of takkyu-bin, although I'll consider it for future visits.
What's the name of the continent where "America" is? :D

From a European perspective, American means from the continent America, and not specifically from the US. To me a Brazilian is as much American as a US citizen.
Going off a tangent: the modern myopia epidemic seems to be related to lots of time spent indoors when growing up. People in the past weren't so myopic, and we have difference between modern countries that also track pretty well with that explanation.

However the science isn't quite settled on that.
> the fact that there are no resources on Mars that we cannot already collect here on Earth, for a fraction of the cost, and without constant risk of someone dying to explosive decompression.

How come you're so confident about this?

> I watched "Monsters Inc." at least a dozen times.

Ah, it's a 'win an internet argument' comment rather then have a discussion and think a bit.

The Expanse shows a possible future where the moon/mars and beyond were colonized, the implications and progress made and its problems, the comment was made to answer your question - what good can we get from it, which you confidently say there's none.

The previous Asimov book is a what if we never reached for the stars, something that seems like what you are advocating.

Both meant to perhaps share other ideas if you were so inclined to entertain.

> Nope. My answer is it works in theory and the principle has been successfully tested experimentally.

Ah, so still no, we cannot defend ourselves, rephrasing won't change the core idea you're expressing here.

> https://www.jpl.nasa.gov/asteroid-watch

That still needs proper funding to achieve good coverage, we still detect asteroids way too late.

> Please, do explain how that interplay would work.

Check out Apollo program for past example.
Privately agreeing might be preferable in countries where these projects are useful.
“‘more positive’ than its competitor“ because its competitor has all the juicy stuff, right?
The last paragraph is much more interesting:

> “I prefer companies to compete on the merits for consumers to want to use their products by offering higher-quality products,” Mr. Hurwitz said. “Not by paying lawyers to go to the European Union and get rules in place in order to obtain access to their competitors’ platforms.”

This somehow implies that Apple with Spotlight and Safari competed on merits for consumers and it won over Google alternatives and now Google is somehow trying to use the law to get an advantage... basically the author nor Mr. Hurwitz have no idea what they are talking about.
I'd highly recommend "The Myth of Normal" by Gabor Mat\'e as the long
version of this position.

But beware, once you accept its premise one must concede by the same
token, those who prey upon the vulnerable in society, whether they are
heroin farmers and dealers, or addictive app developers, are cut from
the same moral cloth. The "legality" or "illegality" of the end
product is immaterial, only the social effects.
Tao got his PhD at the age of 21 and a tenured professor chair at the age of 24. To compare, at the age of 21 ordinary people only get their bachelors and typically it's 23-24 they when they get their masters degree. A PhD takes several more years and of course very few become tenured professors even more years later.
If you mean that you might be able to use it to disassociate the moment of gaining entry and the moment of exploitation of the system, then yes. Indeed the DB contents may have been synced elsewhere in the meantime, meaning your exploit has spread before triggering, perhaps even to places you'd otherwise not be able to exploit as they are airgapped.
You can use it as a persistence mechanism.
For people looking for an easy introduction to Lean4, the Natural Number Game is great: https://adam.math.hhu.de/#/g/hhu-adam/NNG4

And if you just want to read without playing a game: https://lean-lang.org/theorem_proving_in_lean4/introduction....
> why does Threads use Instagram for its user management system

a) Because it allows most people to join instantly without having to signup.

b) It leverages your existing Instagram interests, connections etc. for the feed.

c) Enhances your Instagram advertising profile with additional data.

d) It means that Threads has a robust, scalable, secure and proven auth system.
i don't even know the url of the website and have yet to notice a link on HN pointing to Threads. I don't know if the url is being filtered out on HN or there just isn't any interesting content there worth posting here.
The issue is that modern software fails because it's part of a complex system with many moving parts, rather than, it is inherently complex at the source-level.

Certain sorts of algorithmically complex development (games, cars, medical hardware, etc.) would benefit from a 'closed-world verification' -- but that's not most software, and they have alternatives.

'Code correctness', including unit testing, ends up being a big misdirection here. What you need is comprehensive end-to-end tests, and instrumentation to identify where failures occur in that end-to-end.

The effort to source-level-check source-level-code is largely a huge waste of time and creates an illusion of reliability which rarely exists.
Well he may simply fire all locals and bring in all-foreign staff. What will stop him? Salaries Tesla pay are sufficient for Blue Card or similar permit.
Not when you factor in how this strategy affects those who employ it. Sure, compromising your ethics and lying to people in order to secure more donations will bring in more money for the good cause - short-term. Longer term, how long until you start thinking, since you're already lying to the donors anyway, why not also lie about the whole charity thing and start pocketing the donations for yourself?

"Ends don't justify the means" isn't true on paper, for perfectly rational actors - but is true for actual humans.
Not really. I thought the same way, but the math doesn't work out.

[1] https://news.ycombinator.com/item?id=37400948
I felt called out by the title since I spent all my hobby time in the last few weeks to fabricate brass gears for an orrery I’m working on. :) Luckily it is not about that kind of gear fabrication syndrome.
Most people on earth live in cities. Most of those cities have working public transport.

Focusing on cars so much is to the detriment of all of humanity, hence the common pushback.
That explains it exactly - technical reasons. That's why it's failing.

It's a fight with Musk, not development of a banking ledger system designed with UML.
Noob here, how is Lean4 different from TLA+ or Alloy? Is that even a reasonable comparison?

Edit: Wrote Allow the first time, good stuff.
But CCBot has been a very common robots.txt entry for a long time, long before OpenAI of GPTBot existed, long before site operators were even aware CC was being used to train AI.

This claim can be verified. Archive.org has good collection of robots.txt files. CC itself has collections of robots.txt files.

If CCBot has been in most robots.txt files since 2008, it would be difficult to argue the reason has been to stop usage of crawls for training AI.
Analysis: Global CO2 emissions could peak as soon as 2023
Yeah, it is on my list when my Kidle eventually dies.
> This seems like a high severity issue, but the fix is behind a debug menu?

Presumably because fixing this required changing the processes model in WebKit, which means they are still testing the change before landing it for everyone.

> This also goes to show how the side channel mitigations are totally useless and we should stop pretending such attacks have been fixed. It is not safe to run untrusted code, no matter how you sandbox it.

All side-channel attacks have not been fixed, but I think it is inappropriate to call side channel mitigations useless. They significantly raise the bar for exploitation, much like seatbelts aren't "useless" even though people still die in car crashes. And I don't know about you, but I still drive cars even though I'd love to find ways to improve their safety.
Okay I missed it. Thanks!
When you sign up you have to use Instagram. You then cannot delete you account without losing Instagram.

So then Instagram gets thread notifications.

Clicking on one becomes a visit and goes part of the MAU metric.

Threads has no users.