skysight-inc/HackerNews huggingface dataset:
Guaranteeing Õ(AGM/Out) Runtime for Uniform Sampling, Size Estimation over Joins
It depends what you’re doing. I’ve run many side projects off a single Lambda function with the “public URL” config enabled. I pay $0 because of the free tier and updating the code is as simple as pushing a ZIP file. No SSH, no OS updates, nothing else to worry about. You start to get into trouble when you try to break your app into tons of microservices without using some kind of framework or deployment tooling to keep it straight.
"Sorry we got caught."
DarkFi: Anonymous L1 based on zero-knowledge, MPC and homomorphic encryption
Not true, taking on C or C++ dependencies has different potential consequences than taking on Java or Python dependencies
Sure, a trivial one is:

`Either Int Char`

Example values of this type are: Left 3, Right 'a', Left -99, Right 'X'.

When we pattern match on a value of this `Either Int Char` type we have two branches to handle:

```
case myValue of

Left someInt -> "It's an integer: " ++ show someInt

Right someChar -> "It's a char: " ++ [someChar]

```

You can nest them if you need more branches: `Either Int (Either Char String)` and you can match out the different branches. Although people don't usually write code this way in Haskell: we usually think of better types that model what we're trying to do.

This is such a common way of doing things. There's a great function called, `compare` that returns a value of type `Ordering` which can be one of: LT, EQ, GT for each of the cases when comparing things with the usual comparison operators.

A lot of Haskell is variations on pattern matching: guards, if-expressions, etc.

Where this becomes even more useful is when you start to use types to enforce pre-conditions. I don't know how many times I've seen code in C++ or Python or Javascript where you have to validate the inputs to a function: make sure the list isn't empty otherwise throw an error! In Haskell we can prevent that possibility and eliminate the need for a useless check by writing a type for a non-empty list and use that in our function's signature (note: you can do this in C++ and Javascript too, it's a good idea).

Or you can write your type so that it fails in some way if the inputs are not right: use `Either SomeError Int`. Then your callers have to handle the error case and the happy case.

There are such things as "exceptions" in Haskell but they're limited (mostly) to things that happen in `IO` returning functions. There are ways to pick apart the seams of the GHC runtime and do nefarious things that would throw exceptions that would break the usual rules (eg: https://hackage.haskell.org/package/bytestring-0.10.8.1/docs...). However it's incredibly rare and sticks out like a sore thumb that it forces you to give such code extra scrutiny.

Exceptions aren't used for control flow in the same way that they are in Python, say. Handling them though is possible and a whole other topic. Let's just say it's a bit tricky to get used to... though Haskell has some good facilities for properly handling async/threads and exceptions so that resources are cleaned up and handled properly.
I remember Threads clearly, that along with "When The Wind Blows" are etched into my memory. I grew up near Sheffield, and it all just seemed so real to me. It was incredibly harrowing to watch.
But why? The current top reply sums it up so well: "All of it is actually useless, and it does nothing but eat time."
publicly traded companies in the social media space need to get clicks. so do influencers and pundits.

no surprise that economic forces push them together, to the detriment of your feed.
When I go to the store, I see the same old flavors rebranded as something new and maybe put on a new medium (ex: casava chips). When I see people grocery shop, they aren't looking for exotic meats, they want chicken breasts and ground beef. People attach themselves to specific products and specific flavors for life (some people are lifelong coke drinkers and hate Pepsi).

People like what's familiar and they find comfort in it. Unless you have a killer marketing plan to get consumers to try your new flavors, betting on comfort and familiarity and differentiating on something the consumer is passionate about, such as cost or climate impact, is a winning strategy.
Write more, design less (and better)
Again, we're talking about entry level creators. I have been talking purely about the entry level models this whole time. I know what they come with. I know the specs, the upsides, and the downsides.

The entry-level models are great. The best entry-level machines Apple has ever offered. They would slot into any indie-creators workflow very well.

Would I recommend some upgrades if they can afford them? Yes. Some more RAM and more SSD is always a good idea. If they can't afford it? That's fine, the base models are fantastic.
The Senate report: https://www.warren.senate.gov/imo/media/doc/Attacks%20on%20T...
I think the differentiating factor is a simple one: you interact with people that you would not have known in real life, a global 'two way street'. If it doesn't have that component then it isn't social media.
Sure, but here we're not mutating the object during the String.startsWith() call. Hence I'd say it's a TOCTOU bug in String.valueOf().
It does when you are misinformed believing that the only cause for frame-rate drop is JIT shader compilation.
If you read a double or long while writing to it from another thread, you are not guaranteed to read a value that was ever explicitly set because they update 32 bits at a time rather than atomically.
University of California reversing course on ‘Data Science’ admissions standard
Words: The Programming Language for Ideas
A ZFS block is 128 KB by default (smaller if the file is < 128 KB, but can also be larger if you manually configure it).

So a ZFS block is even larger than a bcachefs "extent".
I don't really agree..... if you look at my post history, I've posted quite a few very controversial things (not about politics but programming itself) and... lots of people disagreed with me heavily but there wasn't any flamewar or anything. It was quite civil for the overwhelming part, which I actually found surprising, it's been a breath of fresh air compared to everything else.

(note: this is a repost from another comment because I accidentally posted it in the wrong place)
Yes. Science is a human institution, with all of the mess that entails.

But at least the ability to challenge authority with evidence is science's central dogma (rather than "this book is infallable"). It means one way to find fame and fortune in science is to conclusively disprove some accepted wisdom, in a way that others can repeat and see for themselves. That's not to say you won't meet resistance, partly because of human nature, and partly because, heuristically, most unexpected results turn out to be flawed on further examination.

I'm interested in specifics of which scientific institutions you think are trying to influence us in what way, and to what purpose.
There are also entire industries that target low income individuals, such as diploma mills and payday loans.

I can also imagine specific ads targeted at small business owners, or landlords. Either of those are easy to parse (imprecisely) by the presence of specific forms in the return.
Purely out of curiosity, is that much better? At least the data won't be complete garbage, but there'll still be a logic bug lurking in the details.
GDP has been growing for multiple quarters, the unemployment rate is 3.6%, and wages have been outpacing inflation for a while, and we’re hitting under 3% CPI. Core monthly CPI is at the lowest level since Feb 2021. While the other comment about “transitory” may have been sarcasm, it’s looking like the fed was right and inflation is coming under control.

Where’s the hard landing? Where’s @jack’s hyperinflation? When will doomers stop being easy marks?
They now know what those people can afford, what schemes they might be vulnerable enough to buy into, etc.

But also think about combining it with all the other data they have? They can sell that to anyone even the government. So you know how govt agencies can't just go peek at your taxes without a good reason? Google and meta can sell this data to contractors to sleuth on people or do whatever they do because it's technically all private industry.

Any peice of data like this is super lucrative.
My instance is not "left-wing", I have had plenty of (civil) arguments with people all around the spectrum and no one is trying to cancel me because of that. I also have so far managed to go by without having to block any instance (but I did personally block a bunch of trolls and assholes from poa.st and fse)

I was initially inclined to invite you to my instance as well, but I'm starting to get the feeling that you are more interested in not being called out for any BS you put out than in a healthy social discourse.
Gotcha! I actually use HN everyday - not much of a commenter though. Perhaps that's why it came across as a one sided thing. Perhaps I should be more active in the comments as well... Thank you for the feedback!
There seems to be a thread of clever philosophical mischief in Czech writing (that gets read in English at least). Perhaps "The Good Soldier Švejk" is a common influence.
I read the graphic novel version of "When the Wind Blows" as a child about 40 years ago.
I don't remember being scared but to this day I still think about how I would improvise a fall-out proof shelter in my own house.
You know that most musicians didn't start off as professional musicians, right?

I can't imagine there's anyone who lives in a sufficiently technologically-literate world that they know how to use a mobile phone, and despite this has never heard of the second most commonly used bit of software in the workplace.
The public is wrong about a lot of things, especially when some of the richest and most powerful people in the country have systematically deceived them for years.

The public thinks inflation is a crisis despite all evidence to the contrary because certain politicians and pundits keep shrieking about it.
Technically only because Russia treats it's troops like disposable cannon fodder and early in the war was sending 2 soldiers for every rifle with the instructions for the second guy to pick up the rifle when the first guy dies.
Not all patches are there, but an impressive amount[0] already is, despite how young this platform is.

0. https://rvspace.org/en/project/JH7110_Upstream_Plan
What I learned when I tried installing a wind turbine on my house
Threads is the grimiest, most horrific movie I've seen. I did not think a movie could affect me in such a way until I saw it.
Bee: The Fastest Kafka UI
> because the most basic computer skills are now as important as knowing how to drive

Maybe not knowing how to *drive*, lots of people don't need to know that, but it's kind of up there with knowing how to read.
Not on Linux. There weren't any serious attempts to port it as far as I know.
Show HN: Hashdocs – an open-source alternative to Docsend
This is my first open-source project I built E2E, so excited to share with all of you

Built Hashdocs because I was frustrated at the high pricing of Docsend for basic link control features, and the clunky viewer experience

Would really appreciate your suggestions and feedback
>"Inflation is down" is ridiculous spin. No, the rate of increase of inflation is down.

These mean the same thing; they're both referring to the second derivative of prices w.r.t. time. There is nothing wrong with GP's phrasing.
I find "serverless" is indeed more complex, because it's a higher abstraction layer. Often, I see people deploying containers lambdas or pods that are full unix environments, with permissions, network routing, filesystems etc. And then because it's "serverless" they use permissions (IAM), networking stuff (VPC, etc), filesystems (S3 etc), and other capabilities that they already have in a lower abstraction level (unix) and are sort of also using. So the complexity of a unix server is a unix server, but the complexity of "serverless" is a unix server plus all the capabilities you duplicated at a higher abstraction level.

Many other commenters replying to https://news.ycombinator.com/item?id=36693471 are interpreting "complex" as "hard for me to set up." I think that's neither here nor there -- no matter what's underneath, you can always rig something to deploy it with the press of a button. The question is: how many layers of stuff did you just deploy? How big of a can of worms did you just dump on future maintainers?
At one point in my younger years I read The Unbearable Lightness of Being, 100 Years of Solitude by Marquez, and Invisible Cities by Calvino all back to back.

These books changed me for the better at the time and I think about scenes from each in my daily life all in about the same sort of way. Beautiful imagery, pointed human condition takeaways. Got under my skin and stayed there.

Unbearable Lightness had such a quality in the writing that stuck with me wherein he would twist a scene into something else in the span of a paragraph or two. There's a scene wherein Tereza goes to the top of a hill that comes to mind. The entire opening of the book was at the time unlike anything else I had read.

Makes me want to go re-read that era of my life again and explore more of each of those author's works.
> My only (minor) complaint is the extra 30 seconds it adds to my desktop's boot time.

Wait. What? You'll forgive me, I have no experience with ZFS: why??
> That's not how law works, you cannot force other countries to abide by your laws just because you say so

No countries are forced, just corporate entities in those countries that aim to transact with EU citizens. And that's perfectly fine, lots of countries have laws like that on their books and ways to enforce them. The only people that tend to object are those that are part of the group that wishes to trample on the rights of the people whose data they collect.
amazing that this streaming pile of characters and its uncreative associations with three-letter-agency code names, results in exactly ninety two percent accuracy.. almost like its profoundly wrong in exactly the most important ways
Fair, but "learning / maintaining Linux" is not a singular entity. Every project uses a different configuration (toml, yaml, json, ini, etc.), much of which can often be accomplished -- even for multiple machines simultaneously -- with some nix.
The teenager is now 38 and has moved states 3 time.
But still has the full set of credentials on his personal laptop.

Oh wait. He don’t anymore .

since he switched laptop and don’t care anymore, but weirdly nobody made backup because their is a sense that this once teenager ought to keep things running, somehow.

( inspired by real life even. )
This seems kind of like a twist on the classic 5 Whys method of root cause analysis. I think 5 Whys would work just as well in most of the example scenarios.

Example from the post: Engineer is thinking about doing a thing without permission. Why? Engineer thinks nobody accepts his ideas. Why? 5 possible answers. We could ask "Why?" again and get another step down (the author doesn't do this and instead proposes jumping into tests right away, which I think is still at least a level too high). One answer given: Engineer thinks his ideas are good, but they are bad. Why? Engineer probably isn't validating their ideas against feasibility, business outcome, maintainability, etc. Why? Engineer might be arrogant or inexperienced with real business settings vs. university/hobby projects. Now we have a root cause we can address and then move back up the chain.

When you can't ask "Why?" anymore without it being silly, that's when it's time to run tests and propose solutions.
The premise is a false memory or deliberately misleading. There was never a bipartisan consensus to weaken teachers unions. That is hardly a centrist position. it is a conservative position and just another example of how far to the right conservatives have shifted. Meanwhile there is hardly any representation for a truly leftist position. It's centrist at best.

>The left basically just wants to throw money at the schools, not ask too many questions about outcomes, and give the teachers unions what they want.

No, the actual left is all about analyzing outcomes. They are the ones who have written the only effective social programs, so they ought to know.

There is so much about this that is pure speculation and rose-colored spectacle gazing at "free market" (which charter schools aren't) claptrap.
RIP to an amazing writer and thinker.

For some reason the one line that stuck in my memory after all these years (having devoured his oeuvre in my early 20's, more than 20 years ago), is this:

> "Vertigo is something other than the fear of falling... it is the desire to fall, against which, terrified, we defend ourselves."

(Forgive the paraphrasing, it's from memory.)
Why would they go to all the effort of making a fake phone and then CGIing in the details, when a device that looked and worked exactly as shown in the video existed in real life?
I found a small error I can't edit into this comment: the Fourier multiplier of R_j is -i * x_j/|x|.
A gist is a great idea. The one issue, I think, is that I cannot expect users to have a GH account, and I'm not sure it's sensible to make a GH account and embed a Token in the app.

That's the rub, I think. Any sensible person would scream, "SECURITY HOLE!" but for my use case, it's not an issue. Just some high scores for a game that like 100 people might play in its lifetime, or whatnot.
Show HN: Heylangley.com – AI Language Learning Partner
LinkedIn is a horrible place because I'll see posts from the worst people I've ever met about tips and tricks on "how to be better at X". It grates on my soul.
Fermat's Last Theorem and the Principle of Duality
Let A,B,C,K be natural numbers. Let T signify true. Let F signify false. So we have ∀K(K≤2→∃A,B,C(A^K+B^K=C^K ))=T. But this is equivalent to ∀K(K>2∨∃A,B,C(A^K+B^K=C^K ))=T. By the principle of duality we then have ∀K(K>2∧∃A,B,C(A^K+B^K=C^K ))=F . Also consider the following. Again, let A,B,C,K be natural numbers. ∃K(K≤2∧∃A,B,C(A^K+B^K=C^K ))=T. By the principle of duality we then have ∃K(K≤2∨∃A,B,C(A^K+B^K=C^K ))=F. But this is equivalent to ∃K(K>2→∃A,B,C(A^K+B^K=C^K ))=F
Andy Matuschak – Self-Teaching, Spaced Repetition, & Why Books Don’t Work
nice one! almost DIY Netlify
> I'd wager that you'd be surprised at the number of people who don't know what Microsoft Word/Excel are.

Presumably, anyone who has never had any kind of a job in any field ever, or been to any kind of school.
There’s some doubt which Thatcher government initiative this programme was in support of: “protect and survive” or “long term economic plan for the North of England”

Either way it certainly hastened the move to plastic milk cartons.
They probably either live in reality, where the only people who will help you advance your policy goals are those who regularly agree with you or have been consigned to obscurity by not living in that reality. Do you want to be "true to yourself" or do you want to win?

It doesn't help that people who have rock solid principles are easy to beat as you can just do what they are unwilling to do to beat them. Like a frog in a niche, they went extinct.
Hey now, we still have that GitHub arctic code vault.
How many people were asked in each poll and were they all French? Genuinely curious.
The production style reminds me of The Program audio series. A fantastic Sci-Fi audio theater production.

https://programaudioseries.com/
ThirdAI PocketLLM – a free, private neural search for documents on your laptop
Today, we are excited to announce the launch of the beta version of ThirdAI’s PocketLLM, a free, user-friendly LLM (Large Language Model) app for Mac and Windows. PocketLLM combines ThirdAI’s unique neural database technology with real-time fine-tuning and reinforcement learning, all done locally on your personal devices (laptops/desktops) for complete privacy. Users can upload thousands of pages of text (pdfs or docx) and train an entire LLM on their CPU within minutes.

Please try it and provide your feedback
> It was filmed in a way that made it feel like a fever dream,

I'm curious if you are from the US? It's filmed as if it was a UK TV soap opera, which to people in the UK would definitely not feel like a fever dream.
If a voter is too inept to properly operate cryptography, can it be said that their vote is legitimate? Seems to me that not everyone should vote.
Befriending ravens is fairly easy, to be fair. Don’t wait! Befriend a raven!
Am I being unreasonable to find it bizarre that the tutorial begins with subscribing to 3 different SAAS vendors?

Especially seeing these days you can run a vector store on-disk if you have less than 10 million records, pull any free embedding model straight from HuggingFace and run on consumer hardware (your laptop).
There’s no allegation that they actually wanted it or attempted to extract tax data. They have it now, but it seems more like gross negligence rather than some nefarious plot.
I'll be surprised if none of the bigger beer companies ends up buying it for the brand and history alone. But maybe it doesn't have as much name recognition as I thought.
NATO exercises officially assumed that the war would either be over in a few weeks or turn nuclear.

Would Australia really still be a country if all it's major population centers are evaporated and turned into craters? It would be a pyrhic victory.
Obligatory Tom Scott video: https://www.youtube.com/watch?v=8lQtdhtw5eI
I was nearly 100% sure it's about Hashicorp Terraform (a cloud infra language) but then saw it's about the actual physical device OMG
I think the mainstream media hates him particularly because he owns twitter, their biggest existential threat.
This comment is super funny. You are on a central-platform social media site making this comment.
It reminds me of a mooring exchange website I built 20 years ago, where boaters could freely exchange and/or temporarily use each other's moorings. I eventually pulled the plug because harbormasters were complaining about it and it was just consuming time (no monetization). Maybe I should try again with an annual fee ;)
This has nothing to do with politics:

> “We recognize the importance and historic significance of Anchor to San Francisco and to the craft brewing industry, but the impacts of the pandemic, inflation, especially in San Francisco, and a highly competitive market left the company with no option but to make this sad decision to cease operations.”

You really think California is "collapsing economically" or are you just trying to inject your politics into something unrelated?
I agree about identity, but this can also be accomplished by "owning" your domain and using a mail provider that allow you to use it. Even Apple does nowadays.
YCombinator has business in Europe and thus is within reach of European legislation.
I enjoyed the article, but if I may express a peeve of mine... In the code listings, can we please not use a syntax coloring scheme that makes the comments nearly unreadable? Especially in blog posts like this, where the code deliberately contains numerous explanatory comments. Such low-contrast text slows down my tired old eyes.
yeah this is also why LLM-based content doesn't add much value
the world needs new ideas, not more text