skysight-inc/HackerNews huggingface dataset:
Purity is tricky to define. For example (stolen from Reddit user gasche), if you can measure how much time a computation takes, then Haskell is impure, because a lazy value takes longer to compute the first time than the second. You could try to patch it up by saying the impurity must be observable via pure code, but that makes the definition circular. And that raises another problem, where printing to standard output becomes "pure" if the standard output can't be observed by pure code (which is true in Haskell).

Another problem with seeing purity as fundamental is that our physical reality isn't a persistent data structure (past states aren't accessible), so the best algorithms possible won't treat it as one. Among the tons of papers describing fast algorithms, practically none are using purity, unless they required purity to begin with.

And there's a third problem, specific to Haskell, that might interest you. The article is using ST to implement an impure computation. You'd think that ST itself can be implemented in pure Haskell, maybe with the usual logarithmic slowdown. But unfortunately no one knows how to do it, and there's a strong suspicion that the (pure) type signature of runST has no pure implementation at all, even with quadratic or exponential slowdowns. The reason is tricky to explain, but it's well covered on StackOverflow and Reddit.

(That's not even going into the issues of quicksort. Suffice to say that a pure quicksort is hard to write, ST or no. The problem is that you need good pivot selection to prevent the quadratic worst case, but randomized pivot selection will lead to observable impurity in the output, because quicksort isn't stable. So you must use something like median of medians, making the algorithm much slower and more complicated.)
Oh wow.
I am days away from finishing a PhD thesis on sketching sound and music [1], and Daphne Oram figures highly into my background research.
A friend of mine built an iPhone app that emulates Oram's system [2].

Another notable figure in the world of drawing music is Norman McLaren, who literally painted or drew directly on the soundtrack portion of his animated films.
The soundtrack for his film Neighbors [3], which won an academy award in 1952, was produced this way.
Theres a short documentary on his process here [4].

On the more avant-garde side, Iannis Xenakis had designed a computer-based system called the UPIC in the late 1970s in which you could directly draw waveforms and then direct their frequencies over time by drawing into a graphics tablet.
He used this to compose his piece Mycenae Alpha [5].

This page [6] has a really great run-down of optical synthesis in general, which includes a number of individuals and systems involved in directly drawing sound and music.
Some of the visual sound designs used in these systems are quite striking, for instance the variophone [7] or Yankovsky's painted soundtracks [8].

[1] Demo of my research software here: https://www.youtube.com/watch?v=Tdj5e82nPHQ

[2] https://itunes.apple.com/us/app/oramics/id454505541?mt=8

[3] https://www.youtube.com/watch?v=P-o9dYwro_Q

[4] https://www.youtube.com/watch?v=Q0vgZv_JWfM

[5] https://www.youtube.com/watch?v=yztoaNakKok

[6] http://www.umatic.nl/tonewheels_historical.html

[7] http://www.umatic.nl/tonewheels/historical/vario3.jpg

[8] http://www.umatic.nl/tonewheels/historical/painted_soundtrac...
So it's like latexmk + lazy downloading? How does it compare against latexmk?
/me looks at clock, laughs, gets back to work.
Some years ago, I left my job and country to be a private tour guide in Kyoto. Did it three years, great times.
How does "infrastructure in C++" translate to huge cost savings?
Build an 8-Bit Computer from Scratch
Great to see people trying things like this!

But... Ctrl-F "commute"? Nope, don't see anything. Are you either remote or living very close to the office? Having more than a few minutes of commute does potentially change the trade-offs.
Every day, and I would have it no other way :)

It's pure joy
Surface Laptop top range in the USA as expected, and check the Core m3 version
So what? You understood, and to all appearances agreed with, the point being made ("thinking of Japanese as analogous to English is counter-productive for most students"), right?

The poster clearly wasn't making any broader claim about the "qualitative similarity of all human languages" (whatever that might be).
to be fair, AlephGarden did say during an earthquake. Telecoms, Hospitals, etc, perhaps wouldn't be happy with being out for the time taken for an earthquake to blow over. Plus aftershocks when damage control is in progress.
* mostly keeping screen brightness at ~30%

* f.lux

* pomodro sessions and walk-breaks

* compulsively execute post-work 1hr evening exercise

* at least 6 hour sleep everyday in darkish room.

* Live with hope that these counter most of the sedentary work-lifestyle damage :)
Malicious movie subtitle files: A new cyber security threat
The SSDs address part of the problem. As noted by another post here, many rooms are build and structured with the assumption that nothing ever moves, so rather reasonably, you lay cable in a manner that has little flexibility, you mount things to floors/walls, and so on.

The data integrity is important, but the physical design and layout makes a rather big assumption that the infrastructure you're mounting stuff on will not move or vibrate.
In scientific prep school the literature theme was "the search for happiness". I remember hearing the professor saying it was a worthless subject for prep school students. I've enjoyed reading Seneque and it made me put happiness into relative terms: once you stop setting yourself impossible goals, lead a simple life, find humility, have a minimum amount of discipline, you won't be so unhappy. Not following the advice of others too much is also important. Feeling fulfilled and content of what you have is also key. I cannot stand people who complain when they live in a first world country. I find it so insulting for the entirety of the third world out there.

Being the person that I am, I don't believe in happiness as people talk about it, and I got interested in what makes people believe in things, it seems to me that as religion is diminishing, people still seeks to fill their mind with a belief system. I read so many people on facebook quoting weird happiness, meditation stuff that makes no sense at all to me.

Honestly there is no point in seeking happiness. The more you want something the more it tends to run away from you.

What I know, is that people tend to seek happiness just so that they can attract other people to them, because it is somehow attractive. I find it desperate. To me happiness is just what drives society to socialize, mate and keep running, just like a machine.

And I have not even brought what I think how men and women view happiness, I'm sure there are large differences, especially when you think about the whole feminism and men's right movements.
Depends which aisle you're in :)
Here are the upgraded apps for the month of may
So that's who Logan City is named after? Seems fitting.
Yeah I think you're right that current systems don't have the complexity yet. It's either simple tasks (turn on the lights, play music), search (find X for me) or menus. As complexity of tasks increases, I think it'll become more important.
> require a native app otherwise

Oh, the tragedy /s
Even just at the browser level, there's also the CSS cache and Image cache as well on every single page.
Thanks for the tip. Would you know of any CRM products that would work with WhatsApp?
The telegraph was the Victorian internet
C++ is faster and takes less memory than any interpreted language and most compiled languages. C++ will also simplify to C in most optimizations, which can strip away C++ cruft without removing type safety of c++.
Or you can spin an instance on AWS of your choosing?
Pacific Domes – Geodesic Dome Homes, Event Tents and Greenhouses
Regular users do notice things like that, they just can't articulate it. "I think my computers getting old" and "I think I have a virus" are common ways of trying to explain things like this.
DLD Tel Aviv Innovation Festival 2017
Given a choice, I think 8x4 would be more sensible in terms of benefits. The best use of free time is enjoyable experiences outside work, which is more doable when you have it without interruptions of a work schedule. Five hours a day is awesome if you have a hobby or a side project; not so much if you want to travel. The second reason is the time it takes to level up and actually start working. Honestly, this could be lessened if I didn't check reddit & HN first thing after I start working but I have grown a bit habitual to it.

At any given day, five hours of focused work is much better than eight hours filled with distractions, but I haven't found the magical solution to make that (super-focused work) happen.

Personally, I don't have much of an issue with working hours. The main issue is I can't enjoy long stretches of vacation. Yes, it's possible to sacrifice some of your salary to go wild, but you can't do it without getting a frown from your superiors.
Why do you post a tweet about a blog-post instead of posting the link to the blog-post?

I hate this.
You can only do what the browser sandbox provides, no direct access to the underlying operating system, only to HTML/JS APIs.
MongoDB does not support LSM on any of the production releases of WiredTiger yet (or MMAPv1, to my best knowledge. There is support via MongoRocks (which uses RocksDB via Mongo's swappable engines), but that is Facebook's version of LevelDB
I wish more companies offered less than 40hrs/wk. But, hey, most places don't like even giving vacation.
I'd rather commit seppuku than go back to a 40hr office.
I would argue with you, but I don't really have to prove you wrong.

You will eventually prove yourself wrong, since deemphasizing error handling goes wrong very quickly.
But that wouldn't be portable to other architectures though. Webasm is supposed to run on anything a modern browser can run on. I think it would also be much harder to guarantee that's secure.
Cool idea -- other people already do something similar though with WIP, if a rudimentary version of a track gets interest, they come up with a better arrangement, mix, mastering etc and just upload the revised tracks as replacements.

That said, if I was to do something "interactive" I'd probably set up some kind of site where producers could audition hooks and then make the most upvoted ones into an actual track. Or even further, let the users build hooks that then get arranged into a full track (by a producer)...
Html login with JavaScript and localstorage
Ask HN: Books to learn applied maths?
I am looking for books that can help me learn maths from a applied point of view. I have studied statistics & I am comfortable with graduate level maths. I like books that start from applied point of view & then move in to theory. Something like the Halliday, Resnick, Walker book on Physics, do you know anything similar for maths? I understand that maths is part of many disciplines so I don't mind if the books go into many different realms
"Extremely high" requires the qualification that it's only high in comparison to the current market price, but not high in the sense that it makes use in batteries uneconomical.

Currently, a very small proportion of the cost of the battery is lithium. As battery production increases, the market price of lithium will go up, potentially by several times. This will make spodumene deposits economical to extract, but it will not have a meaningful effect on the cost of the batteries.

The preliminary work to open these deposits for extraction has started in many countries, for example the Keliber project in Finland is currently undergoing the environmental effect study.

http://keliber.fi/
Collectd vs. Telegraf vs. dd-agent
Turbos have one moving part which runs (typically) on an oil bearing. They are basically immortal IF run at spec pressure and if not subjected to oil starvation. When you see busted turbos, it generally means it's been run at higher-than-spec boost.
Quote Kickstarter: "I played with the shape, size, weight, balance, and surface friction, and eventually arrived at a working design (g). However, when I altered the design to make it injection-mold-friendly and CNC milled it (h), it became too light and bouncy. A ball would flip it one way, and it would bounce right back the other way again. I made a few more adjustments and finally arrived at (i)."

I think there will be still some iteration when going for injection molds.

I was also thinking that Kickstart project makers should ask more from their community. I would love to translate to a Dutch version for example.

However, we've run a Kickstarter project ourselves. The involvement is not like that in practice. :-) It would be nice though to have a more collaborative creation process.
> It doesn't necessarily follow that the maker of the Chateauneuf ought to be required to distribute it in a particular geographic territory.

Exactly. There are some awesome products that I can't buy in the UK, because no-one imports and sells them, that are available in France etc., and vice versa. Of course I'm free to go and buy them myself and bring them back without duty (for the next couple of years at least, after that, on vera).
That's the geek inside you talking. But the hard part was the word stats. Now that you get 1K words, writing a thousand sentences manually to illustrate them is not really hard. It's a one day manual work. Less than the work needing to figure out automation, with way better results.
Bank locked down version. What can you do?
Nice, some initial remarks:

- Sad to see it's an Electron app, but I don't want to start this flamewar all over again

- Mid-sized CSV file opens fairly quick

- If you want to build this into a full-fledged app, be prepared to handle a lot of CSV edge cases, also think about supporting AVRO, Parquet files

- Regarding filtering: I can filter on CONTAINS and '=' but not on NOT-CONTAINS or '<>' I think? This is annoying to filter out empty strings (didn't check in much detail so I might be wrong here)

- Regarding filtering: I have a lot of columns, would be nice if the dropdown would allow me typing some characters to prune the list and quickly find what I'm looking for

- You might think about including some statistics per column, e.g. variance or entropy to allow for exploration in case many columns are present and you quickly want to highlight the more "interesting" ones

Congrats on putting something out! Some competition in this space: https://exploratory.io/, https://github.com/saulpw/visidata and http://www.delimitware.com/ (as others have mentioned).
Hi, actually the DoubleSign feature will roll out in v2 version only to improve usability of v1. But it definitely will!
Have you also done anything about trying to find out why you have trouble focusing? I read some older article from your blog also and got the feeling you have been taking yourself as a static thing and that the things around you need to change for you to feel better. Or did i get that wrong?
Yea, having to hack your autoexec.bat and config.sys files to get your games to work was definitely a formative experience :)
I don't know enough about ssh for Chrome and bash for Windows to get your point. Isn't bash for Windows (as part of WSL?) free? What is it that costs more than $5 using bash for windows but is free with ssh for Chrome? Genuinely interested, I'm on OSX mostly but I'm WSL curious.
> If you don't think that will happen, I have some land in Yuma, Beach front.

Talk is cheap, and staying stuff like this makes you just look foolish.
Realistically, many don't pass that "minimum" stage in quality, for plethora of reasons. The net result is we have app stores filled with garbage. Those are most definitely not "sufficiently efficient". I think it's time we, as users and/or early adopters, start raising the "minimum" bar where quality is concerned.
THE PROHIBITION OF THE RIGHT MEDICATION AGAINST HIV/AIDS
You shouldn't have to deal with C++ directly unless you really want to, it's more likely that there will be 'precompiled' WebAssembly modules of existing C/C++ libs which solve computation-heavy tasks (like physics engines, image manipulation, 3d rendering frameworks etc)... and which would offer a Javascript API. The workflow for JS devs would be the same as using a minified Javascript framework now, but instead of a minimifed JS blob you'll load a WebAssembly blob.
It depends of would do you with BTRFS.
We are using on our small-scale servers where we have many small VM (20~40GiB) that have BTRFS as root with transparent compression. It make more easy expand a VM hard disk, as we only need to add a new virtual hard disk and add it to the BTRFS. Some of our VM's are on HyperV and this means stoping the VM to add a new hard disk or resize the virtual hd. Other are on a new server running Proxmox that allows add virtual hard disk without stoping the VM, that allow us to add extra hard disk space with stoping the VM server. I only need to schedule a weekly rebalance of the BTRFS (Ubuntu server 16.04 don't does this!) and I have a script to check free space and available chunks on the FS to avoid any problem with a full BTRFS partition.

I remember having a issue with BTRFS two years ago when go a unexpected powerdown (the SAI don't help us as was a short-circuit after the SAI!) where a HyperV VM with BTRFS had the FS corrupted, but we managed to recover the data.
Also we have a physical server to run Jenkins and GitLab that it's using FakeRaid + BTRFS + btrbk to schedule backups using snapshots and btrfs send, that are stored as compressed files on a network folder (and this folder are backuped to magnetic tapes).

I don't noticed any slowdown when I launched a manual rebalance, but we are operating at low scale so we not have a lot of I/O. Our real bottleneck are the databases that are on Windows servers.
> Compare with industrial electric motors and gear trains where life times of 50,000 hours are common and you can see where things are going with electric cars.

To be fair, industrial engines (for generation and the like) reach 20-30k hours.
Neat links, thanks for the references. Would be very interested in knowing more about your thesis when its something you're able to share ..

One wonders what Daphne would have thought of tools such as yours, and as well of course things like U&I's MetaSynth:

http://www.uisoftware.com/MetaSynth/
Show HN: The Ormsby Guitars 3D Design Studio App
A lot of current experiments seem to be the other way around. People with C/C++ projects porting them to WebAssembly. This is partly due to the initial limitations in the current version though.

I'm not a web developer but this has definitely peaked my interest to the point I've been dabbling with WebAssembly. It's really easy to get going so I could see a lot of people with other than WebDev backgrounds getting into application development in the browser.
I love the intel graphics linux driver. It's the only GPU with which I've been able to get HDMI working on a laptop in Linux.

What I don't like is Intel spending so much area for the iGPU[1]. Why should an iGPU be consuming nearly the same area as 4 cores? An area optimised iGPU that can only do a few GFLOPS is good enough, and where it isn't (gaming, deep learning), a discrete GPU with wide memory will be needed anyway.

[1] http://www.anandtech.com/show/10968/the-intel-core-i7-7700k-...
Right now I work 4 days out of 5. I'm paid 4 and my retirement plan will be 4/5th too. But at the same time, I work on personal projects. I also choose my day off on tuesday. Because tuesday is not an extended weekend, so it's "my own projects day" and it's the first day like that in the week so I'm not tired like I'd be on, say thursday.

I have to work until 67 in my country. So when I'll be off, I'll be way to tired to start new stuff. Moreover, after 50 years old, I'll get a good chance of getting cancer or some other life-changing disease. So I think it's better if I take my time right now...

Final note : this holds because my job is not a dream job, so my return-on-time-investment is weak (I don't consider the ability to buy a big car or around-the-world vacations, or top-notch-phone to be a good return on the time I spend at work)
don't Assimil courses work like that? not word by word but definitely builds up on common words to reach ever complex sentences
And that's a very implicit way of handling the error. Implicit behavior is good when you are encapsulating stuff (e.g: I don't need to know about the details of internal combustion engines, just pushing on the accelerator of my car so it moves forward).

But in this case encapsulation is a leaky abstraction that just makes the diagnosing of an error more cumbersome.
But since I'm giving the company the best hours of the day I would ask 80% of pay for the 60% of workload.

The author states that he's able to work with fewer distractions and better concentration when it's a 5 hour day, so everyone's a winner - he gets more time, he gets the same amount of work done, and the company saves money. I can imagine it works very well in the author's circumstances. But how many workers are in the same situation?

For a start, very few people can afford a 20% cut to their pay. Anyone in that situation is out.

For businesses that pay people enough that they could afford a 20% pay cut, such as the big high profile IT companies, the business is usually awash with cash; they need people to do more work and are willing to pay overtime for them to do it. Saving 20% of the wage bill is no incentive.

Lastly, as dasmoth points out, if you have a commute then you'd just be increasing the relative amount of time you're travelling compared to working, which I imagine would make it feel much worse. I have a 30 minute commute each way and when I do a half day it feels like a huge waste of time.

As a solution when it's appropriate I think it's great, but I doubt it's applicable to many people.
Gotta expand those followers
That's... completely irrelevant to the sort of people who might be interested in this chip.

That's like saying, "I've got a double cheeseburger with curly fries for $1.99. Thanks Intel, but no."
As adults we get locked into modal thinking - breaking those modes is not something we (usually) do naturally.

As children those modes aren't so deeply grooved so coming up with arbitrary models of the world makes for a lot of eye-opening exploratory activity.

I recently went to an exhibit on the Reggio Emilia approach (famous for pioneering this method 70 years ago) and one of the videos on display was an activity involving the children drawing sound [1] - I hadn't thought to look at the world this way but for these kids (and a bit of guided prompting) it came very naturally. Things like painting the sound of water rushing over stones[2] - at first glance don't parse - but if you tilt your head a bit you can 'see' it.

[1] http://www.acousticecologyaustralia.org/symposium2003/procee...
[2] http://imgur.com/a/RAOmy
I had the same background of having gone to math/science/CS magnet programs in grades 6-12, which also helped me with the theory courses. Not to the same extent as my programming experience helped with the practical courses, though; theory wasn't something I did outside of school for fun.
RocksDB is an LSM-tree (aka log structured storage).
I just spent an hour playing the fast track.

As a Spanish learner with a strong foundation but struggling to get over the next hurdle this is just perfect. Thanks for this link!
Great summary of the different options and kudos for giving examples for each!
Harvard study challenges assumptions about airborne lead pollution