skysight-inc/HackerNews huggingface dataset:
I second this: My alma mater (in Germany) has a compiler group, and, as far as I'm aware, at least some of its alumni went to the companies mentioned by parent.
They seem to be fine with convicted rapists browsing Facebook as long as those convicted rapists have release papers.
Ubiquiti do this by tunnelling it through their servers. You can still get insecure access by going direct to the IP, but going to the Unifi site gives you full HTTPS.

Plex do it with a wildcard and generate a new one for each server: https://blog.filippo.io/how-plex-is-doing-https-for-all-its-...
If it's "too big to care", then perhaps it should be trimmed down to size? Industries where you have many different companies competing for customers somehow manage to have decent customer support.
Belgian neurologist wins €1m prize for work on serious brain trauma
These numbers are much higher than most of the US as well.

They're mostly representative of Seattle, NYC, and the San Francisco Bay Area. Also note that housing prices in these regions are astronomical, particularly the Bay Area. Even a relatively small house can cost millions.
Delegated Credentials for TLS I guess ?

but this requires internet access so barely a solution.
https://engineering.fb.com/security/delegated-credentials/

I don't think that the fact that private keys for routerlogin.net are bundled with the router are an issue.
It's very logical to do so, and BETTER than plain HTTP in most real-life scenarios.

routerlogin.net is a local server (when you are using the router) and not a remote website so it's expected that you can trust the content as much as trustable your local network is.
Yes. I often get very embarrassed responses from developers if I do it in real life, pretty good responses if I do it via twitter. I've been trying a similar thing with musicians and it seems to go much better when I do it in person
I have done this with musicians whose albums I have enjoyed, and I've gone into depth about what I specifically enjoyed and why. I have also received a 100% reply rate which I found completely unexpected.
Oftentimes, just pressing the 'reader' button in Firefox works.
You are genius.
> Commoners live well in free market societies, and there's no slavery.

Do you have evidence of this?
Aurora Droid comes with a customizable list of package repositories, including an F-Droid repository mirror.

Aurora Store fetches packages from the same source as the Google Play client. There's a legitimate benefit to having access to the Google Play catalog without depending on Google Play Services or owning a Google account, and not all apps on Google Play are malware.
A decent sized flat will set you back millions of pounds in many neighbourhoods in London; salaries are nowhere near these numbers.
Very clever command but be warned, the link is NSFW.
Which iDrive version does your car have? The only notable software bug I’ve encountered on my G12 with the current gen NBT EVO (101172.3.214, 2017-04, Q18491l) is that carplay sometimes fails to connect until I restart the infotainment.

I’ve never seen the car pick any other driver profile than the one associated with the keyfob.
Even if you never mistakenly flag somebody, there's still the developer cost to create the feature and maintain it. There's the cost of slower development whenever this feature interferes with another feature. And assuming it's not 100% automated (which it sounds like it's not because it sounds like both police and Callum were asked to submit papers), there's the cost of humans to manually respond to submissions.
Play Store Records 600M Fleeceware Installs
That strawberries are not true berries becomes fairly obvious once you learn that tomatoes are berries. All berries seem to have fairly watery flesh surrounded by a thin but tough skin. Tomatoes have both, strawberries have neither. Raspberries superficially look like a collection of tiny berries from this perspective. Bananas have a skin, but it's not thin, and their flesh is not watery.

That's just my layman's analysis, though. It's suited me well for many years, but if now eggplants and peppers are also berries, I'm starting to wonder whether the word berry even means anything.
Are you using some Stallmanesque definition of malware ? Because otherwise, it's not clear what you are trying to say. Aurora droid/store are frontends to f-droid/gplay. They are open source themselves and don't do anything in the malware dept.
They are and they aren't. We're not seeing definitive levels of higher resolution performance, we see concrete performance boosts but in the real world and in terms of real use it's pretty marginal considering the costs involved. Hardware Raytracing is clearly an attempt at a value add bit the results have been somewhat underwhelming. For people content at 1080p60fps we're not that far behind if you ignore RTX/AMD Equivalent.

I mean I know there are some real gains, some amazing gains on paper or specific application but when playing a game the realizations are a bit less pronounced for everyone that is not hounding on RTX or pixel peepling.

Just my $0.02 of course and I can respect any differing view but this is just my thoughts from watching and waiting with a 1070 I use for 1080p60fps. It certainly taking more fiddling with newer titles to get that level of IQ and performance but I'm still happy in my niche. I would love to move up a level or two in resolution or FPS but it's hard to justify at the price levels we are seeing.
I'm disappointed. I wanted to disagree and say "$80 is not a ton of money to spend on a coat, look at what a coat would have cost 25, 50 or 100 years ago", but the internet was not forthcoming.
Product idea: tin foil hats for ceiling fans, or something similar to ruin their reception.
> It's so easy to give negative feedback and feels like it'll be taken as "creepy" or with some other intention to give positive feedback.

Amazing, I've never thought about it that way, but it's very accurate.
shared QA, eyeballs on code, consultancy funnel, freemium software, simple ego kicks, getting a proof-of-concept in front of a bunch of people interested in that specific sort of thing, the list goes on...

FOSS, itself, is the necessary lego kit the entire web (and to a lesser extent mobile and desktop etc) rns on...
are you suggesting that everyone go buy Coldfusion or ATG Dynamo? the 90's called and want their time machine back...
Ayar Labs Realizes Co-Packaged Silicon Photonics
We just released our visual code-generator: https://www.generato.com/ or https://app.generato.com/

We have built a technological graph to set up your applications in seconds instead of hours, days or even months. You could than apply text-based templates (with placeholders) and generate (and update) out of the browser or our desktop-applications. Individual added code stays where it is!

Currently we support CRUD, Authentication for Java, PostgreSQL and Angular for free, but we are expanding our template-stack and even you as our user are free to integrate your own technology.

We are in a free beta-stage now, so give it a try!
I know peanuts weren't nuts, but hazelnuts and walnuts?!
Not a technical achievement so much as a different point in the design space. Two key differences. First, NaCl was originally designed to run in its own process, for a few different reasons:

- The original 32-bit x86 implementation fundamentally required it because, due to how it used %ss, a crash in the sandboxed code would crash the whole process. [1] Avoiding that issue would have required a different model that had performance overhead (and was more complicated). Ironically, the 64-bit version had no such requirement, but by then NaCl's design was already well-established.

- AFAIK it was originally developed separately from Chrome, so there was less motivation to deeply integrate it with JS.

- It was apparently conceived as a replacement for plugins (originally using NPAPI, before PPAPI was invented), which Chrome had run in a separate process anyway.

But WebAssembly is designed to run in the same process as DOM/JS, giving it two key advantages: it can reuse Web APIs rather than needing a whole separate set of APIs (PPAPI), and it can directly call and be called from JS. Both make life easier for developers; reusing web APIs also makes life easier for implementers.

The second key difference is that NaCl leaks much more information about the native environment than WebAssembly. Even with PNaCl, the native text segment, the native stack, and certain bits of implementation code were all accessible within the sandboxed address space. If you were up to shenanigans, you could even do things like jump into the middle of a native function, completely breaking the portability abstraction. Was that a problem? I don't know. It was conceptually secure; you couldn't break out of the sandbox without finding a vulnerability, just like WebAssembly. But it was a lot less isolated. In contrast, WebAssembly makes none of those things accessible and enforces full control flow integrity. You can't even tell which architecture you're running on, aside from indirect observations by benchmarking instructions or checking for memory ordering violations.

That difference is certainly responsible for some of the performance gap between NaCl and WebAssembly. Is it responsible for all of it? I don't know. I don't even know how big the gap is in the first place; the PDFTron benchmark makes it look major, but I haven't seen any other benchmarks, and I'm not sure if anyone has investigated what exactly is causing the overhead in the PDFTron benchmark, especially since the code isn't open source.

[1] https://static.googleusercontent.com/media/research.google.c...
In case number 2, it's possible to ask CA to reissue n-123123123.netgear.com, and if it's not possible (due to uniqueness verification during key issuing process), to ask n-123132123.netgear.com and the system administrator may not notice.
This solution sadly doesn't work for form elements without placeholders like <select>, checkboxes, radio buttons, date & number pickers, etc.

And checkboxes can still not be styled. But that's another one of the multiple problems in HTML and forms in particular ...
The scientific name is bad, it confuses everyone. Why not change that instead of telling people that berries aren't berries?
It's a very interesting article. I'm also impressed by such dedication. Hashing the strings from the decompiled APK to easily debug the protocol in Wireshark is inspiring.

On the topic of using a BMW with you phone without being frustrated, some people put a third-party box between the screen and the car infotainment computer to get Android Auto. I heard the experience isn't perfect.

Personnally I use Google Assistant and I think it works relatively well. I can use it to get directions, make the sound of random animals, change radio, play music on Spotify... To trigger it, you can long press the voice command button on the steering wheel.
> But the software is awful. It's not poorly designed, necessarily, but it's buggy as hell.

Can't say I agree with this in the slightest, assuming you are not talking about a 2002-2005 (EU) year which did have a very buggy implementation of iDrive based on Windows.

The issue you are describing is otherwise known as "opening the car with a key attached to the driver profile for your wife".

My 2009 3 series with the professional navigation option is not only bug-free in everyday use (with all updates applied) but substantially better than most brand new cars available today, which is why I still have it.
He did use Twitter to write a normal blog post broken into pieces, so challenge version looks probable.
I recommend "Practical TLA+" too; it introduces TLA+ in a more approachable way than other resources.

Link to the book:
https://www.apress.com/gp/book/9781484238288
In '97, I defined an (awful) Java-ish syntax DSL for expressing Harel Statecharts textually (including concurrency, substates, etc. semantics), and wrote a compiler from it to Java.

The language was intended as an intermediate representation for a visual front-end for a full-cycle CASE system that would support multiple "views" of related abstractions (e.g., how analysis-level models related to production code-level models, and maintaining consistency among changes to any of them). I never built that CASE system, because I got even more interested in another area.

At the time, I had already worked heavily on production cross-platform multithreading in C++, but Java was so much easier and safer. (Also, the Java was very hot at the time, and with good reason.)

Today, I know Scheme well, and a separately-compiled DSL, for what could instead be a much more elegant and powerful mix of normal Scheme and syntax extension, seems silly.
No. Cooking doesn't reduce the amount of toxin in potatoes very much. Potatoes are toxic when green, although this varies massively among the varieties. But a general rule to follow for potatoes is if they are green then don't eat them.
I have noticed most HN comments with SEO in them take it as being bad bad bad and the reason for the death of good search, the need for powerful whatever..

I really wish everyone would qualify, and not just black-hat seo / whitehat - there are many types of SEO, often with different intentions.

I understand there has been a lot of google koolaid (and others) about how seo is evil it's poisoning the web, etc...

But now, or has it been a couple years how? google had a video come out saying an SEO firm is okay if they tell you it takes 6 months... they have upgraded their pagespeed tool which helps with seo, and were quite public about how they wanted ssl/https on everything and that that would help with google seo..

so there are different levels of SEO, someone mentioned an seo plugin I was using on a site as being a negative indicator, and I chuckled - the only thing that plugin does is try to fix some of the inherent obvious screwups of wordpress out of the box... things like no meta description which google flags on webmaster tools as multiple same meta descriptions.. also tries to alleviate duplicate content penalties by no-indexing archives or and categories or whatever.

So there is SEO that is trying to work with google, and then there is SEO where someone goes out and puts comments on 10,000 web sites only for the reason of ranking higher.. to me that is kind of grey hat if it was a few comments, but shady if it's hundreds and especially if it's automated..

but real blackhat stuff - hacking other web sites and adding links.. or having a site that is selling breast enlarging pills and trying to get people who type in a keyword for britney spears.. that is trying to fool people.

I have built sites with good info and had to do things to make them prettier for the ranking bot, but they are giving the surfer what they are looking for when they type 'whatever phrase'... I have also made web sites better when trying to also get them to show up in top results.

So it's not always seo=bad, sometimes seo=good for the algorythm and the users.

and sometimes it's madness - like extra fluff to keep a visitor on page longer to keep google happy like recipes - haha - many different flavors of it - and different intentions.
> This goes far beyond coding guidelines. It reads more like THINKING guidelines

Well, yes. That's the "safety culture" influence, the idea that there is not really such a thing as an "accident". With careful thought all the possible outcomes should be forseeable, and mitigation should be in place for all risks. This includes what might be called affordances for the programmer - tools that are prone to misuse and mistakes should be avoided. Guardrails around thought.

This chafes if you got into programming for the freedom, but is a lot more reassuring for people driving the car.

(edit: my own personal benchmark for technical writing is the dully-named "App Note 47: High Speed Amplifier Techniques" by the legendary Jim Williams. From its own preface:

"This publication represents the largest LTC commitment to an application note to date. No other application note absorbed as much effort, took so long or cost so much. ... We intend to supply useful high speed products and the level of support necessary for their successful application(such high minded community spirit is, of course, capitalism’s deputy)."

It is 132 pages including photographs, illustrations, screenshots of osciliscopes, equations, and a few jokes.)
Have a look at this typeclass, for instance:

https://hackage.haskell.org/package/base-4.12.0.0/docs/Type-...

If that's to complicated, just create an ADT of all the python values and translate Pickle's implementation directly.
Thank you for this comment. I often share the frustration with the "visible" software market, eg. the loudest bunch on the internet, so it's easy to forget all those great and inspiring projects and the people making them possible.
To nitpick the story a bit, using time for any kind of cooking is a fire waiting to happen. Use a thermostat, work with temperature. (Same for coffee machines, measure throughput, not time, unless you want your coffees to progressively get smaller as the machine clogs up)
If you can find it, there's an episode of the BBC comedy panel show "Unbelievable Truth" where they list all the nuts that aren't nuts. Entertaining and surprising.

The bit we eat is usually a seed or fruit - the shell encasing it is a nut. At least, that's what I understood.
Discovery of legendary, lost shipwreck sparks legal row over treasure ownership
Legacy reasons, most likely.
I don't know, Uber 'lets race to the bottom to kill everybody else' seems everything but sound.

Amazon is operating weirdly (random pricing now) even though it's true the financial side is probably normal.
Incentive to create things I can't have, use, or see, regardless of my willingness to pay?

Okay. I don't care if they have that incentive, and I don't think many other people do either.

Now, if they're going to create AND distribute things, that's another story. Then I'm on board.
> "defer some maintainer responsibilities to someone else"

I have of course done this many times across different projects. Sometimes it works. Sometimes it doesn't. It isn't the silver bullet you portray it to be. Nevermind the risks involved due to supply chain attacks.
Agreed, newer iDrive interfaces is one of the best if not the best car interfaces you can use. Lexus NX on the other hand, well thats what a crappy UX is.
In Dutch, whales ("walvis") are fish. But jellyfish and starfish aren't. Squids ("inktvis") are.
Some of the guys from Future Crew founded Remedy Entertainment. They did a lot of impressive games as Max Payne 1&2, Alan Wake, Quantum Break and Control.

Control was released last year and is one the best games of this year. It's beautiful on PC,the universe is great. If you want to see great Ray Tracing, it's also the best recent game for that.
Rightness comes in degrees. It can definitely be better to be _almost right_ but convincing than _completely right_ but unconvincing. In fact, all you need is to be _more right_ than people would be if you didn't convince them.
No slavery? Much of the prison population is explicitly engaged in unpaid labor. Others are engaged in "modern slavery" where employers don't let employees escape. And regular working/middle class people are coerced into "voluntarily" choosing which employer they'll be exploited by, at the threat of eviction/homelessness/poverty if they refuse, and further exploited through land rents, health insurance companies, and all sorts of other predatory entities. So I'd say there's plenty of slavery and exploitation still going on in "free" market societies.
> Actually they do not, please show me the studies, and actual data that does because the studies have seen say [1]

You can't use overall statistics to talk about specific cases of cross-sections. Yes, men work longer hours than women. But even in households where the woman is the primary earner, she takes on the majority of household chores, on average [1].

And this has been seen in multiple studies. See the "Work and Leisure for Dual-Income and Single-Income Couples" table here[2]. In single income families, a women earner spends 23 hours on household chores, compared to her (unemployed) parter, who spends ~29 hours on household chores. He gets around twice as much leisure time as she does.

Reverse the genders, and an employed man spends 14 hours on housework, while the unemployed woman will spend 45 hours on housework.

No matter who is employed, the mother always spends more time on housework than on leisure time, and the father always spends more time on leisure than on housework. That's true whether the family is dual income, the mother is the sole earner, the father is the sole earner, or neither parent works. In all cases, the mother spends more time on housework than leisure, and the father spends more time on leisure than housework.

[1]: https://www.jstor.org/stable/2782401?seq=1

[2]: https://www.pewsocialtrends.org/2013/03/14/chapter-6-time-in...
Burntsushi. Because of your blog post on ripgrep I found a love that I did not know I had (I am just a lowly self-taught frontend developer). I had no idea you could do magic like this with code, and that it could be that interesting. It made all the right wheels in my head spin and it was, and is, love.

I am going back to university (a place a swore never to return to) to learn about algorithms and algorithmic design, starting next Monday. Because of you.

Nobody has had this big an influence on my career, and every time I hit `rg` on my computer I do so with immense gratitude.

Just thought you should know.
I would never have imagined that there would be visitors who actually dislike those intro pages hehehe! This is enlightening and will definitely affect how (if?) I implement it in future.

Thanks for the comment.
I too am asking people to start making lists of lame query returns. I have taken screen shots of some, even made a video about one... but a solid list in a spreadsheet perhaps would be helpful.. of course with results varying for different people / locations and month to month / year to year, having some screen shots would be helpful too.
Not sure if there is a good program for snapping some screen shots and pulling some key phrases and putting it all together well...
It sounds like this is an LLVM problem. So could this same thing happen in C?
That's an interesting angle. Another way of saying it might be that GoDP on the face of it can make one-off proofs for a value. Proofs for a function requires making proofs about all possible inputs, which is where your property test comes in handy. I could have `Named a (List x -> List x -> List x)` as the function I'm proving things about.

With some template-haskell you could run the property test at compile-time, and then use that proof later (e.g. for an instance of Semigroup which would require a argument proof of associativity), in languages like Unison that never run the same test suite twice (due to Content addressable code), this would be feasible. Or just run the property in your test suite and hope that the developer runs the test suite often. GHC erases data types that aren't actually evaluated in many contexts, so we even have erasure too.

I like your angle!
You are comparing apples to oranges, your lawyer is self employed and those 365/hr pays for his office rent, secretary, pension, professional insurance, ongoing professional education an so on.
You may like this one: The Doubter's Companion: A Dictionary of Aggressive Common Sense by John Ralston Saul
Oh! I will look for it.

There's something... special, about finding these in old printings. I found the sequel to the one I linked at, of all places, a flea market in Temple Bar in Dublin, as a circa 1850s print. As in the book itself was over a century old!

I look forward to finding a printing of yours that's nice and old, too!
Another theory is that it refers to the way the top stone "hinges" on the bottom two. Nobody is certain about the etymology.