skysight-inc/HackerNews huggingface dataset:
I live in Japan and when things got bad, a box of mask that normally sold for $20 USD would be priced at $100 + on Amazon. It's quite easy to make a buck when you are taking advantage of people's panic and paranoia
For foreigners entering the US fingerprints are taken in ~100% of the cases at airports. Land borders seem to be an exception.

For the EU it's very rare as far as I know, both for EU citizens or foreigners.
I can get behind this but then that specific content wouldn't fall under section 230. IANAL I'm not sure I'll let them fight over it.

But if you as a platform control the content you are responsible for the content you publish. Which should be ok right? If it's fact checking and you get sued and the facts are correct, no problem. Well other than all the money you lose, but that's something we need to fix about suing people.
> Software engineering must be one of the few professions where individuals freely share their energy and expertise with others.

Many others in creative pursuits do the same, including advice, articles, mentorship, tutorials, videos, screencasts, and many other things: artists, musicians, writers, non-software engineers, cinematographers, carpenters, and others.
For working on the languages themselves for sure. But thankfully working with functional languages helps with outcomes and commercial viability.

If only languages like Clojure, F#, OCaml, Kotlin, and many more enjoyed more popularity and support.
Real time live stream of Aircraft ADS-B data loaded into flight simulator
The blackmarket is obviously bigger outside of the US where US law and enforcement will be encouraged to go after blackmarkets more strongly than another company.
Table Editor: Browser-based table editor for Latex, Markdown, JSON, HTML, & more
> When states like Georgia try to remove voters from the rolls that didn't respond to multiple notices sent to their home address, or haven't voted in many years, people call that "voter suppression."

Removing people from voter rolls should require making active efforts to determine if there is a change in voter status. For example, are they still filing taxes at the same address? The most common cause of stale voter roll information is people moving, and the voter database not reflecting it, but there are already several government databases that will reflect whether or not someone has moved. Purging voters simply because of nonresponse and non-voting should be insufficient burden of proof--and yet states have tried to do that in the past.

It's actually quite frustrating how many different government agencies I have to inform of my move [1], especially because there's very little indication of who will and who won't be told of it.

[1] The title registration of my car and my driver's license not using the same database is particularly frustrating because it was the same damn agency.
Do you have any more details on the booster being refurbished having any impact on Challenger?
It's especially shocking how many crystallographers have switched over - when I started, the ribosome crystal structures were the latest heroic achievement, but now nobody would waste time trying to crystallize ribosomes.
Today in eigenvectors...
Navigation satellites are inherently geo limited. Can the Chinese system be used outside the Chinese mainland?
Timeless principle: Follow the money.
Continuing to work would abet processes with which he disagrees.
The real Fourth Estate!
I'm not so convinced it would reduce engagement. I would think that me giving Facebook feedback on what I want would potentially increase engagement. But it feels more sustainable to me, and less prone to unwanted regulation.

In fact, if I were Facebook and wanting to reduce competition, I would try to pass legislation that requires these kinds of controls, making it harder for upstarts.
You could always just wipe your phone, and uninstall all possible apps.

On an iPhone don't sign into icloud, press and hold and delete anything with an X.

hmmm. crap. You can't uinstall safari. Just put it in a folder and don't use it.
Batteries are really HEAVY, Model 3 is heavier than your average Sedan. The trick is to perfect battery weight and its effect on range, in a certain use case.

Commercial vehicles would need 150+ kw batteries, with huge batteries comes huge weight and long charge times. Having said that TSLA is probably best positioned to do well and solve these trade-offs.
I wanted to move to rural OR/WA a couple of years ago, but couldn't find a single property with high-speed internet. This is (hopefully) a game-changer.
Yeah, if it really does deliver ~25ms latency and up to 1GBPS, work from anywhere becomes much more literal. Currently a lot of remote work and things like multiplayer games are limited to areas with reliable broadband.

But if you can get that anywhere... it'll be amazing and have a profound effect.
He doesn't exactly paint a flattering account of his social self in his autobiographies - mostly in his interactions with service staff.
Lattice FPGA adds 'no reversing' clause for SDK built on reversed bitstreams
2/10 troll
I wonder if your student with nested switches was just bored with the assignment. Way back in college we had mandatory lab time which was cake for anybody with a little coding experience and I remember doing stuff like that, overflows, bit arithmetic, convoluted recursion logic and so on to see if anyone would notice. Nobody did... or so I thought.
"hosting it in a robust systems language suitable for implementing well-trodden functions"

Maybe take a look at Joker [0] to start. A Clojure interpreter written in Go.

[0] https://github.com/candid82/joker
let's go ride bikes in the big blue room.
Thanks! My email address is written in my github profile page: https://github.com/tamuhey
Please tell him the address.
As a student here, I can say the learning experience has been like no other!

I am a self-taught developer going on 5+ years of online self-study. After the virus and lockdown hit, I managed to find c0d3.

What makes c0d3 different from other platforms like freeCodeCamp, CodeAcademy, Udemy, etc.?

I feel that here at c0d3 we focus more on community and helping one another out than anywhere else. Learning to code (particularly as a beginner) can be a very daunting and lonely task at times.

The learning structure is very unique in that you are forced to get your hands on code immediately and use practical skills (using git, etc.) to submit challenges and continue down the curriculum path. After each submission, your code is then peer-reviewed by another student who has already passed that particular section you are on.

Among all these amazing aspects that c0d3 brings to the table, I believe the most prominent one is the ability to work on real-world projects (such as c0d3 itself) as a student, in an actual engineering team comprised of other students and learners such as yourself.

This experience has by far eclipsed any other I have had anywhere else during my self-studying journey!
When I slip down the rabbit hole every now and then and end up deep in a multi hour social media/internet binge when I could be doing something else entertaining as well as constructive, I am definitely being a stupid person.
Explaining it in terms of points and distances is an effort at making the content accessible, but the issues arise when you're dealing with complex shapes, which might not be able to be unambiguously represented: given a sequence of points representing a polygon, it will not always the case that the shorter line connecting two points is the intended one, for example. And it's possible to contrive examples where you have two such shapes, where if you assume that each consecutive pair of points signifies an edge that's the shortest possible line between those two points, and then you naively calculate the intersection of those two polygons, you can end up with a situation where your new, intersected polygon (under the same set of assumptions) has lines that suddenly go the other way around the world. It can get really gnarly really fast. As the article suggests, most people just give up and split the polygons into pieces.
I recommend learning to speed read. Your brain is capable of working out what the subject of a paragraph is before you've "read" it. Learning to trust that, and skip-read articles only slowing down for the interesting bits, is a great life skill :)
For what it's worth, as a developer, I would not want to introduce user friction to my site specifically, just to address a more global problem.

Perhaps you would be better off addressing this concern with browser developers.
The source code for the tank game is available on GitHub
I agree about the microscope comments. On metaphysics I'm sorry but I have to disagree. "Metaphysics" was not Aristotle's name for those books, and unfortunately it's not even clear what the word means
https://plato.stanford.edu/entries/metaphysics/#WorMetConMet
'xx/' is a single thing -- in the sense that 'xx' is a thing, and '/' is a thing that modifies other things. By applying '/' to 'xx', you get a new, standalone thing.

Re: one-or-two characters, there are a few exceptions, like the folds ( F.. F.: etc.) which are new to J9. Also some older ones like {:: (Map) and &.: (Under) where `x u&.:v y` means `v^:_1 (v x) u v y`. Some of these aren't verbs but conjunctions, adverbs, etc. For the most part they stick to one or two. There are parsing rules that dictate what the second and third characters can be (that's why you see so many colons and periods), and these rules are actually discussed in the JforC book.

Reading J can be tough, as a fellow learner I feel your pain. :) The one that usually gets me (in my own code, even!) is

5 myverb \ n

...which runs the verb over 5-element slices of 'n' at a time, and joins up the results. The '5' is too far away from the '\', and it can be hard to see the connection right away. I understand why it's so (it's really running the modified verb 'myverb\' with arguments 5 and n) but I still find it hard to read.

When writing my own code, I often leave extra spaces between the multi-character words, and anywhere else that helps legibility. J might be a terse language, but there's no point being crazy about it (unless you're golfing).
Oh, I am all in favor of unions, and you're absolutely right. It's a tragedy, yet an unsurprising one, that business co-opted government to restrain union power the way it did.

In fact, in the "small government" vein, I'd suggest repealing Taft-Hartley immediately. The biggest immediate benefit to repealing that would be that unions could once again freely conduct wildcat strikes.

But that's not what libertarians generally think about when they think "small government," they think of ending social programs -- at least, in every conversation I've ever had with them. I've never had a one-on-one conversation with a libertarian (and I've had quite a few, thanks extended family) who thinks unions are a good thing or a way to balance corporate power.
Have you ever lived next to a subway? This sort of black and white thinking is insanely reductionist
I've been using workman for a few years, and using a keyboardio model01 for about a year.

Both have given a similar and drastic increase to the comfort of typing.
What I'm saying is obviously true. What you seem to be concerned about is that you think the premise is false. If that is so, you haven't really communicated that...
The shuttle had two boosters, not three. It also had an external tank that burned in the atmosphere.

The boosters were technically reusable, but refurbishing them after the corrosive bath they've taken by their landing in the ocean was much more expensive than making new ones from scratch.

You'll note that SpaceX lands their rockets on a barge, instead of landing them on water and fishing them out later - that's because they want to keep the salt water out of the rocket.
Yeah, that's what I do. For years I made the table of contents as a linked list of pages starting at the beginning of the notebook until my then wife pointed out that it would be much more sensible to just grow the table of contents as a downward-growing stack from the end of memory.

I abbreviate the dates in the table of contents, which other people find confusing:

2020-01-28
-28
-28
-30
-02-01
-06
-06
Every dmv I have been to has always asked or offered an option to review my photo. It also helps to be appreciative of the plight of the person at the counter. It’s their daily job so they can bend a little when getting to the more exciting part of their work
As a developer, this attitude on the part of C compiler writers is a reason to avoid C and C++.

The actual semantics of the language are effectively impossible for a non-expert to tell from the code as written and operating. And what you don't know can hurt you. That's like juggling caltrops with bare hands - you're guaranteed to get hurt.
Hackers targeting UK research labs amid vaccine race – GCHQ chief
And what would be gained by that except spending a lot of money, needing to train existing officers and being reliant on a working internet connection?
>> A root cause of problems is people asking scientific questions of fMRI data whose answers would lie at a much finer spatiotemporal resolution than the medium can support.

Reminds me of the "mirror neurons" nonsense from a while back.
Congratulations. I am going to get my family on it.
Time flies!
This was the original plan but it was dumped because of photographer lobbying. IMO a good idea because it helps small business owners. The passport office's capabilities to create photographs will be expanded as well though.
It is evident the lower trims of Cybertruck are not tow friendly. But there are lot of people with pick-ups who do not tow, but need a truck bed to carry tools or goods etc.
The only difference between HN and reddit is tighter moderation.
People forget that even pre-smartphone, people would go on trips and put themselves behind a camera instead of entering the scenery.
You've accepted your lapse, but you don't seem to accept any further responsibility to stop this from happening in the future. Instead, you're putting this responsibility on countless websites that YOU think are inappropriate for your daughter. The burden is on you. Own it.
Well, not quite, because there are parts of CompCert that are not proven [1]:

- Parsing, type-checking, and pre-simplifications

- Assembling and linking

And there have been bugs on edge cases there. Moreover, correctness is limited to what is specified. COQ does not guarantee that there are no missing specifications or theorems. The C standard is written in English, people had to manually encode the standard in COQ.

[1] http://compcert.inria.fr/compcert-C.html
In Poland legal consultation is not required and parting ways via mutual agreement is common here. While this system is often abused by companies there are many cases where it benefits employees too.
I agree, and having a barcode on the back of the neck would serve the purpose better.
> Many sparse states like Oregon

Just like anywhere else, conditions inside a particular state are like conditions inside the whole country, i.e. not consistent and comparable. A large chunk of Oregon is practically empty. Then there is Portland, which has 60% of the entire population of the state.

Locking down Portland arguably made sense. Locking down rural Oregon not as much.
Nasdaq 100 hits intraday record high
True! Bangalore has definitely gotten it right, making it a bright spot in the news coming out of India.

I do remember one thing the Kerala Chief minister said to the Maharashtra CM about the differences between their states and in particular Mumbai - Mumbai has slums.
I did one personal project in it just to get my feet wet. Unfortunately the tooling was not great at the time so it soured my impression a bit (I'm told it's gotten better since then).

But also, I just have a really hard time giving up static types these days. Even for small projects, I always feel anxious about code that doesn't have annotations on function boundaries. It may have more to do with personal sensibilities than actual need, but regardless, it makes things unpleasant for me.
Googling this suggests we are seeing 100gbps per satellite... at 100mbps that's enough for 1000 saturated connections per satellite and a decent multiple of that number of users by oversubscribing/multiplexing. It's still not enough bandwidth to compete with city-ISPs in cities.

[1] https://www.reddit.com/r/Starlink/comments/duw4o4/starlink_1...
eh, you know, you can put your styles in a rc-file? and yeah, you have to load your defaults every single script (though you have to do that with every tool?!)
Easy in a "stable" situation like an airport with all the material.

Harder in anything less than a perfect environment.
Now what about between non-friendly countries.
In a warzone. On a road checkpoint. For the random checks at the gate of the plane or in the middle of the boarding process (for flights to the US they check it both at the gate and on the "boarding platform" now).
At least the paper things provides "something" when that's all you have to ID someone.
How Does Undo and Redo Work in MS Paint?
I was super excited to see this paper released. I've spent time with Python, Java, C#, Javascript and limited time on C and Rust. Clojure was the largest paradigm shifter by a large margin.

Having done concurrent programming in Java, and even implemented some concurrency primitives like semaphores, Clojure was incredible to use. For those that don't know, Clojure uses immutable data structures that mitigate concurrency issues. If you are curious how that's even practical, I highly recommend the paper and also reading about Persistent Data Structures. They reuse shared data, similar to how Git only tracks the delta's between commits, rather than multiple, full copies of the file.

On top of that, you up reducing lines of code by 60-70% of traditional Java or C#.
You can still hide behind the camera instead of entering the scenery.
You can do the same elsewhere, any sufficiently large or deep social networking would work.
What's with all these articles stating obvious stuff everyone already knows? I remember a month ago there was an article about how breathing can affect health, like that was news or something. It was on the front page.
Hi, thanks for following up. So you say all these things are hard and not objectively measurable, and I agree. But Facebook is already making these decisions, so in some ways it can be described as lettings users opt out of Facebook's curation in different ways.

I think perfect is the enemy of good in this case. Giving users more control is good.

I guess to be clear on my stance, I think Facebook should be trying to be as neutral as possible, and keep making progress on that front, knowing it is impossible to be perfectly neutral in every way.
When you take out 401K loan, the plan sells equivalent amount of shares and gives you the cash. So it's still causing market sell off. As you pay it back the shares are bought again.
It depends on the orbit. AFAIK GPS, GLONASS, and Galileo have global coverage (my phone can see all of them in the US).
I think you'll find this forum unsympathetic to the cause of White Nationalism.
I appreciate the approach where you combine a text chat with an online course, though feels a bit strange that the content is on notion.so.

Contentwise, I have the feeling that there are at least 3 distinct skill sets with ~ 10% overlap for a swe career: Passing coding interviews, actual software engineering, climbing the corporate ladder. There is certainly a web comic for that.
It's not unviable though. President Trump won the last election. It was not by majority popular vote, but he did get like 46% of the popular vote. I doubt that will repeat itself this election, but nevertheless saying you desire the death of the voice of such a large amount of Americans is not the same as the demise of a party.

Also the claim the Republican party relies on voter suppression to stay in office is dubious at best.

I really hope the conservative party does adapt. It's really in a bad spot right now. But that is completely different than what the parent was saying.
"Squeeze"
This is awesome! I've really enjoy watching the interviews they publish on Youtube: https://www.youtube.com/channel/UCNc-Wa_ZNBAGzFkYbAHw9eg
I've found GYB works quite well:

https://github.com/jay0lee/got-your-back

It's created by the developer of GAM - a popular tool you may have heard of, for managing G Suite.
Manage Kubernetes Clusters from OpenBSD
It's funny this came up because I was about to create this throwaway account and post an Ask HN for advice anyway.

Me and my team are in the process of delivering a new infrastructure provisioning system that will bring 9 figures worth of equipment online this year. For the most part we're on time modulo the usual bobbles that come from a year-long project this size.

My upper management regularly says We're in a new safe space and there's room to fail, we're trying to be more like Silicon Valley, etc. My new manager told me in our last 1:1 'If you don't take your application stack you're delivering and turn it into a service in the next 60 days, I'll eliminate your job by year end.'

So we're right back to Go Big or Go Home pressure that the company has always exerted on people despite lip service to the idea we've shed our bad old ways. At least it feels that way to me. Maybe I'm overreacting. Maybe I should look for another job. LOL.
Butterfly-inspired nanotech makes natural-looking pictures on digital screens
WebGL/WASM sounds like a good approach to solve fragmentation. Things will get even better once WebGPU is supported as a Vulkan substitute.
They make some where you attach a device to the dog's collar, and it unlocks the door when they approach.

That being said, I grew up in an area completely surrounded by trees and every animal imaginable (squirrels, rabbits, coyotes, raccoons, opossums, deer, etc). We had a dog door (a simple plastic flap) to our barn. I saw raccoons and squirrels with nests literally 10ft from the dog door. Nothing ever came inside. The barn even had food (dog food, plus a fridge and cupboards with snacks). It was even heated during the winter. Nothing came in. I don't know the reasoning, but that little piece of plastic kept everything out.
You don't need to launch rockets
Link to paper: https://www.pnas.org/content/early/2020/06/02/2001435117
Certainly not had that problem myself but one of the reasons I use zim-wiki is because it supports displaying embedded pictures which for certain things is very useful.
Kudos to SpaceX for potential lower latency internet service.

But I'm concerned about the light pollution caused by Starlink satellites at night: https://www.unilad.co.uk/science/spacex-to-test-starlink-sun.... If they don't fix it, it would look awful for people who prefer a clean sky. And an average people wouldn't have a mean to mitigate that - it's not like a drone flying on top of your roof and you can shoot it down, it's a set of satellites thousands miles away.

And if the parts of those satellites broke down, I wonder how much SpaceX itself could do to fix them. If the broken satellites end up a space garbage, that reminds me of the film scene in Gravity. This is a problem we already have today, contributed by all aerospace institutions. I guess people are treating it just like any other garbage around us: if it doesn't show in my eye, it's not my problem.

But it's a harder problem than things like metal garbage on the ground, the latter you could recycle, but I don't know if people really recycle a satellite.
You bring some good points but I am more simply contrasting the suggestions (tax incentives for business) with the actual GI bill (massive benefits for millions of people)