skysight-inc/HackerNews huggingface dataset:
I've spoken to a lot of processor designers, usually from an EE background, and they prefer Verilog: "we tried more high-level languages in the 1980s ... it was a failure" is something I've heard more often that than I wish I had.

I think there is an interesting C. P. Snow-like Two Cultures thing at play between SW and HW people. I think the latter don't quite get the abstraction power of modern programming languages, they don't understand that syntax, types, modularity matter. They think PLs are something like C and C++: a mess that we simply accept and get on with life. The former really underestimate the extreme scale and complexities involved in processor design and verification. Never the twain shall meet?

laundry list of pain points

Think bigger: what would you do if you have a team of 3 engineers, or 30 engineers to work on a better tooling ecosystem?
Ferrari is an amazing company in terms of return on equity, profit margin and brand. Bummer it’s a very expensive stock in the 35P/E range
This sounds like a great topic for an "Ask HN" post.
>>any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals.

>Every program that has ever existed does this.

No, not every program is self-tuning, nor do they all take inputs.
Yes, you seem to have a fundamental misunderstanding about what free fall means.

In the absence of other forces, a body in a gravitational field experiences a constant acceleration that only depends on the strength of the field. In the accelerating reference frame of the object, there are no net forces. You could for example measure the gravitational acceleration of earth by jumping from a plane and measuring how fast the ground is coming towards you.
Polymorphic Identifiers:  Uniform Resource Access in Objective-Smalltalk (2013)
> it can check if it can see any of these past positions, then follow them to the player. Since this is similar to how a dog would track something, we'll call it a scent trail.

This is how a scent dog tracks prey it cannot see.

I recommend the author hang out at the dog park and watch other kinds of working dogs, like retrievers and herd dogs. Very, very different behavior.

In fact I've heard that dogs can make a pretty nearly accurate guess about shortest path when dealing with terrain that has two different speeds. If, for instance, your dog is trying to get to you in the water and you are diagonal to his position, they will use two angles to triangulate on you, staying on the sand longer (but not until perpendicular with you) to minimize travel time.

One of my dogs definitely uses the Wayne Gretzky approach (go where the puck will be) but sometimes arrives before her target, resulting in collisions or acrobatics.
Just a random FPGA won't cut it, if you want to simulate a reasonably large processor design. Also, you would only be able to simulate the basic logic for its validity. But that is only the very first and easiest step in the verification chain. Things start to get more interesting, when you look into the real-world analog properties of you chip. You want to check the correct timing so that the logic still works correctly at high clock speeds - depends very much on the acutal placing of the components, e.g. wire length. Then there is the question of thermal behavior. Long term stability (years of operation). And then we enter the space of manufacturing. You need to optimize your design so that it can be manufactured reliably. There are some systematic variations across the wafer and your design should account for that. There are also a lot of constraints given by the production process, how you have to distribute components on your chip.

Getting from an initial logic design to a manufactured chip is a big adventure. This requires a lot of layers of software, a lot of it highly specified. And yes, you can buy very good simulators for chips, just search for Cadence Palladium for example. They are huge monsters.
As people mentioned there is `$ErrorActionPreference = "Stop"` but it's not equivalent to bash `set -e`. Looks like there is no consensus if we'll get something similar in the near future (https://github.com/PowerShell/PowerShell-RFC/pull/88)
I recently discovered the work of Jeremy England [1] on this topic on a PBS Space Time YouTube video [2] dedicated to the origins of life. England's work dates back a few years (2012) and seems like it was an exciting advancement in the field but was also controversial. Does anyone here know the status of this line of research?

[1] https://aip.scitation.org/doi/10.1063/1.4818538

[2] https://www.youtube.com/watch?v=GcfLZSL7YGw
For the females, a bucket or bag works.
Isn't that the theory of all variety communism.
Pipe dreams....
by definition, sensitive populations face the greatest personal risk from violating the quarantine. most of them would probably comply if the government merely asked them.

it's hard to see how contact tracing of the general population can be done with "modest" privacy implications, unless it's opt-in.
Subscribe to a specific file commits on GitHub with RSS
In the abstract, I liked the idea of spending it on infrastructure, but over the ensuing decade I’ve become deeply skeptical of the ability of the US government to effectively spend more money. California high speed rail and the NY subway are exhibits a and b.
Agreed! I can't think of many professional trades where you aren't required to know certain fundamentals just because there are higher level tools available. A trained cabinetry carpenter, for example, likely knows how to make a fancy cabinet door without a CNC router, even if that's how they mostly do their work. I'd venture a guess that statisticians could calculate variance, t-score, f-score, z-score, etc by hand.

I'm not saying you can't be a productive professional without knowing lower-level fundamentals, though I don't think you legitimately lay claim to be an expert in the field without them.
Reflections on 2 Years of Golang
Twitter – your ability to control mobile app advertising measurements is removed
More Open-Source Participants Are Backing a Possible Fork of Qt
That's really cool! Audio didn't work on FF mobile.

We are working on something similar: https://www.joinvoiceplace.com
So...

Doing a complete verification of a CPU in a strict sense is impossible.

These days we are relying more and more on computational proofs for math and science research.

Therefore - what can we say about the solidity of our scientific knowledge going forward?
Saturday and Sunday NYTimes Front Page in Colors
Thank you. It's been too long since I read this, putting it in the 'to read' pile.
The same applies also to big companies. One thing I always notice is that management wants to sign off on something and then be done with it. They don't want to engage with the details and understand them. But all the advice in the doc seems to revolve about constant interaction with the project and deep understanding of what's supposed to be done. the common trend I see in IT departments (and I have heard in governments) that more and more gets outsourced and in-house capability is reduced so they can't really oversee a project in a meaningful manner.
Can I ask what kind of members-only clubs you're referring to that don't serve alcohol? That sounds curious. I do belong to a club or three here in the UK (internationally reciprocal, too) and while they can be rather selective and some do charge a pretty penny, they most certainly do have bars or a wine cellar with a respectable selection of beverages... Is there a meaning of "club" of which I'm not aware? Sorry if I'm being daft, it's been a long day.
Because economics isn't a real science. As soon as someone starts talking about it like it is a science my bullshit alarm rings and I politely extract myself from the conversation.
I think Python builds have gotten nearly as confusing as Java builds (judging by how every Python project these days wants me to use virtualenv).
Sorry, I thought you were implying "let" would be one more thing to remember (taking one of the ~7 slots), and that's why we SHOULDN'T use it.

> APL is by far the cognitively easiest language, which is demonstrably false.

(that was a lower case L typing on phone, sorrt). APL code is incredibly short - 7 APL chars are usually equivalent to 50-100 in other languages. One would expect that would make it easy to master & read, but experience from the last 60 years or so shows that's not true.
“Mamma Desta” and Ethiopian food in the U.S
The Coronavirus and a Deflationary Crisis
...We have abundant hospital capacity remaining?

If it looks so, that's only thanks to lockdown. There were days where the US saw daily 40% increase: with that kind of curve, it takes five days from "hospitals 80% idle" to "full", and another five days from that to "five times more patients than we can handle".

And since it takes about a week for infected people to show symptoms, when you put the brake again and re-implement lockdown, you will be looking for another five-fold increase before it slows down.
If you have a valora work running and change the GLSL on disk, it will recompile and update in the next frame without your having to relaunch or any inconvenience like that.
What is the reason for the type of mail that got shut down? Is it normally by boat and the boats stopped running? It seems like on a global scale most delivery stuff is still going on, maybe a bit slower in some cases.
No it does not. Definitely not in the car.

Tripple not in a car with other people looking at yoi when you had a choice to simply not go.
Show HN: Easter++ AR Game
Found the news reel that was mentioned in the article, it has a blooper when one of the "civilian" girls cheerfully greeting the liberators wears Red Army boots: https://youtu.be/7XsXSOSOtq4?t=438

Overall really sad moment in the history of the town, it had seen a a huge amount of violence - the almost total destruction of the Jewish population of the town, but also Nazi attacks on Ukrainian and Polish civilians. The total death toll caused by the Nazis in Stanislaviv/Ivano-Frankivs was 100 thousand people with at least 20 thousand of them Jews. Many people were also forcibly deported to Germany to work in factories (this is unrelated to the millions of Jews in concentration and extermination plants, where conditions were worse).

The mood was actually deeply sombre and the news reel fails to hide it (although keep in mind the music was added by the person adding the video to YouTube). The reason wasn't only the Nazi crimes - the population of the city remembered 1939 when the Soviets took over the city from Poland and 1941 when right before they evacuated the city they killed everyone in the prison (many of them political prisoners) and other people suspecting to aid the German advance. On the day they captured the city another round of repressions began.
I am excited to share a (kind of new style of) game that I’ve been working on: HeadPop!

It’s decidedly in contrast with the solo, à la mode, sink-yourself-into-your-phone kind of usage we sometimes see. Ideally, this game gets you up, moving, and interacting with real friends, real time.

You play the game using only your face, and you can play against a partner or a bot. Along the way, you do silly little things, and in the end it outputs a silly little video of you doing the silly little things.

Sometimes life can feel really serious, but hopefully this can bring a little bit of that child-like joy and laughter that we sometimes don’t get enough of.

It’s pretty simple now, but depending on the reception I may put some more time into developing it! Would love to get some constructive feedback. But more importantly...

Use your head: have fun!
Yes, this could be problematic. But any language has this kind of quirks (rust, ruby etc.). The problem is not like with C where you have quirks forever.

Once you learn it, you know about them.
You know, it didn’t even occur to me to contact them at the time since I was able to find a workaround. But that’s a good idea, I’ll see what they have to say.

Edit: looks like they found and fixed the issue on their own, I just tried it again and it worked.
You should get over that trivial reason really. You are missiong out a lot.
My Book-Writing Setup
I’m glad the police are protecting essential workers, after a bus driver was killed, quite possibly by a passenger.

https://www.fox29.com/news/detroit-bus-driver-dies-of-covid-...
Ask HN: Collaborative Games for Isolation Situation
Like so many, I'm in isolation. And while I chat a lot with my friends, it would be cool to have something to do together. And surely there's an app for that, or a site? A joint activity, perhaps with a chat box for conversation would be cool. I was thinking perhaps a jigsaw puzzle or something similar.

Any suggestions?
Binary Numbers and Wave Arrays – Weekly Challenge
https://smallbusiness.findlaw.com/business-laws-and-regulati...

> Topless clubs in Las Vegas may serve alcohol, for example, but fully nude clubs may not.

My (genuinely...) limited understanding is that this is not limited to Las Vegas, and also that private members-only clubs can circumvent this.
OMG, 1971, it's almost like finding a joke in a cave drawing!
Show HN: Flutter-RS Build Flutter Desktop Apps with Flutter and Rust
> So in this case "screwing investors" basically amounts to destroying the life savings of the elderly.

Equity markets are not supposed to be so timid that they hide behind the skirts of grandma and cling to grandpa's legs. The picture is more like they're holding a gun to your grandparents' heads. I'd look into a one-time stimulus program that recaps just those elderly's retirement accounts to decouple equity markets' hostage-taking of a vulnerable section of the population, move the interest rate to a level that re-kindles the bond market's retirement linkage, and let the capitalists sort out a real capital market.

I'm done with so many companies boasting they're uber-capitalists, but multiple times in my life they avail themselves of taxpayer-backed funding for loan terms I'd never in my dreams get as a private individual or small business. And they just did it again.
A classic![1]

[1]: https://craphound.com/spamsolutions.txt
Flipping the Raku Wave – Weekly Challenge
Informative comments. Thanks!
Yup, and when running you're breathing deeper and more forcefully, so you're expelling more viral particles farther.

Plus, I'm not seeing as many runners wearing masks (no doubt because of the high oxygen requirements of the running itself), so that too has an effect.
If by secret weapon you mean a thing they used to make an irrelevant back office crud app in the 80s and now they occasionally contract maintenance work from some body shop that pays minimum wage, then sure.
I don't want my tax dollars supporting million dollar executive salaries and bonuses for executives and management that I think are doing a questionable job. Are we going to have the government dictate salary and bonus reductions and maximums too?
>What I meant was clear

Unfortunately not to me.
Robots deliver food in Milton Keynes under coronavirus lockdown
I think the risk of bathroom transmission would actually be less than you think, mostly because there's already a lot of design and practices built around the fact they are unsanitary to begin with.
A drive in theater is not like that. It’s outdoors, bad visual and bad audio quality, that’s only done for the fun of going out.
Greek/Roman statues were not just white, they were painted in vivid colors
See the canonical checklist: https://craphound.com/spamsolutions.txt

(This is very old copypasta, maybe 20 or so years. As is the failed idea of email stamps.)
I'd love to help you solve your issue with i3wm and 4k screens. I'm using i3wm on a 4k monitor for my desktop and 3k for my laptop so I should be able to help you.
It’s not going to blow droplets into your face.
Nice strawman you've got there. At no point was I saying anything should be banned.
Thanks for the feedback! We did have a lot of discussion about whether we should be showing per capita numbers and throughout the process the numbers have grown quickly and we kept changing it, first from cumulative case numbers, having to change the thresholds, then changing to deaths as a more reliable signal of how bad things are generally, so this is just where we landed as of a couple weeks ago in terms of how to color the markers.

I do agree that it can be misleading to suggest that 1k cumulative deaths in somewhere like Michigan is the "same" (color-wise) as somewhere like Brazil and normalizing by population would address that. OTOH, I do think it's a valid use case to draw the attention to where the absolute death numbers are highest as well regardless of population at least based on our own curiosity, but perhaps that's more appropriately done in a simple ranking table.

We were actually thinking of repurposing the marker colors altogether to reflect on the "flatness" of a geography's death curve, but not sure if we want to trade off on quickly answering the question "who has it worse off, right now?"

Some things for us to consider, thanks again!
I think it's a logic diagram, not an electrical symbol.

For anyone looking for an explanation of the newer symbol, this is a nice source: https://www.petervis.com/electronics/MOSFET_Symbol/MOSFET_Sy...

Arrows were used in 1975, see page 57: https://www.noao.edu/ets/Mechanical/Policies/ANSI%20Y32.2-19...
To add on, the parking lot is intentionally made to have rows of (small) hills, so each car will be pointed up towards the screen. Taller vehicles are restricted to the back row, trucks will usually back in and people sit in the bed to watch. Vans (and any remaining station wagons) will also often back in and sit in the back with the hatch open.
I wish people who use peer-reviewed articles as supporting evidence when making arguments would do a better job of understanding what those peer-reviewed articles are about.

Or, for that matter, of making an argument in the first place. You're not doing that here. You're just noting that a researcher who does research on transmission of coronaviruses from bats to humans, has published research on transmission of coronaviruses from bats to humans. I don't know what conclusion you expect anyone to draw from that.
Did you end up using the token with HTTP basic auth over HTTPS? Or did you switch to something else to transport the auth token?
And it does still exist, until November. Deprecation is a transition period, instead of just removal without warning, but without future scheduled removal then deprecation would serve no purpose.
Long post so won’t comment on all of it. Many could happen.

Disagree on WFH change though. Many of us have had WFH power for a long time. A huge percent of tech workers use laptops and have the raw tech to WFH. A lot of developers (like me) still enjoy having an office to collaborate in. A lot of business owners (like me) will continue to require in office employees when this is over.

This isn’t like some shock that proved to us how good WFH is. I have worked years of my life remote. I know the pros and I know the cons. I will continue to have a local office and hire local developers.
Is this mostly for using w/o i3? I feel like I'm not missing much by using regular terminal windows and letting i3 manage those windows, but I'd love to find out I'm missing something awesome.
If you don't want to show your face, you can use the parameters "--use-fake-device-for-media-stream --use-file-for-fake-video-capture=/path/to/y4m_or_mjpeg" on Chromium. You can get y4ms from xiph.org[1].

[1]: https://media.xiph.org/video/derf/
> I think some types of business, like restaurants, gyms, theaters, professional sports will be hurting for a long time.

There's another place where people are packed ever closer together: air travel. I think there will be a significant long-term decline in at least vacation air travel, and possibly a somewhat lesser decline in business travel. As a result of this, the hotel and tourism industries will also take a bit hit (including Airbnb). The cruise ship industry may take even longer to recover.

NYC will be particularly badly hit by this, since we get a huge percentage of our income from tourism.
We are hardwired to focus on the wrong parts of our product
Becoming a Trader Data Scientist: Transforming Bollinger Bands
Shouldn't the customer either be competent at configuring the system themselves or let somebody else do it (who will then ensure that the config is valid)?

Edit: I suppose you mean that the config format should be "user friendly". I guess it should, but I have personally had far fewer problems with YAML than with TOML.
Human beings are prone to forget... even the most traumatic experience...
"Despite its name, the geosciences university announced elsewhere on its website that it was carrying out coronavirus research."

incredible journalists repoting on the academy doesn't know what geoscience/geology department studies nowadays. most of them are indistinguishable from sociology thanks to all the urban and policy planing. they also do a great deal od recent history because it's a base for the above.
There is a lot of random testing in processor design. To what extent you'd call it property-based testing can be argued. Intersting factoid:
Koen Claessen, one of QuickCheck's inventors, also co-designed
Lava, a circuit designer DSL in the Haskell eco-system.

If by dependent types you mean theorem provers, then that is used, but rarely -- hand-verification doesn't scale to modern processors, usually you model check against some temporal logic formulas that the processor meets its specification. If OTOH you mean using HDLs (= hardware description languages) that use dependent types, then mostly not. Arm's ASL (= Architecture Specification Language) has a tiny bit of dependency build in to reason about length of bit vectors.
You definitely win the prize for weirdest story. That was random and very cool.
We do know a few things, such as attempts to repeal the law of Supply & Demand fails again and again. We also know there is no Free Lunch, as every effort to implement one has failed.

It's like I am no physicist, but I know that anyone who claims he's invented a Perpetual Motion machine is either a fraud or made a mistake.
I think governments will be more quick to act and close down borders if virus breaks up somewhere else. Other than that - nothing much.
Unfortunately, by your definition, computer programs are closer to being an individual than viruses. I am assuming that is not intended, so probably the idea needs more refinement.

I also think this is a weakness of the original article: a lot of things we probably shouldn't consider individual life forms would probably fit the definition (nations, for example).
You are inside a box, you do not see the ground, so how can you use it to measure anything (to measure "how fast the ground is coming towards you")?

Time dilation of a clock does not depend on the clock being able to reference some external object, like the earth. (I do recognize you can not measure time dilation until you compare to some other clock.)

So, let's reframe with a thought experiment and maybe you can answer:

A clock in the center of the earth, and a clock dropped from a tall tower on earth (ignore the rotation of the earth). Each clock sends two laser pules, exactly 1/100 of a second apart toward the other clock.

(The falling clock sends its pulses moments after being dropped, so it has essentially zero speed relative to the clock in the center of the earth.)

The partner clock then measures how far apart in time it received the two pules.

After that we collect the reports from the clocks and evaluate.

Will the two clocks each report the same time interval?

For an even better experiment lets add a third clock, this one resting on the surface of the earth.
Hooking into and parsing the Redis replication stream with Haskell
Is this all this tracking achieves? I personally assume that I'm infected until proven otherwise. Even if proven, I can get infected a day later. I don't need a tracker to tell me this.