skysight-inc/HackerNews huggingface dataset:
Working with verification with Clang/LLVM as we speak. The state of verification is... bleak at the moment.

The math and algorithms are working, and some very smart (and very pleasant, I might add) people are working around the clock, including from e.g. the French Commission for Nuclear Energy.

However, the learning curve is too high and the developer-experience is very poor at the moment. This is a classic case of gaps between research material and usability.

Fortunately, I see this as where software is headed, especially languages people love to tout as being "unsafe", such as C.

The article is exactly right - tests only test the programmer, not the program. Formal verification is The Way, in my opinion.
> I feel like the old Perl saying "There's more than one way to do it"

And every Perl developer took that as a personal challenge to find and use all the ways in a single program :-)
I think that would be the worst of both worlds, the good part of digital media are no rewinding, in your pocket, on demand. And the benefit of physical are big artwork, tangible, one copy. It is not about the sound of vinyl, but having it in your hands.
> Due to a lack of options for putting signing pubkeys into DNS or something like that

Yes and there is
https://en.wikipedia.org/wiki/DNS-based_Authentication_of_Na... for that! We just need community to adopt it, and move away from the mess of a system CAs are.
May I suggest considering applying to some charity instead?
Here in Poland nobody can afford 9 million PLN for SMA for their kid but somehow people help.
Basically this. You need four consecutive batches with consistent quality in a row for approval.
Text Recognition model from scratch using Keras
Science must find a balance between extremes in how experimental resources are invested:

Extreme “Exploitation” Bias: “For maximally economical progress, experimental physics must strictly stay within the hard boundaries established by theoretical frameworks.”

Extreme “Exploration” Bias: “For maximally fundamental progress, experimental physics must question all theoretical assumptions and boundaries with extreme suspicion.”

It makes sense to diversify the kind of experimental investments we make along this risk/reward or exploration/exploitation spectrum. There are unique dangers if we weight too heavily on either extreme.
You only need those for the latest and greatest. A lot of options open up if the priority is any decently fast processor over the latest. Multi-CPU systems fell out of favor in the consumer space because single CPUs got so fast with these processes, but multiple CPUs with an older process is fine in this scenario.
Surrealist Automatism and Some Contemporary Instances: Involuntary Drawing
In the Comanche GIF, the viewport tilts when the aircraft turns. Is anything special going on here, or is it simply a rotation of the projection? If it's just a rotation, what extra work does the engine need to do to fill in any gaps from the lines that will no longer be neatly aligned to pixels, like they would be when it's flat?
I listened to a psychology prof., who said "the probability of encountering a person with anti-social trait in real life is extremely low, OTOH the probability of encountering a person with anti-social trait on internet is extremely high". Because internet provides a safe way to act toxic without any repercussion in real life.

When I see the OP comment which claims WFH is the only way and any other way to is just "backward thinking" in a very self-aggrandizing manner, I just remind myself that internet is safe haven for the type of people, whom I will rarely meet in real life.
Author here, feel free to ask questions both on HN and over email.
Here in Austria there is a free phone app (Handysignatur) that allows you to authenticate to a variety of services. It's a two factor system, so someone would need to steal both your phone and your password to impersonate you. For initial activation, you need to go to a government office and show your passport to verify your identity.

It's mostly used to log into government services, but you can also use it to digitally sign arbitrary PDFs.

Banks have their own system where you need an app from the bank to confirm your identity when logging into your bank account or to authorize payments.

As far as I know, identity theft is really not much of an issue here. The biggest weakness is phishing (eg. people could call and pretending to work for your bank, asking to you to confirm something on your phone app)
For real, how hard is it to say "I am working, talk to you at lunch"?
If paying people enough to survive means your margins are too low to function as a business, maybe what you have isn’t a business.

In reality though, anyone in a corporate position is paid well and some investors are likely to do very well from an IPO.

Deliveroo can pay its riders more, but makes an active decision not to.
> It's also the cheapest route to drive

It would be the cheapest if it accounted for toll prices.
Backward compatibility is one of the biggest reasons
Once you throw mass transit into the mix, a long commute also becomes dedicated reading/napping/web-surfing/project-management/side-project time.

I was doing 90 minutes each way, four days a week, before; I'm currently not worried about going back to three days a week, although I'm a little curious if I'll feel differently once it happens.
So it either matters, or it doesn't.

In cases were it matters, your cutesy personal school isn't going to me the requirements. In cases where it doesn't matter then it just doesn't matter. So creating a school is 100% pointless.

To answer your question, governments and any other employers who have codified job requirements (large ones, mostly), and maybe others. My husband spent two decades in the Navy, was hired for his job based entirely on his Navy experience, and still was required to prove he graduated from high school before starting. I thought it was very silly.

Beyond that, different programs (not specifically employers) my cousin was interested in were requiring his high school to be accredited. Massage school was one of them, there were others he mentioned but this was nearly two decades ago so I don't recall specifics.
Computer Science Gets Noted
So if you have one, they are a unique record - a primary key in a database for example. It can be changed, but far less likely than a name change, and unlike names it is unique.

For the US, that sounds like a perfectly good guid to use in situations where a name isn't good enough (There's more than one John Smith in the US). The company authenticates your identity SSN with you via some means other than you telling them, you authenticate with the government via some means, and job done.

The problem is that the authentication bit doesn't exist. It's basically 0-factor authentication.

Technically there's a trivial solution -- assuming the government can authenticate a person's SSN (which they do when tehy are given out), then at that point the person gives their public key to the government, and this is stored in an open database against the guid. That means anyone needing to authenticate their SSN could simply use their private key to do so.

In reality those private keys would of course not remain private, so it's not a good solution, but it does highlight how an SSN could be used.

Even with a secure SSN, that number should only be collected by a company in limited circumstances -- you shouldn't collect PII unless you have a legitimate need, be that a name, phone number, or SSN, and you shouldn't keep it for longer than you need to. In some countries that's a legal requirement, but it's always the morally right thing to do. If you need to communicate with the government about a person, then sure, collect their SSN. If you need to know where to ship their order, then sure, collect their address.

That doesn't mean the address or SSN should be considered secure.
I was just thinking of the possibile impact had by not allowing/ hiding dislikes in creating the current, extremely tense climate on social networks. I wonder if allowing only positive feedback (which seemed to be meant, at least at the beginning, as a way to boost a mood of positive, pleasant interaction) is instead encouraging the expression of more and more extreme positions, since disagreement is effectively hidden. The popularity of a message doesn't imply that it's not at the same time divisive. You can get millions of hearts and likes, but you'll still be blind to how many people strongly disagree with it.
This seems like an ok time to point to Shaan's twitter thread on why he believes clubhouse will fail [1]. Nothing is guaranteed of course, but it is an entertaining read. It's designed to be a bit over the top, silicon valley esque story style. But the person who wrote it, is writing from their experience of actually launching, and burning out in an attempt to build a similar company which makes the thread that much more interesting.

In any case, it surprises me that Clubhouse is staying in closed mode for so long knowing that the bigger social networks are coming for them, especially Twitter which is where I see the most number of people talking about Clubhouse.

[1] https://twitter.com/ShaanVP/status/1371972261004070913
I tried to figure out how to do object oriented programming in Perl but got stuck at "an object is a thingy which contains a reference to itself" ...and apparently you had to "bless" that reference?

Then I discovered Python and haven't looked back.
I feel one good argument against envars is loggers might log them, but Ive never been bitten by that myself.
I didn't mean sports clubs. I don't like sports much either other than the gym, where I go alone.

But in my city Meetup.com has a huge amount of clubs and groups for basically anything, and I'm in Barcelona so the city isn't even that big and it's not all English-speaking (which I guess may be more likely to use Meetup).

There are sometimes local Facebook groups for stuff as well, I went on day-trips to various places like that.

I know my colleagues who are into tabletop games and D&D go to those groups, I personally just went to language exchanges and hiking/tourism groups. There are even groups for local video gamers etc. as I guess it's nice being able to meet in person too.
If the email is based on the Exchange/AD paradigm then o365 is undoubtedly far more secure. An expertly administered postfix system might deliver mail more securely but probably has a weak web frontend.

I too prefer offline Office install for my own use, but they are systemically less secure. Just rampant exploitation.
Not the same idea at all. An NFT doesn't allow you to control the use of anything. It'd be analogous if a patent allowed you to authoritatively claim you were the first person to patent it (at least on that specific blockchain), but didn't grant you any exclusive right to use of the idea.
Have you looked at Retool? Pretty sure this is the exact use case they built it for.
But US politicians are perfectly willing to discard big chunks of those frameworks, and their voters are happy to look the other way. Which party's ticket was the author of the Crime Bill and a prosecuting attorney??
Neat. I occasionally need to create disks for some of my old computers, and while there are USB drives for 3.5" disks, I have to get my Windows 98 PC to write 5 1/4" disks(it's the easiest to get talking to my modern infrastructure) and a Raspberry Pi would a be a bit easier to get out, especially since it'd be pretty easy to ssh into headlessly, so I don't have to get out the keyboard and monitor either.
Prefix Trees in Action
> I read a bad poem, I feel like the author really wanted to write an essay.

I think this is key, poems that are trying to make me feel something ... whether a single emotion (simple or complex) or, ambitiously, experience the gestalt of being in love for decades or standing in a dark, quiet forest ... tend to resonate.

Trying to change the mind of reader via reason ... meh.
Yeah, disconnecting can be hard. I was one of the guys who always left my laptop in the office.

But I'm not working extra hours every day, and given the time I save on commuting and lunch hour and being able to do various chores during the day - I think it's still a significant win.
space-based astronomy is ridiculously expensive, as well as not being a straight upgrade to ground-based astronomy. If we can't get the funding to maintain existing ground-based telescopes, what's the hope of getting many times that for space-based telescopes?
Since outcomes vary so heavily depending on how early cancer is detected I wonder what scope there is for big improvements in testing. National programs for breast/cervical screening do seem to work but they're expensive (although still probably cost effective [0]) and by their nature can't be done very often. Will we ever get to the stage where we will be able to self-administer a test every 6 months to catch these things in the very earliest stages? Or is that just fantasy due to the nature of cancer?

0 - https://doi.org/10.2147/BCTT.S123558
Yeah they use them for expensive goods that need to move faster than a ship and not as fast as a plane. Things like laptops and computer parts.
A lot of industry is moving from the Chinese coast to remote provinces that don't have coastal access.
Unfortunately the url gave it away, or it would have been an exciting read.
> This might be a false notion, but I'm scared that the economics simply don't work to "cure" a major disease. It's more profitable financially to provide treatment to sick people.

Others have provided nice arguments as to why this isn't necessarily so, but allow me to add one more that is (I hope) more likely to appeal to a cynic.

This is one area where the corporate focus on short-term profits is actually working to the long-term benefit of humans. While it would be more profitable in the long run to sit on a cure and continue to sell therapeutics indefinitely, what CEO could resist the stock-boosting effect of a cure for a major disease? What a time to exercise your options! Long-term profitability is a problem for the next guy.
60mbps upload on DOCSIS?? That's fancy. I feel like my 20mbps is luxurious, although it's laughable when you consider the fact that it's 800mbps down.
Deploy Quickly Everywhere
No, you submit your own hashes or partial hashes.
That's why I laugh and laugh about people here,reddit or twitter jerking off about how what a wonderful human philanthropist Bill Gates is, as if among the other awful things MS did is not to have created enforced monopolies in almost all third world countries governments by bribing their officials to accept MS products, and funding FUD campaigns against any movement to open source/free software.
This post brought me joy. The payoff at the end is hilarious!

Thank you for documenting this kind of tinkering in a blog.
Well, everything humans do at scale has serious problems, but how is, for instance, mixed use urban density worse than infinitely sprawling suburbs?
If I needed $30K in 6 months, I would spend 2-3 months marketing myself with the goal of 1-2 consulting projects delivered.
This is a good point, and navigation apps like Google Maps could perfectly tell you something like "On this section driving at x km/h would save y€ of gas for only z minutes added".
And they haven't VLAN separated whatever is playing the elevator music, which would be standard practice.
No argument there, however this needs economic incentives to work to beat out mining.
Seems pretty cool. This SOC is bound to have pretty good upstream linux support to, since the Snapdragon 660 is in very good shape.
HN is 9pt which is also tiny indeed.
Wow, never knew about that combination of keys and the fact that it brings extended options in the drop down menu. Thank you!
> Universities usually have the ability to award credits for prior knowledge, but I doubt they would respond well to you rocking up and asking for credits in everything.

I did half of my BS this way, it was via an experiential knowledge option at my university. I was at a state school and it boiled down to money either way, so be ready to pay wherever you go. I had to pay most of the tuition for each class and take the final exam for the credit. Saved me 2 years of actual time though.
Nope nope nope. Wrong on so many levels.
Show HN: Mail Studio – IDE for designing responsive emails
That just mean every binary needs to ship everything, even stuff they don't use.
I tell you: this is the year of Linux on Smartphones.

jk
AFAIK it has proprietary drivers probably preventing future updates (like for other Android phones). I prefer Purism Librem 5 instead, which gives true freedom.
If you read my reply in the context I wasn't saying it in a negative way.
What do you mean by Stoll, Codd and others?
Hey! I am one of Mail Studio's authors. Will be happy to answer any questions.
Node v12.22.0 (LTS)
20 lines of code is a lie though
"LINEAGEOS, UBUNTU TOUCH or ANDROID" is a euphemism for "we did not do the important, hard work of upstreaming drivers".

This phone might be perfectly nice, but it's a "Linux phone" in a marketing sense only; nobody has properly ported Linux to it, and you'll be stuck with an ancient kernel full of proprietary userspace blobs.

I'd love to hear otherwise, but I've seen this pattern repeat a number of times (the Gemini PDA and successors, various "secure" phones, essentially all the Ubuntu Touch devices https://phone.docs.ubuntu.com/en/devices/devices, etc.) and those who do put in the critical driver work are in-touch enough to know it's worth being explicit about upfront.
Quickbase from Intuit is probably the most mature, easiest longest serving paid, hosted solution. Key is do you want to manage the tool or do you want a turn key approach. MS Power Platform, AirTable are other notables.
I intended my post mainly tongue-in-cheek (hence the emoticon). I'll probably stick with the defaults unless it really takes me out of my way or does something like avoid freeways.

The beauty of CO2 taxes is that I pay more at the pump (at least till I can afford a Tesla) and the state gets an incentive to grift off of climate change.
There shouldn't be a problem with it!

<L> void process(final L<Integer> input) {
}

------------------------------------------

<L> void process(final L<Integer> input) {
^
required: class
found: type parameter L
where L is a type-variable:
L extends Object declared in method <L>process(<any>)
And given the current situation, a more realistic alternative is just getting rid of Sisi.
Reading the fine print...$7.99 a week to play the game?!? Dear sir, you are a paid troll.
Usually `.expect` is better, as you can explain the error.
I remember trying out linux desktop with this many moons ago. Don't know if it was my curiosity or my noobness at the time but this OS is the easiest one I've ever broken before.

Had something do with python dependencies but goddamn the pantheon desktop was a real pain trying to get it back up. Am definitely positive that things have changed now as the desktop matures.
Isn't the entire point of this article that we want mutability? Sometimes a record is wrong and needs to be corrected. A blockchain works when the only facts it records are completely dependent on the blockchain itself. If you're trying to record facts about the world, the actual world is the authoritative source. The author's point seems to be blockchain is not likely to work for applications in which a misrecorded or forged fact would require you to discard the entire blockchain and start over if it was discovered. It only works when the facts you care about are facts about the blockchain itself.
Far more useless apps have reached far higher heights. In the end, growthies cater primarily to future investors and that means growth, spectacle, FOMO and dark patterns are prioritized over usefulness and innovation.
Does Google use Filament [1] for this AR stuff or do they have something completely different? I mean using something else would be a huge waste from my little point of view ¯\_(ツ)_/¯

[1] Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2 - https://github.com/google/filament
I would like to see the keyboard layout but I can't find any photo.
How can you actually be productive working on a laptop at a coffee shop? A tiny screen, an awful keyboard and mouse, constant noise and distractions in the background. I don't get it.
Eh, I wouldn't call CableLabs a "lobby group" although this is 100% a puff piece justifying the continued use of DOCSIS. They do real R&D and certification, and are the ones who actually develop DOCSIS and other standards for cable.
Podswap
Google Maps sometimes seems as if it goes into an "I feel like a country drive" mode. Particularly in the winter when there may be blowing snow and icy patches on narrow roads this is particularly sub-optimal. And even in summer, given enough turns, I usually end up messing something up so I lose whatever 1 minute I was going to save.
There is a way-ish, which is passing a Class<T> as an additional parameter and doing clazz.newInstance().

Definitely not pleasant though.
> if they really only work when not running at the same time, they do something really really shady

They configured firewall rules using iptables. I'm not sure I consider configuring firewall rules at startup using an init script "really really shady". Turns out (quite unsurprisingly) that you can't run multiple instances of the iptables command simultaneously.

I don't really want to get into the whole debate about whether parallelizing startup scripts is better or not. I'm not saying it's not, but that's beside the point. The point was that parallelizing startup scripts leads to a set of problems that didn't exist before. It's annoying to see people argue that those problems don't exist. It's like arguing that the problem of flat tyres aren't more common for people driving cars than they are for people riding horses. It's utter nonsense, no matter how many other advantages cars may have.
Related : As the article mentioned, if you are a serious collector then ebay is your place. Even the most obscure of items can be found and in some cases in significant quantity to let you get an understanding on value.
Enjoy life, I guess. Also, likely try to reinvent it :)
Racism and ethnocentrism, that is his basis
This statement as quoted is false. I'm guessing it is a misinterpretation of the policy that employees may work remotely from a different country for up to 14 days per year without approval. The announcement that came out yesterday stated that this policy has been reinstated. It does not apply to domestic WFH.

Source: I am an employee
Mediawiki Has a New Logo
A comprehensive review of the impact of Covid-19 on human reproductive biology
I’ve been working remotely on and off over my career and full time for the last 2 years. I get distracted all day (have 2 kids) and I’m highly productive. I think the biggest adjustment people don’t understand is how to be more asynchronous. Working remotely requires the whole team to understand that reply’s and answers won’t be instant and jumping into calls should be the norm. Being used to impromptu calls was the hardest adjustment for me, but I’ve been doing it for a long time so I was already adjust before everyone became remote.
While it does need to maintain backwards compatibility, Project Valhalla seems promising on improving on some of Java Generic's pain points. So it's not a dead end quite yet
The relative simplicity of the language allows it to have excellent IDE support. I can select a class name, rename it, and have it renamed in all files that use this class. And the IDE knows that this actual class is being used, not another class from another module that has the same name, and that it's not a string with the same value as the class name. With languages like C++ all you can do is grep and cry.
Google definitely sometimes still does it. Which as I said elsewhere, is particularly annoying when there's snow and ice in the winter.