skysight-inc/HackerNews huggingface dataset:
There's tons of ways. What they have in common is that you don't wait for a user to fail the SMS challenge, and then try to figure out if it was a true or false positive. You work with differential behavior between populations of users.

Often you're not applying these policies to everyone, but only to small sub-populations with a high density of abuse. E.g. if 1% of your accounts are created via VPNs + VOIP numbers, and 99% of those accounts are deemed to be abusive post facto, and you restrict VOIP numbers for just signups for VPNs, the absolute maximum reduction in legit signups is 0.01%. You don't even need to know how many of the legit users would find another way to create the account; you already have an upper bound that's within the guardrails.

Or you can look at what actually happens after you roll out the policy. If it really is watertight, abusers will move away quickly, and all you're left with are the legit users. If that number is low enough, you might even keep the rules in place indefinitely even though all the traffic that is remaining is expected to be FPs.

If those approaches sound dodgy, the default option is to run an A/B experiment. Ban VOIP numbers for the experiment group and allow them for the control group. Then simply look the number of newly created abusive accounts vs. accounts with legit interactions in the two groups.

(A lot of requires you to have a way of distinguishing between abusive and legit users post facto, but if you don't, it's too early to add this kind of restriction in the first place.)
Even if you support vaccine mandates (I don't), why should employers be deputized to enforce them? The legislators who want a vaccine mandate should define the fines and jail terms that resisters will face. If the don't have the stomach to have the police enforce the mandate, they should dump it instead of passing the buck to employers.
This is not comparable with ML frameworks (Pytorch or Jax) - its closest analogue is Halide (which they mention in the paper).
scary regimes seem to exist without digital cash. nk does pretty fine just with barter
"Mathematics is a "purist" scientific pursuit - it focuses on the theory for people for whom the theory is the point. The practical applications are for the engineers"

Yes, and it tends to be taught that way. But this is "Linear Algebra with Applications", being offered to non-mathematicians. That should be taught less abstractly.
What I don't like is that in deno you permission processes when really you want to permission dependencies or APIs. If I'm writing a web app, I will definitely trust some of my code to access storage, but there's no reason why I should have to trust flatmap-stream to do so, even if I do trust it to flat map my streams.
https://www.theregister.com/2018/11/26/npm_repo_bitcoin_stea...
My problem with games like Factorio (and more recently Oxygen no Included), is that after I get addicted and get up past 100 hours of gameplay I start to question what the hell I'm doing with my life. Up until that point it's great fun designing, building, and optimizing, but then a switch in my head flips. I start to become anxious about the fact that I was excited about getting better at skills in a virtual world. Usually around this time I start watching videos of more advanced builds, and then become increasingly depressed about the idea of sinking 1000+ hours into a game, when I could just be building something in the real world, or out riding my bike. This is usually the time I put the game down and never play it again.

I think the problem for me is that these games give me the illusion of learning, building, and accomplishing things, which my little engineer brain loves. But once I come out of the haze of addiction, I realize it's nothing more than an illusion, and I just stomach going on.
It could, I'm not quite ready to take that step yet.

Or I could use exclusively a SIP softphone (zoiper) on my android phone to connect directly to my asterisk system as an extension, and only accept calls on that, which would come from the incoming filter call flow.

The downside of that is that phone calls wouldn't work when in very marginal data coverage/rural areas, since voip-over-LTE-data relies on a fairly solid and packet loss free network connection, and the additional battery drain of maintaining a persistent sip client-to-server session on the phone all the time.

I do have several extensions set up in zoiper for other purposes but I don't keep it running all the time.
You seem to be confused about what civilian means in a federal context.

Federal civilian is still federal and is a different world from your typical civilian private sector corporation.

Yes, one or more people on the property are certain to have the power to prompt a security lock-down. They're also federal employees, not merely civilians. Someone in the chain of command can request that federal security officers secure the building/property as the scene of an ongoing crime or accident.

They also employ armed security officers that can legally kill you if you're a threat. They can definitely secure the property during a potential crime or accident.
Advertisers aren't murderers. Not hardly.

In fact, I'd go so far as to say the comparison suggests an extremist position that should have no business dictating the law on the topic (still a position worth hearing while seeking compromise, of course).
Electrical, Electronics, and Digital Hardware Essentials for Scientists
Grapheene,encryption technology, and how Grapheene can work for all developers
I've been waiting for Terra Nil since August, i think. I'm always bummed out when i see someone playing a game for video, and it's "not available yet". It's almost as bad as games that have been in early access for over a year.
Open21xx – assembler tool suite for Analog Devices 21xx family of DSPs
Vaping is worse. Wrapped in a nebulous belief that it is probably a lot safer then the leaf form, it is mighty hard to give up. Mostly because you can vape anywhere and everywhere, constantly, making your body expect dopamine 24/7.
Scientific papers have has now used 94% of the 17,576 possible TLAs
I often get robocallers that call twice if I don't answer the first time. I guess because most people assume two calls is an urgent matter and they REALLY want you to pick up.

My low tech solution is to never answer calls from numbers that aren't in my contacts list. Everyone else can leave a voicemail.
I get where you are coming from, but it is obvious to me `forEach` is side effect because of its return type.

Also I think `forEach` is great for cases such as `arr.forEach(f)` where `arr: Array<T>, f: T => void`.
> can legally kill you if you're a threat

They can use lethal force to protect evidence in the US?
It's not a citizen's arrest.
If you have some time, and are interested in engineering, troubleshooting, investigation techniques, complex systems, or just general meticulous care, it’s worth reading the Columbia Accident Investigation Baord report (Volume 1). It’s a masterpiece and I have read it at least twice.

https://www.nasa.gov/columbia/home/CAIB_Vol1.html
Are you warning me so I don't get sucked into that mindset? If so then you've seriously misunderstood my comments.

I despise productivity hacker, grindset culture.
Found that video working on Youtube using the same 'v=' code. At one point (2:50) the video (attributed to the 'Allegheny Highlands Alliance'[0]; executive producer an M.D.) plays a sound labelled 'turbine noise during winter'. It's very loud ... I wouldn't spend an hour in that noise.

But was the noise recorded near the turbine(s)? And considering the turbine(s) are 530 yards (almost 1/3 mile) away from the home, those shadows falling on the building could only occur briefly near sunrise and sunset.

Here are some decibel readings at an equivalent distance from a turbine site in England. 4 to 6 dB is a lot less noisy than the AHA video. https://www.youtube.com/watch?v=zKgN2G9d0dc

[0] https://alleghenyhighlandsalliance.org/
Yeah, ONI is fantastic in this regard. I find myself struggling with it in late game for precisely this reason - if you don't lay the ground work for things like heat when building your initial setup, it's much harder to rip it up and move on.

With DSP you can just move to another planet and rebuild, which is great from scalability but less important challenge wise.
But does GPT-3 know what based is based on? Or why kids love the taste of Cinnamon Toast Crunch?
Nice, much appreciated! This is handy for inspecting some large binary objects to json dumps I had wanted to examine.
> Let's not look at the mote in our HN neighbor's eye

Hah fair enough. I may not be an art critic, but my point is that I try not to just outright dismiss the entire field the way I often see in tech communities.

(Also, aside: I've really appreciated your contributions in this thread.)
cheers! i will have a look
Looks quite interesting, thanks for showing it.
I feel this is only a partially true, at least in democratic countries governed by rule of law, because the threat is mostly only theoretical. While modern states are significantly more powerful they are generally governed by more rational actors who (both because of that and better access to information) are much better at estimating the consequences of their actions compared to medieval kings or other autocrats. While the government could go ahead and take all the assets of Apple, Google, Facebook etc. both the government and the people in charge of those corporations know that that's extremely unlikely to happen, especially in a violent way, since the government has very little to gain and a lot to lose by doing that. So while modern corporations are technically utterly defenselessness against violence as you say, arguably this is by choice. Unlike feudal actors corporations have no reason to invest any resources in changing this since they are in a much safer position.
Surely the ancient world was more common, with bandits, etc, but do you have any justification that murder was a 'personal thing'? I imagine most communities had was to prevent / punish this.
500 years from now the technology museums will still have special exhibits about the SX-70, because it's one of the most amazing engineering artifacts of the 20th century. Doubly so because it didn't end World War II or fly to the moon; it was a consumer product with Apollo-grade engineering.
Speaking as someone with experience with many of those things (PL theory/formal verification background), I don't think they're even close to being a silver bullet.

Coming up with the right abstractions and the right domain model is difficult (especially if you just sit down and try to come up with stuff, you're likely to get it wrong the first time around). Knowing about some of those things could help you come up with better abstractions, but it's neither necessary nor sufficient to ensure that you will.

Take dependent types for example. They allow you to express more program invariants or correctness properties in your types. But actually using them requires you to write proofs (at least, if you're using them to their full potential). And I do think that in general System F like type systems hit a nice sweet spot and are generally good enough for the stuff that you might actually want to handle on the type system level.

I've also run into similar "proof-like" situations with much simpler type systems like those of Haskell and Rust, where I was structuring my types to "make illegal states unrepresentable", but in the process ended up complicating my program due to having to match the structure of my program to the expected structure of the types. Sometimes it is nice to _not_ to have the type system enforce some of your invariants. (Such things are also doable with dependent types of course, but this is just an example of some of the tradeoffs involved).

You can also still have a shitty domain model even if you use all of those fancy tools. They just allow you to be very formal/precise about the domain model (and do perhaps encourage some more uniformity by making it more annoying to express ugly or complicated things).
> Faster than any other dynamic language, approaching Java speed

Almost as fast as Java, that's pretty speedy! It's not LuaJIT fast but it ain't half bad!

Lua is also a dynamic language, but who's counting?
Beyondcorp is still great for all http network services.

Having an nginx loadbalancer doing all the beyondcorp stuff and forwarding on any authorized request is pretty straightforward and covers a large chunk of what your employees will be wanting to do. It easily lets you allow employees to access low risk services from their personal unmanaged and untrusted phones. It also means any home grown internal service doesn't need to do Auth - it can just look at the trusted header from the loadbalancer and know who the user is logged in.

You have then at least substantially lowered the remaining attack surface, which now consists of just the non-http services (shared drives, SSH, remote desktop, etc.).

For those, a VPN server allows you to authenticate the user and device, and a big dynamic set of iptables rules lets you decide which sessions can access which service.
Another useful tool for working with JSON interactively is ijq: https://github.com/gpanders/ijq
For in person (on site or field work with public/customer/coworker contact) work, you could argue it is a workplace safety rule, which makes more sense than a criminal mandate. That's a harder argument where contact isn't a job requirement.
On the wiki page, a weakness was powergrid failure and the minute or two it took for the diesel generators to come online. They looked at whether any of the energy from the reactor turbines could be used to keep the water pumps going in this 1-2minute window until the diesel generators were up to full speed.

It needed a massive amount of water to pumped around which explains why many nuke power stations are positioned on the coast.

Of course, wiki is wiki, but is no more or less valid or invalid, than other reports when being mindful of bias.

In terms of Chernobyl and radiation leaks, an airburst instead of ground burst would spread more radiation and could parts of the Ukraine become radioactive wasteland to prevent Nato pushing right upto Russia border?

Russia hasnt moved an inch, but NATO has so could NATO end up on the wrong side of history with this one? Wars are always good distractions for domestic failures.
Yes, I think we are in agreement?
They're also preserving evidence for the purposes of investigating the deaths of the astronauts; there is a possibility that some controller who'd made a mistake would try to abscond with, or destroy evidence.
Here's a reasonable overview: https://www.pnas.org/content/116/10/3988

I'm not sure that one touches on neuroscience; it's more psych-oriented if I remember correctly.
It's important to realise that Capitalism is a process. In that process, money percolates upwards to fewer and fewer rich people from more and more poorer people.

Once there are too few rich people and too many poor people for the process to continue, the system resets through war or revolutions and then starts again. (examples: Russian revolution, French revolution, etc)
I literally do the same thing, except "press 1 if you are a human". I haven't had any robocalls get through.

I don't have a direct cell number as I just use a cheap data-only iPad plan with my iPhone only, combined with a VoIP iOS client (Bria).

I use VoIP.ms for my service. It's basically hosted Asterisk with a nice web UI on top, as well as purchasing and managing DIDs.

Related, I used this system for a condo buzzer when I lived in a building a few years ago. Set my name on the condo dialer to ring a specific DID for the condo buzzer to call, pointed towards VoIP.ms IVR, then just played DTMF 9 repeatedly to unlock the door and let them in. I triggered an SMS to send to me when this occurred so I'd know when someone was downstairs on their way up.

Massive security hole, but not exploited once the entire time (except by me a few times when I forgot my keys).
I think it is a good thing that our legal system can differentiate restraining a person for a temporary stay due to process or safety concerns and arrest. This is very different from the police arresting someone.

When it comes to leaving secure sites you can often be restrained to prevent you from smuggling out sensitive materials which is quite sane and necessary in a number of situations. There are also a plethora of public sites (i.e. government run) that non-enlisted citizens are barred from entering - though that is a bit of a different situation.
I don't think anyone is going to dispute that though, except perhaps on a point of detail: it took Hoare logic to bridge the gap between imperative programming and 'ordinary' mathematical logic.

If I'm reading them right, urthor's point is that the average programmer doesn't directly benefit from being skilled in developing formal proofs about code. (I rambled at some length on this topic recently. [0]) Very few software development workplaces value correctness so highly that they invest in formal methods.

That said, I think the case can be made that learning about formal methods is useful in instilling a sense of how rigorous software development can be, and perhaps to develop a healthy contempt for hand-wavy sloppiness. Perhaps it's also helpful to learn that informal requirements, formal specifications, and implementations, are three different things. I think this may be true even if we rarely use formal specifications in practice.

[0] https://news.ycombinator.com/item?id=30000146
I got addicted to Dyson Sphere Program... already clocked in 100s of hours, pretty much embarrassed to admit how much I play the game.

Restarted it few times to apply what I learned. It is still early in the game, they keep adding things but that thing is really amazing and provided fun to me that I didn't feel in the game for a long time.
Might actually have been the one that OP called, as they seemed to be the trigger for it. I think their logs are shared, not OP's.
> Inside the car, Peter Daszak—a disease ecologist and president of the EcoHealth Alliance, a New York-based nonprofit that works with scientists around the world to study viruses in wildlife—was filming the scene on his cell phone.

AKA, the guy who acted as a conduit for money from Fauci to fund gain of function experiments in Wuhan.

And the guy who conspired with Fauci to quash any talk about a lab leak as 'misinformation'.
I was about to reference the Silicon Valley episode but decided to peek into the article first. Turns out it’s in the first sentence
You'd need to be licensed to perform the various legal duties one expects of general counsel, but general counsel is not a protected title and thus anyone within the company could be given the title. Musk is right on this one.
Really don't know what? How Einstein experienced time? I think that a sensible man like Einstein that was also very well versed in physics and the social sciences would have extensively written if he really "experienced" time and space differently. But he didn't, he just wrote about physics and formulas and their manipulation to describe a collectively experience reality.

I don't know how to attribute an "extent" to how the Michelson-Morley experiment influenced Einstein but Einstein himself quotes Maxwell-Lorentz theory of electromagnetism as heavy inspiration in his papers and books and mentions the Michelson-Morley experiment directly many times. "Relativity: The Special and General Theory" is really approachable and even though I can't find a searchable version right now I am pretty sure grepping for Michelson-Morley and Maxwell there will find references. Einstein was inspired by studying movement of particles like electrons in a CRT to come up with ideas for both Special and General Relativity. He was much more of a working physicist than what popular media tends to portray, it's not that he was some kind of alien magician that had an answer for everything because of his alien magic. He was just super up to date on a lot of things electromagnetism and light, remember he also discovered the photoelectric effect before relativity.
Yeah I get why they want to do it, just curious about the legal mechanism. Normally without police powers you can't detain someone unless you're positive they specifically committed an actual crime, not just because you think they were involved in an incident.
You probably aren't actually legally prohibited from leaving. But anyone in the command room leaving after such order is literally unthinkable. This conversation is just weird to me. To earn a spot in that room you absolutely must understand the importance of your job and your place in it, if an order is to stay in and document everything....that's what you do. Whether you could be legally prevented from leaving or not is literally irelevant, outside of some purely academic discussion that is completely pointless.
Typical American narcissism.

The reality is that China's farsighted rulers don't want to be a US client state/ colonial possession and have imposed strict rules on market participants in exchange for access to their 1.5 billion consumer market. American businesses can put up or shut up.
This was my biggest annoyance with Eco. It really does take a community, which is disappointing because you can't scale it down to 1-4 players. Are there any mods for this?
> 1. Ads isn’t the only way to make money on the net. So I’ve never understood Mozilla’s inability to get away from them (probably because they never wanted to).

Other ways to make money are generally more accessible to the sites themselves, and so aren't very relevant when trying to fund a browser.
My understanding is that all trivial versions of anything are wonderful for the pedagogy, but far short of what is needed in implementation.

Just consider garbage collection. Trivial reference counting is easy to explain and implement. Not going to win too many points in use, though.
I think it is important that you brought awareness to this, this is a really good point and I agree 100%. JavaScript does have hygiene issues with its API design.
>who said that there is no good reason to leave?

The original poster:

"What good is it to a person if he can escape a scary regime but can’t take his lives savings with him?"

Clearly there are a lot of valid reasons to leave even if you don't have your money (like gambling that leaving will save your life). People do it all the time. Someone said as much and you tried to refute them (perhaps not understanding their point).

> i am saying that the realization of the fact that it is a good idea is usually seen in retrospect.

Yes it is clearer in retrospect. That said, millions of people have left their homes before they died and lived because of this, so it is clearly possible to make a gamble without future knowledge and be right. Many have also moved and been wrong.

> i think you underestimate the gravity of the decision to leave your homeland

I don't think you can read my mind and I never said it was easy. Just that it is possible and people do it all the time. They make incredibly hard choices and sometimes are right and sometimes are wrong
Cisco Makes $20b bid on Splunk
I honestly left the alignment vague because I couldn't remember what it was; I would believe it's 128k as that's the largest value ZFS ever uses, but I would also believe that 4k is fine.
Well worth reading. It's both play-by-play and colour, and it's not hyperbolic.

I don't personally subscribe to the lab leak story, this article doesn't shy away from critique of work and work practices in the Wuhan lab, but I think does align to that scepticism of either mistake or deliberate lab originated out break.

Others might disagree. I found this an interesting magazine style write up.
American Jesus would approve of Silicon Valley’s relentless pursuit of profits over people. Gospel of Wealth and all that