skysight-inc/HackerNews huggingface dataset:
SystemVerilog has enough C++-like _stuff_ in it that you can write a surprising amount of code that looks almost like C++ - you can call methods on objects, pass interfaces around, lots of other things that you might not immediately recognize as a hardware language.

That said, SystemVerilog does not _run_ like C++. Conceptually every function and method is running simultaneously all the time, with clock edges keeping things synchronized.

But... You can, with a extreme amount of care, write C++ code that can be almost-trivially translated line by line into SystemVerilog and can produce the same results when executed - provided you follow a whole lot of strict rules that you have to manually enforce somehow on the C++ side.

GateBoy enforces those rules at runtime in debug builds (see Gates.h), and I have written a very quick and dirty proof-of-concept LLVM plugin that can enforce those rules at compile time. I've also written another LLVM tool that can do the automatic translation from C++ to SystemVerilog, and I regression-tested it on a chunk of code from MetroBoy to prove that everything works as claimed. I was able to take the original C++, translate it to SystemVerilog, translate that _back_ to C++ using Verilator, run both C++ versions in lockstep, and verify that every register bit at every cycle was identical.

Eventually I'll get the LLVM tools to the point where they can validate and translate all of GateBoy's codebase, and then those tools will be released in my "Metron" repository.
There is a lot of friction booking your own travel in my experience. I still gotta find time to go to the website and pull up flights and evaluate decent connections, pull up another website to find out where in the destination to stay, pull up another one to look up hotels in that area, pull up another to find things to do, and another to find things to eat. Like I said, its a homework assignment, sometimes it takes me a lot of time vetting all these options when I do it on my own. Or, I could pay a travel agent to do all of that for me and not even think of it at all, beyond handing over cash and getting a pretty decent vacation out of it with no effort on my part.
No. I’ve never once seen someone say that making guns more available means that the general public gets better bullet proof technology.

It, for example, hasn’t resulted in accessible bulletproof vehicles for all.

In technology, vulnerabilities found push companies to develop and deploy protections for them.
Yes, although the algorithm here just accepts a certain small amount of bias rather than reject. But the "corrected" version of this says that if I am rolling a 1dN the first random byte will have N-1 different "rejection" criteria, the next byte and every byte after will only have 1 "rejection" criterion, and so on.

Something that would be more interesting: if you had a random number primitive which could generate 1 with probability 1/2, 2 with probability 1/6, 3 with probability 1/12, and so on (p = 1/(N * (N+1))), that primitive would allow you to construct random irrational numbers uniformly sampled from [0, 1) as continued fractions. Since the rationals ℚ are a non-dense subset of ℝ, ignore them as measure-0.

Such a primitive would allow you to do a sort of rejection-sampling with only a finite number of rejections before you are guaranteed an answer, as a continued fraction for a rational has a finite expansion.
Wow thats absolutely incredible. Thanks for taking the time to answer. Seems like a great model!
Reddit is trying to be a mobile first company. I don't think they are successful. I know many people who use reddit, almost always either on desktop browsers or using 3rd party apps for mobile, because their first party one is so clunky.
For those who didn't read the article, this is nothing to do with passenger's phones. It's about using a cellular receiver in the cockpit as a sanity position check to detect if your GPS signal is being spoofed or not.
What about this project made it L6? Is it because it was a high priority for execs? Is it because you had to get a lot of buy-in from external team(s) in the Chrome org?
And it's unfortunate if you have the Reddit app installed and try doing this, because every link is going to jump you to the app, and you have to switch back to the browser to do another search.
My mom started using reddit this year. Maybe it's capturing the non-(tech/young)-people market share?
Sure, and the application of access control devices generally requires a degree of discretion and understanding what your threat model is.

If you don't fear your front door will be clandestinely accessed, I feel it's perfectly valid not to worry about doing this to the lock there.

Not being you, that isn't my call to make.
Amazing work. Congratulations on endurance!
They should be shamed. It would be fine if they didn't take the vaccine and stayed home but they don't do that. They go to the hospital and take up valuable bed space that I would argue thy don't deserve.

I realistically don't know how much the intent is to persuade people to get the vaccine. As they point out, it wouldn't be a good strategy, but at this point, not much is going to change a person's mind over it anyway.
I don't have any knowledge about Virgin Galactic's trajectory, but in general rocket trajectories are chosen such that no matter where the rocket fails along its flight, it will either fall entirely within the published keep-out zone (and cause no harm to humans, since the zone is cleared before launch), or are going fast enough to break apart during reentry and will not cause harm to humans (since the majority of the vehicle is just particles in the air, or very small pieces.)

Obviously Virgin Galactic's vehicle can't be terminated since it's crewed, so I'd expect that the keep-out zone is designed so that at any point thrust can be cut and the vehicle will remain within its allowed airspace. Again, I have no knowledge about the flight corridor they are using, but if we imagine it's a two-level volume with a large (but low-altitude) cylinder, and a small (but high-altitude cylinder), it's possible that the trajectory extends beyond the small, high-altitude cylinder while still above the ceiling of the large, low-altitude cylinder.

If that's the case (and I'm definitely not saying it was!), then if the vehicle velocity has too much of a horizontal component during the engine burn, it will exceed the limits of its allotted airspace unless the engine is shut down (in which case it won't be going fast enough to exceed the limits.)

Again, this is probably not exactly what happened; it's just an example of how an early engine shutdown could prevent them from violating airspace.
Surely there has to come a point, in a free society like Australia, where the police say "no, we're not enforcing this". The US shows that this is unlikely though.
>>> Does this imply that you can get another badge just by using the word fuck in a comment?

>> Perhaps, but it would be a bit immature to do so. Or even to quote someone else doing so.

>Yeah I shudder to think about how gamification in this way will change the discourse here.

So do I. There could be some serious fucking repercussions from this.
I see, so you are claiming that governments in Australia have always dealt with infectious diseases using oppression?

Specifically, I am wondering whether similar methods were used to deal with the following[1]:

> #How common are notifiable infectious diseases?

> More than 593,000 cases of notifiable diseases were reported to the NNDSS in 2019. Four infectious diseases accounted for 82% of these notifications to Australian health authorities in 2019:

> * influenza—more than 313,000 notifications

> * chlamydia—almost 103,000 notifications

> * campylobacter (a gastrointestinal infection)—almost 36,000 notifications

> * gonorrhoea—more than 34,000 notifications.

[1]: https://www.aihw.gov.au/reports/australias-health/infectious...
Wow, TIL.

We switched from Arduino (which is ARM) to ESP32 and all dependencies compiled and just worked, so I wrongly assumed that it'd be ARM, too. But apparently, their tooling is just really good.
Yes, at a prior job I tried to follow a bug in his metahtml interpreter many years ago, and the code bottomed out at an unfinished if condition. Actually an unstarted condition. It was just shipped that way. Very difficult to follow such a smart person's code I situations like that.
Your first problem is that two and three families cost more per square foot to build than single family detached and they sell at a discount to single family detached. As you go up the chain, it gets even more expensive per square foot. Anything other than single family only makes sense when land gets really expensive, and/or when it is subsidized.

Your second problem is democracy.
#1-3 are still on point, in areas of the country these petty charges are used as ways to get you "into the system" so they can take more money out of you.

https://features.propublica.org/medical-debt/when-medical-de...

Also there is worse happening, like where a city in I think MO was using yard upkeep fines and their nonpayment to put people in jail and then condemn their house so that it could be seized for property development.
Braid was not made with XNA. It used a custom game engine. I think it was just on XBLIG?
Don’t listen to this person. Take all the time you need. The impatience of a few loud, litigious people is no counterbalance to public safety except where lunatics are concerned.
Libby and Overdrive are the same thing with different skins. Neither app is good but Overdrive is simpler (IMO) for reserving books and downloading them, so I stuck with Overdrive.
Funny how amazon or google were never investigated for years about the tons of pirated content they host, yet tiny hosting sites are being shut down before they even start.
Agreed! It’s easy to get sucked into the (intriguing) human vs. machine question and forget that the best solution is often both or some orthogonal improvement.
I'm not the only one.
I have Bowley locks in my collection. Amazing quality.

Not only does it take a couple hours to pick for an expert but you have to make a custom set of tools that only work on that one particular lock.

If a lock keeps someone out for several hours it is a great lock.
Maybe it’s just me, but one email or IM response that really comes off that way is someone just replying with “Ok” and nothing else.
I’d say it’s because they have kept the core platform unchanged. In other words, they haven’t really done anything. Heading on over to old.reddit.com is pretty much the same as it was 15 years ago (more or less). As soon as it’s actually impossible to avoid their push to their terrible ‘new’ site and app, I’m jumping ship. Classic Reddit is like Craigslist, if it ain’t broke don’t fix it. Just keep the servers running and DO NOTHING ELSE. It’s a sweet gig if you can get it.
This assumes the gate level implementation doesn't have any side effects that are related to more than an instantaneous state. Seemingly unlikely as that is a larger class than the group of side effects mentioned in the quote above.
Could be done, question is the cost (and possibly global production of superconductors: I hear recent increases in fusion experiments are due to a recent increase in superconductor availability, but that in turn implies global production is pretty low). There is a plan for a 5 GW superconducting connection, but AFAIK the ones which have actually been built are in the megawatt range: https://en.m.wikipedia.org/wiki/Tres_Amigas_SuperStation
That's kind of a shameful way to spin this study for clicks. I would expect better from ieee.
This doesn't seem to be ARM, a RISC-V instead, does it?
Cloudflare: Quick Tunnels
From the original New Yorker article [0]:

> An F.A.A. spokesperson confirmed that Virgin Galactic “deviated from its Air Traffic Control clearance” and that an “investigation is ongoing."

So this isn't a new investigation.

[0] https://www.newyorker.com/news/news-desk/the-red-warning-lig...
When they look at fines as just the cost of doing business, we are failing to resolve the problem.
Interestingly enough, in Idaho, 92.3% of people over 65 have at least one dose.

https://www.mayoclinic.org/coronavirus-covid-19/vaccine-trac...
>He responded that he had never left his village - not even to go to Reykjavik. He had learned all his English just from watching American media and listening to American music

Relevant: "Friends is the most popular way to learn English. 26% of those who watched television to improve language skills cited the 1994-2004 series in a survey, compared to 7% for The Simpsons and 6% for How I Met Your Mother, and were more likely to want to study in the US."(<https://np.reddit.com/r/television/comments/5vqtsa/friends_i...>)
Paribus used to do this. There's earny as well and I'm sure many others at this point.
> CCP Social rating is working in China. In the next two years will work globally, under different "democratic" branding.

Sorta like credit scores?
This is the same company that killed a test pilot by playing fast and loose with safety measures. It absolutely does not surprise me they haven’t learned from it.

https://en.m.wikipedia.org/wiki/VSS_Enterprise_crash
I'm surprised TSA doesn't just cut it off, TBH.
I read a lot about last century’s pandemic flu and in most cases people and governments reacted similarly, including the anti-mask protests and politicization.
quick question for you, would that be a good or bad outcome for people who already own homes, in the short-term?
Yeah it is important to know where your kids are. I go with "pay attention".

I guess there are going to be scenarios where tracking could help and maybe even allow the kids freedom to roam within a large zone - the back paddock of a farm say - while still allowing parents to find them.

But I still like capability and trust more.
Is there something interesting about this?

HN is generally not a job board. Please see the FAQ for relevant sections.
They should factor length of comments and speed of replies into that. Flame wars generally have a different shape than productive discussions.
Absolutely. It's the human mind's responsibility not to be "hacked", by which I assume you mean exploited to e.g. mindlessly scroll Facebook all day.

If most people are weak enough to become matrix-like slaves to the machine, so be it. I don't believe in free will and I don't think we need to preserve human life in a certain way (e.g. the way our ancestors lived).

Sure, a lot of people will fail this test, or maybe they prefer to live their life like that. I don't care, that's on them, that's their choice - or, better, the way DNA and the environment shaped this human shell.

If instead you wiretap my device, you're attacking my privacy and I don't have a way to defend myself. You are committing violence.
But will it charge my phone?
Interesting stories isn't just good ontologies, you need to ignite the interest of the reader, feed the imagination. Sometimes how the text is written or the speech is said provides more meaning than the sum of its parts. This article is a good description on how you should structure a textbook.
Is a duplex actually more expensive tho?

Randomly just Google'd and found this link suggesting the opposite:

https://www.turnerandsonhomes.com/blog/cost-to-build-is-a-2-...

As for your second point, that's true. Though, if voting were mandatory I doubt it'd be difficult to pass.
This is addressed in the article. It’s about avoiding public relation issues when they’re found hosting stuff that someone will find offensive…

“ Better preparation against certain types of content could help Amazon avoid legal and public relations risk.

"If (Amazon) can get some of this stuff off proactively before it's discovered and becomes a big news story, there's value in avoiding that reputational damage,"
> Hosting the websites of terrorist groups is something few people would advocate

The laws that are passed today to “protect your from terrorists” will help the government, tomorrow, to control you, and the corporations, the day after, to extract more money from you.

So please be careful what laws you advocate for.
> Or if your goal is to cure cancer, and you succeed, wouldn't that bring you happiness?

You would, for a time, and then you would get used to it. People in the past used to struggle to find food. Today almost everyone in the first world countries can eat as much as they'd like, but do we wake up happy and grateful because we have food? I do agree that not all of our happiness comes from moving towards goals in the future, but a lot of it does.

> Personally I'd rather pursue goals that can be achieved within my lifetime and aren't some crazy improper integral over the lifetime of the universe...

Me too, but I don't think that you have to choose. Even if you have some less realistic goals, it's still better to focus on the immediate problems.
My anecdote was a bit old and I’m certain some of those devices had soldered cables, meaning that a sheared wire couldn’t be handled by buying a new chord or combining parts of two mice. Because I specifically looked for that a few times with no luck.

But they’re right, these days when you crack open things you often find a connector soldered to the motherboard and the cable is merely plugged in. I think it’s just easier to manufacture. Pick and place, bulk solder and then a machine to plug in the cable, fast as you like, maybe with a loop in it as a poor man’s strain protector.
Hi Slippery. Meet Slope.
I clicked through to the cities that are advertising for remote workers. Going from Cali to any of those states and the politics are shocking. Check out Florida, Texas, Georgia, Arkansas.
Now pairing the A key.
>Leaving your flight corridor twenty miles up cannot cause risk to the general public.

To me it seems like there's very straightforward cases where it can (e.g. crashing into an elementary school vs unpopulated desert). That's why most rockets carry flight termination systems.
COVID: come for the newfound hatred amongst family and friends, stay for the perpetual commerce dysfunction and dystopian nightmare! Are we having fun yet?! Yay!!!
I was under the impression impressioning relied on all the lock's springs and driver pins being identical, and that better tubular locks avoided that?

I looked for a picture of the case but couldn't find one. I was in that college CAD lab... quite a long time ago.
I went to home depot a couple years ago and bought every model of master lock they sold. Picked all of them in an afternoon.

I then taught kids to pick them.
AWS isn't unique anymore and charges far more than other hosting providers (especially if you consider bandwidth). Modern software deployment solutions are quickly negating the cost-savings and convenience of autoscaling too. This just leaves AWS with a variety of unique, overpriced, yet convenient services and their popularity as their only noteworthy selling points.

My bet is that they'll end up banning the wrong customer(s) and gain a reputation for being an unreliable partner compared to other hosts, excited to watch that happen. There's also a huge risk in my mind that catering to Twitter mobs and politicians making regulatory threats will become normal as a result of this, but who knows what the zeitgeist will be in 5 years. I'll be remembering this forever though.
If it restricts freedoms based on a standard that is not directly based on preventing immediate harm to others, it's probably a road to authoritarianism.
I guess that explains why McMaster's price for N95 masks never really changed, they were just unavailable.

Although on Amazon it was pretty wild to watch -- I guess if they're not technically N95 masks they can take the price as high as they want since they aren't actually recommended for protecting against viruses. But actual certified N95 masks just became unavailable instead of having high prices.
Is there any correlation between a perceptron and a neuron? When I first encountered the concept of a perceptron, I was told Minsky and Papert modeled the perceptron on the biology of a neuron. Is this correct? If so, how has this initial model stood up and we learn more about the physical structure of the neuron.
That's fair.

If you follow the link, it's talking about Facebook reverting a temporary change that penalized "hyperpartisan" news sources. That's not quite the same as FB deciding "what is factual"; it's FB deciding what news outlets are "hyperpartisan". It's still on the same slippery slope, but it seems like the cost:benefit ratio is far better, if you keep in mind the status quo -- regardless of which side of the left/right divide you may be on, you'll probably agree that the people on the extremes are nuts. (Yes, you will have a different opinion of what is "extreme", but the hyperpartisan outlets are in a feedback loop that rewards greater extremism so there's a fairly stark separation between left/right-leaning and the extremes.)
Then, naively, it would seem like anyone with physical access to the machine essentially has the drive decrypted for them auto-magical-ly at boot, defeating the purpose of encrypting. Of course, nothing prevents using additional encrypted containers within the filesystem for things of greater importance, but I digress…

Regarding fingerprint: this is imaginary security, because people leave their fingerprints everywhere and social-engineering a person into placing fingerprints on something to be copied later is trivial. And if you go the extreme route of TV/film, fingers can be used after death or even removed.

Now, as an additional layer of security, I like the idea of biometrics such as fingerprints. If Android would let me save fingerprints and enable recognition while still requiring lockscreen pattern, that would seem like a win.
Detective work on Reverse Engineering obscure 16-bit Windows game (Zombie Wars)
Or worse: “Ok.”

A period can completely change the meaning of a message.

One of the managers in my company has the bad habit of making speech to text replies to everything. The end result is:

“Okay, Kayodé.

Thanks.”

Those replies do not help my anxiety disorder. XD
If someone can get close enough to drop an AirTag on your person or in your car, they can harm you regardless.
How can a bankruptcy case for a company result in immunity for individuals from being sued in future lawsuits pertaining to the opioid crisis?

Is this a common thing that happens in bankruptcy cases? Is this really justice?
Perhaps there should be more emphasis on sustainable lawns? That is: don't force it. Don't water it, don't use toxic pesticides, don't fertilize, and for smaller lots don't use gas powered lawn equipment. If the lawn doesn't grow in those conditions then it wasn't meant to be.

I've never seen the fringe lawn fanaticism from the article in person, my experience growing up was much closer to Levitt's feelings or the middle class nostalgia: the lawn is something children mow on the weekend. I live in a richer neighborhood now, which means more lawn services, and I really do despise them for the noise. But online culture would have me believe there's a sizeable portion of the nation fixated on lawncare as a hobby. What I see is the opposite, people want a clean looking yard and find it easy to pay for it to be watered, mowed, fertilized, weeded, sprayed, edged, blown, aerated, and whatever else gets bundles together for an affordable price.

Do we only think that Americans are obsessed with lawns because of how large the lawncare industry is? Or maybe the culture really is different in places where effort is required for anything close to green 12 months a year?
I'd like to point out that many of the atrocities committed by the Nazis in the early 1940s were not, under their own laws, considered criminal. Nevertheless, it was possible to punish them (rather, a select handful who were egregious enough and also not directly useful enough to the prosecuting nations to recruit, but that's another point) for crimes against humanity.

Broadly speaking, the legal framework is there. Its the legal willpower that is lacking.