skysight-inc/HackerNews huggingface dataset:
Very true! And I also think a lot of people doesn’t understand how Sweden/Nordics differ from eg France and assumes unions all across Europe works the same.
The Journalist and the Murderer
I think to make software more reliable, you'd have to go back to the "waterfall" method of development.

If we went back to Dijkstra's notion of correctness by construction, then a specification for the program would be made, and then a programmer would prove their part of the code correct to the specification. They would write the precondition and postcondition of every effectful statement, document the invariant of every loop, and prove by induction that each loop does what it's supposed to do. Basically, annotate your program with Hiare triples. (There are books about how to do this). Then, extensive tests should be run for as much of rhe program as possible.

Nowadays, we have tools for this so that we don't actually have to write a proof by induction for every loop; instead, we have bounded model checkers. In theory, the manual proof writing could be isolated to the parts of the program whose properties a bounded model checker cannot verify.

However, it seems like this whole plan is infeasible unless regulations are written that enforce this onto the industry. It would make them a lot less productive, and therefore less profitable. The only benefit would be that software is more reliable. By necessity, it would have to become simpler, too. For instance, there's absolutely no way that web browsers like Chromium, with 38 million lines of code, will ever be verified, because they're too large and complex.
Neat, I only wish their pricing for commercial was more reasonable. The bundling they do makes it a complete non-starter for people or companies who don't use the CI/CD, for example.
To clarify what I think you're suggesting for non-Mullvad users:

- Payment can be made in multiple forms which are not tied to a customer identity (you can even mail them cash)
- Accounts are not username/password, no personal info is requested. When you pay you're given a randomly generated account number (currently 16 digits) which is valid for the time paid and each connected device, up to 5 simultaneously, will receive a random name.

More info here: https://mullvad.net/en/blog/mullvads-account-numbers-get-lon...

This is a great suggestion for opening up as a more general purpose search engine. The history on/off option is nice but not an adequate guarantee for many situations. Searching for regionally banned or "unfavorable" topics while traveling or living under a regime, consulting legal information, or just plain old porn searches are all situations where one might consider having their name, email, and credit card stored with the potential to be linked a bit too risky.
kubectl with “-o json”
Yes, that's one of the problems when all "communities" exist only online today.
A sudden rush of so many similarly situated workers is going to be a very difficult situation.

The robots may be good but the cost of the social upheaval should be factored in to the cost of their operation. Otherwise the rest of us are paying for the externalities of these devices and incentivizing the displacement of workers.
Theoretically it could fit into a single 24GB GPU if 4-bit quantized. Exllama v2 has even more efficient quantization algorithm, and was able to fit 70B models in 24GB gpu, but only with 2048 tokens of context.
Turns out it's you!
This is the scene, Thranduil telling Thorin Oakenshield “Do not talk to me of dragon fire! I know its wrath and ruin. I have faced the great serpents of the North!”:

https://www.youtube.com/watch?v=B9se3S5UaPU
Just because people write a very low or zero value in the records doesn't mean that's actually true for the product that physically is consumed.

At best it can be said to imply what's likely the case in physical reality. But even assuming a very low corruption rate of 0.1%, that's still hundreds of bad record writers putting out bogus records.
> Removing duplication is the introduction of a dependency. If this dependency is a good model of the problem then this deduplication is a good abstraction and may also be a simplification. Otherwise it's just compression in the guise of abstraction.

I think you're referring to coupling. Deduplicating code ends up coupling together code paths that are entirely unrelated, which ends up increasing the complexity of an implementation and increase the cognitive load required to interpret it.

This problem is further compounded when duplicate code is extracted to abstract and concrete classes instantiated by some factory, because some mastermind had to add a conditional to deduplicate code and they read somewhere that conditionals are for chumps and strategy patterns are cleaner.

Everyone parrots the "Don't Repeat Yourself" (DRY) rule of thumb and mindlessly claim duplicate code is bad, but those who endure the problems introduced by the DRY principle ended up coining the Write Everything Twice (WET) rule of thumb to mitigate those problems for good reasons. I lost count of all the shit-tier technical debt I had to endure because some mastermind saw two code blocks resembling the same shape and decided to extract a factory with a state patter turning two code blocks into 5 classes. Brilliant work don't repeating yourself. It just required 3 times the code and 5 times the unit tests. Brilliant tradeoff.
Original source of the numbers, which seems quite readable:

https://www.lao.ca.gov/Publications/Report/4819

Of particular relevance to HN:

> In particular, investment in California startups and technology companies is especially sensitive to financial conditions and, as a result, has dropped significantly. For example, the number of California companies that went public (sold stock to public investors for the first time) in 2022 and 2023 is down over 80 percent from 2021. As a result, California businesses have had much less funding available to expand operations or hire new workers.
multimodal? 32k context is pretty impressive, curious to test instructability
> In a 2018 talk, Schmidt disclosed that the original inspiration for the name came from the location of the then Google Hamburg office's street address: ABC-Straße.

From Wikipedia about alphabet Inc
> Every journalist who is not too stupid or too full of himself to notice what is going on knows that what he does is morally indefensible. He is a kind of confidence man, preying on people’s vanity, ignorance, or loneliness, gaining their trust and betraying them without remorse. Like the credulous widow who wakes up one day to find the charming young man and all her savings gone, so the consenting subject of a piece of nonfiction writing learns—when the article or book appears—his hard lesson. Journalists justify their treachery in various ways according to their temperaments. The more pompous talk about freedom of speech and “the public’s right to know”; the least talented talk about Art; the seemliest murmur about earning a living.
That's exactly why I read the article! I wanted to see the statement from the train company explaining how they're fixing that!
I salute whoever chooses to use this and runs into the assumptions made by this tool that turn out to be wrong.
That's because it's got a randomizer component at its core and only knows the statistically most likely thing to output next (still influenced by the random bits), not some logical reasoning that allows it to "understand" the question.
Ask HN: What software projects benefit from dynamic typing?
I know only p5.js presentation engine, and one well-known and highly respected here PL family.
> what about the adults, weaker encryption leaves them vulnerable to hackers/scammers

... And children!

Even worse, having the government monitor your communications _destroys your life_.[1]

These proposals by governments are effectively saying, "We're going to protect your children using this technique that completely fucks them up."

Child abuse is one of the most horrific things there is. It's only second to even now horrific things things like let's let the government monitor everything all the children say.

[1] "Anything you say or do can and will be used against you in a court of law", as US residents should be well aware.
It supports `jc foo | jq` which is quite handy. E.g. `jc dig google.com txt | jq '.[]|.answer[]|.data'`
The poster has 16905 karma and has been around since 2013, though. Obviously a bona fide member of the HN community and not a spammer. (Well, unless his account was hacked.)
> companies engineer food to exploit our senses

This is just a maximally edgy way to phrase "companies are making tasty food". Which I don't disagree with - like Stephan Guyenet and (apparently) you, I blame the fatness problem on the fact that we've evolved to eat a bit extra because food wasn't always available, and now we're surrounded by an extreme variety of tasty food 24/7. I don't believe any of these food ideologues (keto, anti-grain, carnivore) who try to vilify a single ingredient or food group. But then, how could you possibly regulate that? If it was some bad ingredient then it could be limited or banned, but how would you regulate tastiness itself? To me, this seems hopeless, and I'm expecting the obesity problem to get addressed by a combination of making cities more walkable and normalizing semaglutide-like drugs to the point their use is as ordinary as popping a vitamin pill with breakfast. I'm curious to hear if you have different ideas.
The fact that the rumor exists is a different state of the world than if that rumor didn't exist, or a different rumor existed. Sometimes that implies things. If it wasn't made up from whole cloth, someone closer to the truth than you actually thinks that's true. They could still be full of crap, yes, but you don't necessarily want to discount them, either. If it was made from whole cloth, sometimes you can learn things from what you adversary wants you to believe. I don't think this is difficult logic.
U.S. approves first gene-editing treatment, Casgevy, for sickle cell disease
Normally the battery is the regulator it serves to buffer inrush loads and absorb spikes.
I'd also assume that a CLI resisting JSON support is likely to have a very stable interface. Maybe wishful thinking...
Seems like if the reason for it is within the law regulating worker action, it is, in fact, union activity, and is, in fact, a strike against Bob, according to some Nordic countries.

Is your sole problem with the fact that people are calling something a strike, and you personally don't think they should, according to your possibly single-country-centric view of the term, or is there a substantive objection?
It's normal for an indie game or small utility programs to cost $20 on PC. I think it's reasonable to allow for the same on mobile.
> 96GB of weights. You won't be able to run this on your home GPU.

This seems like a non-sequitur. Doesn't MoE select an expert for each token? Presumably, the same expert would frequently be selected for a number of tokens in a row. At that point, you're only running a 7B model, which will easily fit on a GPU. It will be slower when "swapping" experts if you can't fit them all into VRAM at the same time, but it shouldn't be catastrophic for performance in the way that being unable to fit all layers of an LLM is. It's also easy to imagine caching the N most recent experts in VRAM, where N is the largest number that still fits into your VRAM.
Thanks, that's the one I was thinking about. I remembered it had an odd name.
Actually, Sweden Won't Give in to Tesla's License Plate Demands
Out of curiosity, why are parser combinators not the choice approach for something like this? Is it mainly a performance thing?

PS— this is super exciting!
Doesn't matter, if they want to keep operating in such countries, they've got several options to choose from, amongst providing a backdoor or disabling E2EE.
In 2020 the FDA wanted people developing tests for Covid-19 to get some SARS to make sure their test didn't accidentally show a false positive when SARS was present. But of course there was no way the CDC was going to hand out SARS to random research labs.

I'm pretty sure this is just someone at the FDA trying to be diligent in their own way. Mostly this is downstream of powerful companies being able to sue the FDA for allowing things if the FDA doesn't follow procedure, which the FDA wants to avoid.
Create a culture where you don't deploy directly to prod on friday?
This is one of the big 5 personality traits (agreeableness).

I found that these cover most everything and the combinations are the most interesting and useful.

As I get older, I find that people closer to the middle across these traits are the ones I enjoy being around.

This helps me know what areas I can work on to be a more pleasant human being :)

https://www.jordanbpeterson.com/docs/230/2014/25Soldz.pdf
American zoning laws have made anything else illegal to build, so yeah, you are kinda suggesting we should design our country for a specific way of life.
Thanks, I didn't know that. I'm a big fan of Kagi and it turns out I don't use half of the cool stuff I'm paying for.
I adore this project. I hope one day to write my own micro OS, I started one using OSDev[0], but never finished it. Building your own OS on top of your own hardware is on another level though. Excellent and nicely documented project, Paulo!

[0] https://wiki.osdev.org/Expanded_Main_Page
Don't forget Final Fantasy XVI!

Been playing it for like 6 months and really enjoyed it.
That is not quite true. The majority of population is afraid/unable/not want to be vocal about their opinion in public.

Source: https://russianfield.com/180days (see aborted calls rate, and it is not the lowest i've ever seen)

Anecdotal evidence: I live in Russia and I know only a couple of people who supports P. Both pro-war and anti-war people do not.
You don't actually, is the thing. No humans exist who think that. If they did, that would imply something, wouldn't it, if only that there are some really weird people obsessed with me?
Wall Street Cop Tried to Ban Firm for 60,000% Fee Hike. It Hasn’t Been Easy
By area yes, by population no (75% Russians live on the European side, according to Wikipedia).
Collectively, not individually.
A lot of effort is spent on packaging the stuff we need for our own infrastructure so we can run it in prod. Gitlab is one of these exceptions but generally it's been working well for us.
You should learn Prolog sir: for the man that has everything.
deus ex machina was a complaint of mine as well, but as you get further into the story you realize how it's actual gods/ascendants/people causing the things that happened. some of those things were put in place thousands of years in the past. he does have several magic systems in the series, but they all have rules and they're followed.
Exactly, like that time they slowed down only chrome and every other browser was still fast. Oh wait that never ever happened.
Does it have experience in dealing with...sabotage? Specifically, a country that has a war on its eastern doorstep?

I mean - how is "let's mess with something on purpose so that trains won't run" NOT sabotage, since such time as railways exist?
It reminds me of the Japanese bubble economy of the 1980s when it was claimed that (due to absurd real estate prices in Tokyo) that the Imperial Palace was worth more than all of California.

https://www.scmp.com/magazines/style/news-trends/article/309...
Once you detect that electricity supply is damaged and that it’s over 10 miles and you know how many trains have stopped moving … you know it won’t be 10 minutes. It can’t take long to figure out what trains have stopped moving and where electricity has been cut.
From the story: "This is a slander from our competition, which is conducting an illegal black PR campaign against us," it protested.

Maybe corporate speak is different in Poland, but wow. Where's their evidence?
Threads from the previous 2 times out of 5 submissions that this caught on and was profusely commented on and dissected:

- Nov 2021: https://news.ycombinator.com/item?id=29239861

- Jan 2020: https://news.ycombinator.com/item?id=22022466
It's actually a lot better than it used to be. You wouldn't see a situation where beta blockers were available in Europe a decade ahead of the US nowadays.
Thank you for the clarification/correction. I see that Myerson is now a corporate raider at the Carlyle Group. Fitting destination for such a capital fellow.
This is the kind of thing that will destroy a nation's manufacturing industry overnight.

Who in their right mind would buy kind of equipment from a Polish company knowing that this kind of nonsense is both widespread and that their legal system has no solution?

Hoestly, "Dieselgate" is not a fitting corollary for this travesty. This is considerably more sinister. Hopefully whatever happens from here will be an agent of change for the better.
Debian with a basic wm, like Sway or i3, wouldn’t be a good option in those machines?
Arguably free media is suppressed in most of Europe. In Sweden state press subsidies are not given to press considered extreme by those in power to give it. Of course, and no wonder, those in power is the opposition. The situation is similar in other European countries.
*provable, you mean
Meh, you can switch android phones 4 times for the price of one iphone.
It's a good point. But someone would eventually see it in the dev tools and Meta's credibility would be shot forever.

It's an open question if that impacts their bottom line at all.
I'd really hope that modern signalling prevents trains entering signal blocks with other trains in (or can't confirm there's no train in) them.

As in actively prevents, locking the brakes at the previous block, rather than allowing drivers to miss or ignore signals.

We've had plenty of issues with this to learn from in the history of railways for it not to be a high priority.

E: aye seems that way :)

> In order to prevent a train from entering an occupied block, each signal has a mechanical ‘trainstop’ next to the track. This device applies the brakes of any train which tries to pass a stop signal.

https://madeby.tfl.gov.uk/2019/07/24/behind-the-scenes-signa...
Not sure what the "was" is for, it seems like it is still active, several edits in the past few days: https://wikem.org/wiki/Special:RecentChanges?hidebots=1&hide...
I think this is more related to american-centrism of Google - it is in their other products - e.g. Pixel phones restrict certain features to US.

So was Stadia - restricted to US at the beginning.

Also their are very slow at adding non-English languages to their offering.
Have you seen some of the existing projects currently working on it? Most well known is https://www.nushell.sh/, amongst some others
Parallel Python within the same process – hacking your own dlopen
Please don’t take it the wrong way - but from what you say I tend to sense some idealistic attitudes.

The book doesn’t teach how to “be alpha and get laid”. The most important aspect of it is knowledge of opposite gender games. If you understand it - you will never ever be confused of relationships. If you don’t - you will be constantly confused.

The truth, like God, doesn’t care if you disagree with it or not. It’s just there, whether you like it or not, whether you believe in it or not.

Things like game exist and will always be because it’s necessary for evolution. On other hand, things like “genuine connection” do not exist outside of your imagination.
In my experience a culture of urgency has been the most reliable indicator of a mismanaged or toxic workplace.
Just because it doesn't have tracking now (or at least claims so) doesn't mean they won't add it a few months later. Paying for something is no guarantee for privacy, unfortunately.
These older iMacs like the one in the article didn't use glue yet! That only started with the 2012 ones iirc. So anything before that is pretty easy to fix or Upgrade!

(Especially the old aluminum ones, they just had magnets holding the front bezel in place)
Say I own an iPhone and I’m considering a Fairphone. Which iphone model would I have to own for the transition to make sense, both for user experience and sustainability?

I.e. Iphone 15 surely not. But iphone 5 for sure yes. Where is the cutoff?

I’m choosing iphones because they’re recognizable and have a predictable release schedule. Let’s disregard ios vs android angle if possible.
It s probably also illegal. They could prosecute you for trespassing on the rail way if you are not supervised.

I used to commute into London before Covid and there were times when we were delayed so long that I thought we might have to resort to cannibalism.
I love AI Explained, but is a 200k sub channel really that influential in the industry?
That's exactly my point. Until it becomes commercially viable, 99.99999% of people don't care, and simply roll their eyes upon every announcement of the latest 'breakthrough'.
It's so nice when you've been meaning to look something up, and here is an article about it.
Distributed-Element Filter
Can you provide a source for this?

Since it is MS providing the compute for equity, they would not have an incentive to discount.
When a mechanic from Land Rover saw the wiring, he said something along the lines of "just fault location would be 2k, none of the colors I see should be there". A mess... But hey, the 80s and 90s were a wild time, and it is rust free!
> People live as they are protected by some divine power over the consequences of their collective actions.

I mean, most people in the world are religious, aren't they? I sometimes forget that fact working in tech where everyone seems to be an atheist (myself among them), but it seems like a very helpful psychological adaptation to living an uncertain and finite existence.

I do think it will eventually doom us however as we create problems beyond our ability to manage. I was thinking it would be climate change that will doom human civilization if not the species itself, but AI (even just the economics effects rather than some rogue intelligence) also seems like a contender.
Rogers Park is a great hood for sure. Do you know if that arcade bar is still open by the El station?
But it is up? https://play.google.com/store/apps/details?id=wikem.chris&hl...
I will be super happy if this is true.

Even if you can't fit all of them in the VRAM, you could load everything in tmpfs, which at least removes disk I/O penalty.
> There was a time when "strategy", unadorned, was the only genre descriptor available for Civilization.

Sure, there was a time before 4X was a term when games that would now get that label would not have a narrower subgenre label than “strategy”, that doesn't mean that what strategy meant then was what 4X means now, it means that there weren't enough 4X games to distinguish them within strategy (nor enough turn-based strategy and overlapping label to 4X -- but not all TBS are 4X, and there have been realtime 4X games -- to segregate those out.)

RTS wasn't coined to distinguish StarCraft, etc., from “strategy” which label later evolved into 4X, it was to distinguish it within “strategy” from TBS, which also didn't need a label until RTS was common enough to distinguish the two.
He still calls it Twitter. He kept saying it during that interview last week.
I think Signaling System 7 (what the phone networks use) might be the only widely-used communication protocol that's more open to abuse than SMTP.

With SS7, not only can you spoof any phone number, but you can cause the other end of the network connection to wire money without getting their prior authorization!

This is improved somewhat by STIR/SHAKEN, but, even with that, the state of the art is worse than SMTP.