skysight-inc/HackerNews huggingface dataset:
Not this one, but later theorem provers have proved plenty of new results, although probably not many of them are very interesting. Here is a two decade old list [1]. One of the more interesting results is Robbins Conjecture, which was proved by a prover called EQP.

[1] http://www.mcs.anl.gov/research/projects/AR/new_results/
Oh great, soon I won't even know how to exit my browser anymore :)
Another Responsive Web Design fail, with a social media bar on the side masking and making the text unreadable on a smartphone.
> Also, people new to programming and command lines are seemingly incapable of reading error messages.

Aren't all people seemingly incapable of reading error messages? (ignoring the rouding-error-amount of people who do)
Initial targets will be LeEco Le2 and Xiaomi Mi5S. They aim to also support this extensive list: https://eelo.io/img/supporteddevices.txt

Reminds me I should check out MicroG again (replaces Google services).
I hope her sacrifice will not be in vain.
Double ironic, since it was in response to a statement attributed to that analyst, that is itself self-evident and obvious.
What's most important? That people can read you post or that they share it?

It's much more likely that I share something that I read and liked than something I didn't read.

I'm much less likely to read something if the text is covered by a share-bar.

https://imgur.com/gallery/hF34lji
The compiler is only 1/3 of the equation. One needs also a fast runtime (memory management, signal handling, implementation of language primitives like bignum arithmetic, ...) and a fast implementation of the core language library - since that is also mostly written in Lisp.

Additionally there are roughly three usage modes for the larger CL implementations:

1) interpreter, often used for development/debugging

2) safe compiled code with full error checking and full generics, often with lots of debug info

3) optimized code, with various degrees of unsafeness, with no debug information, often with limited or no generics

Often applications are a mix of 2) and 3), where often 3) is limited to the portion of the code that actually needs to be VERY fast. This means, that the large majority of the code is fully safe and fully generic code -> thus it has a lot of influence how fast the language/application feels.

For example when one uses CLOS (providing a lot of generic and extensible machinery), a CLOS implementation will use a lot of caching to make it run fast -> caches cost memory. Now, when one starts a CLOS-based application these caches need to be computed and filled - which might make the application at start up feel a bit slow or sluggish. So it makes sense when generating an application to save it with the caches pre-filled - then at application start, caches are simply already loaded and there is no performance hit at startup. That's not something one can see in a simple micro-benchmark or which depends on the 'compiler' (the part which compiles code and generates the machine code) - that's performance from the wider CL system architecture -> one needs to be able to provide that to CLOS applications to improve user acceptance.
Of course it was China.
How to make meetings work better
I guess it's less of an issue when the major competition is not just doing something "pretty much" like Microsoft, but one step further in not allowing another browser at all besides Safari.

The competition is enough to get past that I guess. Or we're just in an age where monopolies aren't really litigated much. Either or both seem plausible to me.
My wife used to explain the grocery shopping to our kids when they were babies. "Let's go get tomatoes, OK? What else do we need?" and so on, as a running commentary. They were babies, so they couldn't answer of course.

I would feel stupid doing that, even if I see the benefits, but I enjoyed reading out loud to them, because then you have a script to follow. I wouldn't read "Dog - Apple - Ball" children books, but stuff I wanted to read anyway, just to get them used to hearing my voice, the speech rhythm, and the vocabulary.
You can have a mechanical button toggle the position of the interior switching hardware. Every press will flip the switch inside to the opposite path. Like the button on top of a retractable pen.

Maybe a bit more complicated; there are moving parts required to index the action. But doable without extra wiring or centralized control.
Could you please not post unsubstantive comments here? Especially not nationalistically divisive ones.
This is just an ad. "Schedulers are too hard for you, use our product!"
I use a few EC2 scaling features and always find them needing a little more TLC from Amazon. There are some simple quality of life things that would make my setup simpler. Recently I've been moving some of our less frequently used services to Heroku as their billing model suites infrequent usage really well.

Of course, you have to take the suggestions and examples on this page with a pinch of salt since they're selling their own products.

off topic: it's difficulty to read this post on mobile because the social sharing widget covers up the first few rows of letters on each line.
My personal recommendation would be to stay away from anything that ends in ".js" and do it the good old way with HTML & CSS.

No customer ever asked for React, or Angular, etc. I have never heard someone say "I wanted to buy your product/service but I'm not going to because you use boring HTML instead of React".

Use the good old proven stuff until you can't, and then look at your options. There are scenarios where using React/Angular/etc makes sense. But for 99% of websites, it doesn't, especially if your website is a way to showcase content/goods instead of being an application itself.
Iceland Prepares for a Bitcoin Future
Ask HN: Any open source embeddable widget library similar to Stripe Elements?
I am looking for an embeddable widget generator. It can use iframe or not. I just want to be able to generate code in a dashboard that i can just drop into a webpage. Very similar to Stripe Elements.
> it is implemented.

AFAIK only for Google Home devices, not phones
> -ffast-math is a shotgun that affects a lot of things

Interesting point. GCC and MSVC both seem to have (incompatible) intrinsic functions, for what that's worth.

https://gcc.gnu.org/onlinedocs/gcc-4.8.5/gcc/X86-Built-in-Fu...

https://docs.microsoft.com/en-us/previous-versions/visualstu...
A tempo-correct version of the default tune, which was really getting on my nerves:

[:piano {:tempo 130}
1/8 :c :c 5/8 :a 1/8 :f :g :f 3/4 :d
1/8 :d :d 5/8 :a# 1/8 :g :a :g 3/4 :e
1/8 :e :e 5/8 :+c 1/8 :a :a# :+c 3/4 :+d
1/8 :f :g 5/8 :a 1/8 :e :f :g 3/4 :f]
The point is that what is toxic and what isn't is a personal opinion, not an absolute truth.
Or you can just buy chips from companies who don't put backdoor in them.
> My only point in mentioning apollo-tools is that DSLs are very powerful, and have the potential to make complex problems much simpler.

Yes. But just because it has that potential, doesn't mean that Vue's DSL(s) are not without the many problems anf gotchas I described. Just because Apollo's/GraphQL's DSL is potentially good, doesn't mean that Vue's is. etc.

> It's not a question of "better" or "worse". It's a question of tradeoffs on spectrum of abstraction.
> I'm not here to bash JSX or react. But you apparently are, and I'm just trying to open your eyes a bit.

My eyes are wide open. Where in JSX I see a uniform approach that works in all JSX contexts, in Vue I see several DSLs bound together by magic of the library.

> @ and : are just short hands. That's like saying: what's the difference between `map` vs `reduce`

Shorthands mean:

- new syntax. For all intents and purposes it's a new syntax (call it a DSL syntax). And you have to know the difference and gotchas of that syntax. You have to know where you can:

-- provide a thing that looks like a function ref

-- provide a thing that looks like a function call

-- provide a thing that looks like a bound variable

-- provide a thing that looks like a Javascript expression

etc. etc. etc.

And that is further compounded by the fact that `v-` attributes sometimes take single Javascript-like expressions, sometimes not (v-for), some have additional "arguments". some have additional modifiers etc. etc.

And of course, some of it is Javascript expressions inside strings (`v-` attributes), some of it is Javascript-like (but not really Javascript) DSL inside mustache's curly braces (inside tags).

So here's the original statement that started this thread: "The amount of special cases in Vue templating syntax is comparable to the special cases and gotchas of JSX"

This is demonstrably provably patently not so, as this thread has demonstrated.
Did you watch the video?

https://player.vimeo.com/video/278835579

It says the government shutdown the factory due to environmental crackdown.

Jump to video 1:45
I really don't get why the West is gifting all this technology to a competitor. By now it should be clear that in all cases of these joint ventures the only goal is to eventually clone the product. They have ripoffs of high-speed trains, military equipment and so on. I guess this is also how Japan caught up after WWII, but there the US has still ~60000 soldiers on the ground and significant long term ties.
You can get it from the source. No deceptive marketing tactics required.

https://www.apple.com/newsroom/
For speed, Lua code should be run in Luajit.
I really miss the days when I started almost 15 years ago sometimes when we would just build a site with Dreamweaver Templates, and FTP it up to the server when it was ready. Maybe add a CGI form if we’re feeling fancy. It was remarkably more simple to keep an understanding and mental model of the entire project.

Honestly part of me still feels like that would be good enough for most businesses these days still, but that’s just not what developers want to build.
Coroutines plus libuv
Any chance to implement this combination?
I don’t think people aren’t saying anything because they’re scared, I think they aren’t saying anything because they don’t know why this post is on HN.
> Veering ever so slightly from the common, but entirely non-documented, approach makes it hard to get help. Places like StackOverflow are increasingly useless: instead of answers you get “Why are you doing this at all?”, “Yuck, you’re doing it all wrong, but I won’t tell you why” [...]

While I disagree with the premise (that using old approaches should still take you just as far (and further) 20 years later), I do agree with this particular quote.

Often on SO I see well-supported answers like, "that's because you're doing it wrong" without going into detail on what doing it right would mean, or better yet, suggesting alternative frameworks or patterns where what's "wrong" over here is "right" over there.

If programming in 2018 has become more like plumbing, then plumbers in 2018 have become more dogmatic, and less willing to steer novices that prefer tools like 'x' towards approaches that use tools like 'x' more often.
Bathtub
Also https://news.ycombinator.com/item?id=17488719.
OK, so we agree that in order to value their shares/options, the employees need:

1) info on the share structure and preference structure

2) a somewhat accurate valuation of the company

Whilst it's possible that people value their own shares wrongly due to missing/wrong info about #2:

- (major) Misunderstanding or not knowing #1 almost always creates a larger error or uncertainty in the calculation, than does an error in #2, and

- (minor) With #2, it's impossible to be certain anyway, so everyone has some of level of error
Another article at https://news.ycombinator.com/item?id=17488344.
History? You mean Google?

Google will glorify it’s history in it’s middle schools just like America glorifies it’s history in it’s middle schools.

Considering the researchers are hired according to their sheltered backgrounds, holding them as indivuals accountable is futile.

If you care, vote accordingly, for politicians willing to refuse corporate donations.

If you care a lot, study revolutionary history, learn from it and organize. I’m just paraphrasing the only thing that seems to ever actually work.
Vacuum Pumps
Agreed. Whatever happened to progressive enhancement or graceful degradation? Many a website and user experience is not enhanced by using Javascript at all.
CSS Border-Image: Add Makeup to Your Borders
Isn't this where WIX and similar products come in? Sure its a lot more complex to create a simple website from scratch, but the process is automated by tools like these. I have non technical friends with blogs these days.
For reference, trichlorofluoromethane (also called freon-11, CFC-11, or R-11) [1]

[1] https://en.wikipedia.org/wiki/Trichlorofluoromethane
Pumping station in Buenos Aires is pretty too - https://en.wikipedia.org/wiki/The_Water_Company_Palace
I'm surprised that the poignancy of Martin Luther's proclamations [0] the previous year seem to have been lost in this analysis. It's interesting that the article suggests that the belief-systems driving this hysteria began to diminish in the years following. Was this peak middle-ages? Had the papacy driven everybody to breaking point at this stage?

[0] https://en.wikipedia.org/wiki/Reformation#Martin_Luther_and_...
I take it you don't think much of the various libraries/indirection layers/frameworks that are meant to save you from browser-specific tuning?
This is indeed good enough; in fact there was a post recently about how demand for Ruby On Rails (a "boring", server-side MVC framework) is still going strong.

Javascript, single page apps and React are all the hype, but outside of a few unicorns (Facebook, Airbnb, etc), the "boring" way is still where most of the money is being made. A lot of businesses still rely on Wordpress for example, and while that platform is garbage from a maintenance & security perspective, it does its job and proves that customers don't actually care about your site being powered by hype technologies.
Spyware: therein lies the rub. As a civilian I suppose I'm not a target. But if I ever expected to handle classified, sensitive or even just politically compromising material with my device I would never go for a Chinese brand. Sure, the NSA gets its grubby fingers in where it wants.. But China's surveillance engine has the heft, sophistication and motivation to collect all the data it can. Every piece of silicone could be compromised.
It's also much more likely to come back and bite you in the form of stolen IP, a visa ban, or online harassment and censorship than US and European surveillance operations.
Don’t be silly. There will soon be 3 poorly-written plug-ins that will give you almost the exit functionality you want, all with overlapping yet incomplete features.
This looks really promising!

There are a few things that don't seem to work, e.g. `ciw`.
Is this an instance where evidence can be collected by the relatively new EU Sentinel-5P satellite?

[1] http://www.euronews.com/2017/10/13/environmental-satellite-r...
> TV sets with front camera

https://www.samsung.com/us/es9000-75-inch-slim-3d-led-smart-...
Additionally:

> with the plus that you don't have to litter your code with `this`.

"Littering code with this" is exactly how plain old vanilla JS works. Besides, "littering your code with this" very much depends on where your callbacks and variables come from... as in any old plain vanilla Javascript code. Because JSX is a paper-thin DSL on top of vanilla JS. Brilliantly and succintly described in this comment: https://news.ycombinator.com/item?id=17474370

In Vue you don't litter your code with this. You litter your code with hoisted variables and functions that are arbitarily hoisted into scope and injected everywhere. See my comment here: https://news.ycombinator.com/item?id=17471199 starting at "Of course. See inline comments."

The amount of gotchas and special syntaxes, and special cases, and the amount of moving part you have to understand to see where things come from and go to in Vue is insurmountably larger than in JSX.
Well, culture. Python could be programmed to fallback to urllib3. Bash could have a package manager and virtual environments.

Hm... I wonder if that is a good idea or a horrible one... :)
1) My grandparents operation and a few others I have spent time with were from boutique operations. At least in the regions I have seen the majority of the market is not based on suppliers as you say. Perhaps there is data to the contrary as my experience is within 2 regional bubbles only, but your statement is not true in these regions.

2) I speed watch through a good part of the documentary. 100% there is some horrifyingly bad footage there. I feel its fair to note what I saw in Germany / France the animals are treated well. The horrifying footage was largely shot in developing countries in the middle east. This supports what my original comment was about, the information being provided shows a skewed view. And I haven't seen anything to change my mind that in some regions animals are treated well and looked after. And in others, they are not.
Which doesn't make it any less insulting.
On the security and distribution side of things, I recently had to guickly throw a website together, and found netlify super convenient for that - it handles the https and cdn part, and you can use it like a folder to drop static html. It allowed me to have something up and running faster thant I thought
Thanks for the article.

How do you manage translations across multiple projects ? Do you have a database to keep all the strings, or you simply look if the translation has been done in another project when needed ?
Who make the list of strings to translate : the specification writer, the developer when coding, another one ?

Do you use an external tool to do that ?

I've started to use CrowdIn but it's not good enough to make it easy for us (as developer) before the strings batch is sent to translators (ie: extract, collaboration).
I just googled Dreamweaver and it still exists! I wonder who uses and pays for such software today. I used it like 15 years ago when I was a kid, that and Microsoft Frontpage, but can`t imagine paying for Dreamweaver today.
From a non US citizens point of view, getting spied on by the giant uncle Sam or by Xi's China makes less and less difference if the current trends keep on : USA retracting on nationalistic beliefs while China keeps opening up.
See https://en.m.wikipedia.org/wiki/Under_the_Dome_(film) for China’s inability to regulate their out of control pollution.
Real Life Toll Horrors – Interstate Tolls – Interstate Highway Tolls – ATFI
I've gone over to SoundWaves, which is also on F-Droid.
Don't sit down in front of your computer until you have a very good idea of how your algorithm is going to work and how to code it.

Sit down in front of a piece of paper with a pen. Draw diagrams to visualize the data structures that you're working with. Sketch different corner cases (for example, arrays of odd and even length). Informally (playfully) derive an algorithm to do what you want and convince yourself that it does what you want. Play through different cases on paper, maybe use markers (coins) to keep track of where you are. Write down the details so you don't have to keep them in your head.

I have plenty of experience now, but I still use paper and pencil when I have to solve a problem I haven't solved before. It's just so much easier to explore the problem on paper, to think about corner cases, to visualize the inputs, outputs, and intermediate data structures, and to wrap your head around everything.
Probably why static site generators are popular. Highly effective, shallow learning curve, simple.
Just so you know: In Germany, Antifa is an umbrella term for a lot of left wing projects which try to build social structures for (mostly) peaceful reform. People like me - being antifascist - have been active in the political landscape for more than forty years. Mobilizing against neonazis works and has been pretty damn necessary in Eastern Germany since the collapse of the GDR.

Unfortunately in the US, activists have been labeled as terrorists even though their organizing works as intended [1] - without fatalities.

[1] https://www.usatoday.com/story/news/2018/03/12/alt-right-lea...
Online Python Training by Experts Register Now
Not only is a lot of Javascript useless, but it actually degrades the user experience.

The "new" Reddit completely kills my 12-inch MacBook when I load a page, and it still feels sluggish afterwards. That pile of garbage literally loads more code than content.

YouTube's crap navigation system is the same - if you click on a video it will actually load it & update the page within the client using JS, and in my case it's considerably slower than just loading the server-generated page from scratch. I often find myself opening videos in new tabs (and closing the old ones) or hitting refresh as soon as the URL bar is updated just to avoid this shit because fetching & loading a brand new page is actually faster than their so-called "improvement".
For people who don't understand the dots and colons, OP's proposition can be expressed in modern notation as

((p V q) -> (p V r)) -> (p V (q -> r))

It's easy to justify this tautology by considering the case when (p) is true and (p) is false.

By contrast, the proof in PM and by LT strike me as highly unintuitive. I guess it's an example of using Hilbert Deduction instead of Natural Deduction, where Natural Deduction is closer to how people normally prove things. For programmers, it's as if they programmed in Combinatory Logic [1] instead of Lambda Calculus[2].

[1] - https://en.wikipedia.org/wiki/SKI_combinator_calculus
[2] - https://en.wikipedia.org/wiki/Lambda_calculus
I don’t want to minimize any of the work being put into this, which is clearly not a trivial amount, and is actually quite interesting and useful for learning purposes. That being said, I have some blunt criticism to offer that I hope provides some context as to what kind of tooling is useful in this space:

I’m not sure I would prefer this over a different (probably visual) tool that facilitates, e.g., ensuring that a given set of notes fits into a measure, or checking which notes are played simultaneously. It also frustratingly does not take advantage of any of Clojure’s functional affordances, such as the ability to transform data programmatically, and does introduce global state, harkening back to C’s misplaced notion of “macros”. Not much here seems Clojure-specific other than the sometimes confusing dynamic behavior, such as implicit list interpolation, and JS interop. All that said, I hope this becomes more than just a Lisp-based clone of an existing format with mature tooling: http://lilypond.org/text-input.html
The front page of Wordpress.com claims "WordPress powers 31% of the internet."

A lot of mileage in the "boring" frameworks!
*conflating
On that level yes, just like doctors care about patients. But the owner of a coal plant will not keep operating a coal plant at a loss. The plant will be shuttered. The same goes for a private hospital operating at a loss.
I once read a rather compelling argument against syntax coloring. The primary idea was that it's hard to keep it consistent and thus you'll be getting different visual cues every time, thus confusing your visual memory. I actually follow this advice and I'd say it works for me: I don't need any coloring in code. (I only use rather simple coloring on web pages and now, actually, I think I should at least make it optional.)
How does Microsoft Azure work?
It comes as part of the Adobe Suite license. I’ve kicked the tires recently but I don’t know who is actually still using it. ColdFusion developers I guess. I don’t know if it still holds true but the government had a lot of ColdFusion as of a few years ago.