skysight-inc/HackerNews huggingface dataset:
I still use it to find answers, but refrain from posting (questions or answers) there any longer. Seems like a lot of downvoting over there for no reason. Negative comments, snide remarks, etc... I've even had answers downvoted for simple typos in my answer code, etc... Seems like there are several top answerers over there that have a know-it-all complex and get upset whenever anyone else tries to answer. Maybe it's only that way in the python/requests/beautiful soup areas where I mainly try to help.
> all while the business just wanted to get from A to B.

Getting the business to realize that they just want to get from A to B can also be an issue.
Actually is was this one: http://www.paulgraham.com/identity.html

And to further your point, I want to see the good in people and believe that those who hold power in positions in the State want to do good, and will do what they think is best, but that doesn't necessarily mean it is. The problem is when the State fails, whether it is because of incompetence, misunderstanding, misguided intentions, or true intent to do harm, those who are dependent upon the state are the ones who suffer.
I think that was a poorly transmitted message and an overblown story.

Probably it should be read as "taking advantage of the system". Look run an Open Source project is costly, as much as making any other kind of software. Or you throw money developing it or time (which can be translated to money).

They release the source code of everything, plus is GPL so it's free* software as stated by the FSF (but they have privative software as well, for example drivers, as many other Linux distros do).

You still can download the iso for free. Plus they have a community ready to help you, and developers trying yo fix every bug they can.

You don't want to pay. Fine don't pay. You don't want to pay them. Fine don't pay them.

But try to think this, in every situation if you use free software that don't require to you to pay consider to help the project. If you have the possibility, then do a donation you are making a little big help to the project. Any help is welcomed (bug reporting, documentation, programming, recommending to your friends, and other things)

If you don't care, it's fine. But when good open source project dies, God help us. And this is true for every single open source projects not only for them (Ubuntu, Debian, Arch, FreeBSD, vlc player, Kodi).

(free* as freedom).
(free* as free beer).
> It does make me wonder if we'll ever see a Nim to rust transpiler.

I'm not really sure what you'd get from that? They seem to share most of the same features, with rust focusing a bit more on safety via its type system. I'm personally more partial to Nim since it seems simpler to me, but Rust may be good for things I don't program regularly.
About the deal with Google, that bothered me as well, fortunately it has expired last year and has not been renewed. Instead a deal with a lot more companies has been made, based on which part in the world you live in. For the US Mozilla has made a five-year partnership with Yahoo, part of that deal is that Yahoo respects the Do-Not-Track preference of Firefox clients.

See https://blog.mozilla.org/blog/2014/11/19/promoting-choice-an... for the details.
Let's say we wanted to give power users a way to hide the chat window, and have it come back when they wanted?

How would you want it to work? (i.e. we could do like, if query string contains hide-olark-for-30-days, we could just hide it for you, and if you wanted it back, we could give you an API command you could type into dev tools?

Our biggest concern (and we do allow hide-able chat boxes, is that once it's gone, many visitors actually want it back in the future on unpredictable intervals. So you can't just simple say "hide for 30 days")
And Gas/Petrol has different safety rules/laws you would probley need to have your home gas tank inspected every couple of years.
You can extract lazy values that represent infinite data. For example, you can define the stream of the factorial numbers as follows.

CoInductive Stream (T: Type): Type :=
Cons: T -> Stream T -> Stream T.

Fixpoint fac(n : nat): nat :=
match n with
| 0 => 1
| S n => n * (fac n)
end.

CoFixpoint facs : nat -> Stream nat :=
fun n =>
Cons (fac n) (facs (n+1)).

Definition fs := facs 0.

It's extracted to the following Haskell code:

data Stream t =
Cons t (Stream t)

fac :: Nat -> Nat
fac n =
case n of {
O -> S O;
S n0 -> mul n0 (fac n0)}

facs :: Nat -> Stream Nat
facs n =
Cons (fac n) (facs (add n (S O)))

fs :: Stream Nat
fs = facs O

It should be possible to define a function that given a Turing Machine returns the stream of its states analogously. But to actually compute the states in Haskell you would have to write a driver function that actually forces their computation one after the other.

Even without corecursive data, you can define a function that for a given TM returns a function of type nat->state, which computes the state of the TM after k steps. In a way this value also represents the whole, possibly infinite, computation of the machine.
Bryan Caplan on College, Signaling and Human Capital
Here is the unix kernel (in Nim) that he mentions: https://github.com/ckkashyap/nim-xv6. It is based off of the xv6 OS: http://pdos.csail.mit.edu/6.828/2014/xv6.html
> Not sure compiling to C as an extra step is going to do to reliablity or performance in Nim but we'll see. Interesting times.
Having worked with languages that target C, machine code and C, I will make a few predictions:

Compiling to C shouldn't hurt reliability anymore than compiling to LLVM. Performance will likely be somewhat less, particularly as "readable C" is the target, not arbitrary C.

> Basically he likes Nim compiled to C better than just Rust. Helps him because he knows and understands C, and reading between the lines he wants to target systems that already have C compilers, but not Rust ones.

Maybe someone else can confirm, but I think right now Rust can't cross-compile; I would hope that this changes after 1.0, as LLVM makes it fairly easy to do.

I'm also wary of the mentioned productivity gains; I simply do not feel as confident in the correctness of Nim code I write as I do Rust code I write. This actually isn't solely due to the enforced move semantics of Rust, but due to a lot of the comments about Nim in the article linked in the issue; Nim and Rust surprise me about the same amount, but with Rust the surprise would yield (sometimes inscrutable) errors from the compiler; Nim was more likely to yield surprising runtime behavior.

The two languages I use most often are C and Common Lisp.

C has some surprising runtime corners, but the language (at least pre C11, which I haven't used much yet, so can't comment on) is small enough that I can keep it all in my own head.

Common Lisp also has some surprising behaviors, and it's a big language, but this is mitigated by 2 things:

1) Common Lisp allows very concise code; this very often lets me keep all of the portion of the software I'm working on in my head (versus C, where I keep all the language in my head)

2) Superior tooling; SLIME lets you very quickly drill down and look at what's happening. Combined with #1 it is very fast to find where the model of the code in my head diverges from reality, so most bugs are short lived.
Interesting. Thanks for sharing. Being a serial entrepreneur I can attest that in multiple companies of mine raising the prices has been the best decision we've done, often taking us to profitability. It sounds scary at first, you worry about the value to customers. In reality what often happens is you are being started taken more seriously by customers. Often both deal size and number of deals per month increase - while we all worry that the deal number initially goes down. Most founders should try charging more than they currently do, especially if the initial prices have been taken from thin air.

In Europe I also see more and more teams who thanks to 3-5 times lower cost base than in Silicon Valley happily become profitable and growing from their own cost base. Reach $20k in monthly revenue and a team of 5-10 good people can enjoy their life as kings and queens. Grow $1-2k per month and hire one additional person each month. No investment needed if you don't want to accelerate.

Have followed both rules with my current startup Weekdone (https://weekdone.com/) and we're nicely profitable here in Estonia, growing month by month. Raising funding is a potential for upside, but not really needed.
Nibble sort competition winner on GCC Explorer
This is pretty awesome, thanks dave!
You didn't find the word on that page because it originally appeared on this one: http://blog.elementaryos.org/post/110645528530/payments

They turned off user comments and edited their post when they started getting pushback from people asking how much of their revenue is going to upstream developers (which is where the vast majority of the work on this operating system is being done).
Don't Stay in School [video]
Right. The civil rights movement in the U.S. also dealt with oppression and tyranny, but many of the actual protests revolved around bus seats and the ability to buy lunch.
The another blog post originally[1] had the phrase:

"We want users to understand that they’re pretty much cheating the system when they choose not to pay for software."

And like, they have this on their home page:

"100% Free
elementary OS is completely free, both in terms of pricing and licensing."

So it's weird to mention cheating or talk about making it harder to download for $0 while talking up the free pricing in their ad copy.

[1] https://web.archive.org/web/20150211113458/http://blog.eleme...
Very true. Propaganda was so successful that even when you rationally know States are bad, your heart tends to give them the benefits of the doubt. Like "they did that in the past, but we're more civilized now", "our president is such a nice guy, he wouldn't do anything evil - he said it won't happen again", "it happens in other country, but mine is better".
This seems interesting to me from the perspective of being able to securely & incrementally back up a media collection to a cloud storage provider (S3, etc) without fear of it being scanned for copyrighted content, a la Dropbox. There are probably solutions out there to do this already; I'm just not aware of them.

Very interesting article, and well-written walkthrough.
Exactly what I wanted to say, the last 20% of the project is always hardest without which whole project is unusable except you.
What the Frog's Eye Tells the Frog's Brain [pdf]
Basically App Containers is about laying down the gauntlet for Docker because the changes they are asking for are/were unlikely to be accepted without backing them up with the pressure of facing a competing project if they're not.

The federated nature of image identity that CoreOS is pushing for is a direct challenge to the special status that Docker has given index.docker.io, and that they have been strongly resisting attempts to change.

I don't care much if Rocket or Docker "wins", but I really hope the App Container federated approach does.
He is worried about data-at-rest after the ssh.

Specifically, he mentions wanting copies of his private keys backed up, but NOT having copies of his private keys in a github repository -- which would be the case with a standard push through ssh.
But it isn't simple?

Look at that circuit board for gods sake, that's probably 6+ layers and apparently required custom gaskets around crucial components. If you consider the device as a whole, it is not simple at all.

That's kind of the crucial point, too. A smoke alarm can only be considered simple when everything on the path from smoke detector to alarm is simple, and that's not the case here. Which makes this seem like a case of not getting the basics right.
What a well thought out opinion on why privacy matters.

Personally, I have a lot of trouble talking about privacy to my mother. She's firmly seated in the "I've got nothing to hide" camp.

I'm forwarding her this thread so she can see some differing opinions (that weren't written by me).
Their idea of usability is different; they want you to pay. Don't underestimate the power of the default.
Why is everyone (including Snowden) talking about personal moments, privacy, intimacy etc when the problem is clearly about tyranny, dictatorship and misuse of power?

In the US, to sell a political idea, it has to be seen as non-ideological. The branding has to paint a message of at least a "reasonable" or "balanced" position. In the very best case the position should appear downright non-political to the people primed to believe them; often referred to as "common sense solutions".

Since the dawn of history the "state" was always the biggest threat to the safety of it's "citizens", not external aggression.

This generally sounds like tin foil hat crazyness to people who have been taught to not have that thought by their political allegiances.
'Every friend in glitchi has a public and a private key. You "lock" the message with your friend's public key and send it their way. Once they receive it, they can "unlock" and the message with their private key.'

Well, if your target user are teenage girl, ladies, or celebrity who love sharing their boobs. i think it's to much complicated for them.
LifeHacker had a pretty great article that helped me a lot that was about Jerry Seinfeld's secret to his success as a comedian, and it's entirely apropos:

http://lifehacker.com/281626/jerry-seinfelds-productivity-se...

FTA:

He told me to get a big wall calendar that has a whole year on one page and hang it on a prominent wall. The next step was to get a big red magic marker.

He said for each day that I do my task of writing, I get to put a big red X over that day. "After a few days you'll have a chain. Just keep at it and the chain will grow longer every day. You'll like seeing that chain, especially when you get a few weeks under your belt. Your only job next is to not break the chain."

"Don't break the chain," he said again for emphasis.

For myself, I pick a new project per month, write it on the calendar, and stick with it.

For example, one month was to learn about and write my own GreaseMonkey scripts for simple tasks at work. Now I have a little floating window in the bottom of my work webapps that automate small tasks for me, like stopping/starting pollers, inputting data, etc.
I'm going to be completely honest as a UI/UX developer. I already feel completely overwhelmed with viable and awesome options. If you aren't heavily using this, at least make sure it isn't interfering with your life. This has nothing to do with what you've done, just how I feel about more icon libraries in general.
Yes, you can run your own registry, but doing so without every pulling anything from DockerHub means rebuilding all images yourself and tagging all of them for your own registry and pushing to that, or DNS / firewall hacks to redirect requests for index.docker.io (or forking Docker).

They've made it much harder than necessary.
I've never used Chef, with or without Vagrant, but I have used Puppet.

It's generally better to have a shell script install your provisioning tool, or use a box that already has it installed, than depending on Vagrant to do anything for you.

Here's a simple example: https://github.com/puphpet/puphpet/blob/master/archive/puphp...
> the upper stage went tearing past off frame at a high rate of speed

So the upper stage was under high acceleration, with its speed increasing? </pedantry>
You might be interested in my FOSS that aims to do just that: https://puphpet.com
> Compiling to C shouldn't hurt reliability anymore than compiling to LLVM. Performance will likely be somewhat less, particularly as "readable C" is the target, not arbitrary C.

I would say "performant C" is the target, it being rather readable is nice too, though. I have a list of some benchmarks down here: https://github.com/def-/nim-benchmarksgame#nim-implementatio...
I found this post from a few months back particularly thought-provoking: http://www.slate.com/blogs/the_world_/2014/12/03/eric_garner...
It's not just the image format, it's about getting the DNS based federation and content-addressible images, which effectively takes away "index.docker.io"'s special status.

And that's where the problem is. I can very much understand why Docker sees holding onto that as a great advantage to them, but it's not an advantage to me as a user.
YES. I absolutely, unequivocally, strongly recommend this book!
Obama aide Podesta ‘biggest failure': not securing the disclosure of UFO files
SBCL at compile time:

* (defun bake (pie temp time)
"Bakes a cake for a certain amount of time, returning a cake with a new
:tastiness level."
(setf (tastiness pie)
(condp (* temp time) #'<
(400 :burned)
(350 :perfect)
(300 :soggy))))
; in: DEFUN BAKE
; (CONDP (* TEMP TIME)
; #'<
; (400 :BURNED)
; (350 :PERFECT)
; (300 :SOGGY))
; ==>
; (LET ((#:PREDICATE2 (* TEMP TIME)) (#:EXPRESSION3 #'<))
; (DECLARE (TYPE FUNCTION #:PREDICATE2))
; (CHECK-TYPE #:PREDICATE2 FUNCTION "a predicate in CONDP")
; (COND ((FUNCALL #:PREDICATE2 #:EXPRESSION3 400) :BURNED)
; ((FUNCALL #:PREDICATE2 #:EXPRESSION3 350) :PERFECT)
; ((FUNCALL #:PREDICATE2 #:EXPRESSION3 300) :SOGGY)))
;
; caught WARNING:
; Derived type of (* TEMP TIME) is
; (VALUES NUMBER &OPTIONAL),
; conflicting with its asserted type
; FUNCTION.
; See also:
; The SBCL Manual, Node "Handling of Types"
;
; compilation unit finished
; caught 1 WARNING condition

Pretty cool...
>So they wrote all this code themselves right?No, of course they didn't. The large majority of what they are selling was written by others (kernel, Debian, etc).

That's is misleading at most.

It's true that they use other free software, so they don't write all the software themselves. That's a fact, but every other open source project is based in work by other.

The development of Linux kernel is based in work made by individuals at their own expense, but also contributions made by companies (as IBM, Canonical, Red Hat) and donations. Linux have paid software developers (it does not cost you but it cost to somebody).

As far I know, the developers of Elementary OS, are collaborating with the community and they have fixed problems in other open source projects they use themselves as Gtk.

>Are they passing any revenue to their upstream providers?

They have posted bounties (cash) to fix bugs in other software the "upstream providers" in bountysource, so that's public information.

>hey have every right to try and charge people,

That's true!.

> but it's very disengineous to run git clone on a FOSS repo,make a few changes then write a big blog post about charging for the output.

They write their own file-manager (pantheon-files), their own window manager (gala, over mutter), their own configuration system (switchboard). Their calendar application, their calculator, their music player, their movie player... etc.

So that's not easy, and your own phrase is "very disengineous" at least, certainly inaccurate and I hope not bad intentioned.

*Edited:formating.
In my case, the reason I keep using Firefox is privacy. Chrome is trying too hard to enforce the walled garden on you and collect data. There's also one "little", but very telling point - you can not set a homepage in Chrome. I could not believe when I first discovered it.
“Sorry Google, you've lost my enthusiasm” (2013)
Just started looking into React yesterday. What I've read thus far doesn't discuss your server-side at all. Is it agnostic to what's running on your server ... any JSON-based RESTful back-end will do, or are there benefits to using a specific stack for your back-end?
Yep, although it creates only one you can run a bunch of containers in it.

It feels almost as a native support, but the hack is betrayed by the networking setup.

I wish it would be possible to just expose ports on the real localhost.
Really? Faith in humanity restored.

Now I wonder how that Wikipedia article survives...
That's not what it is. It's obvious if you follow these guys that they are Apple fans who wanted to customize their OS, couldn't, so created their own. They used OSX as a starting point, that's for sure, but that was years ago, now it's going in its own direction. I personally wouldn't use Elementary because it's overly opinionated for my taste, but I recognize their hard work and originality, they are not ripping anything off and haven't for a long time.
That little "namaste" gesture that he ended it with - I wonder if he picked up that habit from Jobs?
OpenBSD Mail Server Intro
Indonesia’s tech minister aims to raise $1B for startups
I think a lot of people have taken a single statement out of context without actually trying to understand the message they wanted to convey.

It's hard to deny that an open source project with more funding has more chances of surviving and developing good software, and I think it's true that users need to be made aware of that.

A well-funded, sustanaible open source ecosystem is in the interest of all of us. Having an alternative to proprietary software is very important if we want to mantain at least the freedom of choice.
The key is, I have a baseline now - a useable system that is X fast. OS's are mature products, with several alternatives. That keeps people honest
List of folders:

+ user is able to see a tree-view / list of them all at one.

+ searchable.

+ loadable on demand on the same "tabs", even whole folders (projects) at once.

+ persistent (even across computers with bookmark sync).

+ doesn't waste memory (not even mininal).

+ Was even designed for actual organization (Manage Bookmarks...), instead of a viewing content feature that was abused for that purpose.
Why Methods Are Sometimes Better Than Constants
Hold on a tick, didn't you sack all your web-developers in Dublin a few months ago just giving them minimal notice?
Exactly. We did a survey of Flash exploits from the last few years and almost all of them would simply have been impossible in Shumway. That doesn't mean that Shumway will automatically free of all security bugs, but the whole class of bugs that in some way is caused by memory corruption is only possible through bugs in Firefox's JS engine SpiderMonkey. Of course it's much easier to just exploit them in JS directly then, so Shumway doesn't increase the surface attackable through bugs like that.
The Subjectivity / Exploitability Tradeoff
>Since the dawn of history the "state" was always the biggest threat to the safety of it's "citizens", not external aggression.

Yeah, but Americans, after the sixties, do not understand politics at that level, and even believe that the US is the be all end all of states, and the "moral power" of the world, and such BS.
For a lot of cases, yes. For cases of things like DNS resolvers, no. There's too much stuff that requires a specific port.
Not cynical enough (in the us I mean).

They mostly believe the state is incompetent, or that at worse politicians can steal money or favor their buddies, etc. Doesn't go as far as to question issues of democracy, abuse, etc.
[Hiring] Erlang Developer with XMPP/MongooseIM Experience
MONK is on the hunt for a skillful, open-minded developer that is passionate about Erlang ecosystem. We would like to meet people with an established portfolio and experience running distributed and fault tolerant code in production. As an Erlang developer you'll be responsible for our XMPP messaging platform and help us support the exponential growth.

Technical Experience:

- advanced knowledge of Erlang
- knowledge of XMPP
- experience with Ejabberd or MongooseIM
- experience running distributed and fault tolerant systems
- designing highly scalable systems

Bonus Points:

- experience with MongooseIM with milions of concurrent users
- experience with Elixir
- contributions to open source projects or involvement in the tech community

This is full time and long term position. Work from our offices in Rome or Kraków.
We accept also candidates working online.
If you are interested please contact me directly at kuba (at) wearemonk.com
For more information about us please take a look at: http://www.wearemonk.com
and http://www.wearemonk.com/careers
@monksoftware