skysight-inc/HackerNews huggingface dataset:
100 %. Firewalls basically do nothing. If you are running vulnerable software, it won't help. If not, it's not helping, either. It basically only helps in the rare case that you have spectacularly misconfigured something. On the other hand, if a firewall is blocking automatic software updates, it's actually dramatically lessening security.
> He would be incorrect to create a lookup.

Not if the lookup simply acknowledged whether a name exists in the records, without giving other context (e.g. property tax, DMV, criminal investigation, etc.).
You can get a mini pc for the same price and it would be more comfortable.
Someone has to have already made a YouTube channel in which they eat every animal represented by an emoji.
Show HN: World Election Map – see upcoming elections worldwide
Hey, HN! This map shows the most up-to-date data for upcoming elections in the whole planet.

With so much happening lately, I've been trying to keep up with geopolitics as much as I can. Knowing ahead of time when elections are scheduled to happen, especially in unstable regions, has helped me a lot to stay informed.

I hope it helps you too. Feel free to leave any feedback and suggestions– it's appreciated. Thanks.
Simple: become famous
Awesome. The Home Assistant and related (ESPHome, Voice Assistant, Music Assistanc) communities are amazing and there is just a crazy amount of projects one can just pick up and use.
I guess you do get what you voted for…
I don't suggest anyone to open in it firefox. Hangs up the tab immediately.
Absolutely.

The old town is charming, the food is great and lots green space to wander around. Citadel park is worth visiting and you’ll not regret it.

Wrocław is 2 hours away and it’s a wonderful city as well. Extra fun if you like treasure hunt as the city is full of tiny gnomes for that. Extra fun with kids.

Go for it!
jank will have full nREPL support, so the REPL story should be at parity with Clojure. I'm working on the nREPL server now We're JIT compiling C++ code, so there are indeed more dragons.
I wasn’t claiming people get confused about covers. But to be honest, I think we’ve both been missing each others point.

For the sake of keeping things on topic, and also because I’m about to crack open a bottle of whisky, I’ll just leave the following comment:

Your point about constructive feedback is an empowering one. And while I’m not sure I’ve understood the nuances of everything you’ve posted, I do 100% agree with your sentiment regarding constructive feedback.
A lot of local news publishers in the US do that to save money and not have to deal with compliance in other countries.

It’s beyond stupid and lazy
It is tragic that some people feel the need to destroy every insect or arachnid that comes anywhere near them. 99.9% of them are harmless to humans. I don't understand the compulsion to maim or kill them.
Not OP, but we've had variations of "let's get a bunch of people together for a party" since the Stone Age. Meeting and events became a formal "industry" only a few decades ago. But meetings and events themselves are as Lindy as prostitution and war.
It's not a battle, where one side decisively wins over the other. Both cultures cede a bit towards common ground.
The Apollo 11 Lunar Landing was really a great movie. It's nice to enjoy it in a way that's close how they people of that time got to enjoy it. J/k
> The decision imposes a daily fine of R$50,000 (£6,800) on individuals and companies that attempt to continue using X via VPN.

Fining even users is a bit surprising.
Brazilian judge orders suspension of X in disinformation battle
Right, I may have forgot to mention that lexerless parsers are somewhat unusual.

I didn't have much time in the talk to go into the reason, so here it is:

- You'll need a more complex lexer to parse a shell-like syntax. For example, one common thing you do with lexers is get rid of whitespaces, but shell syntax is whitespace sensitive: "a$x" and "a $x" (double quotes not part of the code) are different things: the first is a single word containing a string concatenation, the second is two separate words.

- If your parser backtracks a lot, lexing can improve performance: you're not going back characters, only tokens (and there are fewer tokens than characters). Elvish's parser doesn't backtrack. (It does use lookahead fairly liberally.)

Having a lexerless parser does mean that you have to constantly deal with whitespaces in every place though, and it can get a bit annoying. But personally I like the conceptual simplicity and not having to deal with silly tokens like LBRACE, LPAREN, PIPE.

I have not used parser generators enough to comment about the benefits of using them compared to writing a parser by hand. The handwritten one works well so far :)
> I would not recommend building software for the music industry.

I agree with your list of reasons to not build software for the music -promotion- industry.

Software for the music industry, however, can be very lucrative. Musicians and music producers will happily spend thousands, sometimes millions, on instruments and tooling. (And are also the types of people to buy lots of things they don't need...)
Thanks for your question and glad that you enjoyed it!
This is really cool, how does knowing when the elections are going to happen help you stay informed? Where do you get the data?
> You can write hello world in TLA+:

That's not a good example, but before I get to that, you are again using logical implications in the wrong direction. You can describe physical systems, including programs in mathematics. What makes mathematics not the same as physics or programming is that you can also describe things that aren't physical or computable. It's like you're trying to prove that New York is the United States by pointing out that if you're in NY you're in the US.

Let me write that another way: programming ⊊ mathematics.

So you can write all programs in mathematics; you cannot do all mathematics in a programming language. Therefore, to know whether TLA+ is programming or mathematics the question is not whether you can describe programs in TLA+ but whether you can describe the maths that isn't programs, and you can.

Now, the reason that your example is not good is that the PrintT operator is defined in TLA+ [1] like so:

PrintT(x) ≜ TRUE

It has no meaning in TLA+ other than the value TRUE. It's just another way of writing TRUE. The computer program TLC, however, prints some output when it encounters the PrintT operator in a specification, but that behaviour is very much not the meaning that operator has in TLA+. TLC can equally print "hello" whenever it encounters the number 3 in a mathematical formula. There are other TLC tricks that can be used to manipulate it to do clever stuff [2], but that's all specific to TLC and not part of the TLA+ language.

You could, however, have pointed out that you can specify a Hello, World program in TLA+, only that is unsurprising because you'd specify it in mathematics, and mathematics can also specify a Hello, World program. Here's how I would specify such a program in TLA+ (ignoring liveness for the sake of simplifying things):

VARIABLE console
Spec ≜ console = "" ∧ □[console' = "Hello, World!"]_console

It means that a variable named console (which we'll take to represent the content of the console) starts out blank, and at some future point its content becomes "Hello, World!" and it is not changed further.

You could also specify it another way, say, represent the console as a function of time (I'll make it discrete for simplicity):

console[t ∈ Nat] ≜ IF t = 0 THEN "" ELSE "Hello, World!"

[1]: https://github.com/tlaplus/tlaplus/blob/0dbe98d51d6f05c35630...

[2]: I've even given a talk about such tricks: https://youtu.be/TP3SY0EUV2A
A Fake Spy, Russian Oil and $1M Funneled to Democrats
I think you are asking an ill-posed question in parts. Julia has a lot of great things, and needs to continue evolving to find an even better fit amongst the many programming languages available today and sustain itself long-term.

Emulating Python's ML ecosystem is not going to be a viable strategy. The investment into the Python-based standard is just too large.

What I could see happening though is that the continuous evolution of the ML ecosystem will further abstract components of the software stack down to an MLIR/LLVM abstraction level at which point something like Julia could also use this componentry. Sort of a continuum of components, where the "frontend" language and associated programming style is the remaining choice for the user to make.
Fat is probably a better choice than sugar in nearly all instances. High calorie but it’ll keep you full quite a while. Veggies definitely aren’t any good for that. My strategy these days is to try and eliminate simple sugars and highly refined carbs whenever possible; everything else is fair game. When I see something advertised as “low fat” I instantly conclude it will probably make you fat and it’s best to skip it.
There are an absurd amount of illegalities in this decision. The Brazilian constitution and the "marco civil da internet" (a law that regulates internet) have been torn up.

It is sad to see a democracy taking this path, and still applauding it, specially journalists.
How can a court arbitrarily impose fines on users like this?
And yet we're paid to write derivative songs all day which is why I don't think the analogy fits.

If I write yet another rails app that does nothing to push the industry forward and isn't novel (to a computer scientist) it nonetheless provides business value. And since it isn't consumed on use it's clear that we're talking about a bespoke durable good — a chair, a shelf, a thing that is useful without it being novel.

Software might be made of words but that doesn't make it a recipe or a song.
Alexandre de Moraes has become a nightmarish tyrant. "Protecting democracy" does not involve persecuting your political opponents and removing their speech.
City of Columbus sues man after he discloses severity of ransomware attack
I feel old now. Shoot me
https://archive.ph/kAE0a
Can anyone speak to the motivations of this judge?

Does he have a valid/legal/moral point under Brazilian law with attempts to ban those accounts on X? Or is he just a toady for da Silva?
"People who use VPN to access X will be subject to daily fines of US$8,900"

Edit: Thanks for this user https://news.ycombinator.com/item?id=41404325 for posting the court order and bringing this new information:

Apple and Google must remove all VPN apps from their stores!

Apple and Google must DELETE all VPN apps already installed on users' phones!!!

https://apnews.com/article/brazil-musk-x-suspended-de-moraes...
Static analysis platform with multiple language frontends and backends. Have some large scale renderings if you ever want to see them or take a poke through the repo.
>I don't understand why so many people are so terrified of needles.

The fear associated with specific phobias is by definition extreme, unreasonable, and irrational. If you could understand it rationally, it wouldn’t be a phobia.
California Announces Deal with Tech to Fund Journalism, AI
I use a normal automation to turn on the lights every day at sundown, and to turn off the lights every night at ($BEDTIME + 1hr), just as part of daily life. I don't need anything tricky to simulate that pattern when I'm traveling; I just don't disable the automation. I wonder how many people using HomeAssitant for their lights are manually turning lights on and off all the time. I would think most people would set up a daily or weekday + weeknight schedule and be done with it.
I wish we had iPhones without camera bumps.
>assembly language... made it very small and efficient

There’s an interesting post from someone who worked on the codebase and argues the opposite[1]—some relevant quotes:

> we wrote fifteen million lines of 8086 assembly language. We had really good tools, world class tools: trust me, you need 'em. But at some point, man...

> The problem is, picture an ant walking across your garage floor, trying to make a straight line of it. It ain't gonna make a straight line. And you know this because you have perspective. You can see the ant walking around, going hee hee hee, look at him locally optimize for that rock, and now he's going off this way, right?

> [...] I went in and found out that some title bar was getting rendered 140 times every time you refreshed the screen. It wasn't just the title bar. Everything was getting called multiple times.

> Because we couldn't see how the system worked anymore!

[1] https://steve-yegge.blogspot.com/2008/05/dynamic-languages-s...

Discussed at the time (34 comments) https://news.ycombinator.com/item?id=187365 and in 2023 (45 comments) https://news.ycombinator.com/item?id=36571956
Yes - there is a law that you need to have legal representation in Brazil and Musk is just flouting the law.

So shutdown it is for Musk
This has been a bad week for Democracy/freedom of speech
Pi5 is plenty, even overkill for a pihole. I run a pihole on my old pi2 and it's absolutely fine
I understand how you came to your conclusion, however what you are quoting is journalism (and it is factually incorrect). I read the actual peer reviewed article.

The patients in the COVID group, _when they got COVID_ had already begun losing significant amounts of weight. The NYT article is 100% incorrect on this matter. See:

>>The change in weight between randomization and reported COVID-19 in patients who died of COVID-19 according to treatment was −6.4 kg in the semaglutide group vs −0.9 kg in the placebo (P < 0.001) group and −8.4 kg vs −1.25 kg (P < 0.001), respectively, in patients who did not die.

They go on to say that there is a correlation between obesity and adverse COVID outcomes:

>>There was an associated increased risk of respiratory decompensation and mortality in patients with COVID-19 and obesity16,17 and plausible biologic hypotheses associating obesity with adverse COVID outcomes, including impaired respiratory status, lower cardiometabolic reserve, or immune hyperreactivity or dysregulation.18

And they double down on the fact that the patients absolutely had weight loss at time of COVID.

>>Accordingly, it is plausible that the decreased risk of infectious deaths is caused by weight loss, which was 5 kg greater in patients assigned to semaglutide compared to placebo by 1 year, the average time to COVID-19 diagnosis after randomization.

I will leave you with the note that nowhere in the journal article do they make any claims whatsoever about semaglutide's effect on COVID outcomes. They exclusively discuss outcomes as related to metabolic health. Semaglutide is a means to an end. The means is weight loss. The end is better health.
Probably not going to be enforced, but just the same sort of an own goal.

Should have kept the focus on Elon Musk breaking the law.
We were warned: https://www.ewtn.com/catholicism/library/mother-teresa-at-th...
What headset model?
All Elon needs to do is have a legal representative in Brazil for his commercial venture.

He chose this.
People like having standards, that's why. They make processes more simply repeatable and experience more easily transferrable
Schuylkill Notes
I found ~15 of these while hiking on the Appalachian Trail in the last few weeks. It was interesting to learn they've been distributed for a number of years now, including within store-bought food packaging.
> part of the investigative team

The article doesn’t mention this…
The goal is that it's a scare tactic. There is no technical way that these fines could be imposed at large, outside of say, people outing themselves publicly or similar. This is the same wording that was used when they blocked Whatsapp.
France has turned into a Soviet style communist state with persecutions of people for exercising what should be a basic human right - the right to free speech.
The generic stuff in the "Find My" ecosystem works quite well. It's not DIY, but most things have UWB finding that works whole-house for me.
Of course they're doing great things, but my point is that they're trying hard to keep it a secret how they're doing them. Compare what Apple is revealing about their chips with what Intel used to present back when they were the market leader, for example.

Anandtech was great at exploring these secrets and presenting their findings in a great way. That's what I miss.
collaborating with a law breaker in contempt of court.
Right but that’s not quite how reposts work on HN, this is mentioned in the Show HN docs
That sounds very similar to the German system (I'm a US-born German permanent resident, hence familiarity with both systems).

I'd be curious to see some kind of sociological studies about risk aversion amongst criminal prosecutors. Clearly an acquittal (and the associated trial) is still a huge burden to a person, so a strong motivation to only take cases you're confident you'll win makes sense to me. But especially in situations where the circumstantial evidence is so strong, I think most people in the US would consider it unjust not to pursue a trial at all.

To be completely honest, the first thing that crosses my mind is that the prosecutor might be a racist, since the story is (it seems) about an immigrant family. To be clear: I have absolutely no reason to suspect that. But something about the situation sounds off to me, and that's definitely one of the first questions that start lurking in the back of my mind.

Long story long: the optics here definitely aren't good.
I believe the person you were replying to is referring to something like the "civil" impact of the economy. GDP is an extremely abstract measure and doesn't really speak to who's benefiting from that productivity or how they're benefiting.

Without challenging that the high GDP of the US may be an outcome of its hands-off attitude towards capital return and wealth concentration, it's not really the world leader for making sure its people are healthy and well in proportion to it.
The same judge that is responsible for X's suspension ordered Apple and Google to take down VPN apps from their app stores as well.

https://web.archive.org/web/20240830201851/https://www.conju... (Page 49 and 50, document is in Portuguese)

Brazil is heading down a very dark path.
Pick the “wrong” group you find utterly distasteful (Nazi, anti-Nazi, conservative, liberal, gay, homophobic, etc).

If I find the person’s views abhorrent, not a surprise I would choose not to do business with them if I had alternatives.
The economics of AI training, research and inference is frustrating across the board.

The time alone to train my own local experiments is just one aspect of many.

It makes more sense to train models on clusters and perform research / data acquisition in private, then allow for inference at the edge or licensing on external infrastructure.

It seems at this point OpenAI are too big to fail.
How many enterprise security suites offer remote browser isolation though
Does anybody know anything about this? This article is too vague for me to really tell what it's talking about.

Is it a settlement of news organizations' suing Google for linking to their stories?

Is it the state of California trying to fund news organizations with state money? (If so, and those organizations report on the state government of California, that seems like a clear conflict of interest.)

Is it both of those things? Something else?

And what's the role of the AI part of this?

Does anyone have a better source on this?
Want to buy – Purple Dragon book 2nd edition
After the book Compilers: Principles, Techniques, and Tools, 2nd edition.

Located in the UK, thanks.
I prompt with the minimum amount of text, with typos, just to find what is the least amount information and quality my prompt requires and most of the cases I get what I was looking for. I do the same IRL with my grammar, just enough to get the job done.
Gonna enjoy hearing from people defending this because they dislike Elon Musk
Too much wealth is privatized in the US so there isn't much left for ensuring the public spaces are nice.

Next, the relentless capitalism has squeezed every last penny from every inch of life (for the good and bad). Parking 20 Dollars an hour, concert tickets 400 bucks, hospital visit 100k. You need a lot of GDP to keep up.
I think he's just making it up as he goes along now.
The core facts are: Brazil demanded information regarding Brazilian users, and believed it was in their right to do so. X believed that the requests did not comply with Brazilian laws, and refused. Neither side yielded, so X closed up shop in Brazil, and, as a result, Brazil is blocking access to X.
Sure, but that proves my point. They took so long to decide upon the shading language that implementations had to erect a separate scaffolding just to be able to test things out.
The iPhone's volume buttons will no longer work with Spotify Connect
That came after the judge's order to block the accounts. That is a secondary issue, not the primary one.

On that topic, can you speak to the judge's orders to freeze the bank accounts of X's legal representative, even after she had resigned? What's the deal there?
Wow, lots of luddites here for what's supposed to be a tech community.

Get your head out of your asses guys. There's nothing inherently bad about blockchain or decentralization.
"against the property"

You probably think identity theft is a customer's problem, not the bank too.

Just because the narrative calls it something, doesn't make it right.

It's silly for a nation-state to sue cash, it should never have been considered reasonable.
I was being charitable.
The courts threatened to arrest his legal representation if he didn't comply with their demands to take down accounts accused of spreading misinformation and hate speech. So Elon closed all offices in Brasil. You think he should risk having an employee thrown in jail?
I asked all of the same questions when it was first reported a few weeks ago.
I probably won't find out from mainstream media that there's an election coming up in Georgia for instance. With this information I can look for reputable sources and understand what's at stake.
Right, my fault. Feel free to delete as I don’t think I can
Farewell team. One of my favorite quality reads of genuine hardware pieces on the Internet.
It’s not stable if you need to reboot daily.
Nah, the Brazilian government will lose this round. X is not going to cave, and the government doesn’t have the technological capacity to quickly spin up their own Great Firewall.
Well we'll see how much teeth this fine based on how much Glenn Greenwald (who can't resist ranting on twitter) winds up owing.

Ironic he abandoned the US citing its freedom laws only to wind up in this situation.
Thanks for the comment.

> Netflix just wants subscribers, they don't care how much I watch or how engaged I am, just that I keep my subscription

Wouldn't the ability to watch your favorite YouTuber be a good reason to subscribe to a service?
Also, weird passive aggressiveness in the issue tracker without actually fixing the issue: https://github.com/lem-project/lem/issues/1359
I've also found pis to be unreliable in the long term. Even buying good SD cards doesn't help. It's always something. Broken storage, brown out (I'm using the recommended power supply), sudden lack of communication over the eth port, etc.

I've found that just getting an old toughbook is much more reliable for projects that don't require miniaturization.
Show HN: A retro terminal text editor for GNU/Linux coded in C (C-edit)
I set about coding my own version of the classic MS-DOS EDIT.COM for GNU/Linux systems four years ago and it this is where the project is at... still rough around the edges but works well with Termux! :)
Demo:
https://www.youtube.com/watch?v=H7bneUX_kVA
>(unique to modernity) a specific culture's media successfully and pervasively inserts itself between people and local/inherited traditions.

So, when there's more cultural exchange and less isolation?
If there's a gas shortage we just go back to work from home as in Covid. That's what the long term plan should be anyway.