skysight-inc/HackerNews huggingface dataset:
I'd guess low demand as well. Compared to any other type of screen, eInk is extremely niche. E-Readers and some mass produced wearables (Pebble) made it work, but even those had a fairly small market.
Thanks - yeah, I guess that does make sense.
This piece is intended as an accessible intro; it talks about the beginnings of formal logic, how intuitionism in the debate on foundations of mathematics led to intuitionistic logic, and Gentzen's natural deduction.

It seems the only other HN discussion about a post on natural deduction so far was this one: https://news.ycombinator.com/item?id=22324836

There is also one on Curry Howard:
https://news.ycombinator.com/item?id=17748717

It's from there that I found "Howard on Curry Howard", a published response to a letter Phil Wadler wrote to William A. Howard. It provides an excellent hint how Martin-Löf's work on dependent types was influenced by the Curry-Howard correspondence and natural deduction.
https://wadler.blogspot.com/2014/08/howard-on-curry-howard.h...
End of the day, passion & some objective in life - is more valuable than few dollars we earn. This is more useful in old age than ever.
UV triggers the reaction. So, driers need a strong UV source.
There are some small UV driers, and sterilizers. Full-sized clothes driers with a strong UV source, not yet.
If you are interested in cross-compiling the WebRTC implementation so it runs directly from within edge devices, Janus might be one of the best options out there.

Kurento offers a variety of features apart from WebRTC, but it is more intended to be cloud-deployed as an independent media server, you could think of it as a "proxy/bridge" that distributes media between producers (like RTSP cameras) and consumers (WebRTC clients).

If those features are not needed, for purely WebRTC routing there's also mediasoup, with the same philosophy: N media producers send video to a central server, and the server distributes it to M devices consuming the media.

True peer-to-peer comms (i.e. sending data directly from producers to consumers, without an intermediate centralized server) was a cool thing to aim for by the WebRTC standard, but real-world practical constraints (i.e. bandwidth) put a limit to the usefulness of a truly p2p architecture. You'll find more info about this searching for MCU and SFU.
The former proposal was made by 2 members of the Go core team. And they are also in the team of the latter proposal. So, no, the first proposal wasn't good enough for the Go authors and the new proposal is in no way a guerilla attempt.
> Typically, people tend to comfort themselves in short term for making big decisions such as divorce or job change

What about "buyer's remorse" and "honeymoon period"?
Leaving aside that the next plea I hear from black Baltimore for more policing on the BPD model will absolutely be the first - I find it odd that you know so much about this, and so little about other things people have said in this thread that you also disagree with. You've asked others to cite their sources. Why be so unforthcoming with your own?
I appreciate the counterargument.
I would never advocate looting, especially of small/family businesses.
The part of Los Angeles where I live has been hit hard by looting this weekend, including many small businesses, and its painful to see.
I would highly prefer peaceful protesting and peaceful policing.
But there is really no comparison of a line item on a multibillion dollar balance sheet--the linked video is all luxury multinationals--with peoples' actual real lives.
The response of "what about the looters?" is a distraction from exactly that.
Designing Reusable Swift Libraries
The Norwegian Institute of Public Health didn't want to close schools.

It's even concluded that it might have had negative effects (like the numbers in Iceland point to, they've tested 4x as many as Norway).

[https://www.fhi.no/contentassets/c9e459cd7cc24991810a0d28d78...]
Yes, a peaceful protest can be violently attacked and still be a peaceful protest.

It's not required that the police be peaceful, only the protesters.
'Hide' only hides it for you. It's a safety valve for users who really don't want to see something on HN.
> I'm sure there are workers here on HN that did not receive any due to income

True.

The income cutoff for Trump Bucks for a working single person was about what Facebook pays interns in the Bay Area.
In recent times I have been taking night and weekend classes to finish my CS bachelors along students half my age, so I will tell you what I told them.

One thing is we took CS classes, and also some English courses in writing. Even on the job, those writing classes are important. You will be writing e-mails, documentation etc. and being able to be clear and to the point is helpful.

Also, in my eyes, some students were not doing enough to get an IT job out of school, never mind a good IT job with an upward trajectory. One guy told me "I don't study for quizzes since they are only 10% of the grade". I studied for quizzes because they were 10% of the grade, but also because I wanted to keep up with the subject and know about it for the future. Then part-way through a semester, or after a semester, I would often manifest whatever I learned. So if I learned Java, I would write a project in Java for myself. Or at least go on Github or somewhere and fix an issue on a Java project. Or if I learned graphics programming I would write a graphics program, or at least contribute to a free/open-source one. Through this, I would take all the theory I had learned over some months and ground it and manifest it in real work.

Also you would probably do well to get on CS department mailing lists, and check the bulletin board or whatever for internship listings.

I was surprised how lackadaisical some kids took it. Maybe it was their youth. I have seen many people parlay their CS skills into everything from a well-paying job, to parlaying it into an enormous amount of money. So I went above and beyond. I recall one homework where we had to talk about process schedulers, something I was always interested in but never stopped to read about. I figure in the first half hour of work, I already had gotten an A, but I spent hours and hours reading about process schedulers before turning in my homework.

I recall speaking to a bunch of the brighter CS seniors, and I mentioned something about version control. "Version control?" one said. I said, "Yes, you know, like git". "Git?" he said. None of them knew what version control was. You should know things like that before your first job interview, taking classes is not enough. It's good to know what algorithms are linear big O, and which are exponential, but you are going to have to learn some things they won't teach you in class to get a job. I would suggest going to Github, finding a project that has merged pull requests from a number of contributors recently, and looking at contributing a pull request to that project. Then at least you'll get an idea of what work is - someone posts a bug to issues, you look at it, you fix it and put up a pull request, then someone with more (or equivalent) experience looks at it and either gives you some pointers, or merges your changes. At work you will be doing similar stuff.
CRA is exactly suited to my problem: these are simple React front-ends. I don't want any sort of server-side rendering. I don't need any of the features from Next.js. I just the ability to modify some of the basic configs that are hard-coded in CRA for unclear reasons.
I second this m
Does it benefit society though? I'd argue that increased liquidity in markets is a net negative. That means it's easier for investors to sell their assets quickly, which is exactly what you don't want if you want to encourage long-term investment.
I appreciate it's a joke, kicking at open doors at that. Still, here's what one dude coded in JavaScript on his spare time a few years ago: https://www.pouet.net/prod.php?which=71881
That's assuming you don't want to stop what you are currently doing.
I would suggest amending the article, as it seems to imply positions are currently available outside the US and Canada, when this is not the case. This section in particular:

>We have increased the places we can hire remotely from. Today, Stripes are based in over 50 cities worldwide. We now have the capability to hire remote employees in Australia, Brazil, Canada, France, Germany, India, Indonesia, Ireland, Japan, Mexico, Netherlands, Singapore, Sweden, UK, and the U.S.
Cutting costs is important, when you can only fight by lowering your prices.
In my perspective it is literally binary decision; use scientific statement to explain phenomena or magic.
Oh, man.. I start doubting my senses. Thanks.
How to launch a project using cloud-based technologies and Gitlab
Would you say that his protests didn't change anything and were forgotten as soon as they were over?
See also:

2016 https://news.ycombinator.com/item?id=12245909

Discussed at the time: https://news.ycombinator.com/item?id=5055371
Original IBM PC users may remember a program from 1983 called WordVision that came with keyboard stickers. There's a picture of the sticker sheet here:

https://forum.winworldpc.com/discussion/10869/software-spotl...

It was an idea that really only worked if WordVision was the only app you used on the PC. Plus the stickers got dirty around the edges and came loose after a while.

Fun fact: WordVision was designed by Jim Edlin, no relation to the 'edlin' command line text editor that shipped with MS-DOS and PC-DOS.
There was some report quite a while ago from Singapore that they saw deletion variants with lower potency iirc.
I have a question: how do their analyses account for regression to the mean? The headline sex and IQ differences look exactly like regression to the mean to me: https://www.reddit.com/r/science/comments/gtvoan/around_30_p...
How is it useful?
> to do small changes to the Webpack config

90% of the reason I eject CRA. rewired is essential.
> The landing algorithm for the first stage uses convex optimization algorithms based on interior point methods, which were not available in the 1960s.

Is this level of optimisation really needed? I thought most of the landing was having enough fuel margin and then running a PID control algorithm during the landing burn.
To add to your list: Some people don't have any close friends and don't have any [diagnosed or suspected] neural atypicalcy.

Reflecting, I don't require people to have any obligation towards me, and if they don't want to spend time with me that's their call I'm not going to force myself on people, so when people just sort of drift past; that's just what happens. I feel like I could have friends if I was happy to play the part of someone who cared about TV celebrities, fawned over politicians, or idolised sportsmen.

Perhaps one has to be more assertive and demanding to some extent?
Germany's Corona Divide: Berlin Fears Populists Will Exploit Protest Movement
Intellectual property exists as it does because it was created that way by the state.
Trump Threatens to Designate Antifa as Terrorist Organization
Clearly you aren't a frontend dev.
Yerba Mate the Powerhouse Nutrient for Healing Anti-Aging and Enhanced Health
Funny how they made such powerful weapon, that could potentially wipe out life from the entire planet, sound muscially pleasing in this video. Old school cool.
He buys the rocket motors. From his FAQ:

> Do you make your own motors?

> Nope, I use commercially available propellants. Usually black powder motors from Estes or APCP motors from Aerotech. For custom or more complicated builds, BPS.space outsources propellant work to other manufacturers, who can often achieve higher precision and predictability than any consumer setup. I learn best by experimentation, which works very well for software and electronics, less so for explosives and propellants.

> I also got a C+ in chemistry during high school - designing and making rocket propellant is not a good idea for me :)

It sounds like he makes the rocket housings then tweaks some parameters to make them fly.
Probably running Node Javascript (or Typescript), transmitted in JSON over a restful API, hosted on a K8s cluster using Docker containers. Also, the JSON payload has a formal schema in the form of JSonSchema V5. /s

On a more serious note. Some of the amazing stuff that the SpaceX team are accomplishing really puts into perspective the day to day work I and others here do.
Out of curiousity: What is an edge device? An IP camera?
Depending on the professional grade of your use case, you could directly talk to meetecho, as they are the original developers and offer consultancy around Janus.
Google is offering free fuzzing to large open source projects:
https://google.github.io/oss-fuzz/getting-started/accepting-...
> isn’t triggering the desired effect of a stimulus package

That's why Congress people were careful not to call it a stimulus.

The payment was to pay people to stay home safely without (hopefully) losing their livelihood. It wasn't about stimulating demand for the economy.

Yes, there are worries about deflation if consumers don't spend like they did before (although consumer spending in the USA has been out of control for too long).
A police officer may be required to put his life on the line tens of times a year. A private citizen may have his life on the line maybe once or twice in their entire lifetime.

Violent crime is a scourge on America, with 15,292 homicides last year, not including non fatal shootings and/or other violent crime. As part of their job, police officers are called to deal with hardened criminals. There is a high level of risk involved. Can we stop for a second and be a tad grateful to the people that keep our neighborhoods reasonably safe?

'You've got a split second to decide whether the suspect is reaching for a gun or not. Make a mistake one way and we'll send condolences to your family, make a mistake another way and we'll throw you in jail for two decades. Make the right choice, and we'll throw another one your way next week'. Who in their right mind would take that kind of a deal? And if nobody in their right mind would do, who's going to keep the tough guys from imposing their own rule at gun point?
The problem is corporations exert huge influence in the US but only indirectly through feeding various ideologies. These ideologies the exalt the market and enterprises, certainly but they tend to also.not understand how actual business works (the average American politicians has been claiming government should work like a small family lumber mill for generations).

Today, I can't help but think the super rich of America (at least those not slaves to ideology themselves) must be rethinking their support for extreme polarizing positions and "market fundamentalism" as the Federal government abjectly fails to meet the challenges of unified approach to disaster and conflict that is it's overall purpose.
Have you looked at mediasoup?
“Each icon is reduced to its minimal form, without losing its significance.”
The point of covid is a bit from a personal event, but more broadly witnessed, and that is the hypothesis is that people are latching onto an idea, becoming too attached to that idea, and are becoming increasingly unable to accept new ideas into their context. I think this is largely the result of social media and being able to find places where you only interact with people who think like you.

It's good to introspect your beliefs and views on a regular basis.

I am happy to end the conversation, sibling poster.
Two years old is well past "very early" development stages.
Thanks but that doesn't have enough RAM for me or POE

Basically want something like https://fccid.io/SWX-UCCK/Internal-Photos/Internal-Photos-36...

I network / POE port, 1 or 2 USB sockets to plug a phone into, SD-Card slot, 1GB+ RAM, A53 (or above) processor
My comment was not meant as criticism, I just thought it was nicely ironic.

But I guess you're actually consistent: you often lament about people ignoring or reinventing approaches that proved themselves in older languages. Here are people that actually take clues from one such language, and you lament that they didn't do it earlier. I see now that it's not really ironic. Rather, you're seeing the glass half empty while I was seeing it half full.
> The point still holds true for [...] if a storage server has failed

Still no. That kind of thing calls for a 5xx error.
Smarter Every Day has a very interesting video[1] inside the factory of United Launch Alliance in which, among a lot of other things, shows the friction stir welding used in their Atlas Rocket[2]:

[1] https://youtu.be/o0fG_lnVhHw

[2] https://youtu.be/o0fG_lnVhHw?t=1933
If a couple both got laid off in late March and filed for unemployment they would have made 4200 + 4200 + 1200 + 1200 = 10800
What's wrong with working for others? Similarly, what's the point of programming (or of any work, I suppose) if it isn't helping someone?
> Whereas most programming languages use nominal subtyping, Go is unique among mainstream typed programming languages in using structural subtyping.

I thought typescript also used structural subtyping? i.e. in typescript I can define:

interface Stringer {
String: () => string
}
function takesStringer(s: Stringer) {}

And now I can call takesStringer with any class that happens to have a String() method.

This seems to match structural subtyping in go.

Am I missing some reason that this isn't structural subtyping as referred to in the paper? Do they mean to say that typescript isn't a "mainstream typed programming language"?
> If they announce an extension of the bonus unemployment I will definitely ask to be laid off

I was talking with an expat friend of mine that lives in APAC. He was considering moving back stateside if he got laid off, but he calculated the cost of healthcare and realized it was like taking a 30% pay cut.

Remember to calculate the cost of health care (or health insurance) before you take that action. Also, there's no guarantee your state will still have a non-empty Unemployment or MedicAid fund in the future. Remember that state revenues drop as employment and consumption drop.
Here’s a hand-wavy estimate. Last year, the personal savings rate in the US was about 8%, so at that rate it would normally take 12.5 years to accumulate 1 year’s income worth of savings, or 6.25 years to save 6 months. If you earned 10% more and saved all of it, and didn’t change anything else about your spending or saving, then your new savings rate would be 16.3%, which would mean it’d take a little over 3 years to save for 6 months. If you previously weren’t saving anything, but you started saving all the extra income from a 10% raise, then your savings rate would be ~9% and it’d take you 5.5 years to save 6 months’ worth of income.
How the Covid-19 pandemic changed TV commercials
Black patients were losing limbs at triple the rate of others
Not exactly, there was a series of articles from a virologist here on HN (cant find it), the idea is that he wanted to infect people with the less deadly corona versions so we all gain immunity. This would prevent a lot of casualities. This idea also works the same way in nature, as in the less deadly virus can spread more, because it produces milder symptoms and even no symptoms. This means you are more likely to catch a milder version, which leads to the fact that the virus becomes less dangerous, as deadlier strains will fade out quicker.
This does not mean we need to let go the social distancing at all, but on the other hand we have to reach herdimmunity at some point, preferrably without too much casualities.
Oh interesting. Then I have more questions :)

1. If you try to optimize an image that would maximize all layers outputs, how would it look like?

2. After you optimized an image to maximize some layer outputs, how do those outputs look like?

3. If you try to do what I thought you were doing - optimizing not the RGB image, but the individual layer inputs (feature maps), how would those feature maps look like? You could either plot each individual feature map, or pick top 3 with the strongest signals and combine them as RGB channels.
SpaceX leases the launch pad and Eastern Range, but those are paid either on a yearly basis, or per use. The NASA/DoD personnel that support the launch are getting paid whether there's a launch or not, because they're needed for any launch from the Cape.
I'm a full-stack developer, looking for a side-project
Hi all,

I'm a full-stack developer with 8+ experience. I developed from many startups to large enterprise companies . Currently, I'm working from home like everybody else and looking for side projects I can join or create together.

Here is my mail, happy to share my projects over an email and discuss ideas.
donprogi@gmail.com

Thanks!
> All: please don't believe what internet titles say, even
> when they feed into what you were already expecting might
> happen.

I'd say "please don't believe Internet content, especially when it feeds into what you were already expecting...".
I am not sure what this has to do with topic discussed at hand, but I guess I am not, only frontend I developed was equities market Level II data window with support for hotkeys and algorithmic trading.
40 Uses for Germanium Diodes [pdf]
If you looked into their marketing material they mentioned they will sell them to cloud vendors all over the world. Also on premise installation is not out of the question.
Cray will also bring out their own product using A64FX.
Fujitsu sells two types:
PrimeHPC 700
PrimeHPC 1000

The 700 one is made from lower binned silicon, clocks a bit lower and has a few cores disabled (the management cores). It fits in a standard U form factor and is available out side of Japan the a minimum order of 2.
The 1000 is better clocked,comes with 4 additional "management cores" which can take care of waiting for IO/MPI etc. It comes in a custom form factor that includes water cooling and the proprietary TOFU interconnect. You also get access to another tier of software support i think. Minimum order overseas 192 i think. Those were used in the number one entry of the Green Top500 giving you the most LinPack per Watt.
This SoC isn't really geared toward compute as it has more memory per compute than current or next gen offerings the GPU space (current or next gen) and also has more bandwidth per compute.

This is what gathered from looking into it.
Bare metal RISC-V programming in Go
Comments moved to https://news.ycombinator.com/item?id=23365708.
Have you watched the live streams people put up while they looted?

(there was not this type of aspirational language)

They knew what they were doing, tried to say things on camera to sound like they hadn't just stolen though it was and remained quite obvious. They weren't talking about the injustices, they were talking about all the free shit and keeping tabs on the cops.

Then they realized the cops were driving around taking lots of pictures of the people coming out of the looted stores. (I think this was an LA stream iirc)
Such scenes can happen in any country, but when the enemy is the people it just festers and escalates. With great leaders they could deescalate, but Republicans are doubling down all the way now..
>You might think this sounds silly //

Not wanting to offend but "sociopathic" is the word that comes to mind for me. Like "I'll do this to manipulate people and induce this response". I'm not going to say you won't be successful, just that your approach sounds very clinical and lacking in warmth and personality.

You do you, I guess.
In some, murder committed by acts such as strangulation, poisoning, or lying in wait are also treated as first-degree murder.[0]

[0]: https://en.wikipedia.org/wiki/Murder#Degrees_of_murder
Category Theory for Hackers (2018)
Yes, absolutely! Obviously there's other things I enjoy doing as well, but programming by far has the greatest impact on the world around me, and I love seeing the things I help create making other people's lives easier.
Clearly not true. For example, mask wearing is another difference in many places.