skysight-inc/HackerNews huggingface dataset:
It's hard for blanket statements not to raise hackles, I think you highlight a real trend but it feels a little broad of a statement to me (the joys of distilling opinions into text).

The first language I learned was Python and then I got a job in a .NET shop and I've been .NET since, to declare my bias. But I'm not dyed-in-the-wool Microsoft stack, I think Postgres is better than SQL Server for almost every use case (though SQL Server is superior to Oracle or MySQL for most others), that something like Rust is better for embedded or systems programming, that if you need cross-platform UI you're better off using something outside the Microsoft stack and that it makes a lot more sense to host a .NET web app on a Linux server and I have no interest in Azure, or indeed any cloud vendor's properitary tools.

I think there exists a trend, as in Oracle shops or IBM shops, for some large/corporate companies to tie in to a tech stack and consider, for example, Sharepoint or CRM or SAP, to be the solution to everything. I think this has less to do with individual developers and more to do with sales pressure. A lot of developers just code for a job, they have no interest in it outside of it being a tool to work with and since .NET is (in the studies I've seen) within the top 3 techs by number of jobs in most of the Anglosphere it tends to be overrepresented in corporate environments where development is 'just a job'. But there are also many companies using whatever tool is best for the job, within the constraints of what their team knows, or cost, or whatever those might be and to tar every primarily .NET developer with the same brush is going to annoy people.

I still regard .NET and particularly .NET Core to be one of the best environments I've used to build Web Apps in. You get great performance [0], type safety, memory safety, in my view the best IDE available, an excellent quality standard library, access to F# as you mention, etc.

I think stereotyping a ".NET crowd" is unhelpful, as is a stereotype about front-end developers all being boot-camp trained developers with little experience or C++ developers all being cranks who refuse to work with modern technology.

[0]: https://www.ageofascent.com/2019/02/04/asp-net-core-saturati...
Swim: The Scalable Membership Protocol
Trust, control and personalization through human-centric AI
But Trinity died (and probably Neo too) outside Matrix...
The translation system's universality is the best proof that there is a LUCA.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1894784/
The Unhealthy Desire for Prestige Is Ruining Your Life
Cubehelix does deserve a mention if only for being the first to bring this idea to the "mainstream", but for the record: this is also true for Inferno, Viridis, Cividis, etc.
My understanding is there’s security and standardization benefits as well. If I’m remembering correctly there was a local keychain credential stealing attack around the time I was first looking at it and they had a plug-in available for detection the same day. While it wasn’t something magical you couldn’t write, test and run on your fleet yourself a central place to deduplicate that sort of work/test cycle and collaborate was compelling.
The disagreement is not that autocomplete with a remote backend is a keylogger, that's factual. It's about calling it malware right?

Because you seem to be asserting what "everyone else" thinks.

If I ask non-technical people about this autocomplete feature and whether they would like to disable it (assuming they have this option), after explaining it sends every keystroke to Google, they (generally) will reluctantly agree to have it enabled, why?

It's not because they believe sending every keystroke to Google is a super reasonable sacrifice for having the benefit of autocomplete on search queries.

No, ask them, they will invariably sigh "Well, Google knows everything about me already, anyway, so ...".

That's NOT the reasoning of someone making a well thought-out decision, it's the reasoning of someone beaten into submission. And we know this is true, because we feel it too, every time you read a comment about somebody trying to escape the Google Ecosystem, but not yet having a satisfying replacement for this one service .. You don't get to make a fair choice about it.

That is why they say Google mistreats their users, because they made them give up, not just giving up their privacy, but giving up on their belief they even have a choice about it.
And VSCode moves a step closer to being 'Emacs, now written in Javascript'
No, it is always the same. People say they want something new and original, but they will actually go and see something they already have a relationship to.

I'm pretty sure lost of people here who are critical of a Matrix sequel will go and see it anyway, if nothing else just to be able to complain.
> Why is that the same as 'giving up'? I call it a better hypothesis.

It's not a hypothesis, because it doesn't explain anything. It's also not falsifiable, so it is not useful for the purposes of science.

> It's like saying there is a halting problem and there are problems that are fundamentally unsolvable by computers

The halting problem is a rigorously defined mathematical problem which has a mathematical proof that demonstrates that it is indeed unsolvable. That's entirely different from saying that "there might be such a thing as a halting problem and it's probably unsolvable".

Furthermore, the halting problem is abstract from physical reality. It is true regardless of anything observed in physical reality. In physical reality, there is no such thing as a program that will not terminate, because there is no such thing as a computer that runs forever. The "physical halting problem" is solvable. The answer is always: The program will halt at some point because of thermodynamics.

Similarly, it is my position that the physical phenomenon of intelligence can be entirely explained by natural processes involving no metaphysics whatsoever.

> Instead, perhaps the mind is a halting oracle, and we can progress even further in the sciences by that realization.

Perhaps it is, but there is no such realization. You haven't even defined what you mean by intelligence and why that would even require a non-materialist explanation.
I agree, and that’s kind of my point. Microsoft didn’t abandon Encarta because of corporate stupidity. It’s time had passed.

The iPod’s time had passed and the iPod Touch could just as well be called an iPad Nano. It’s more of an iPad than iPod.
https://savannah.gnu.org/register/requirements.php

It does not explicitly give out a list on that page (to get that you need an account), but from a read it seems to say GPL-compatible which BSD is.

The repository has a very explicit goal: The expressed purpose of advancing free software that can run in free operating systems. Licenses aside, the answer to the question if a project is suited for Savannah is likely answered by looking at that goal.
I've been able to see/send messages from the mobile site recently actually.

I might finally be able to remove the Messenger app from my phone as well.
Maybe a semi-realistic example would help us understand what you mean by the path segment branch in tree of resources part? Is that like /api/<resource type>/<resource make>/<resource model>/ would boil down to /api/cars/ford/fusion/ with cars, ford, and fusion each being a branch in the tree?
Check out bisqwits videos on cache locality
Splitwise user here. Interface is clear and easy to use with most of the required functionality.

Personally I find the per-bill itemised expense part of Splitwise essential, being able to split a receipt into it's items and then charge particular participants for only certain items. Uploading images of receipts to each bill is also essential imo.
Tip for those signing up: when you sign up you agree to arbitration (ie. signing away the right to sue in court), but you can opt-out within 90 days.

Opting out can be done right on your phone, through messages:
https://www.theverge.com/2019/8/20/20813800/apple-card-pay-a...
I live in Europe (Sweden, Germany and Switzerland) and I have never needed to sign when paying with card (i.e. the chip – never used the magnetic strip). Perhaps its because you have a foreign card?
server {
listen {replace_with_some_ip} ssl;
listen {replace_with_some_ipv6} ssl;

ssl_certificate /etc/ssl/snakeoil.pem;
ssl_certificate_key /etc/ssl/snakeoil.key;

server_name _ {replace_with_some_ip} {replace_with_some_ipv6};

return 444;
}

Should catch all TLS connections that have no SNI or try to connect straight with just IP and if snakeoil is generated right then it doesn't instantly reveal what's the real hostname.
You normally use a pincode. I cannot remember the last time I had to sign anything anywhere in EU when paying with a chip card.
In Toronto and the surrounding communities, a typical commute is 15 minutes through traffic-choked local streets, 30 minutes on a train, and 15 minutes walking through tunnels downtown. Each part of mine is longer, although I am able to work on the train and count it against my hours. But that's absolutely normal for any tech worker in this city. It's insane. I come in and have a conversation or two over the several hours I'm here, which I could easily have over the phone, and then I begin the monumental journey home.

My home workspace is an airy attic office with a view of trees and houses. My downtown office is an open-plan wreck with exposed pipes and broken chairs. I am pretty certain which one is more conducive to productivity, let alone which one means a higher quality of life.
Agreed. I hardly ever see my daughter in the morning but make sure that 99% of the time I'm home in time to put her to bed and read a story (she's 8), often it's at bedtime that any worries come out, and I'm so glad I'm able to be there to listen.
How Infrastructure as a Service Can Deliver Value for Your Business?
Indeed, I wouldn't suggest anything other than a chromebook for my relatives
Calling these blockbusters "trash" is just elitist bullshit. They are good movies. While I myself prefer Tarantino to Frozen, I would not want a 10 year old kid to see Once upon a time in Hollywood, and you are stolid if you do.
Trademark law is not enforced like copyright law is. It is the responsibility of the trademark owner to take infringing companies to court, or risk losing the mark. Maybe someone should tell Linus and co.
I think GitHub might have problems suing GitStart or other Git- names as they didn't invent Git. It was Linus of course who did.
Apple is partnering with Goldman Sachs as its issuing bank. Goldman Sachs will never share or sell data to third parties for marketing and advertising. Apple is also partnering with Mastercard to provide the support of a global payments network.

Will never share or sell ? Oh yeah, right.
It's a cycle, 90s kids are in their 30s now, with money to spend on 90s fashion, movies, etc. in 2019
The 'real world' is actually the Blue Matrix. Notice how it has a slight blue colour tint, to distinguish it from the inner Green Matrix. It's a theory.
No need for a tinfoil hat or this specific vulnerability.

Any number of backdoors can be introduced with any update for any operating system or app. Generally governments around the world want backdoors and information from companies and companies generally comply.
Is it an actual problem without solution though, to be "simpler than Splitwise"? And is it actually perceptibly simpler? I find Splitwise rather easy to use and just functional enough to cover all usecases. From the first look this site does about the same stuff, no? The only significant difference I see is app vs website.
Reminded of this classic Bob, The Angry Flower: Atlas Shrugged, One Hour Later.

http://angryflower.com/348.html
Because we don't trust it. They keep changing the framework, the naming, the tooling, and whatnot. I have no time for this shit. .NET as we know it is rock solid and I have no intention of moving on in the foreseeable future.
Not sure, you might be right about the quantity, but what about the quality?
I think the apple experience is friction-less for their target market.

Live in their ecosystem, and everything 'just works'. Watch, Phone, Tablet, Laptop.

Linux/Windows you don't quite have that level of integration ...

You expect more from luxury items than with a $300 windows/linux laptop, a $100 fitbit, or a $200 android tablet - good luck with getting a similar level of interoperability between them...
NYC’s Vision Zero Is the Wrong Goal
> A zero-day (also known as 0-day) vulnerability is a computer-software vulnerability that is unknown to, or unaddressed by, those who should be interested in mitigating the vulnerability (including the vendor of the target software)[0]

Why should a publicly known unpatched vulnerability be a lesser concern than something that you don't know exists?

[0]https://en.wikipedia.org/wiki/Zero-day_(computing)
It might be good. Who would have predicted 10 years ago that a Blade Runner sequel would be outstanding?
The hedge fund shorting GE will profit from the value of GE dropping due to the bad news, it will profit from the value of GE dropping if there's an investigation, and it will profit if the accusations turn out to be true.

There's no reason to think Markopolos won't profit if the accusations are bogus, because he profits from the market reaction, not from the actual merits of the accusations. In fact, his experience in the past tells him that even if his accusations are true, they're unlikely to result in successful investigations, and if his accusations are untrue, he's unlikely to face consequences for it.

Also, whilst the people who go on CNBC to defend GE are paid to go on, they're paid a fixed salary, they generally aren't particularly incentivized to boost the stock price.
It, along with GitLab and a couple others, predate the official policy so they’re grandfathered in.
What a nice security improvement, many thanks for developing this! It should be default in all operating systems to only accept known USB devices and in the case of new USB devices prompt the user with a clear warning message.
Note that the paper gives a hint about why 3 of the 20 amino acids were selected, it is not clear that the same rule can be applied to the other 17 amino acids and why the number is 20 (or approximately 20).

From a comment in a previous post:

In the research paper they analyzed a few amino acids like Lysine. Lysine is an amino acid that has the usual amino group and the usual acid group in one side, and it has an additional amino group in the other side. In the study they compared Lysine with Lysine-like amino acids that are shorter and the additional amino group are closer to the usual amino group and the usual acid group. For example https://en.wikipedia.org/wiki/Ornithine

They found that the usual amino acids like Lysine are better to form spontaneously protein-like chains than the shorter versions when they are in a solution that gets dried. I'm not sure if this is enough to explain why Lysine is used in proteins but it's an interesting result anyway.

In the more optimistic case, the research article "explain" why the 3 usual amino acids that they used are better than the 3 shorter variants that they used. It doesn't "explain" why the other 17 amino acids where selected.

In particular they used amino acids with an additional amino group, so the polymerization can get "confused" and instead of using the usual amino group use the other group, so instead of a nice chain, you get some other structure. There are 17 of the other usual amino acids that don't have an additional amino group, so the polymerization process can't get confused.
Anyone paying attention to GE will know that it has not had boom years since the recession.
I have never thought that Apple considered iPads general purpose computers. One of their biggest ads about the iPad Pro[0] even implicitly states that.

The proposition, in my mind, that Apple is trying to sell with the iPad to the majority of people who use their computers for social media, content consumption, and office tasks like email and Word document authoring is "you don't need general computing flexibility for the vast majority of things that you do".

[0] https://www.youtube.com/watch?v=llZys3xg6sU
While you and I agree that Parent is incorrect, let's not resort to personal attacks.
Why contactless cards haven’t caught on in the U.S. (3 min)

https://www.youtube.com/watch?v=KRZ4OodETr8
Did anyone at all watching the movie in the cinema at the time think that the character's name was "Neil" but spoken sort of London style "Neeh-ul" with the final "l" more or less silent?

I ask because despite sort of knowing it could not be so I still found myself not 100% certain. On the one hand why would Americans say Neil that way. On the other hand what kind of daft name was "Neo" especially if you're trying to create a solid sense of reality prior to ripping back the curtain?

Certainly kept me guessing anyway...
> Compcert was a large achievement and produced a formally verified compiler back-end. Therefore it is definitely feasible to design software that is correct by construction using these methods.

CompCert is a very small program (1/5 of jQuery) and it's taken world-experts years of work. Its verification also wasn't really done using dependent types, but in Coq, a traditional proof assistant whose theory happens to be based on dependent types, but is much more similar in practice to, say, Isabelle/HOL than to Idris/dependent Haskell.

> However I don't think the future where it is affordable is far off. Folks in the Lean community are making head way and learning from Compcert about how to model the semantics of C-like programs using new advances in type theory that will make it easier to verify such systems.

It's been said to not be far off for 40 years now. Yet what can be verified with deductive proofs has remained, for decades, 2-3 order of magnitudes behind "ordinary" software, and the gap isn't closing.

> Therefore I wouldn't discount Dependently Typed Haskell so completely.

I'm not. I'm just saying that it's currently less promising than the main thrust of formal methods research (which focuses on automated methods much more than on deductive proofs) and that it is certainly nowhere near a point where it can be said to be "the future." I'm also pointing out that there are currently approaches that subsume dependent types -- have nearly all of their advantages and virtually none of their disadvantages (contract systems).
The 'protégé effect' means that you can learn by teaching others
LUCA = Last Universal Common Ancestor
It was much better, than a season of nothing on netflix which should be 3 hours max instead of 10-12.
Like the last two parts were not enough of a disappointment...
Consuming a huge lot of resources for this kind of tourism is not going to save the planet: I hope engineering and capacity will not focus on putting the average joe into orbit...
With Google Maps the choice is even between "simply remembering your past few searches" (incredibly easy to do locally) and ruthlessly data mining the everliving shit of everything you do.

That's basically holding my privacy hostage for what is stupidly basic UX functionality.

And it's not like I was given a choice about it. Maps used to remember your search history just fine, until they pulled that a few years ago, and I "just" had to give them my location history, so they would remember my fucking search queries.

You might recognize these tactics from heroin dealers and similar scum.

It's amazing how unnecessarily less useful Maps is, if you have to retype the addresses every. single. time. But you don't want Google to keep a log of everywhere you've been.
It's not even close to outstanding.
A brief history of rearchitecting Autocad
Protecting Our Users in Kazakhstan
They might go that route. But Neo doing that is believable even without another matrix.
Interpreted CGI programs have comparably long startup times. FastCGI is an answer which is supported by all major scripting platforms.

The thing is: A FastCGI Python script still requires several lines of boilerplate to do the same thing a PHP script can do (i.e. statelessly answering a request). PHP makes that just damned easy.
I'm not sure Google really belongs here. Telcos and some companies licensing Android - sure. But unlocking actual Google phones, like Pixel, is literally available from the menu in the developer settings. It's a well known/documented process.
For me, the easiest thing has been to set up a google cloud compute server with a good gpu. They start you off with a $300 credit good for one year and charge like $0.50/hour to run. You can get pretty solid models running in the scale of minutes. Spend your time learning, not setting up.
Douglas Coupland's mid 1990s novel Microserfs makes mention of a popular belief at the time that one should always wait until the 3.0 release of any Microsoft product before making serious use of it. Guess somethings don't change.

I haven't given net core 3 a trial yet but will use serial ports as my initial tests. In the 1.x and 2.x versions the serial port support was not up to the same level as the net framework.
I created an even simpler version of this optimized for mobile usage ("add to homescreen") for personal use a couple of years ago.
Never dared to advertise it though. Initially used it to look into fancy front end tech, but quickly resorted to PHP, SQL and a bit of jQuery.
> There is nothing new there.

I would say there are no new stories and there haven't been for a long time.

What is the Iliad if not a superhero movie? You have the world's greatest warrior, Achilles, a demigod, unbeatable except for his one super-weakness. Sound familiar?

Something I find interesting about all the recent superhero movies is that the battles are staged very much like ancient battles - soldiers in formation fighting hand to hand. This of course gives the heroes the opportunity to be heroic on the field. And again it's just like the Iliad.
Well, I can run a Turing Machine using javascript on my phone's Safari browser. Do you have another definition of 'general computing' ?
The crowdfunded phone of the future was a multimillion dollar scam
That was in the April 2004 issue of Scientific American: Evolution Encoded.

https://www.jstor.org/stable/26047680?seq=1#page_scan_tab_co...

https://wps.prenhall.com/wps/media/objects/12330/12626747/my...
FYI, randy: `fmt` is not declared in `Decode example - libspng`.
Send in the enviro-mercenaries, a new Rambo movie, where the good guys slaughter all the evil forest destroyers in great style with mini guns and awesome weapons . . . .
Not particularly, considering that it is his hacker name and not his "real" name (which is Thomas A. Anderson) and that all of the other characters have similar names (Trinity, Morpheus, Switch, Cypher, etc.)
The set of indexes are a form of data structure though, with all the state juggling and heuristics that usually go along with them (What access pattern requires this index? When do I have too many of them? What locks when I add/drop an index?). This adds complexity and unpredictability to the user.
For some reason I've thought about the other Amazon. Even São Paulo didn't help the title to ring a bell.
This is a common, modern, signal-to-noise problem. There's more media than there's ever been. In absolute terms, there's more good media, too! It's just not very large percentage of the total media available.
World's oldest webcam to be switched off after 25 years
I think this is a valid concern, and perhaps verifiable. How many Windows user actually create a non-admin account to use for their everyday work? I find, anecdotally, that a helluva lot of them don't; in fact, the very idea is foreign to them.
When you think of the "best artists" you've seen, are you making any distinction between technical and creative skill? For example, there are many great studio musicians who are nonetheless nowhere near as good as composers of original music. I would expect that technical skill is a more natural outgrowth of hard work than creative skill, even as the Beatles-in-Hamburg story claims a growth in creative skill.