skysight-inc/HackerNews huggingface dataset:
>Gives me chills, all the remarkable breakthroughs

I certainly got a laff from this line. So many remarkable things ... so many wonders ... which boil down to lithography and networks. I wonder what you would say if you didn't have your nerd dildo. "We have flat screen TV now! Totally as important as nuclear weapons!"

>I just checked the news and guess who won the Nobel for Chemistry? "Better batteries" as you so flippantly put it.

Yep; emphasizing my point at how out of gas our degenerate era of both scientific and technological development is. Let's compare to the Nobel for the Haber–Bosch process, without which, there'd be about 5 billion fewer living people.
Isn’t it on the people administering those systems to disable autofill on their side?
Facebook may have knowingly inflated its video metrics for over a year
The Aspen Summit a few years ago had a forum where someone pushed for major news outlets to promote more intellectual, nuanced content, and one rep from a major network pushed back. They pointed out that the consumer of that sort of content is going to the ballet, or trying the new restaurant by some named chef, or attending the Aspen Summit, not staying at home watching 24-hour news. That sophisticated audience is out doing interesting things, they might watch occasionally, but aren't a consistent enough news audience to shape content. "We run the market test against PBS every night."

Best thing I can imagine is that policy wonks writing in low subscription specialty journals are a bit like arthouse films. Sure, the indie films lose in the market to blockbusters, and wonky policy journals don't get a tiny fraction of the eyeballs of 24 hour news. But it's more likely for important new ideas to be born in the niche, experimental market than vice versa. They're losing the market test, but contributing a lot of positive externalities by influencing the influencers, they're just not able to capture all those returns.
Of course you can run emulators. But that has nothing to do with OS vendors maintaining backwards compatibility.

Are you really arguing that Windows is compatibility with the Super Nintendo because you can run an emulator?
Western firms kowtow to China's increasing economic clout
Not all of us need to build their own ML algos. Just in the same way that not all of us need to build their sorting libraries or data structures. Some people are specialized in this to develop and do research. While other software engineers just want something they can use without much hassle and just a superficial understanding.
> It also acts as an NFS server for my media center [...] to pull videos, music, and audiobooks from.

This is a bit tangential, but to clarify, do you mean that you listen to audiobooks on your TV using Kodi? Do you also have a way of syncing them to a more portable device, like your phone?
Some people supposedly working for Netflix have total comp mostly in cash within $100K of the $500K figure you put out. But of course if other companies total comp isn’t that good in future, Netflix won’t have any reason to give out that much cash salary either if it’s true.
They may have been referring to "tilt and turn" style windows (https://www.youtube.com/watch?v=LT8eBjlcT8s) which I saw everywhere in Germany but I've never seen in the US.

Too bad, they're pretty great.
>My favorite is around 1:04:00 when someone asks a second time why he disprefers coq, and Buzzard complains that it can't represent some advanced quotient type that he'd have to work around. I'm reminded of [1]

>[1] https://prog21.dadgum.com/160.html Dangling by a trivial feature

Second what abstractcontrol said.[0] I wouldn't say being able to deal with quotient types is a "trivial" feature, because Buzzard does explain his reason for why quotient types are crucial for what he does.

The motivation is that he wants to formalise a concept that is the subject of current active research, instead of yet another concept from undergraduate mathematics. In this case, it's the notion of perfectoid spaces,[1] which was only introduced in 2012 by Peter Scholze.[2]

The justification for this is sociological: research mathematicians predominantly find the retreading of old ground boring and trivial. Buzzard wants to sell the power of theorem provers to exactly these mathematicians, so he felt that formalising something that many number theorists would be intensely interested in may have more impact.

Unfortunately, while I'd like to think that he's succeeded somewhat, the reaction I've seen is just more of the "well, isn't that nice" variety, outside of some enthusiasts, many of whom are young and/or not very influential. Mainly, it's because theorem provers still can't help mathematicians improve their productivity, because there's still a lot of stuff that's still missing in the ecosystem, and Buzzard pointed out some of the missing "features" that may help theorem provers take off.

[0] https://news.ycombinator.com/item?id=21239067

[1] https://en.wikipedia.org/wiki/Perfectoid_space

[2] https://en.wikipedia.org/wiki/Peter_Scholze
All browsers on iOS are Safari wrappers
nice to see somebody using a thinkpad as a homeserver.

I remember comparing low power homeservers, consumer NAS and a refurb Thinkpad and the latter won when considering the price/performance and idle power consumption (<5W). You also get a built screen & keyboard for debugging and a efficient DC-UPS if you're brave enough to leave the batteries in.
That's of course assuming you don't need multiple terabytes of storage or run programs that load the CPU 24/7, which I don't.
These days a rPi 4 would probably suffice for my needs but I still think the refurb thinkpad is a smart idea.
Didn't they disable SharedArraybuffer for that reason?
What’s a drug collector? Or is that a typo. I just want to know what one is if there is a such a thing.
> Since a browser is a piece of software you can install with a couple clicks in a couple minutes

Only on Legacy Windows. This is not so clear cut on nuWindows or even Android. Ignoring iOS for this particular discussion, that's a separate monopoly.
I presume that the title is a reference to DJB's talk "The death of optimizing compilers".

http://cr.yp.to/talks/2015.04.16/audio.ogg

https://cr.yp.to/talks/2015.04.16/slides-djb-20150416-a4.pdf
They can afford to just pay the millionaire fines.
The SwiftUI development tools (live preview) are only available in Catalina, and iTunes has had a minor rewrite I believe. Otherwise, I think it’s the same.
What about "I could care less"? Seems like that one is just always wrong.
While "soundness" and "completeness" are well-defined properties of deductive systems, using such formal methods for analysis of real-world systems requires their formalisation.
However, the formalisation of any real-world system will inherently introduce abstraction/assumptions. The question really is about which assumptions one should make when formalising software.

For example, when reasoning about software, one often abstracts from hardware details like battery-backed memory that will presist through a crash. There are also many "reasonable" assumptions at software-level, like `malloc` never failing, that many verifiers make in order to give more helpful results than "functional correctness is not guaranteed when using malloc".

The discussed paper is especially interesting for practitioners, as it tries to state all the assumptions made in the design of DR.CHECKER's static analysis. While this results in abstracting from certain realisable behaviours, e.g. "it treats each entry point independently" and misses state-dependent bugs, stating these assumptions helps with judging/estimating the quality of the results.

The paper's authors present a static analysis whose reasoning is sound w.r.t. stated assumptions. This is what they call "soundy". The actual post/article raises the important issue that it would be helpful to define what a sound static analysis of software is, that is agree on the assumptions/abstractions made.
However, picking a "reasonable" set of assumptions for a "sufficiently sound" static analysis is admittedly a difficult task, and of course not provided (yet).

It seems to me that finding a common set of assumptions is less of an issue for competitive software model checkers though, as the benchmarks used in the competition on software verification (SV-COMP) implicitly prescribe which aspects have to be modelled "properly". Couldn't a similar competition for static analysis give rise to a set of common assumptions for static analysis, too?
There are always risks when engaging in hazardous endeavors. The shuttles were designed (mostly) using solid, engineering principles with a fundamental goal of minimizing risks to human life. The Challenger explosion wasn't a failure of engineering, rather, it was a political decision to launch overriding engineer's insistence that it wasn't safe. Similarly, the Columbia disaster, caused by heat shield tiles falling off, was again, a political decision. It was known that the tiles weren't adhering correctly and, rather than correct the problem, NASA decided to proceed because they were under pressure to go.
I wonder what happens if I run this on my PhD thesis intro... :-/ :)
No they aren’t and you know this. .Net framework is in maintenance mode and not being actively updated with new features. That’s like saying .Net Compact Framework and .Net Core are the same thing.

As far as Azure running on Hyper V and not Linux, that’s irrelevant since developers of Azure are running in Linux VMs more than Windows VMs.
Because offended is the new black.
For sensitive files with known names, you should be able to set that the cache is only valid for requests from the same host website (as the server might decide to send another response when the host is different). That would fix the sidechannel.
> converting the Caplock key to esc...

I can't stand having to change 30 years of muscle memory to make one specific brand of desktop computer work the way that I need it to. And then what happens if I have to help a junior dev at their desk?

That's why I absolutely adore both Linux and Windows - they generally let you work the way that you want on the hardware that you want instead of the one-size-fits-all way that Apple wants. It certainly does make Apple a ton of profit though because fewer moving parts and fewer software options most certainly equates to higher profits.

> The products seem to continually improve and raise the bar for what I expect from a computer. I always feel bad for my co-workers...

I wouldn't worry too much about it because the vast, vast majority of developers are on Windows and I can assure you that they'd be absolutely sickened if you made them use something that didn't behave just like Windows; something that is lacking even the most rudimentary window management features such as macOS.

Try this experiment if you think macOS has good window management: Open "About this Mac" then use Alt+Tab to switch to another app - now try to use your keyboard to switch back to the window you just switched away from. For people who like using a keyboard to do things, macOS is not good - unless you also enjoy hacking the system against Apple's will and risking losing your preferences on any given update.

For developers who find even Windows limiting though, I recommend switching to something that can run XFCE because those guys have done an absolute bang up job of emulating all the best parts of the Windows UI system while adding even more advanced features.
Improving Password Guessing via Representation Learning
Take care, because the Kelly criterion for this game gives a negative value. which means you should not bet any of your wealth at this moment. :)
2 minutes is the maximal value ever. While there are definitely more risks than just after the end of the cold war, I don't believe it's worse than during the cold war itself. Seems inflated, which is a shame.
Ask HN: Unix Utility Development Conventions
I'm slowly hacking away at a zsh script that shows some promise as a command line tool. I want to learn more about the conventions regarding command line tool development in Unix (and/or macOS), but don't really know where to look for this information.

What is the correct way, or convention, to specify and parse command line arguments, for example? How should I package my tool? What is the best way to handle deployment of the various aspects of my tool, for example the man page, or configuration settings? How should I handle the upgrade process?

Smaller details, like should I store my source code in the repo with execute permissions turned on, or should I only turn on those permissions when the files are deployed on the user's machine? What group should I set as the default for my executable files?

Does anyone know any great resources out there that address these issues?
SHOULD does not equal MAY
It would be nice if we were able to do this for specific cores, and then somehow assign critical applications to secure cores and regular applications to performance cores
> Anonymity is weakened if we tie authentication to biometrics.

I think you mean pseudonimity. There should be no authentication in anonimity.

> Something you know (as in password) is always theoretically more secure than something you are (your physical characteristics).

If you authenticate, you can use methods that are more or less secure. If you use a password method, and use a secret as password, it will be more secure than if you use a biometric as password.

But the security of the authentication method will bear no weight on the "pseudonimization" - meaning on the difficulty of linking the authenticated identity with your real, legal identity.
Totaly, that would work. Let people impose their world view upon themselves via filters instead of imposing it upon everybody, would solve so much and tick all the free speech boxes.

But with the ways social media churns upon spam/botnets, it would place a huge load upon people self filtering.
> ground-up human skin is priced at $434. That product is one of those used in cosmetic surgery to plump lips and posteriors, fill cellulite dimples and enhance penises

Disgusting.
Looking at the timeline, that's some rather impressive productivity, especially with only being worked on in spare time. Well done!
In the usage seen later throughout the document, dotted lists are a kind of list. It doesn't say its examples of how to build a list are exhaustive.
Actually on Windows at least Chrome asks for a password when trying to view all passwords. So it isn't _that_ easy.
I prefer science and history, not stories or news. Interesting enough to engage you, but not too much. Science Friday or Sean Carroll's Mindscape are good examples. Anything you find that lets your mind disengage and wander around bedtime. Make sure you have a sleep timer that stops after 30-60 min and/or turn off autoplay.
Well I don't like when people tell me what I should do or not. Also when it comes to gambling. And I also see nothing wrong if someone likes to gamble. Better wirh stocks than with something where you are statistically guaranteed to lose money, like lottery.
It's effectively like using one password for every app/site authentication. What if the hashes/keys leak out? Then how easy would it be to change your keys for other sites while still using the same biometrics?
Yes, of course with a JIT you can do much better than an AOT compiler, and for dynamic languages is pretty much required to get reasonable performance.
They're frameworks which implement high performance tools commonly used in ml problems like tensor operations, automatic differentiation, various gradient descent optimisers, and also neural network building blocks
I applied to ITA in 2008ish and was require to complete one of these, something very similar to instant search. Needless to say I failed because the question isn't about your ability to program, it is just if you know what a suffix-tree is.

These are fun puzzles but terrible interview questions.
> No offense but if you broke 18 minutes (6:00 mile) for the 3 mile I'd be surprised.

Ummm... why? Back then I ran 5 miles 3 times a week. They tend to nudge you out of infantry if you aren't getting a class A PFT; I would usually traipse in at 17:30 or so.
Finally i know why this happens only in Chromium. This irritates me for quite some time now...

Seems that Chromium based browsers aren't favorable any more:
Tracking, Bugs, uBlock extension is flagged, Manifestv3, etc.

But Firefox has the same problem since it ships with Pocket and other sync stuff. I know that they really do care but they have problems of their own which really make me think which browser to use. The actual situation right now is very frustrating...
Thank you very much for pointing that out!

I'm not sure why it never occurred to me that mine could be a medical condition, and all this time I have been quietly hating myself for being extremely intolerant of others while the condition gets worse.
We’re living in a very dangerous time where the threat of nuclear war or a horrific accident is very much still with us, but public awareness of this issue is very low. The only sane solution is to move towards nuclear disarmament. We are playing with fire.
I still don’t understand why any self respecting developer would use Chrome. I understand why your grandma or parents would use Chrome. But I just cannot compute how a knowledgeable developer would install Chrome.
Do you also write your own automatic differentiation tools? Using libraries like TF and PyTorch makes sense if you use neural networks because they provide automatic differentiation (who wants to write out their gradients by hand?) and standard neural network components.

Edit: If your algorithm is not using neural networks, then libraries like TF may or may not be a good fit, it depends on the algorithm.
Writing custom low-level code can still make sense in those cases.
I really admire the cleanliness, I wish the US had more of this. (It should stop short of the face masks, though. That's a step too far for me.)
I mean, you do run a whole lot in the Marines, you know?
Norberporter, 29 – Yorfriends.com
Do you write your own crypto libraries too?
Samuel Insull developed the public utility model and proved it to work by extending publicly regulated utilities into 30 states prior to the advent of the New Deal.

Insull was put out of business by New York bankers who wanted to take over his business.

http://blog.heartland.org/2013/07/samuel-insull-getting-the-...

FDR needed enemies to blame to get his New Deal, and he had Insull hounded in the courts. Insull was found not guilty of any wrongdoing, but died penniless.

If you want to know history, you have to find better sources than wikipedia. There are plenty of books about this great man and this interesting period of history.
Agreed. It's a useless metric. It's like the "terrorism threat" color code crap. It'll never come down to a low setting because at the end of the day it's a propaganda tool to make people think a certain way (feel scared, in both cases). Setting it low is the same as turning it off and saying there's nothing to worry about which is totally counter to the goals of the people publishing these indicators.

I know I'm going to get down-voted because being scared of nuclear annihilation is kind of a point of virtue around here but if you take the emotion out of it it becomes pretty clear that the doomsday clock, or any other indicator that acts in a similar manner is nothing more than a propaganda tool. It may be propaganda for something you like but it's still propaganda.
That sounds interesting, yes.
IQ measures few cognitive skills - with some relevant to abstract thinking amongst them, which were problematic for KP. Most savants have low IQ scores.
I assume this was his letter from 2016 (?)
I don't know, during flu season I wish the folks who won't stay home would wear some masks. They don't always guess right with the flu shot.
Another guy with savantism, who impresses me a lot: https://en.wikipedia.org/wiki/Nigel_Richards_(Scrabble_playe...
I dont really see the difference, wealth is wealth. Also what is enough money varies from person to person. In a low income country you can retire nicely on couple of millions, somewhere else you need ten millions to have a nice house and lifestyle.

Whether you want to take bigger or smaller risks is up to the person in question.
>Not all of us need to build their own ML algos. Just in the same way that not all of us need to build their sorting libraries or data structures.

And yet they love to ask you to do exactly that at technical interviews... coming up next: what ML algos you need to know to ace that interview.
I don't think the word 'accessability' was uttered in the entire discussion. Also, simple plain-html webpages will always render faster, be better searchable, work on any platform and work in limited environments.

Edit: Ok... at 28-minutes in they first mention accessability
+embargoed.

Soft power is crucial to prevent that, that's why the surpluses of such system should be directed to arts and technology.
We recently had to go through a website project and disable autocomplete on all password fields after a security scan as part of a PCI compliance process. For autofill password it didn’t seem to have any effect in _any_ browser I tested in. How can it be used to thwart password managers?
>Do you write your own crypto libraries too?

Some people do. It's a good challenge.[0]

[0] https://cryptopals.com/
You lose the end to end encryption that you’d get by HTTPS directly to your home instead of proxying via CF, as CF will MITM all of your sessions.

Browser <> CF, CF<> source server. Two distinct TCP sessions. Both potentially encrypted, but there’s no E2E encryption anymore.
Does PyTorch have a learn to rank module? Tensorflow released a ranking module earlier this year, but I’d like to try out PyTorch.
I grew up in a place where unions weren't popular, so I didn't know what to think about them.

In early 30s I moved to Indiana, where unions were somewhat popular. I had an electrician friend who belonged to a union, he liked a lot of the benefits they provided.

Later, I made another friend who grew up in mining company. His dad worked in management at a mine that underwent a strike. He described how their home was harassed at night with rocks coming through windows and threats of violence.

I still don't know what to think about unions.
> This is a bit tangential, but to clarify, do you mean that you listen to audiobooks on your TV using Kodi?

Sometimes, though not very often -- I work from home and so sometimes I'll play an audiobook in my living room and work at the dinner table rather than working from my home office.

> Do you also have a way of syncing them to a more portable device, like your phone?

Unfortunately not in an automated way (luckily I don't buy audiobooks very regularly -- I like to finish one before I get another one). I really wish that VLC on Android supported NFS, but it doesn't AFAIK (I think it requires kernel support).
I don't think a decade old laptop is slightly older. That's amazing that it's still running.
Here's a different take on markets from a commie pinko liberal:

Open markets are just a tool for determining price between many parties. When well designed and regulated, open markets can be efficient at that task.

Closed markets, like single payer healthcare, are a viable alternative when the players decide that price isn't the most important factor. Meaning they're optimizing for other factors. With single payer, maximizing public health is deemed most important.

Rigged markets give all markets a bad name. aka winner-takes-all, late stage capitalism, oligarchy, laissez faire, Freedom Markets™ (my own pejorative).