skysight-inc/HackerNews huggingface dataset:
The interesting thing is not only the article itself, but also the vote count here on HN. I can't stop thinking that professionals, once strategic target for Apple Computers, appear to be dumped by Apple Inc in favor of high-end consumers. It might be stock-wise OK, but it's a significant evolution. And if I care a little less about a breathtaking design and more about memory bus speed and GPU, soon I'll have to buy or build a PC. That's a pity.
Xtext and AnyDSL have very different goals. Xtext is mostly about Syntax and IDE-Support, while AnyDSL is about compilation. With Xtext you'll get support for defining the grammar of your language, but you'll write your own compiler for your DSL - the DSL is "deeply-embedded" in the host language Java, that is: represented as a Java datastructure. In AnyDSL, you don't have any support for custom syntax - all your DSLs are basically just "libraries"/types/functions in the host language Impala - a "shallow" embedding. Java examples of shallow embedding are most "fluent interface" libraries, e.g. jOOQ[1].

This has the benefit that you don't need to know about compiler tech to implement your DSL. However, a domain-specific compiler can optimize using domain-specific knowledge and potentially generate faster code. For this reason AnyDSL/Impala provides online partial evaluation with the '@' operator, which aggressively specializes functions and evaluates at compile time. With the right DSL abstractions, this can result in generated code that is as fast as hand-tuned code.

For a more complete view of the relation between partial evaluation and DSL embedding, have a look at the GPCE'15 paper[2].

We totally agree that the website and documentation (there is some in the github wikis) is lacking at the moment and we're working on them. However, AnyDSL is still a young research project.

[1] http://www.jooq.org/doc/3.9/manual/sql-building/sql-statemen...
[2] http://compilers.cs.uni-saarland.de/papers/gpce15.pdf
The GitHub link 404s. Could it have been DMCA'd?
The Beginner’s Guide to Learn Sass – Mastering Advanced Sass
thanks for great information and i will definitely look into these lectures.
I agree, but not all TV.. "Failure is always an option." - tshirt Adam Savage on Mythbusters. ;)

I often remind myself that "No is an answer too." when doing research or other time-hole work.
Alternative fizzbuzz implementation in golang
I was under the impression that there are still a few small companies in China making CRTs --- a search of Alibaba shows a few sellers still advertising CRT TVs, but I'm not sure if those are NOS.
arcfide's answer is excellent; there's another aspect I like to present to this kind of rant (which invariably always comes up in the discussion of APL like languages):

When people write code in Pascal/Java/C/C++, it is considered bad style if it is not indented properly (where "properly" is the subject of religious wars, but there is mostly universal agreement that deeper scopes should have more indentation). That's not an issue with the language per-se, as it is pervasive among all those languages that did not eliminate it a-priori (like Python and Nim).

The compiler doesn't care; but programmers do, because we read code a lot more times than we write it, and the visual structure of the code informs us of (some of) its semantics, e.g. "this indented block is dominated by a condition specified in the lines above and below it; now let's see what the condition is, and whether it's an "if" or a loop of some kind".

And the real reasons programmers do, is because it makes the code easier to read "at a glance" -- using our efficient visual system to quickly recognize patterns immediately.

Using APL/J/K goes to the extreme with this principle - as it allows whole (useful!) functions to be compressed down to a few characters, it cuts down the need for at least one, often two or more, bottom levels of abstraction - one doesn't need to abstract computation of an average to a routine called "average" when the entire implementation (e.g. in J) " +/ % # " is shorter than the word "average".

One might argue that it is still better to name this; However, +/%# has the distinct advantage that it also conveys the behavior on an array of length 0 or a 2d-matrix, (what does your "average" function do? you have to read the source code or the often-incomplete documentation), the behavior on a matrix (it give a column by column average), etc.

There is a learning curve, for sure - but just like mathematical notation, once you have learned it and used it, it is concise, readable, pattern-matchable-with-eyes, and no one goes back to "let us multiply x by itself y items" when they are familiar with the notation "x^y".

Also, C++ is significantly more popular than the programming language "ADD ONE TO COBOL GIVING COBOL" for the same reason.
That's the received wisdom, yeah. The party line etc etc. I am not so sure though.

One has to factor in the possibility and ease of losing the device, or rights to the content that I have backed up on the cloud. Way too many people have the ability to intervene between me and the content. I appreciate the convenience of not having to move shit ton of bleached and pulped wood, but then I have to worry less about DRM, some raid in New Zealand, govt ordered deactivation of device, reading something that powers that be may not be to pleased about

I would like to read what the fuck I want with less power on others to influence that.
As a person who is more sensitive than average to sub-85Hz flicker of CRT and plasma screens, I'm happy to see these technologies dying.
HTTP Debugger Professional 7.15 License Key, Crack Download
I deliberately didn't ask about UWP because then I would have had to ask "how well does UWP work on a Unix desktop".
Hah, reading this almost makes me miss the days of watching evening films on channel 5, where they'd be broken into two parts separated by a 15 minutes news break.
This is what happens when the net is more important than the fish.
Not sure how much of it overlaps, but I've been going through the biography "God Runs My Business" which is from the 40s and might show more detail from that time in his life. It's definitely a product of that era, too, just in the way different subjects are brought up, so I think it's interesting for that glimpse into the USA as well. There are lots of pictures as well. A very interesting man.
osu! – Rhythm is just a *click* away! is now open source
After 60 years, it’s time for Ghana to modernize and find its role in the world
San Jose Hackers (professional Chess Team) Advance to Divisonal Semifinals
Not sure I understand your point, in a zero-sum game the third party could still do some redistribution to keep the habitual loser "in the game"

Update: scratch the above, you're right. But in my experience the ones arguing that we're in a non zero-sum game also argue against redistribution.
July 2016
The only actual _windows_ problem of those you listed is that uninstalling software is a hassle. That said, it isn't a walk in the park on Mac either.

Can't use Emacs on Windows? Use any other editor.
Can't setup VM in VirtualBox? A VirtualBox (maybe) problem

If you go on Windows expecting the same environment as OSX or whatever OS you're on, you're going to have a bad time. Booting up a fresh Debian install feels better because you know what to do already.

Booting up a fresh Debian install for anyone else is likely to be an almost impossible undertaking without reading some kind of guide, if you're wanting to setup a proper dev environment.

There are problems in any platform you chose, you're probably just subconsciously sidestepping those in your process of setting up, while the Windows ones stick out to you.

Example problems I notice on Mac that are fine on Windows;
Docker is extremely slow, I need to run it inside a Linux VM for any kind of proper developing
Window management is horrible
Installing software

Now, I'm no advocate for any OS, I love running Arch Linux with i3wm, I love OSX and I love Windows. I don't see any reason at all to hate any OS, I can setup my dev environment on practically any platform I could want with little or no difference. The only things that change are the things around my environment, the simplicity of i3wm, the task bar on OSX etc.

In my opinion Linux is the outlier here, which provides the greatest change in environment, not a bad one mind you, just a difference. Mac and Windows are mostly interchangable, I can switch betweem them with little overhead.
I love the idea of building on site with site materials. Rammed earth housing - is an example. Mouldings/hoardings are brought in, but if you do sections at a time, you don't need that much. Labour is the intensive part. If you could get a machine to print with materials on site, or tapping into the waste stream that would be great. Not so happy with the concrete here. I'd rather a more friendly aggregate. An adobe tube house isn't a far cry from this - but looks more eco friendly. I'm sure you could machine much of that building process.
Performance enhancing drugs (legal and illegal)
Why does everyone need to make weight loss so complicated? All you need to do is burn more calories each day than you consume. If you're not exercising, you're still burning calories, so in that case you just need to eat less than you're burning!

Maybe the trouble is people exercise and then they think they're hungrier than they are so they eat more calories than they even burned.
Universal Adobe Patcher 2017 (CC and CS6) Full Free Download
Just yell "I'm wired in!" and get back to it!

(teehee: https://www.youtube.com/watch?v=942sTOBISQs)
Ask HN: I need your help
I have a little brother who is a deep depression, so deep that he doesn't find the motivation or strength to get any help.

He tells me that he is super tired of feeling this way, that he doesn't understand humans, always feel like he's being judged and nothing he does is enough.

As an engineer, I am probably way too analytic in my ways of trying to help him where I try to make him follow this plan:

1. Recognize you are mentally ill

2. Recognize that mentally ill is just like
catching the flu. Anyone can get it.

3. Recognize that you are tired of feeling this way.

4. Recognize you don't have to have the strength to solve it, but just the motivation to ask for help.

5. Ask for help.

So far, it hasn't gone that well and we're still at a stage where he won't ask for help and I'm seriously thinking about calling myself on his behalf since it breaks my heart seeing him feel this way without knowing how to solve it.

I understand this is might be out of scope for the HN community, but this has been my home for a long time and I don't feel confident asking anywhere else.
"Private" means "unavailable to the defendant" in this case which runs counter to some of the deepest roots of our justice system.

You do not get to convict someone based on evidence that can't be entered at trial. Some third party saying "oh yeah we totally verified it" is not enough.
if you weren't in particularly good shape before you started cycling, the lack of weight loss might have been caused by your muscles growing. Almost every study/article about weight loss fails to mention that starting excersize causes muscle growth. And muscles weight 2x times more then fat. So if you're only checking your weight it might stay the same, but it's just you exchanging fat to muscles.
As someone who missed most of the classic arcade games on CRTs, I was blown away trying out Asteroids on a machine with a CRT Vector Monitor. Because the electron beam can focus longer in one spot, it could pull off ridiculously bright bullets. I don't think you could get the same effect on any modern display.
Nice, good to see that they also put 1on1, wondering how this can scale with the "few" startups that may apply.
The article is a poor source for your argument, because it does at length argue about the health risks of X-Rays emitted by CRTs.

It's more helpful to put it into perspective with other radiation sources:

https://upload.wikimedia.org/wikipedia/commons/2/20/Radiatio...

IOW, radiation dosage of using a CRT for a year comparable to ten bananas.
One more data point: last year I managed to lose some weight (82Kg -> ~75Kg) mostly by reducing sugar intake. I did not increase exercise (I kept doing the same 3Km daily walks as before).

Wrote something about it on my blog: http://joaoventura.net/blog/2016/chart-diet/
Some mathematical proofs contain lots of "english prose", but not in fields that have nailed down the semantics; and no field that did even goes back to prose.

mathematical notation is not automatically suitable for programming in general, but is not automatically unsuitable.

APL was devised as a notation for algorithms, not for general math; Iverson noticed that at the time (1950s), everyone was inventing their own algorithm specification when give mathematical proof, and tried to unify that. And since it was well enough specified, someone later wrote an interpreter, and that's how APL came to be more than notation. I urge everyone to read Iverson's "notation as a tool of thought".

> Best tool for the job et al.

Best tool depends on context. No programming language is the best tool if the person reading/writing/mainting it does not know the basics of how to program.

APL is suitable for programming in general for people who take the time to learn it, and is often the best tool for the job, as long as the context is "to be read/maintained by other people who know APL". IMHO, this is an unfortunately rare context.
Honest question, why would you spend weeks doing proof by induction?

Looking it up, I think I did that when I was 16, but I've never used it while programming. I can't see a single benefit to knowing it for programming. Been programming professionally for 12 years now. What am I missing?

Why do you think it's important?
The atmospheric drag on Mars is a bitch. Too little to help much, too much to ignore. Go too low and you burn up. Too high and you skip on the surface.
And this is why CSV is one of the most broken file formats of all time.

"Comma-separated values" for spreadsheets doesn't work when comma is the decimal separator. Localized versions of Excel decided to store numbers in the local format, and just used some other delimiter for their version of "CSV" (NCSV?). So what happens is that you open an American .csv file in a local Excel, and you get an unexplained mess. The same happens going the other way.
Enterprise Ethereum Alliance Disrupts Things in Blockchain. Or Does It?
> There's also research showing that staying away from high-carb foods

Most people should actually watch their carb intake more than their high-fat intake. The most silly products are fat-reduced but sugary things, such as certain cereals.
A small variation to this is to ask "Hey, sorry is it important?"

People tend not to think themselves or what they're doing as important for whatever reason.

It also sets the scene for future interactions. Oh and sometimes it really is important..
If you're a developer or tester, this means every single time. Because every start is the first time for that build...

Regarding the gdb signing, it's painful. Even more so is the privilege escalation--it's impossible to debug over ssh with gdb or lldb since the GUI prompt is on a different machine. Not having the prompt in the terminal where the debugger is being run is asinine. I had to switch to debugging on FreeBSD to avoid the pain of all this; it's madness.
You can choose to use OVH's kernel or factory kernel at install time.
There are very strict rules around the BBC and what it can do within the UK (showing adverts is the most obvious, but also fair trading rules around promoting for-profit entities). Lots of things will be blocked simply to avoid this.
YouTube TV will be huge. Apple must respond
> It is very convenient - and sometimes absolutely necessary - to allow people to put their logic into configuration.

It sometimes is somewhat convenient and quite often it's PITA. Indeed
there are times when the code is a part of the configuration (Riemann is one
such example, my two RPC daemons are another), but those are rare.

And then, most probably the pluggable logic should not be written in the same
language as the software was implemented in.
Nice! I'm living in Vietnam and I'd love to learn from this program.
I heard this had a virus in it that sends snapshots your desktop back
Introducing DepTrack, a dependency management tool
Yes, muscles definitely increased. My upper legs became more muscled which I could simply measure by the fact that I didn't fit in my jeans anymore. But at the same time, belly fat remained roughly as pronounced as it was before exercise.
It's helpful for truly understanding recursion.
[Video Lecture] Steven Skiena: CSE373 Analysis of Algorithms
[Video Lecture] Steven Skiena: CSE519 Data Science
notes, etc: https://www3.cs.stonybrook.edu/~skiena/519/
Calories in, calories out. I know this because I struggle to gain weight, quite the opposite problem most folk have.

If I eat over 3k calories, I gain weight. If I eat less than 3k, I lose it.

Not tracking my calories and quitting my workouts due to wisdom teeth extraction and a nasty sinus infection turned chronic has cost me 20lbs.

20lbs I worked very, very hard to gain. Consuming half a gallon of whole milk a day, forcing myself to eat even when I had no appetite, etc. Working out. I felt great and looked better than I had in awhile. All gone now, back to square one.

My goal is to get over this sinus infection, (black plague, whatever it is) continue counting calories, as well as exercising, to put that weight back on and then some.
Reflections on the revolution in Middlebury
notes, etc: https://www3.cs.stonybrook.edu/~skiena/373/
I think it's more reasonable to call it a plateau than a ceiling. There's only so much energy the body can conserve in other activities.

If you do six hours of exercise burning 1000 calories per hour, it's physically impossible to compensate that away: in that day you burned at least 6000 calories, and more realistically upwards of 7000 (keeping your body alive for another 18 hours, building/repairing muscles, etc). I guess the article conveniently leaves that out because it's largely irrelevant: few people are able to invest that amount of time into their diet.
Before we get to political leaning there's a small issue of journalistic integrity and the difference between editorials and news articles
Are there any interesting insights learned from running the fellowship that contributed to the development of the MOOC?

I definitely think the community would love to hear them!
"Exercise" and "diet" are very vague parameters . In each organism, exercise means different things, and nutrients are consumed differently. Even calories are a bad parameter. We need a more scientific approach to diet, based on individual metabolic profiles.
Though to be honest, I don't understand why you needed to keep file upload dialogs open… why would you click the button to pop the dialog if you weren't intending to immediately select a file?

Would finding and copying a somewhat long folder path from the internal wiki qualify as a good reason?
Haha, reminds me of when I was a kid. I noticed that on TV shows the logo in the corner would disappear just a few moments before advertisements start. So I started getting up to grab a drink or go toilet just before the ads start. Freaked out my mom and sister a lot. I think I kept it up for at least a year before explaining it to them. I'm not sure my father figured it out, he never said anything though and he was a master troll himself.

I have two babies now, they don't stand a chance. ;)
Related but with a different focus, Chelsea Handler made an app called "Gotta Go": https://gottago.io/ The process was detailed in one of her Netflix episodes IIRC.
Time is your friend. After 30 it becomes a lot easier :)
Responsible disclosure – Don't shoot the messenger
Weight loss really isn't that complicated.

Want to lose weight? Consume less calories than your body needs so it has to convert your excess fat for fuel.

Exercise can help you use more calories so you get a slightly bigger deficit but unless you exercise like crazy every day it isn't going to give you much of a deficit.

I think the issue is people think doing half an hour of cardio and some weights means they can continue to eat whatever they want or only do slight calorie reduction.

If you are not losing weight it is because you are still consuming more calories than you need.

Exercise is great for making you fitter but weight loss comes from calorie reduction.

So calculate how many calories your body needs based on age, sex, height, weight and honest daily activities and then eat 15% less and you will lose weight.

Edit: Just to be clear I am not saying exercise isn't important. Everyone should exercise but, IMHO, the more important part of losing weight is getting your calorie intake under control.
They are the basis of recursive algorithms proofs, sure you may not need them for everyday programming but that's different for computer science
But if you can force yourself to run a marathon every other day, you'd very likely also be able to stick to a healthy diet. So both kind of depend on self-control – or whatever one wants to call it – and it would be interesting to know what exactly makes modern (or western?) people so different in this regard, as well as the difference between individuals with a similar background.
Yup. Finder's still not the greatest for keyboard navigation, to be sure, but these shortcuts do make it more comfortable to use.
Invalidate Node.js modules and make them automatically reloaded
> but then again, as a Linux user, if I have to open a GUI to do something with my files

Well I'm kinda visual/directional when it comes to files and other data structures. Even before I had a PC that could run Windows, ie living in MS-DOS and certainly being aware of navigating and operating the file-system via CLI, I much preferred the blocky-ASCII-GUIs (with menus and "windows" and panes, usually both mouse&keyboard-capable) of Borland, MS and many other software vendors incl "commander"-type fie managers. So.. probably a very longstanding "habit" thing.

The irony is in those days the "power-user" in general was adamant to get as quickly and as far away from the CLI as they can, even though they need to know some basics to automate script and launch stuff. Other than the odd GNU beard. Whereas the 2017 generation loves the CLI, would never have predicted such a thing! =) I've found time and again that once one operates with more than 1 or 2 dozen commands, it's disturbingly often `command --help` or `man command` first because there are only words (that vary from command to command) absent a program based on and supporting the rich set of commonly-used, de-facto-standard spatial gestures and interaction primitives that have evolved over the years.
I hear this argument so often. It's complicated because the human organism is complicated. Counting calories is a good approximation but it is only an approximation. The error for calories in a nutrition label is up to 20%, and that is based on an approximation to begin with (e.g. 4 kCal/g for protein). Beyond that, people have different digestive systems with different efficiencies for absorbing nutrients from different sources.

Then there's the soft factors. Counting calories is a lot of work, not many people stick through it. You end up with a lot of gaps in your data anyway, unless you give up eating foods that you can't source good data for. Psychologically we are fairly bad at estimating portion sizes. There are a ton of situations (restaurants, potlucks, etc.) where calorie counting becomes impractical or cumbersome.

On top of that, there's the changes in mood that come with reduced caloric intake. Again, different from person to person. Not simple.

I guess if you phrase it as "eat less, lose weight" then it's simple, but eating and your waistline are far from the only thing in your life. Calories in, calories out is a pretty solid theory but doing the numbers is a different matter.