skysight-inc/HackerNews huggingface dataset:
The fact that none of them have succeeded is more due to inertia than anything else. Again, this doesn't take anything away from the fact that that statically typed languages are the future and even Javascript won't be dodging this evolution for much longer.

Ruby and Python were the latest victims of this trend, Javascript will clearly be next, even if it might take years.
This is great, I really enjoyed reading your explanation of B+ trees! Could you add in a small section regarding how to delete a node?
A less risky solution would be to have a blackout period equal to something like the same account being unable to place new orders for 30 seconds (minus the amount of time the order was in the market) after cancelling an order.

People make mistakes and you need to let people get out of the market quickly if they do. (People mistakenly transpose the price and quantity more often than you'd expect, etc.) Having a forced cool down period after placing a short-lived order reduces the impact of these sorts of orders without increasing the risk of mistaken price/quantity/side.

I'm not sure if coinbase allows amendments of quantity and price on existing orders, but they should have similar time restrictions on amending up the quantity or amending the price to be more aggressive following a quantity amend down or price amend more passive.
How to create a computer in a test tube
I realize this. I'm just hoping someone has come across some knowledge that I'm not aware of.
Ultra-fast charging aluminum battery safe alternative to conventional batteries
Again this article ? it's been featured like 3 or 4 times in the past 2 years...
Worth the read, but the first pic is not for the faint of heart - just a warning.
Rapid single-electron sensor has promise for quantum devices
Show HN: Code Generator from database schema with your templates
Based on what I've read, it seems like Chris should transfer the repository back to Gorhill and make a new fork with his desired changes. On a side note, if Gorhill wanted to transfer the repository to an empowered* group of contributors, an open source Github repository utilizing Teams could be another option.

* By "empowered" I mean capable of independent action on the repository without waiting for Gorhill
POS behavior matches the incident ticket image below - it appeared as if they intentionally disabled user authentication for the micros simphony point of sale client. Client loaded fine but would timeout attempting to authenticate user logins in the POS. Would have tested the local test accounts but forgot the credentials at the time.
Now write a program to calculate the probability of that happening :)
Secret of record-breaking superconductor explained
Similarly, it is widely known that an effective treatment for lung cancer is to stop breathing.
I bought a used X220 not too long ago and I am very satisfied with it (using it with Linux Mint at the moment). The keyboard is excellent and much better than most laptops out there. Almost everything can be replaced in this laptop (I changed the LCD screen for an IPS one, I added a lot more RAM that it had in the first place, the battery is removable) and it runs very fast overall for most uses (except gaming for obvious reasons). It's quite light and portable as well, and it had enough extensions ports to be useful (not like a Mac).

Compared to what you get nowadays for about the same specs (or worse) but a more expensive price tag, I think it's a very good deal.
Isn't javascript younger than all of the poster static languages? Why didn't inertia help any of them beat it? (It is amusing that it was called JavaScript to capitalize the popularity of Java.)

I mean, ultimately, I think I agree with you. But at the rate things are moving, I expect my children will still learn JavaScript. And probably C.
Great comments and better bug reports, just want to mention it actually says to always re-use Session in the wreq tutorial[0]. Perhaps it should be stated more prominently, repeated, or even both.

For non-trivial applications, we’ll always want to use a Session to efficiently and correctly handle multiple requests.

The Session API provides two important features:

When we issue multiple HTTP requests to the same server, a Session will reuse TCP and TLS connections for us. (The simpler API we’ve discussed so far does not do this.) This greatly improves efficiency.

0: http://www.serpentine.com/wreq/tutorial.html#session
These are actually valid questions and you shouldn't be downvoted. The standard interpretation of the problem is highly questionable; Albert's initial remark is not actually dispositive to Bernhard, because if Bernhard had the 19 May date he would know the correct answer immediately without needing Albert to say anything.

The suggestion that Albert's first statement necessarily eliminates all dates in May is false, and the answer is indeterminable, as can be readily verified with a Venn diagram. It took me some time to spot the flaw in the problem construction; I initially found the official solution persuasive, but when you think more carefully about it you realize it's actually wholly illogical.
It's not that the list of addons is known, but rather infered from the number and types of blocked elements.
> Wired's writing is fine, it's Crystal that's creepy. An unknown proprietary algorithm tells us what to write to our friends? Soon they'll just write for us.

BeautifulHandwrittenLetters.com
> I lost all trust and respect for Lenovo after the Superfish debacle

Wipe the default OS. Install your own. Problem solved.

I don't buy laptops for the software (I can deal with that), but for the hardware. Anyway most OEM installs are filled with crapware, it's faster to just wipe everything in the first place.
As a non-CS grad coming fresh to databases, I found both the entity-relationship, and the object-oriented models confusing. Then I read Date [1] and Codd's [2] books and papers on the relational model, the one from the 1970s that is basically set and type theory applied to data, and found that to be a lot clearer and a more powerful abstraction to deal with your data model.

For example, your Relational Model introduction has a discussion of various data types. But arguably, whether your integer is implemented as BIGINT or TINYINT is an implementation decision which should be separate from the model discussion (dixit Date). In other words, that attribute has a type of integer and how that integer is stored is a separate issue, and your RDBMS ought to abstract it away (as, I think, Postgres is pretty good with, and MySQL quite annoying). The beauty of the latest RDBMS developments, particularly in Postgres world, is that the implementation has gotten so good that you don't need to really worry about it like you used to just a decade ago, at least in 95% of use cases.

Again as a non-"full time developer" it amazes me the number of "experienced" developers who are not aware of the relational model and who do not know what a foreign key is or why referential integrity might be important.

I think one can teach SQL (and the relational model) to a non-developer in about 2 hours, because it is so declarative and intuitive. One day I'll go write that tutorial, as many clients need it sorely...

[1] e.g. http://www.amazon.com/SQL-Relational-Theory-Write-Accurate/d...

[2] e.g. http://www.amazon.com/The-Relational-Model-Database-Manageme... or the original paper: http://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf

edit to add: on the E/RM vs the RM: http://www.dbdebunk.com/2013/09/entity-relatonship-model-not...
"Tiny house"

A vacation house bigger than most people I know can afford for their actual home. And than the author speaks of "making sacrifices". Makes me want to throw up.
I think that's what ipns is for. Basically synonymous with git refs; a link to a hash.
https://news.ycombinator.com/item?id=2342677
And with such a damning update/correction (also written 4 years ago), I'm kind of shocked that I keep seeing this thing.
Previously posted here: https://news.ycombinator.com/item?id=9308074
There is some documentation about IPNS here:

https://github.com/ipfs/examples/tree/master/examples/ipns
See elsewhere in this thread for discussion on that.
complicated is a very overloaded term, you'll have to communicate what complicated is to you before we can meaningfully compare Haskell vs other ML family.
Along the lines of the "Bob uses cigarette butts to make new cigarettes. Bob needs 5 cigarette butts to make one new cig. If Bob starts with 25 butts how many cigs can he make?"
Are you trying to imply that this didn't happen when computers weren't involved? Like the traders in the pits were all keen to make markets when volatility was spiking and prices were dropping?
Something like this will have huge ramifications on the ecommerce, travel industry and esp online video, and with a tech like this, they are going to absoultey crush their non-digital counterparts.

Imagine buying a dress using a VR which lets you explore the dress with pin point accuracy and detail. This is the kind of stuff that would help save a tonne of money in returned products for fashion bases e-tailers. It won't be surprising to see these companies being acquired by Amazon, Google, or Facebook to be integrated with their ecommerce, gaming businesses.
You should disclose to any partner or investor, it would come up on a background check anyway and hiding it would look worse than whatever your offense is, most likely. As for your customers, it's none of their business. Not a lawyer, this isn't legal advice, pure intuitive response. Hope everything works out and you get back on track.
Protect our health, Stop Monsanto [petition]
This is just beautifully expressive python. I wouldn't think of using it this way: writing

return (not know(possible_dates)
and all(not know(tell(Day(d)))
for d in possible_dates))

feels almost zen to me; or at least like Mr. Norvig likes himself some lisp at times.
I guess that's because the author is trying to make an player-editable world, and 3D fractals don't mix well with that.

It's actually quite hard to use 3D fractals in games (or any interactive application), unless you bake them to voxels or 3d meshes, but then you loose the infinite amount of detail that make fractals so interesting in the first place.

The rendering techniques used by 3d fractals are very GPU consuming and you can't really "edit" the world. But if anyone has been working on that, I'd be interested to see what they came up with.
"We fill our aeroplanes because of the way we design the interiors, the amount of money we spend on the brand, and [in] getting the job done."

Is this really how people pick an airline? I type in my destination in a web site, sort the options by price, discard the ones with too many or too inconvenient connections, pick the cheaper. The airline is not so important. The plane definitely not, given that on intercontinental routes they are more or less the same and some companies are geographically placed on optimal locations: going from Europe to Australia with one or two stops in a single day basically means flying through the Emirates.
This seems like one of those "Zen" things, where you eventually realize you are more effective when you use both kinds (compile time types and runtime-only types/tags) of programming together, rather than trying to pick only one and label the other as evil.

Now I must "reflect" upon the wisdom of all the strong typing in my Java programs, and how a simple refactor always safely finds all the use cases of a class/method/variable for me. (NOT -- although IntelliJ is pretty good at finding many common hiding places in various texts for program identifiers)

I really want one language that combines optional (dynamic) and mandatory (static) compile-time type info, with some pragmas at the top of a module warning me that the module uses or supports dynamic types, rather than having to resort to XML DSL monstrosities.

One final rant: The author mentions an FP language (Haskell), and then talks about data flow analysis. Strangely, however, he seems more concerned with types than immutability and explicit data passing / folding. Favoring explicit input/output values over side effects, is a huge factor in seeing data flow (and orthogonal to compile vs runtime types). Alas, the "enterprise" development squad seems to actively resists learning FP, preferring to cling to "COBOL with namespaces and compilation units" as state of the art programming methodology. I think this problem is the real (productivity) killer.

(OTOH, he could tacitly assume pure functions, etc, are a good thing, and should be the norm. Hard to say)
Yes, but the margin on that is already very slim. By selling a single cabin which no one else offers and charging outrageous amounts they compensate for that. At least that's how I would explain it.
Yes, I would agree about the X140e. (The 'e' stands for economy == cheap) The problem is that Lenovo calls just about anything a Thinkpad these days. The inner circle is what you find in this list. You will see that the X1_0es are not listed.

I have an X120e, and I bought it since it was the absolute cheapest I could find that still had some "Thinkpadness" to it. I can see that the model line went downhill from there.
Static types help with early agility. I don't have to get everything right at the outset, because I can change my code and know what I broke. That's possible in a code base that can't be statically type checked if you pin things down with sufficient tests... but the tests don't rewrite themselves when I make a change to the code - the types do (at least, when working in a decent language).

Note that I'm not at all saying that every statically typed language is superior to every dynamically typed language. Many - particularly older, popular, and oversold statically typed languages - asked for a lot of boiler plate in exchange for not terribly valuable guarantees.
Python: write pseudocode, and then make sure it's indented properly.
And of course Haskell now has Dynamic, it's just not very useful.
It might be naive of me to think that maybe you haven't already seen this, but if there are any examples of what you're trying to accomplish in California, they're probably somewhere on this list: http://www.ic.org/directory/listings/?cmty-country=United%20...

California certainly has some ecovillages, but most have buildings sized like typical houses.
I've always wanted to do this kind of thing with LEGO-like wall tiles containing plumbing, electric, and ventilation sections.
Really great to read through this. I'm a first-time Thinkpad owner and purchased an X230T [0]. I immediately installed Ubuntu 14.10 and moved all development into virtual machines and things have been fairly smooth. Owning a less svelte machine really doesn't affect me, but the bumps in the road running Ubuntu can get tiresome. Random setting changes after "security" updates e.g. enabling slow keys under accessibility (confusing!). Taking three hours to finally configure a printer and even then, the prints look like they were run through an antique Instagram filter. All in all, hanging out in Firefox and Terminal all day is mostly solid though.

[0] http://www.amazon.com/gp/product/B00NJ7OAXE/
I don't know, can code like this reason about knowledge-about-knowledge in general?

For example, can a version of the code be used to solve the 'hardest puzzle' -

https://xkcd.com/blue_eyes.html

(solution: https://xkcd.com/solution.html) ?
You're ignoring all the people that aren't trying to replace Javascript because they're... using Javascript. It's has a lot of warts but with some mindfulness it's entirely usable. No one can argue that people aren't getting things done with it and being successful.
Slack CEO on building the fastest company to $2bn
If you want to go down that route, then I would agree with the final conclusion that nothing should be patentable that can be described in any way using known physics and chemistry. But I think it will be necessary to draw a distinction between mathematical descriptions of physical processes (which don't make the processes themselves mathematical), and mathematical implementations, namely software. In other words, math describes physics, but math is the same as software.
Aijuboard – A Computer Based on the Zynq-7000 SoC with FPGA Running Plan 9
I hear you. Overuse of "Spring" configuration makes me crazy. It's like some terrorist organization where you never know your contact's real name, and nobody knows anybody else in the organization, in case the "coupling police" try to bust up a cell. "We always just called him Otto" (autoinject)
Git histories and lab notebooks can demonstrate independent invention by showing the process leading to independent discovery.
This is pretty neat. Since were asking for features: smarter date conversions. For instance on the input: '2015-04-24', and for example output: '26 April 2015'. The if another line has '2015-03-01' it would output '1 March 2015'. This seems like a somewhat difficult problem, but it'd be magical if it worked.
>Many newer Dell laptops have good Linux support.

Dell actually has a line of laptops that ship with Linux [1]. You don't get a choice of distro (they ship with the latest Ubuntu LTS), but the fact that it ships with Linux out of the box means that the hardware has all been pre-verified for Linux compatibility, and installing a new distro should be a matter putting in the install media and grabbing a cup of coffee.

[1] http://www.dell.com/us/business/p/xps-13-linux/pd
<stickfigure>: I like that idea! What areas have you tried?

You can get pretty rural pretty quickly west of I-280 in San Mateo and Santa Clara counties, and of course Santa Cruz County further south. Head 10 minutes west of I-280 via Sand Hill Road, and you're at Skyline at Alice's restaurant, which marks the limit of the town of Woodside's boundary. Anything north, west, or southwest of that point is unincorporated.

As a practical matter if you're in a rural unincorporated area you're going to have to deal with septic tanks, and finding a place in the bay area where you can dig seven (and counting) different leach fields with possible space for expansion, not on >35% slopes, not near streams, etc. is going to be tricky. Further out you may have problems getting water; are you going to dig a well? How many GPM? Check out the problems that mutual water companies in the hills have had during previous droughts. On the other side of the ridge things are even worse; there's La Honda's rationing and talk of trucking in water: http://www.hmbreview.com/news/cuesta-la-honda-guild-keeps-ra...

On a more positive note, if you can get the structure and finance down, why not build a ~3000 ft^2 conventional house with external power/water/septic hookups? Those hookups are where you'd place your friends' tiny-homes-on-trailers. They wouldn't be permanent structures, so perhaps that would pass legal muster. Or buy 7 acres and subdivide? Again, I like your idea and wish you the best.
Explore Gallipoli ANZAC Sites with Google Street View
bike shedding[1] would be arguing over the names of albert, bernard, and cheryl - wouldn't Alice, Bob, and Carol be more conventional? Or something else that is easier to understand and argue about than the problem itself.

so, no, arguing about the actual problem isn't bikeshedding :)

[1] http://en.wikipedia.org/wiki/Parkinson%27s_law_of_triviality
This is my idea of tiny house:

http://www.tumbleweedhouses.com/products/cypress
At least with Java 8 lambdas FINALLY coming out, maybe we'll get more frameworks like "Spark" (register callbacks in actual code) and fewer like "Spring" (reflect in classes from XML gobble-de-gook).
These Apps Are Turning the Apple Watch into a Personal Health Coach
Front Runners in the Hunt for the Apple Watch Killer App
I don't like the Prelude. It has a lot of cruft - partial functions, weird names for things. At some point that needs a rewrite, but I don't think the community is sure how we get there from here (at least I'm certainly not).
I've posted this on another thread, but it looks like Dell is trying to make real laptops. The newest XPS ultrabooks have received rave reviews, and some of them even ship with Linux preinstalled [1]. That said, my personal laptop is a Lenovo T440s, because IMHO Lenovo still wins on upgradeability. I was able to buy a base model, and in short order had the RAM upgraded to 12GB (the max this model supports) and swapped out the hard drive with a SSD from Amazon. I'm not sure how feasible that is with any of the other laptops being discussed here.

http://www.dell.com/us/business/p/xps-13-linux/pd
I previously read about your experience with the X140e,[1] which is "certified pre-install for Ubuntu"[2] rather than "certified for Ubuntu"[3]. (I made note of your previous post in my personal wiki.) It sucks that hardware that is "certified pre-install" can have so many issues with vanilla Ubuntu. I definitely learned from your experience and plan to avoid hardware that is "certified pre-install".

[1] https://news.ycombinator.com/item?id=8847915

[2] http://www.ubuntu.com/certification/hardware/201309-14195/

[3] http://www.ubuntu.com/certification/desktop/models/?level=Ce...
can you make your whole comment more explicit, I don't follow your objection.
"As an airline you don't get a superjumbo to save fuel or provide more amenities."

See Etihad Airways' A380.[1] "Only half the cost of a private jet".

[1] https://www.youtube.com/watch?v=EMr0MsAoeLw
Thank you. All of these BlahBlahScript wrappers don't change the fact that I still have to debug (and thus read, anyway) Javascript in the browser. Javascript isn't assembler, it's actually mostly OK to read - I kind of like it.

I only recently discovered JSDoc, and it goes a long way towards documenting types when they matter, especially if your IDE/editor (e.g. - WebStorm) recognizes the annotations and displays them when you click on a symbol.
>more sane than doing it on an AVR.

Well, the point of using special-purpose chips like the ATAES132, which has a hardware implementation of AES, is so you wouldn't have to implement the algorithm in AVR.
And here's how to live large in an actual tiny house: https://www.youtube.com/watch?v=DQM7a5Yjp9g
Yeah, I tried to do that in some warehouse space in the north bay - no go, and the planning folks made it clear that if I bought the warehouse anyway and did it under the table, I'd get busted.
I don't understand why others downvoted you.

I personally also prefer a traditional ThinkPad keyboard, trackpad and trackpoint (up to T420/X220 series).

I won't buy any notebook with these slim keys, that might look stylish and fashionable. I need a business notebook for work and IBM ThinkPad and early Lenovo ThinkPad were robust and very good at that.

The first manufacturer that learns from their recent mistakes, be it Lenovo/HP/Dell/etc, will be the winner.

But if it takes too long, maybe someone should start a kickstarter campaign and produce truly business notebooks without any compromises with a 1500-2500$ price tag. A traditional keyboard, trackpad, trackpoint, robust plastic frame, maybe even a 4:3 IPS screen (1600x1200 or higher).
is this a reply to my post or to the original poster?