skysight-inc/HackerNews huggingface dataset:
Let me say something about the prejudice (mostly my own).

For most the late 80s-early 2000s, I was not a huge fan of Microsoft mostly because of their predatory practices and the shoddy quality of their software. But they had a few products that I thought were legitimately good, and Visual Studio (and the C# language) was one of them. Part of my admiration of it was partly because of Anders Heijlsberg, its architect.

I started my programming life with Borland tools (Turbo Pascal), and then later Delphi. Anders architected all of these tools. They are long in the tooth now but at the time, these tools were fairly well regarded because they reflected flair and good taste. When Anders created C#, I managed to look at it without being clouded by my Microsoft prejudice, because I knew who was behind it.

I started writing C# code a couple of years ago when I started working for a large enterprise. Even as a Linux/UNIX guy, I am able to say that C# is a truly elegant language that is fun to work with, and I would pick it over Java or Scala any day. I don't like its Windows centricity (Windows is still not my favorite platform), but outside of that, it is truly a well-architected language.

Silicon Valley types would do well to put aside their prejudices of the C# language and evaluate it based on its own merits.
Babel plugin for auto binding your class methods
Anyone knows how they handle copyrights of movies and music?
I've had the same problem for a very long time. The solution I found was to choose a subject that I am really interested in and that's really useful to study, but that severely taxes my mental faculties. I then dedicate the last few hours of the day to studying it. The intense mental effort almost never fails to put me to sleep within a very short time after beginning.

Reading about such a subject (rather than say, coding) works best. In fact I discovered this effect when I noticed there were a few papers I have still not managed to finish reading, even after several attempts (see for example [1]).

If all else fails, I put on a youtube video of a Noam Chomsky talk. That never fails. [2]

____________

[1] Nienhuys-Cheng and de Wolf, The subsumption theorem in inductive logic programming: facts and fallacies.

https://homepages.cwi.nl/~rdewolf/publ/ilp/ilp95.pdf

[2] To clarify, I love Noam Chomsky and I consider him a great teacher to me, both in politics and science. It's the way he talks that gets me: he's so calm and his voice so smooth and soothing, that even when he's talking about very upsetting subjects like climate change or nuclear war, my mind just shuts down and I go to sleep like -this.
Ok but why? There are a few low-level performance-oriented programs that benefit from struct types (which the JVM now has too) or reified generics. For ordinary day-to-day programming, though, F# is underwhelming by comparison with Scala, and C# is better than Java but not by enough to be worth migrating platforms for. What's the USP of the CLR? When it first came out I thought it was more friendly to foreign languages, but that doesn't seem to have been borne out in practice e.g. Jython felt like it saw way more use than IronPython.
Cutting undersea cables can be done with as little as a fishing boat and an anchor.
I don't see how this is controversial. Maybe we are not at capacity but if thousands of Citizen Kane-level masterpieces were being released in every genre monthly people wouldn't have time to see them all. There is a limit somewhere.
In democracies, voters warm to secret services
Restsql is another one:

http://restsql.org/
Please, more websites like hacker news, wikipedia, techmeme, reddit, craiglist and drudge report
HTML 4 is pretty modern.
Do you remember Gopher?
As a Scottish person, I read the link title and got defensive.
Op said he makes double the median income. That is more than enough to find a place to rent.
I remember the first iteration of these pumps that I saw did have a mute bottom. Unsurprisingly, on an otherwise pristine pump, the mute button tended to to be severely worn presumably from frequency of use and/or forceful pressing. The station never took a hint, and the screens still blare their ads only with broken mute buttons.
New company called Eelo will give you de-Google-ized Android for your privacy
Behind-The-scenes of BBC One's Short Film 'The Supporting Act'
Prescriptions include the drug name, (route- oral/rectal) the amount (and exiration), the schedule (and refills), and the symptom being treated along with the name of the doctor and their prescribing organization. Some combinations of them are so common/nonsensical that they could be corrected from context.

I'd argue that changing the drug without calling the doctor (to at least let them know there was a mistake e.g. pull-down error by the nurse assistant) isn't a good idea, but it's VERY common to have them fill with an alternative/generic when the prescribed one isn't in stock. Usually, they'll mention it.

Honestly, there's a reason that pharmacists have such strict education and licensing. They regularly have to decide exactly these things based on this limited information. It's their job (often along with mixing/compounding drugs).
> Can you give an example of this?

It's pretty clear that a fully formal specification of a program must be (roughly) as complex as the program itself, for otherwise you could construct an infinitely descending chain of ever simpler specifications which leads to a contradiction.

The reason that you found the
specification of a sorting algorithm simpler than the sorting algorithm is that you probably have not fully specified the algorithm. Consider the sorting algorithm in C's standard library, which allows the user to specify a comparison function. Now imagine you'd pass something like the following comparison function:

def compare (x, y):
printf ( "I'm comparing %i with %i\n", x, y )
if ( x < y ) return 1
if ( x == y ) return 0
else return -1

It almost completely exposes the inner workings of sorting. Hence a full spec needs to account for this.
Due to projection distortions, the size of the area was visually misleading. An area-maintaining projection would be a more accurate way to communicate this data.

https://en.m.wikipedia.org/wiki/Map_projection#Projections_b...
Undefined vs. Unsafe in Rust
This is a good point. DC is no more “unaffordable” inherently. DC puts the volatility of upside and downside shocks on the individual (or more practically an age cohort) versus smoothing it out over wider age cohorts. For example, I have lots of savings. The market up 20% this year is great for me. Not so much for the next age cohort who face mathematically lower returns from this level. If anything DB at the margin forces more realistic upfront accounting (despite pension accounting flaws) because when an entire age cohort faces ruin they will vote to socialize much of the pain anyway ex post.
Devcards is great. A good alternative for non-CLJS apps is storybook: https://github.com/storybooks/storybook.
Tldr: it's a flying boat with wheels
You honestly think that such a "rogue nuclear power with active concentration camps" couldn't figure this out on their own?
By paying consultancies half a billion dollars on new product development, they could potentially save millions.
I respectfully disagree. While what "serverless" truly means varies depending on who you ask, in this context I think it's:

- Multi-tenant architecture.

- Pay-per-job/query.

- Complete abstraction away of underlying resources.

- High availability out of the box.

- Automatic seamless scaling on-demand.

So services like BigQuery qualify, and Redshift don't.

(work at G)
I'm looking for a graphql interface that can serve subscriptions. Is anyone familiar of a combination of data store and graphql server that can fill this need, or is working towards it?
It seems like the floodgates opened after VS Code when Microsoft realized people actually like what Microsoft produces when they make it easy to use (no confusing, expensive licensing), so there's no need to lock people in. Everything people ever hated about Microsoft was a result of it trying to protect its monopoly rather than coexist.

They're still a little confused about Windows (why do I need to spend $50 on Pro to encrypt my drive?), but you can get Office on anything now. Even Edge has an Android port (beta).
What's wrong with Tk, exactly?
I sometimes wonder if pieces like these, trying to value bitcoin actually understand what they are doing. Cryptocurrencies are entirely new and trying to fit it within an existing fixed framework is an issue.

The main question is - How do we look at it? Is it a currency, store of value, derivative, medium of exchange, technology?

This valuation seems to focus on the medium of exchange and currency aspect.

But there are other ways to approach it. One of the easiest and maybe amateurish way to look is through the mining and electricity costs. Sure, it is like a self fulfilling prophecy - more you mine, higher the difficulty and hence higher electricity costs, then you mine more, difficulty increases and it goes in circles. Obviously the electricity costs are alone not enough to justify the current value. But it certainly will not be zero.
Why are you arguing a position at all? Why aren’t you curious about what’s possible?
I was doing two different things: wooden carvings from photos on solid maple boards, and stitch-and-glue kayak designs and building.
I used DelftShip (IIRC it was FreeShip at the time) to design the hulls. I tried a few others, including Rhino and trying to develop one in Blender, but the NURBS were a bit hacky then for what I was intending.

I would eventually use Rhino to develop the 2D panels to cut on my ProgressiveCNC rack-and-pinion router table. Along the edges to be joined, you would drill a very small hole, 0.0625" (~1.6mm) diameter, 6mm from the edge and 100 to 150mm apart. Using bare copper wire, you would fish it through and twist the ends to bring the edges into contact, hence 'stitch-and-glue'. You can look the process up online. The inside and outside would be glassed with epoxy resin from West Marine and fiberglass resulting in a beautiful glossy wood after much finishing and sanding. We would incorporate the carvings into the coaming around the kayak's cockpit. The kayaks were made from 4mm marine-grade Okume.
I also made traditional strip and strongback kayaks and a Greenland kayak with bamboo and canvas vs. seal skin. I didn't mean to go on. Seems like a lifetime ago!

The photoclinometry algorithm I utilized for the wood carvings from photos was adapted from NASA/JPL research to be able to get more information from the thousands of black and white singe lens photos taken by the various satellites and spacecraft. I wrote it in python for Blender. Now there are much more sophisticated geometry extraction algorithms with machine learning to guide the resulting mesh 3D creation without the use of laser scanners.

There are a lot of 'inspired' boat builders out there. I formed a wooden boat company called Franklin Boat Works with my partner, and we made all sorts of water craft in the small category. A design I never built was to be a lake ferry for about 8 to 10 people with an electric pancake motor for the shaft and long benches running fore and aft. All steampunked out with brass trimmings and gauges for fun.

The bottom line in all of this is that Blender's python API even in 2005 encouraged breaking out of the 3D program to make all sorts of stuff and push the limits for what could be done with it. I donated $50 (I think that was the amount, maybe $25) to the original drive to buy the Blender code to create the opensource Blender, and now my donation has been returned a 100-fold and I am amazed at what Blender has become! Keep making and coding!
It actually goes further back than that. Anders Hejlsberg created Turbo Pasacal, then Delphi.

However, the development of c# did follow the development of Java. C# is not really related to Delphi or Pascal other than they have the same author.
Anything can be deceiving. https://imgur.com/a/V6GBV
Ok, and what if the man says, "And pay me $10." Is that blackmail? What about $100? $1,000? $10,000? Or what's to stop the man from continuing to demand additional services? Or lying and pressing charges on the kid after the fact? What if it's a 17 year old kid? 14? 10?

You see that there's a line here that isn't obvious between, "I'll decline to press charges if you do me a small favor," and, "I'm going to blackmail you." That's why the law doesn't make a distinction.

Assuming that the victim of an attempted burglary or attempted shoplifting is going to be magnanimous and reasonable when they've just been victimized is not at all a safe assumption.
I am [1] [2].
Infrastructure for subscriptions is 90% there (RabbitMQ + webstomp plugin)

1. https://subzero.cloud/

2. https://github.com/subzerocloud/subzero-starter-kit

(edit formatting)
What do you mean by Pepakura based mechanics? There are deployable structure ala Hoberman linkages, and there are multitudes of papers on origami and math with examples of folding actuators and bodies. Recently MIT IIRC has been putting plastic origami in plastic bags that can be pumped or evacuated of air to create mechanical actuation. Very exciting times indeed!
Oh we do. It's just saying you're going to do something vs actually doing it is much different.

It surprises me that Trump supporters can't see beyond words. Hopefully after these four years you will understand that jobs are going to be going away. There is essentially no way to move time backwards to when technology was at its infancy and there were hundreds of jobs.

Instead of supporting candidates who give people a false hope of steel jobs think about different systems to support everyone in the upcoming job armageddon.
Coq itself is not a monolithic system, but built around a small TCB (the kernel) itself. Proof automation and tactics always produce proof objects (terms of the type theory) that are checked by the kernel.

This system design allows to built proof automation outside the kernel, i.e. it is safe to use proof automation that hasn't been proven correct, because any proof found by the automation will be checked by the kernel before it is accepted.

Another feature of Coq, which unfortunately is underused in practice is the inclusion of a notion of reduction in the type theory.

Terms of the type theory are programs, and equality in the type theory is defined up to execution of these programs.

This means that in principle, one can construct a function SMT(s) and a proof that SMT(s) returns true if the smt formula s is satisfiable, and false otherwise.

The cool thing is that a proof that a certain formula s is unsatisfiable can now be represented as an equality proof SMT(s) = false. This proof is very small, because it relies on the function SMT which is essentially a verified SMT solver.

You might wonder how quickly SMT can be executed. The answer is that you would have to write SMT with purely functional data structures, but that Coq has an integrated JIT compiler that will speed up execution.

So Coq is a pretty amazing system, but it is, 30 years after its creation, still in its infancy.
The Story of Reality Winner, America’s Most Unlikely Leaker
A lot of things become much more expensive (likely gradually as supplies dwindle).

Electricity, until petroleum-burning plants are replaced with nuclear or renewable alternatives.

Travel and shipping, while we come up with alternative ways to fuel jets and ocean liners, and replace our car and truck fleets with electric ones. This cost trickles down to any goods not manufactured locally with locally-sourced materials.

Food, until we come up with alternatives to petroleum-derived fertilizers and retrofit our farm machinery to use electric motors.

Electric motors and batteries and the raw materials needed for the batteries, as demand for them rises.

Plastics (made from petroleum derivatives).

Food again, as some crops are diverted into use as combustion fuel or to produce plastics.

Some of this is already happening to a limited degree as we exhaust the least expensive sources of petroleum.

If the process were to accelerate - and especially if it were to outpace our capacity to substitute non-petroleum-dependent tooling and processes for petroleum-dependent ones - rising prices (especially of food) would presumably lead to social unrest and possibly even instability.
I've spent lots of time pondering why Bitcoin's valuation is going up in the face of an ever-increasing number of technically superior options and the continued degradation of the Bitcoin's performance for transactions.

I don't think network effect is the right answer, or at least not from the obvious perspective of the users. Those of us who actually transact with crypto tend to use Bitcoin as a last resort because of the transaction times and fees. A newbie entering the space should learn that very quickly and seek out superior options for transferring value.

The real network effect is on the side of the exchanges. BTC is the universally available trading pair, and many times the only option. So right now, if you want to invest in any other cryptocurrency, you will very likely need to go through Bitcoin to get there.

Someone versed in Econ 101 might say that buying BTC in order to sell it right away for another token should have no net impact on the price of BTC. To counter that, let's look at what happens when I want to invest in token X with USD.

To do so, I most likely need to first buy BTC with USD, driving up the price of USD/BTC. When I go to sell my BTC for token X, the price of X in BTC goes up, or the price of BTC in X goes down. This happens without any immediate effect on the price of BTC in USD.

The ever-increasing price of BTC captures one of the fundamental problems with this space from the perspective of the inventor. It's much easier to get your fiat into crypto than it is to get it out.
Or, if you’re willing to pay for something closer to VS:

https://www.jetbrains.com/rider/
Cases reported in the media usually talk about people having thousands of pictures each, I wasn't talking about thousands of different people.
For a ridiculous price
What tech backlash? Google, Facebook still rank high in polls.
I ran into WholeFoods for the holidays to grab a couple of spices... and got Rick Rolled!

Seriously, as I'm checking out I hear that "Never gonna give you up; Never gonna let you down"... turn to the checkout and mention I didn't think I'd ever accidentally hear that Rick Astor song again. She noticed and was horrified, yelled over to the Customer Service desk next to us pointed up and mouthed WTF! That person's eyes got wide... and I walked out the door.
I don't have a link that explains the situation well, which is why I am [slowly] working on a documentary project to bring it to the public.

> calling porn a "cult" seems like a stretch

That is the general perception, but as I said initially, girls are indoctrinated and trained using advanced psychological manipulation, indistinguishable from what most people think a "cult" is.

Everyone is free to believe that massive numbers of young girls just absolutely love the taste of cum, rimming, and so on. Nothing fishy is going on...
> sometimes what you want to prove is more convenient to express in the CoC. You can also express it in HOL, but not quite as easily.

> All that said, automation of provers based on the LCF approach with a non-constructive logic is much superior as of December 2017.

This is kind of the point I am making. Is the fact that some things are more convenient to express worth the substantial loss of automation?

> With this in mind I was surprised to see that L. de Moura based the new Lean prover [2] on a variant of the CoC. He thinks that all automation that we currently have for HOL (i.e. Isabelle/HOL) can be brought to Lean.

> J. Blanchette [3] seems to think the same.

Interesting, thanks! I hope they are right and in the future this kind of automation does come to Coq and Lean.
ITER halfway to first ppasma
not jusT ethics. Cost is a huge factor as well for clinical trials.
I'm pretty sure we also have laws against "dumping" (flooding the market with under-priced goods as a way to drive out the competition) that aren't predicated on dominant market position.
You’re probably using some exotic compiler.

Most C compilers already do something very similar, check this out: https://godbolt.org/g/weicFj

Obviously, "x / 10" is much easier to read and support, compared to these manual optimizations.
My wife says it’s bad at her gym too, but if the music isn’t playing you hear all the grunting and clacking.
Stuff like that seems like it would be nice for people who like to hack around with internals, but you’re talking about a tiny tiny fraction of users.
An article on carving spoons and not a single photo of such a spoon? That seems a bit thoughtless.
iPhone X: How Apple makes sure your Christmas delivery isn't ruined
Yup, agreed.

You're also giving up a huge compromise in lenses when going with this approach. When it comes to photography lenses mean more than the camera 95% of the time(unless you're doing sports/action photography, where you need good AF).

With this it's all manual + adapters which always has compromises compared to use in their native format.

It's super-cool technically but I don't see it taking over anytime soon.
> It's not directly observable, but it's [sic] effects are certainly observable

You could say the same thing about the ether, the centrifugal force, and the argument about flat earth.

My money is on dark matter's effects being due to some as-yet-undetectable acclerative force, maybe due to deformative effects of gravity that are only apparent at massive scales. Some sort of extension of GR that takes into account local clustering of energy that it isn't yet doing. But I'm no cosmologist.

Is that what the cosmological constant is all about?
Well ther’s even more Hydrogen in sea water, the problem is getting it out.
So, the Met wants to train image recognition AI to find child abuse images? I'd be surprised if there aren't some interesting ethical questions around this.

To begin with, the way image recognition algorithms work -they learn from examples- to train an image recognition AI to identify images of child abuse you'd have to provide it with a substantial database of such images. I'm pretty sure that's illegal, although of course the Met probably has some sort of exception for the purpose of fighting crime. But, they still have to keep around a big database of child abuse images - and update it regularly, to do this job. It's kind of... icky.

Then again, what about victim protection? Besides the fact that keeping such a database is risky because it can always fall into the wrong hands (it only takes one misconfigured database server) it's also a characteristic of the most advanced image recognition algorithms (conv-nets) that their models can be used to generate new images of the kind they've learned to identify. So presumably, if the model itself fell into the wrong hands, someone could start generating new child-abuse images from it (low-fidelity and not really very useful, I imagine, but still).

So I wonder if the Met has addressed such ethical issues, anywhere.