skysight-inc/HackerNews huggingface dataset:
fish shell dev here.

> People have different preferences on how things work, and some of the choices on how to do things are mutually exculsive.

Yes! But asking the user to manually configure the system is a lame way to accomodate those preferences. It's better if the software can learn from the user. For example, if the user runs a certain command frequently, don't wait for the user to define an alias, just suggest it while the user types. Your shell can become more customized to you, with no configuration necessary.

This doesn't work for everything - key bindings for example. But it captures the "no configuration" world view.

> Tuck those customization options away if you must (if your philosophy is to encourage the use of the defaults), but I think it is a mistake to forbid user customization.

Not all configuration options are there to enable user customization. A lot of configuration is just punts on hard problems or decisions. For example, options like zsh's RC_QUOTES or bash's histappend. These don't reflect user preferences. They're just legacy or churn. The shell should just define its own language, and not make the user decide how '' is interpreted.

Every configuration point incurs a cost. The user who moved on to the über-flexible system discovered which plug-ins require which options, and which combinations are incompatible with each other.

This is where a layered approach really shines: have a rigid core with a flexible exterior. Allow the user to set the prompt, colors, key bindings, wrap commands likeΩ `grep` and `ls` to set colors, etc. Prefer open-ended customization (let the user write the function) instead of enumerated configuration (pick from N behaviors), an keep the core consistent so that there's something stable to build on. That's fish's philosophy.
> This seems complicated and error prone. Although I can see the advantages of this approach, it really makes me wonder whether the designers chose the right abstractions.

Keep in mind that many of the original tty devices were teleprinters, and the physical actions of the printer head upon being commanded to backspace would involve moving the actual printer head back a character - potentially using an eraser head - and then potentially moving the pointer head back again once more if that advanced the head. It's perhaps complicated an error prone, but it's also the optimal movement of the printer head.

You do not want to bake "complicated and error prone" into the peripherals of the time. You had no firmware. I'm not sure if you even had a proper ROM, necessarily. So you do it on the software side.

There's no abstraction here per se - but a 1:1 mapping of commands to common sets of physical hardware actions. That's not even a bad thing - what exactly would the abstraction gain you back then? You might abstract the escape codes to use for a given terminal via a terminfo or termcap database, to support multiple devices, but the core actions were always the same.

Hopefully you're not still using teleprinters in production - but someone is. And the VDUs that replaced teleprinters reused the same control mechanisms - keeps the complexity and thus unit price down, easier to retrofit / make backwards compatible with software expecting teleprinters, etc... I know at least one place still using fairly dumb VDUs in production, and these sequences are the simplest fastest commands you can send them to effectively implement "backspace".

If you ape the same logic in your latest and greatest single-page javascript webpage "app", and you're not writing a terminal emulator, it might be the wrong abstraction. It's sane for ttys though.

> Also, the fact that I can type "cat binary-file" and mess up my terminal settings tells me that they didn't clearly separated concerns.

It's a gun with the potential to be a footgun. Benefits, drawbacks.

Writing a shell script that wants to read passwords? cat a file which disables input echoing. After invoking readline, cat a different file to re-enable it. "Feature".

Want to cobble together a quick script to use your laser printer to print barcodes? Create a binary file that creates the barcode you want, cat it, pipe that through sed a few times to replace the number, and then pipe straight to the appropriate /dev/ttyXY. I've actually seen this, fixed this, and updated this. Figuring out the correct keyboard inputs to give vi was 'fun'. "Feature".

If you don't want to mess up your terminal, "view" or "vi" is likely the correct command - not cat.
Freedom of Movement Critical for Early Brain Development
If this had an 'export as curl command' command, that'd be awesome.
SoulSeek
How do you think revenue is generated? People give you money because they rather have your good/service than the money. Selling something to someone is benefitting them.
This is a fantastic writeup, couldn't have written it better myself. Thank you.
This is a remarkable story, atleast for me. It highlights the importance to find patterns in data and then map those patterns to something X. Agreed it takes time to do this and is exhausting as well but results are far more amazing.

Same thing happened with recent tremors related non-invasive surgery at Imperial college London. Data played extremely crucial part to localize it. (http://www.bbc.com/news/health-38157770)

Really excited to envision a purely data-driven healthcare system. It will have a significant impact on our understanding of different diseases.

Anyone knows where to find such anonymous health/disease related data for further research?
One of the great theorems in logic is the Lowenheim-Skolem theorem [1], which says that if a countable first-order model has an infinite model, then there is a countably infinite model. For example, there is a countably infinite model for the theory of reals.

I have heard that Skolem [2] used this theorem as a basis for his belief that uncountable sets can be avoided, and countably infinite sets suffice.

[1] https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_...

[2] http://www-gap.dcs.st-and.ac.uk/history/Biographies/Skolem.h...
I wonder why this kind of thing is not implemented transparently at the filesystem level.
A person cannot change his height but can build miscles or will power through practice. It is not a genetic constant.
Using Emacs config files as an example, what's the issue with storing config files on a server? Even if it's a 'production' server it's not like they contain much in the way of sensitive information. Does it matter if others have access to a list of keybindings, aliases, colour schemes, plugins, etc...?
>... infantile amnesia starts to dissipate when children begin crawling and walking.

> Once babies begin moving through space rather than being carried passively ... the brain’s place cells and grid cells start firing and aligning themselves to the environment, encoding the spaces being explored and ultimately building the scaffolding of episodic memory.
> Could giving a child an apparatus for self-locomotion during the critical period result in positive cognitive skills later on?

> One 2012 study showed how infants with severe motor impairment who were trained to use custom-made carts to move scored higher on cognitive and language tests than a control group.

> A 7-month-old child with spina bifida increased his cognition and language skills in the study at a rate greater than his chronological age.
> But, at most countably many of those sets will ever be individually thought about by any human being.

If your arguments are tied to such physical constraints, then there aren't even countably infinite natural numbers unless the Universe is infinite in space or in time (such that there can be infinite humans or "thinkers").
That argument only makes sense if you assume your uncle and father have more willpower than the average person who attempts to quit smoking.
In Europe we have high taxes on fuels and CO2 emissions, but London and Paris still have worse air pollution than many US cities. Mostly because automakers focussed on Diesel engines to maximise MPG at the cost of everything else (NOx, particulates etc)
The best thing I can come up with is a system that protects the arrested's name until after a conviction. Anything released before that should include statistical data - description, race (since that is an issue), location, crime, and so on. I disagree with publishing mugshots for folks that have been found not guilty as well.

There is good and bad to all of this, of course, and some of it won't be fixed without better attuned labor protection laws and things of that nature.
Funny OZ DAD
Use Hiccup - a Clojure library. You'll have a good syntax highlighting, see only important stuff (eg. no closing tags because it's Lisp) and much less place to make stupid errors.
Many people complain about plethora of parents in Lisp code but whatever the syntax is you'll get used to it in <20 hrs.
Indeed, if you consider a real number to just be a decimal representation formed by concatenating all the natural numbers in a set (not at all a rigourous construction of the reals, but hopefully sufficient for this argument), the equivalence is clear.
I wouldn't say "completely driven". The Quartz article even talks about low interest rates and too many first time buyers getting into the market. 15% of purchases were made by foreigners, 85% by Canadians. If you wanted to live on the west coast of Canada, Vancouver is about the only choice.
Why the number of times that I break the build should matter in any case?
I think that I break the build several times per week because when I test the application using F5 in visual studio it doesn't do a full build and so the tests may not compile.
Furthermore, even if they compile they may be broken.
This is the primary purpose of the build system, to run the tests and to fail when something is wrong so I don't have to spend time running tests on my machine.
Once they fail on teamcity I fix them.
And I will be very surprised if anyone of my colleagues complains about it given that only I use my feature branch.
Honestly, tmux is not hard to use. It has some contorted key bindings, sure, but its benefits are so immediately huge that the motivation to learn its quirks is huge too. And, unlike say, vim, it only has 3 things you really need to know: panes, windows, detach. Most people who use tmux, even casually, will inevitably be using it 'properly', within a week, and fluidly within a month. So this blog post is quite redundant.
Indeed, that's why I'm an ultrafinitist.

https://en.wikipedia.org/wiki/Ultrafinitism
> where you can find SPARC systems

In case by "find" you mean "where are SPARCs still being used"... It is something of a niche, but all our missions in the European Space Agency use LEON processors; a design based on SPARC [1].

And since you mentioned OSes, usually it is either bare-metal stuff or RTEMS [2].

[1] https://en.wikipedia.org/wiki/LEON
[2] https://www.rtems.org/
Oscar Renzo Guiulfo. There is a great deal of information available about you online. Your HN posts alone reveal information which you may one day wish to conceal.
Intel Lake Crest Chip for DNN Learning Detailed – 32 GB HBM2 at 1 TB/s
Mining is not a race - in fact, the mining being progress-free is a really important part of PoW. If you have a low power setup, you have a very small chance of winning the reward, but it's proportional to your power over the total network power.

There's unfortunately some things that make it a bit of a race - network latency and block verification time. That's why there's so much work spent on shrinking these (the FIBRE network, libsecp256k1)
Namespacing would work, but it might be simpler to use multiple routing tables and "ip rule" to match each app and direct it to the right routing table. You can use iptables to match on the process and set a mark on the packet that "ip rule" will match on.
It's still desirable enough that it's getting commercial plugins (cycles4d).
Open Journal Systems – Open Source Journal Management and Publishing
Because the imprisonment wasn't enough. They aren't so interested in rehabilitation, I think - otherwise I'm guessing policies would be different.
“You Do Not Exist to Be Used”: Dismantling Ideas of Productivity in Life Purpose
One reason might be because of an escape character conflict

For ipmitool, one sequence for exiting a SOL session is <return><tilde><period>. Turns out, SSH uses the same sequence, so if you're using ipmitool over SSH (such as via a jump host), you'll disconnect SSH instead of ending the SOL session.

(BTW, you can change the "EscapeChar" ssh config item to something else, or you can send <Return><tilde><n><o><n><e> to disable it for a session.)
Im not sure what you mean by "expected number." Do you mean if you try to guess how many inmates the warden has managed to guarantee will fail? Per the article, the warden can guarantee that an "arbitrarily large finite number of them" will fail. But it's still always finite despite being unbounded. If you want to predict a lower bound on the number of failures the warden has guaranteed, you just have to guess a larger natural number than the warden. :)
taking a quick look at it now, reminds me a lot of Maxwell. Appleseed is quite an impressive renderer already!
There were several books mentioned in HPMoR that seem like good recommendations. I know for a fact that Feynman's Lectures on Physics is superb. See http://www.feynmanlectures.caltech.edu/ for the texts.
Feels the opposite too me. It shows it's been written in the 80's.
Would "The sky above the port was the color of television, tuned to a dead channel." make sense to young people nowadays?
Exactly!

I already mentioned it in this thread but, check out http://hiccup.space to show people how great it works.

For more in depth examples see http://cljsfiddle.com
I picked up an old UltraSPARC Sun server a while back for $10. Never got it running as I didn't understand serial connections and it was annoyingly loud.
the solution to any problem any could ever have

That's a pretty tall claim to make.

Once upon a time people thought irrationals and transcendentals like pi and e didn't even exist. It wasn't until the past century that people realized abstract algebra and its ilk had practical applications. The same goes for chaos theory and fractals as well.

Admittedly it's hard for me to envision a world where notions of countability will ever have real-world uses, but I also consider calling it "a fun maths game" rather reductionist, and frankly, poor taste (especially if you're going to say something like "intrinsic truth or falsity").

Give him three pence, since he must make gain out of what he learns.
Do you still have that bruteforce code? I've been trying on and off to reverse engineer the RS ECC in Chirp, a (now discontinued) app for sharing tokens over speaker/microphone.

My current progress is summarised in https://math.stackexchange.com/questions/663643/discover-par... and https://github.com/moreati/chirppy/blob/master/trials.py
SEEKING WORK - Berlin // Remote or Short-term Travel

* Experienced (5+ years) iOS + Rails developer

* My foundation is in Objective-C but I've been building apps in Swift since it became available

* I've had my own app (lineup-app.com) on the App Store for 5 years and know all the ins and outs of development in the Apple ecosystem

* In that same time I've worked for various startups in SF & Berlin to release 6 major apps

* I can speak both product and tech fluently

* US Citizen + authorized to work in Germany

erik@erikstromlund.com

https://linkedin.com/in/erikstromlund/
I remember XHTML with the application/xhtml+xml mime type. Errors were pretty visible. The world backed out of it.
Crazy Crabs
Too late for an edit, it should be the art of racing in the rain.
Interesting. I was aware of finitism, of course, and even strict finitism, but not this particularly strict version of it.
I've always found dedekinds construction (where sqrt 2 is represented by the set of rationals {x in Q : x^2 < 2}) to be a nice natural place where powersets of countable infinite sets come up (in addition to being a great way to construct R)
>that's who I was referring to - they get criticized

Well, it's not like breaking laws is enough to make you both disruptive AND a good guy.

One, like Uber, can break laws and be a petty, exploiting, company.
I've got file streams working, that's the easy part. However I'm having issues with console applications that detect and require a PTY. Also handling ncurses is causing me a bit of bother.
Infinities aren't real, so you shouldn't be surprised if unrealistic things happen when you invoke infinities. That you can duplicate a sphere by cutting it into a finite number of pieces and reassembling it is a "fact" in the same sense as "Luke Skywalker destroyed the Death Star". It might be interesting and culturally important, but it's talking about fictional entities. Both spheres and arbitrarily detailed pieces of spheres only exist in the imaginations of mathematicians. The Axiom of Choice is obviously true, and the fact that it lets you invent weird sounding stories from weird components is no evidence against it. Don't confuse mathematical tools with reality.
Many of them are present in the original lisp paper from 1960. Under standard names like "map" and "search" that are concise but still words.
Vaginal Discharge: Common Causes
Because that money are spread around to people?

Old companies needed 1000s of workers to make that money, so money were indeed somewhat distributed.

Automation and computing means a company can make that with 50-100 people even, and huge profit margins on that billion dollars.

And then with the right schemes, you can also avoid paying taxes.
First off, yay easy access to monotonic time! This is good.

Now whilst the author acknowledges Go can't rely on systems to smear leap seconds it was hopelessly naive to think they could in the first place.

I hoped that the trend toward reliable, reset-free computer clocks would
continue and that Go programs could safely use the system wall clock to measure
elapsed times. I was wrong. Although Akamai, Amazon, and Microsoft use leap
smears now too, many systems still implement leap seconds by clock reset.

I'm not trying to make a dig at the author here it's just a topic that grinds my gears so to speak. I hope others don't pick up this idea that you can make assumptions about how the system clock will behave.
And responding to one potential witchhunt with another helps how?
This assumes the top 40 holds the same relevance that it did in the 80s. Regardless, you no longer see the kind of chart-dominating power that say, U2 or Michael Jackson had in those days.

And while the record labels continue to pull in profits, there's no comparison between a top artist today compared to the 80s or 90s.

Top earners in 2013 each made about $30-$40m [1]. Michael Jackson in a good year made about as much the current top 10 combined [2], and still managed to make $160m in 2013 despite being dead [3].

[1] http://www.billboard.com/articles/list/5930326/music-s-top-4...

[2] https://www.forbes.com/pictures/geeg45eggig/michael-jacksons...

[3] http://www.telegraph.co.uk/culture/music/michael-jackson/104...
About the gif at the bottom of the page, where a div is swapped in place with an html sister node...

That's 100% possible to do in Emacs, while editing plain html, using smartparens-strict-mode. Basically it treats the HTML like lisp code, so by "autobalancing parens" the editor lets you swap-sexps, which would perform the same transformation as the drag and drop in the editor, but much quicker and easier (as long as u can invest in learning the keys.)!

Of course with Hiccup[0] or Reagent[1] code in Clojure/script, it's perfectly possible too. The same keybindings even.

[0] http://hiccup.space
[1] http://cljsfiddle.com

(I'm the author of those little projects)
For sure - as I understand it in most formulations you throw out lots of sets but keep all the finite sets of natural numbers, the set of even numbers, the set of prime numbers etc

One thing I never found satisfactory is that any axiom system like this has to define things in terms of decidability etc, so it's "more verbose" (or less axiomlike) than ZFC
>If a startup disrupts a high margin industry, especially if that industry is also inefficient (which often goes together) and replaces it with a more efficient lower margin business model, then consumers will benefit.

If before you had independent smaller businesses or individuals, and now all that has been captured by a single company, then a job has just gone down the drain, and the road is open for monopoly.
To be clear, I'm talking about your user account, not root or anything like that.
"if Spotify doesn’t immediately go under, they stand to make a lot of money on their initial investment no matter what happens"

I don't understand your logic; it's not "when spotty goes public"; it's "if Spotify goes public".

If, say, Spotify doesn't go public (yet) and goes down after X years, they will have received 5X% of their investment back in interests, and will have the rights to buy lots of by then worthless Spotify shares at an enormous discount. For X < 10, I don't see that as making money at all; X = 10 might sort-of break even.

I think Spotify had to give them those share options to get that 5% interest rate because investing in Spotify is risky.
There are a small number of people who think it's obviously false! (I'm not one of them). And a larger number who think it's not obviously true nor obviously false.
LIONEL MESSI ANNOUNCES WEDDING DATE WITH Long Time Girlfriend  ANTONELLA ROCUZZO
Especially if your dotfiles are in a public repository anyway.
Loved the article, thank you.

It reminded me of how when AI won at Go, my first thought was, "Oh, now we just need to train it to teach humans to improve."

I hadn't before thought about how training the AI to teach would introduce bias. I think it would be fascinating to train an AI based on the best human teachers and then track the results on real kids to train it to get better over time -- but then who decides what "better" means?

I'm sure at first it would be an augmentation helping new teachers improve, but then who trains it what a better teacher means?

Fascinating. Thanks again.
Should add "(2008)" to this.
So I guess where he talks about the consensus of the peers 11.10seconds, this is a good way to understand a 51% attack?
If the shell didn't allow cat to send commands to it (which may mess it up), it also wouldn't allow ncurses and such from using colours and other advanced features.

It'd be a failure to separate concerns if the shell detect and treated cat output differently.
Software engineer is a very generic role which has different definition in each companies. Here is some example.

If you need to come up with optimize algorithm as part of your job, hackerrank signals are good.

If you need to do simple code change or fix some bug for which it need to communicate with many people, then in person interview give good signal.

I think there must be other websites, testrank, bugfixrank, assemblyrank, devopsrank temaleadrank, managerrank etc, then it would be easier.

Software interview is broken because big companies hire in herd and small company follow the same generic interview practice.
If you want the rest of your frontend development team to think you're a god, include licecap or other gifs of features/bugfixes on code reviews

But if you do, for the love of God make it as short as possible. When I'm browsing through the tickets using some stock web browser, and the anigif runs for five minutes before reaching the point, it is such a pain to have to grab the gif and either dig out a tool than can track through an anigif, or have to cast it into some other format and then track through that. Then, I'm stuck either doing that every time, or attaching another file to the ticket; the same animation, but in a format that we can track through so I don't have to watch the entire five minutes.
I meant it doesn't feel real to me in a subjective sense, and of course I acknowledge other people might not feel the same way.