skysight-inc/HackerNews huggingface dataset:
So for a mission critical or safety critical system, what's the alternative? It looks like the options are:

1, assembler
2, C + validated compiler + static verification + coding standard (MISRA-C maybe)
3, C++ + validated compiler + static verification + coding standard (MISRA-C++ maybe)
4, Java + specialized VM with RTSJ + static verification + coding standard (RTSJ)
5, Ada/SPARK + ???

So really, C/C++/Java/Ada aren't being used alone, it's the language + validated compiler + verification tools + a coding standard that are being used.

How are Haskell, Rust, Go, and whatever other nouveau language of interest to the HN crowd tenable options for serious work when they lack the ecosystem of a formal standard, validated compilers and verification tools, track record, etc.?
One wonders why the incentives aren't aligned. I.e. the value of the recruiter to the employer is finding a higher paying job, so the compensation should reflect that. E.g. 10% + 50% of the pay increase.
It's pretty helpful in a number of situations for me. Occasionally I like to put my laptop on the coffee table and recline on the couch watching something. If I have to pause for whatever reason it's much easier to slap the spacebar at arms length than to do something else.
This reporting comes on the heels of an GAO study on hijacking airliners. It is not clear why the Congress ordered a study on hacking airliners, though there's a long list of things (MH flights, Carter's claims of a 'cyber Pearl Harbor') that some people might speculate over.

Does anyone know the impetus behind the study?
"farming is no longer viable"

In the plain states, large rows of tree were planted for farming (e.g. shelter belts). Many places trees exist today did not have trees pre-farming. This was the great plains, not a forest region.

If farming is no longer viable then humans are no longer viable.
Yeah it would of been nice to see the dev time split up into setup and actual programming.
I generally work with high level languages (Java, JavaScript, Scala) but I always loved C (and in some ways C++) because it's so close to metal.

I fell in love with Rust. Usually I (internally) complain about a lot of things in languages. There are many drawbacks and bad design decisions. It might be hard to express but there's sense of engineering beaty. And I like Rust almost in every way.

So far I wrote a bunch of little programs and some simple parser (bitmessage protocol). I didn't have any real problems. Macroses looked a bit clumsy, I hope they'll see some overhaul, but they did their work. Much better than cpp anyway.

And I can say that it's just so easy to write code when you're 100% sure there are no problems with memory management. There are billion of other little things making life easier, but painless memory management is the big one.
Ask HN: SOA/Microservices central config systems?
I see all the articles and the trend to move to SOA/microservices, but I don't see anything related to how architectures provide app config and account data to components. To get our company to market, each app has its own config, we have duplicated account data and different formats everywhere. We are starting to design our central config system and was looking to get ideas on how others do this.

We are looking at the various database solutions and trying to decide between relational databases or NoSQL ones. Something like Redis seems great and we could make it fit our model and the API is simple (95% of our code is C) but it lacks querying/filtering.

Do architectures typically have a storage layer component? This seems valid to me for relational database, SQL queries spread all over seems muddy.

Some of our main requirements:
- Audit log of config changes
- Simple API from C (REST/JSON api is do-able)
- (Fine grain) notification of config changes, i.e. account 4 deposit limit has changed
- Overriding config on a specific server would be cool
- Highly available

Configuration data we will be holding:
- account data (very low count, < 50 accounts)
- ~25 properties per account
- sub-accounts do exist and need to "link" back to the parent account
- app config (various app specific flags, IP addresses etc..)
Interesting point, thanks for the link!

For my use case I wanted to put stuff together without writing too much novel code; zindex uses a SQLite file to store indices and checkpoints. I'm hoping to add json support to zq/zindex, which means a general text search isn't that useful.

Additionally the original log files I run against in my use case are generated upstream of me and are many many multi-gigabyte gzipped log files. I didn't want to add too much extra storage for my logs: the "key" I index on is a tiny part of my log, so the storage space for the index is considerably less than the original text (even accounting for the gzip checkpoints).
> Excellent people want to go places where they can make more

The issue with engineers is that we don't do that and are bad at negotiations. Once at job people rarely look out unless they realise that they are grossly underpaid.
This may be true for other job profiles like sale/biz-dev etc where the day to day jobs hone their skills for best deal extraction.
I'd like to second Ruby Weekly, great newsletter.
Touchpad is a rich input devices that supports gestures, think about how you use it to scroll your page, go back/forward a web page, select test, move windows, etc...

Point Stick can only capture a small fragment of those without keyboard combinations.
it's really weird to see a euclidian-looking line that has no strictly increasing sequences or functions..
The airlines' own policies have made checked baggage a serious burden, and frequent-flier programs don't accumulate free travel at nearly the rate that they used to. As such, the downsides to booking hidden-city tickets are a lot less significant than they used to be, and it's entirely due to the airlines' own behaviors.

I used to commute by air weekly in the pre-9/11 days and used hidden city bookings every week. Not only did it save my company money, the airlines didn't check to see if you actually boarded the second leg of the flight so you'd accumulate mileage for the leg(s) you skipped. The result was a lower-cost round trip flight with 1000 extra miles banked every week.
Cmder is awesome. I use it as a better interface to msysgit (I don't find myself needing to actually work in `cmd.exe` much anymore).

I switched to it from Console2 pretty recently (last week, actually) and only have good things to say. I only wish I could use it with zsh without having to buy into the rest of cygwin (I find msys to be much better in nearly every way).
I had a memory leak in a Python program (that's a really rare thing), that would trigger OOM kills in about 3-4 days. After a few days of investigation that yielded nothing, I put a restart job every day or so, and returned to it only after a few months when I had some time. Eventually it came down to someone replacing dict.get() with dict.setdefault() in a lookup dictionary in some utility library, causing each miss to leak a small, non GC-ed empty entry in an otherwise small lookup table.
wakes up 10 hours later to find this on HN homepage

Sorry, originally I had some functionality so that changing URL hash gives you a new file. At some point I switched this to using location.pathname and broke it. Let me add it back :)
> Haptic feedback solve that particular issue.

It really doesn't. I could type faster on a Blackberry keyboard than I can write by hand, or type on an Android or iOS device even with text prediction on the latter.

Ironically, as they started to lose market share in ~2009, Blackberry tried to pioneer the use of haptic feedback on flat-screen phone keyboards, using a vibration to simulate "clicking"[0] the screen[1]. It was a disaster.

I use flat keyboards on my phone and tablet out of necessity - for phones, there's really no alternative these days. But the typing experience on even the best phone/tablet is light years behind the experience of typing on a physical keyboard.

[0] This is different from the way that Android and iOS devices vibrate when you press a key

[1] Not to be confused with the earlier model which actually had you "click" the screen.
An article can be up voted for many reasons, including mockery. I was not dismissing the post here, but the article itself. Also, it is already off of the front page.
Well, you could say the same thing about Clinton and the Clinton emails or ex military generals and their (mostly paid) appearances in the media.
Do you do anything in msysgit? You can configure it to launch a gitbash shell instead of a cmd.exe one.
Instead of living everyday as if it was your last or as if it was going to go forever, how about living everyday as if you're going to die at around 80-85?
It's locally R and connected but not path connected.
Samsung Electronics is a publicly traded corporation and the market value is what it would cost to acquire them (plus some premium). This is sort of academic because it would be a dumb use of Apple's cash to acquire them and probably wouldn't be approved.
Douglas Crockford has a great talk that touches on the head-gut connection and how it relates to programming.

"We could not program without our gut. I have absolutely no evidence to justify that statement. But my gut tells me it's true, so I believe it."

https://www.youtube.com/watch?v=taaEzHI9xyY
Maybe I'm going a little mad, but is the acceleration when scrolling on that site incredibly high for anyone else (Chrome, OSX)? I doubt it's by design, but its certainly hard to navigate.
Martin Perl, the author mentioned in the paper, was a Nobel prize winner and one of the first people I met when I got to SLAC. His office was across the hall from mine. Unfortunately, Martin passed away this year. He was a very nice, smart, and humble man.
http://www.antipope.org/charlie/blog-static/fiction/toast/to...
That's kind of scary that it passed internal code reviews and made it into production without comments. It speaks to Google's internal processes quite a bit.
Awesome, thank you very much for sharing!
It seems like this would punish unwitting buyers of the pirated carts, not the pirates.
Closely associated with the Navel Line of Sight.
An Intuitive Use-Case for Monadic Bind and Kleisli Composition
I highly recommend getting custom made shirts. There has been a resurgence of custom tailors with competitive pricing. Sacramento has a great shop:

http://www.rdouglas.net/

Properly tailored clothing will change your life.
some ancient cultures used "liver" the way we use "gut". i.e. "I felt the anger in my liver!"
I have been wanting this for a long time, although my primary use case would be indexing a particular field.

It is nice that you were able to make it work with ordinary gzip files. In bioinformatics, an approach to this problem has been to create a gzip-backwards-compatible (i.e., can be read by zcat but not written to by gzip) format called BGZF [1] which acts like ordinary gzip except each compressed block is the same size, which eases indexing and partial decompression.

I would be interested to know how you solved the problem of finding the right block and offset when each compressed block can be an arbitrary size as it is in ordinary gzip format.

[1] http://blastedbio.blogspot.com/2011/11/bgzf-blocked-bigger-b...
Thanks! For my logfiles it runs through them at around 3MB/sec (that's 3MB of compressed file per second). Most of it is probably I/O, my giant logs are on NFS.

I run the indexer in parallel on multiple log files: in general there's no way to parallelize the indexing of a single file as decompressing a gzipped file requires all the bytes up to that point. Unless you already have a gzip checkpoint around somewhere, you need to sequentially scan: this is part of what zindex does to allow quick random access.

Thanks for the feedback :)
Developing for HoloLens
I swear by plaintext text editors for pretty much any kind of (non-coding) writing work but nothing beats TextEdit (OS X built-in) in plaintext mode with a good fixed-size font.
Thanks - this is so valuable. I plan to collate these in the same way so you just saved me a ton of time.
Okay, feature implemented :) To work on a new file just change the URL hash

http://joevennix.com/aquietplace#newfile
So we should only accept the intended signaling of people's clothing choices, and never think any deeper about why they made signaling clothing choices?

There's a wide range of choices between wearing clothes that are well suited to what you'll physically be doing in them, and wearing clothes suited to signaling something about yourself, and where clothing falls in that range does say something about the wearer.
Would've been nice with some internal links in that pdf, especially in the table-of-contents (links to sections and subsections). This is simple with hyperref.
As a small counterpoint to this, though I do understand the social aspect of suits [that you disagree with], bear in mind that the entire point of the garment, silhouette aside[1], is to be an extremely comfortable piece of clothing that fits a person absolutely perfectly. The cost is a side effect of the fact tailoring is extremely time intensive, and depends on very high-quality materials (in addition to social cachet cost)

[1] by silhouette, I mean the shaping of the figure via structuring of the garment.

Full disclosure: I originally trained in tailoring before becoming a developer
Aside from the annoying appearing-and-disappearing top bar, the scrolling seems pretty normal to me (Chrome on Ubuntu).
Yeah right now there is only saving as the browser allows (print to PDF is another way). I'll add support for saving as a .txt on cmd-S through HTML5 download API in a bit.
You know what... this is really interesting to learn about this now, because I played the hell out of Earthbound when I was younger using an emulator, but to this day I don't recall ever beating it. And it is extremely rare that I would just stop playing a game. The only game I started and haven't completed is Oblivion.

I can't for the life of me remember completing Earthbound or when/why I stopped playing it. I just watched that Youtube clip of the end battle with Giygas and I vaguely remember it, but I have no recollection of some kind of ending. If anything I remember being kind of confused. I bet I ran into that last layer of protection where it randomly freezes and deletes the saved game, and that's why I don't recall an actual ending.

Learning about this now, I guess I feel a little better about not remembering ever beating Earthbound.
There was a programme on BBC radio several years ago called "The Heart Has Its Reasons" that stated the heart itself contains neurons. They interviewed a heart transplant recipient who claimed he could sense the birthday of the donor through his new heart.
I think the article points out the real problem: overly complex code. If you make the effort to write sensible, simple, easy to understand code, it's definitely possible to review every line of code to ensure there are no memory management bugs.
Silly bug. Should be fixed now, with a .focus() call.
Interesting, he wasn't wrong. And while Youtube is something of a 'fixture' today we had Google telling us it still wasn't making any money (although it had reached a point where it wasn't losing money either).

Youtube was birthed by business worlds version of Ceasarian Section, basically Google funded the crap out of it invested in datacenters and putting Youtube "pods" in bunches of Colocation facilities around the world etc for a property that doesn't make any money. But what is next for the video service? What business model works where it makes back its money? Does it try to be NetFlix? HBO Go? Comcast?

Does Google start throwing money at "Youtube Studios" to bring original (and with decent production values) content to the web? That is way outside their current comfort zone.

How do they get people to watch and act on advertising they see on Youtube? Because unless they can do that it has to be subcription, and how do you turn the service that everyone knows is "free" into a subscription service?

That is why I don't think it was wrong in 2006 or in 2015 to wonder if YouTube is a "real" business, I don't think we know yet.
Yeah it might happen sooner than we think. Maybe with the advent of really cheap power (fusion) we'll start to let up on things... but I'm guessing all that will mean is the rich will get richer. The problem, unfortunately, is both technological AND political, so that's why I'm leaning towards "long time".

But you're right though, 150 years ago the world was unrecognizable so, who knows what will happen in just the next 50?
I have zero tolerance for misogyny. Disgusting, insulting article.
Beer/Wine Industry | Philadelphia, PA / Burlington, VT

Vermont Information Processing is seeking more devs to help us continue to lead the way in business solutions for beverage suppliers, distributors and retailers. We work with the largest brewers to the latest craft sensations.

Positions available:

- Java web services dev for our growing service-oriented architecture

- Xamarin .NET/C# dev for cross-platform mobile apps

- Full stack dev (PHP, JS) for our middleware and everything around it

VIP is an Employee Owned Company (ESOP) with a long, successful and profitable history. So the phrase "act like an owner" is actually reality here.

The Philly branch office is located just north of the border in Trevose.

Contact michael (at) vtinfo.com
Nice, i really like the idea of just using URLs for that but not having any specific GUI. Great!
Fantastic! I had hoped others would have the same problem as me. I didn't have the luxury of being able to change my many input gzip files (unlike BGZF).

The trick is to store the gzip internal state as a checkpoint every few hundred MB. Then to decode data at a particular offset, you find the further internal state that's before your offset; reinitialize the compression internal state with that, and then scan on until you get to the offset you need.

The zindex file that's generated contains both these checkpoints and the index that lets one scan there.

There's an open issue I'd like to resolve to add support for indexing a particular field: would support for arguments like those the "cut" UNIX utility allow for your use case?
Your point in general that public pension funds have investigated in riskier assets over time is correct, but your claim that the 2008 crisis had any significant uptick after the 2008 crisis is quite simply false. Honestly, to make a claim like that and present no data to back it up is... unhelpful

http://www.pewtrusts.org/~/media/Assets/2014/06/PensionInves...

By far, the largest uptick in the shift from low risk bonds to higher risk assets like equities was in the 80s, but it's been happening longer than that. You could make a claim that there has been an increased shift to alternative assets since the crisis, but you didn't, and the uptick isn't massive anyway.
Cmder was really awesome , the only problem I had with it is that it has so many settings , like tabing , and there is no way for disabling them. But as far as I can tell , Cmder is excellent tool , despite of my specific view about terminal application.
> And if Servo grows to be a fully grown competitive web browser

From what I hear Servo is a research project. There exists a great chance it will never become a fully grown web browser.

It already started sandboxing some code, but I'm not sure what binary deltas have to do with massively parallel web brwoser.
Assuming the frequency stays in the same ballpark. :)
Thanks for the votes :) The code is here if anyone wants to modify it (this site is hosted on github pages):

https://github.com/joevennix/aquietplace
Some starting points:

http://www.kalzumeus.com/greatest-hits/

http://www.hyperink.com/Sell-More-Software-Website-Conversio...
I have a similar issue with Chrome 43 and Firefox 36 on OS X, but not Safari. It feels like the scrolling is dropping frames under Chrome - there's something that feels laggy/unresponsive about it. I wish sites didn't try to hijack scroll behaviour
I'm a bit surprised that the author didn't mention julialang.org in the report - it's much more suited for technical / scientific computation, while Go and Rust seem better for systems-level concurrency/design.
In short, you're pushing the ball around, and the force you use depends on three things:

- how far the ball is from the target (P, proportional)

- how far the ball has been from the target over time (I, integrator), so if you are very far even after a long time you try to push harder

- how quickly is the ball approaching the target (D, derivator), i.e. if you're approaching quickly then you decrease the force, if you're approaching too slow then you increase the force
What API service does this person use to find these cheap tickets? Or are there any good API service providers to find ticket price?
I'm curious, is there any configuration of the PID parameters that would achieve optimal control for this simple physical system? I suppose the optimum looks like 100% thrust and switching to -100% thrust at just the right time to stop at the target position.
Show HN: Masked password helper
My guess is that a lot of us here on HN probably use a feed reader (I use Feedly). But that's because we're outliers with a technical persuassion. Most people don't have the first idea about rss, but _everyone_ uses email.

I'd suggest there are 2 advantages to starting a newsletter:

1. You can plug your rss feed into the newsletter and broadcast your new articles via email for those who don't use rss.

2. You can email other updates, news, surveys etc that you don't publish on-site.

Email also opens up the discussion because your subscribers can respond any time. It's like the original social network.
Prison Palimpsest: A Former Tour Guide Looks Back at Eastern State Pen (2014)
> I also feel like people in suits are being subjugated, no matter how high up the totem pole they think they are.

Well, according to OP they are subject to a prisoner's dilemma and have chosen "defect" which is definitely a form of subjugation, albeit in the sense of fashion rather than economics. On this basis alone I think a certain amount of "anti-suit" culture is probably healthy, regardless of whether one believes that rebellion is just another kind of conformity or whether one believes that the economic implications mirror the fashion implications.

> When I see suits, I think of keywords like "deceit" and "materialism" and "shallow".

I tend to agree, but I think most people take an amoral approach: they look at the suit and the positive impression of "power" outweighs the negative impression of "what power does" or "how power is obtained."
The search patterns don't usually align at byte boundary.
You are totally correct. They avoid conflict. If engineers are told at the interview - "Your salary will be this, it will be posted online for all the other employees to see"

I suspect the engineer to not be there Monday.
> First let us switch to Haskell for pseudocode as I don’t want to show you the C++ that is required for this.

Hehe, but that's actual code.

> we may go back to our C++14 code base and implement the ideas there. I’m not going to show you how this can be done here, as it requires some more boilerplate code to make the compiler happy – as usual.

People are going to want to see the code, otherwise, what's the point?
The fact that this is horribly downvoted demonstrates how few people have actually played Earthbound.

EDIT: Hurrah! Parent comment is positive again!