skysight-inc/HackerNews huggingface dataset:
I run Xubuntu on my netbook and desktop. I just randomly went with it some day and really like it. I'm not exactly a "power user" and haven't customized a ton. It does most things the way I want them to be :)
Ask HN: What app for your New Year's resolution?
What's your New Year's resolution - and what app do you plan to use to make it happen?
TBH I've used it for over a decade.
UK has turned into an Orwellian surveillance state (I live in Ireland)

Hell I am watching news now and they are about to setup a centralised database of every woman who got breast implants, you couldn't make this shit up!
Is Haskell the semantically sane language you prefer? Fascinating. The best Haskell book I can find is next for me as soon as I finish SICP, any suggestions? I'd love it if the book had homework like SICP.
Happy to hear it works well for you! I tried to make it as respectful as possible towards a user's vimrc settings.
> Haskell allows me to write code I can reason about in an equational fashion. Scala does not.

That's just non-sense. In Scala typeclass instances are just part of the equation. That's just not a big deal at all.

> Personally, when it comes to GHC's type system extensions, I am rather conservative: MultiParamTypeClasses, FunctionalDependencies, GADTs, TypeFamilies (only for associated families, never for "free-floating" families), RankNTypes.

LOL. I guess that's a joke, right?

> I find antimodularity (due to instance uniqueness) annoying, but incorrectness freaking scary.

There is no incorrectness. The code you have written does exactly what you have specified. Don't blame the tools for writing bad code. :-)
Haskell providing you the tools to easily corrupt your runtime, now that's what I call "freaking scary incorrectness".

> I want the language to help me write correct code, and implicits do not help.

Then why do you fight the language so much in your code example?
I can write terrible code in Haskell, too. Does that prove anything? No.
Catalog Advertises NSA Toolbox
It's got nothing to do with fraud checks. Transfers take days because banks largely run on mainframes programmed in the 1970s. Because of the (by todays standards) peculiar designs those machines had, the bulk of the work is done at night in batch jobs. The vast size and complexity of the software, combined with archaic platforms, their business-critical nature, and almost total absence of competition means that banks don't upgrade to more modern systems unless forced (see the UK same day payments initiative). Then the banking network is not a perfectly connected system so sometimes payments must be routed via intermediate banks. That's why it can end up taking days.
That is a fundamentally bad idea.

Votes and "dollars", what ever your concept of dollar is, should never be the same thing.
Yep but if you look even further into the thread it has this reply from Giff Gaff and people are still not able to lift the filter(EU or not)

"Thanks for contacting me about removing your adult bar. Don't worry I'll look into this for you now.

Unfortunately due to a change in process recently we are only able to remove the adult content bar with a full driving license number or with a valid UK passport."
It isn't designed to deflate. That's a common misconception:

http://bitcoin.org/en/faq#wont-bitcoin-fall-in-a-deflationar...
The legislation that would back this has received only a single reading so far. Still in the Lords.
On my Mac, your page flip wasn't smooth, and your fonts looked pixelated

It looks beautiful on my Samsung Galaxy Note 3. Maybe it is optimized for mobile?
Voter fraud just isn't a large problem, no matter how much some people would like it to be.
I see a major risk of the Christmas dinner being ruined by "Christmas tree". Hint: Donald Knuth
For anyone who is not aware regarding number 5; http://en.wikipedia.org/wiki/Rubber_duck_debugging
The two cannot really be unentwined, especially not now.
down for me too
actually, a lot of websites are not showing up right for me. mostly google-related services
The great firewall of UK.
And thus continues the cycle of lunacy. I understand that you and some others believe this, and that's actually my point (partly). It's past time to reconsider the mantra, "let's standardize on a monstrosity". Again: EJB (and others) should have proven that it's better to have no standard, but productive dev teams.

Actually, though, I believe you overstate the desire of stakeholders to hire unthinking lemmings who demonstrate same by having the latest inane tech on their resumes. I have also hired and managed developers. When pressed during interviews, many had no clue how the tech worked beyond the happy path and would be lost at sea when presented with the slightest edge case.

Thus, I (and other smart managers) always cared about how our devs thought and solved problems, whether they were efficient and productive, how they adapted to new domains, general intelligence, etc. When you have that, you have devs who can get any job done, even if it means learning some inane buzzword dujour tech demanded by some poor, gullible, semi-technical "stakeholder".

The better engineering companies have long recognized this. You're not going to get a gig with Google because you have Nhibernate on your resume. You are going to get the gig when you prove that you're adaptable and smart enough to think through any problem thrown at you.

So, while I know it's fun for you to write "unclebucknasty's homegrown DAO Layer", I believe it's your paradigm that may be a bit outdated.
No syntax has intrinsic semantics.
I don't think 'intrinsic semantics' is a meaningful combination of words.

Explicitly, in lisp, everything is a stack of instructions arranged in a tree. The instructions are either functions that manipulate the input data, or functions that manipulate the underlying tree of instructions.

By naming convention and documentation, we give the various functions semantics. ("With" macros being an example).
Looks pretty cool! Seems to do a lot more for GUI Vim than terminal Vim right now though. It would be cool to see some cterm color values added to it.

I also love how goyo takes callbacks. It really makes interoperation a lot more elegant.
You can relive the memories by reading the 1993 NY Times review:

http://www.nytimes.com/1993/04/18/business/the-executive-com...
> Is Haskell the semantically sane language you prefer?

One of them.

> The best Haskell book I can find is next for me as soon as I finish SICP, any suggestions?

I liked Learn You a Haskell for Great Good, but that is maybe just because I am a childish person. :-)
A plan works wonders. Try applying SCRUM on yourself. Set up sprint goals and find someone to demo for, so that you feel the preassure. Also, expose yourself. Angle your screen so that someone else can see what you're doing, so that you feel ashamed when procrastinating. If you have noone else, angle towards the street or share your screen with a partner or something. Have a schedule. Use different logins for work and leasure. I use another wm without distractionware running. Find someone to discuss your approaches with. Working alone increases risk of getting stuck. Planning also helps here. Regularly meet your parners in person, a good time is for demos. Make promises for next time. Stick by your promises. Never over-promise, never under-deliver.
Agreed, counting keywords in Java or macros in Clojure core isn't comparable. For example, keywords such as `:when`, `:while`, and `:let` inside a Clojure `for` macro support the macro name, perhaps in the same way `extends` supports the `class` or `interface` keywords in Java. It would even be possible to have only one publicly visible macro in Clojure with keywords in 2nd position to chose the behavior, e.g. `(macro :defn myfn [a] (print a))`.
You gotta rank high for V14GR4! then you'd get more visits. That's apparently how the kids spell it these days...
Free right now on Kindle: Hooked: How to build habit-forming products
It's not uncommon for machines to have a branchless idiom for generating the value of a condition. For instance, in x86:

cmp price, 100
setg reg
movzx reg, reg
lea reg, [reg + reg*4 + 5]
Actual link: http://www.spiegel.de/international/world/catalog-reveals-ns...

spon.de is an unfamiliar URL shortener for most people, and it's not very obvious that it is affiliated with Der Spiegel (a much more reputable name when it comes to reporting of this kind).
This is a good idea -- I can certainly say that I've written stuff that would be improved by refactoring. Can I encourage people to write actual unit tests for any code presented, too? I usually take my code snippets from a small standalone project, with unit tests and a build script (Maven, as I usually work in Java), placed in a git repository that I link to.
The NSA must have an enormous pile of unkown exploits to facilitate all that. I wonder how they prevent other US agencies and government networks to be vulnerable to the exploits the NSA uses itself, or if they even bother trying to do that.

Leaving pretty much the entire IT infrastructure vulnerable seems like a very dangerous strategy.
Encryption in Everyday Life
Thank you, looking forward to reading it.
How did this get submitted when the exact same link was posted 2 hours ago? https://news.ycombinator.com/item?id=6979240
"but the vast majority of databases aren't that big" probably because they don't keep all copies of everything forever. Even as basic blog system would grow huge just based on spam comments alone.
I am aware of the study, even so, where does the Expedia AdWords spend come into play as an argument? So they get penalized - they won't cut AdWords obviously, they might even up it. They do not get penalized, they either cut their AdWords budget or it remains the same. Again, where is the incentive for Google to not penalize Expedia? Because the AdWords argument doesn't hold.
Certainly ten or more years ago, antivirus companies actively sought out virus writers. In those days the virus writers were more likely to be troublemaking kids rather than organised crime, and it was much more fun to be the gamekeeper than the poacher.
I haven't really gone through X11 before, but the API really is terrible. How have we managed to hang onto this monstrosity for so long? I get people have a fondness for something that has held up for so long, but the huge complexity and difficulty of hardware acceleration means it's time to throw it out.

http://magcius.github.io/xplain/article/x-basics.html

Head over there and drag the kitten around to see why. Now your average Linux desktop builds a lot on X11 to get it to perform how it does now, but all this effort is a huge waste. Just compare it to something like Apple's UIKit or Android's layouts - it's well past the sell by date.
18) Figure out when you're most productive during the day.

Morning person? Evening person? Put small and easy tasks in the non-productive time of the day (or break out, see point 4) and get the big ones in your best time of the day.
Then why did you answer "What a weird question" instead of just saying so?
> And I believe I have explained what doesn't make sense
> to me.

You haven't explained those things, but rather attacked them.
How can Rails react to the rise of the JavaScript applications?
more importantly, americans need to realize that the elite have recast american history as it relates to white slavery, black slavery, the civil war, the immigration moratorium of the 1920s, jim crow, hitler, the civil rights movement, the constitution, and the anti-smoking movement.

The USA is built on false history as pushed via the educational system.

To paraphrase Orwell from his novel 1984, they who control the past control the future.
It does.

ISO/IEC 9899:1999, 6.5.8, p6 has this to say:

"Each of the operators < (less than), > (greater than), <= (less than or equal to), and >= (greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false. The result has type int."
17) is one one the easiest things that gets me motivated.
I use minutedock for timetracking, and they allow me to set custom goals. e.g. "20 hours = pay morgage, 40 hours = pay for everything" everything beyond that is luxury.

Boy do I get motivated when I'm looking at not being able to pay my bills and end up just ignoring #1-16.
I don't feel much happy, although I know, and my partner keeps telling me the importance of #1-16.

The 5) dog thing is a good point, but I feel I need to be able to be responsible and therefor be able to maintain a proper schedule on my own.

You're also talking about routines in 4)
But probably like the OP, I sometimes get up at 9, sometimes noon, sometimes even later.
Often my most productive work is in the evening hours, which is a bit meh.

I would love to be able to be productive again during daytime.

If I look at OP's post I'm reading my own book :(
This was a really neat discussion to watch. Devotional vs Observational semantics.

When I'm in my algorithms class and we have a code snippet to find a minimum spanning tree, we don't even have some machine to compile it down to, but because we have denoted some meaning to bit of the program, we can even prove that the meaning of the entire program is to output the MST.
Yes, my wife is Japanese, but she doesn't seem to know much about the Japanese massacres of Nanking. On the other hand, the Japanese learn at school about the plight of the Japanese who were in China during the Second World War but couldn't go back to Japan when it lost the war.
> No syntax has intrinsic semantics. I don't think 'intrinsic semantics' is a meaningful combination of words.

I was just refuting the assertion that "S-expressions are about as semantically sane as you can get".

> Explicitly, in lisp, everything is a stack of instructions arranged in a tree.

I do not particularly care what data structure is internally used. That is the compiler's business, not mine. I want to reason about my code in terms of the semantics of the language I am using.

> By naming convention and documentation, we give the various functions semantics. ("With" macros being an example).

Names may be misleading, documentation may be incomplete, but types never fail to accurately guarantee properties about my code. Hence my preference for types.

http://tmorris.net/posts/2013-07-18-identifier-names.html
Same here, both parents are professional programmers and both still are.
Latest NuoDB News via Twitter
Surface Music Kit features
cmp price, 100
cmc
salc
and al, 5
add al, 5

6 bytes not including comparison. "You don't get into the demoscene, the demoscene gets into you." :)
This is a huge problem for me. The best solution I have found is to schedule every thing. I look ahead at the next week and what I need to get done and then schedule it in Google Calendar. I name the events 'Coding (Project Name)'. Typically I do a longer 4-6 hour session in the mornings and focus on projects that have a lot to be done on them still. In the afternoons I schedule a 2-3 hour session and work on projects that I'm finishing up on and doing minor work on. I'm a huge procrastinator ("watching multiple seasons of sitcoms" really rings true with me!) but this has helped me quite a bit.
To me, what was most striking about the article (once I got past the pot-shots), was how much the descriptions of Datomic and RethinkDB reminded me of the ZODB, the object database built into the Zope framework: http://www.zodb.org

ZODB is an append-only object database, and one of the data structures commonly used for persistence in it are BTrees: http://www.zodb.org/en/latest/documentation/guide/modules.ht...

Several disadvantages noted in the OP (infinitely growing data, needing to pack the DB to discard old object versions, needing 2x disk space to do the packing) definitely apply to ZODB, but others do not, as it is ACID-compliant and implements MVCC.
Seems legit..
One thing to note is that being self-employed doesn't mean you need to work from home. I always had trouble staying focused at home, and since I have kids working from home is almost impossible for me.

I now rent a desk in a shared office, and I work regular hours. I work 9-4 four days a week. I leave my laptop at work, so I can't do anything except answer the occasional email from home (when the kids let me).

It makes a tremendous difference. When I'm home, I often think of something I want to fix, but since I can't work at home, I have to wait until the next day. When I arrive at the office, I'm already eagerly waiting to get started and most times don't even think about checking HN.

(It doesn't always work. Sometimes I still have trouble focussing, but that was the same when I worked a "normal" job)
If the Daily Mail ran a story saying that the sky is blue, I'd go to the window and check it hadn't changed.
Well, it is true...if "almost all" the feature but not all of them are ported, then its not "fully ported".
Additional, the link to the app: http://apps.microsoft.com/windows/en-us/app/surface-music-ki...

This app/hardware actually looks really neat..
Perl's autobox is lexical so it is also not a global change. For eg.

use 5.016;
use warnings;

{
use autobox;
use autobox::DateTime::Duration;

say 2->days->ago; # 2013-12-27T14:03:47 (stringified output of DateTime object)
}

say 2->days->ago; # Can't call method "days".... (runtime error)
Three things work for me:

1) Having a minimum realistic goal for the day. By having that realistic goal, I find it much easier to get started, and end up achieving more than I set out.

2) Proper cardio exercise - I find just a 5k run really clears my head, makes me feel good, and relieves the physical boredom of essentially sitting down staring at a screen.

3) Breaking up working time into one hour slots (roughly), and having a decent 10 minute break to stand up, have a drink or whatever.
Hack Your Sleep – Tricks for the Best Sleep of Your Life
www subdomain on the original
It's not about being smart or not, it's simply getting used to it. Probably chinese doesn't seem readable or intuitive to you, but a chinese also don't find english readable or intuitive.
I have a (probably) silly question: does node.js and other x86 compatible software run on Ubuntu on ARM-based phones/tables? I do not expect them to do so, but who knows.

node.js and IntelliJ IDEA is probably the only things that keep me on my PC, otherewise I would replace everything with one android phone.
OpenSkyscraper – an open-source clone (in progress) of SimTower
Fedora running on an Intel Core 2 Quad, 8GB RAM, Intel 320 SSD, ATI FirePro V4900 (http://www.amd.com/us/products/workstation/graphics/ati-fire...) w/ 3 displays.

I switched from 2 Nvidia cards (2-head and 1-head) to 1 ATI 3-head card because the Nvidia drivers stopped liking that two-card combo after Fedora 14/GNOME 2.

The only issue I have with this setup is too many Chrome tabs (100 or so) can bring things to a halt. Does anyone know a trick to deal with the Chrome-tab issue?
It's Almost 2014 and We Are Still Comitting Broken Code
Beauty and Mathematics
Security Management for 2014
Cool, thanks. So approximately 43% of the NYT submissions were made by members who only submitted that article. Would be interesting to know if these are new members, who perhaps created accounts for the sake of promoting NYT paywall articles...or maybe I just really want there to be a conspiracy...
But you don't have to keep redundant copies around forever. Immutability means nothing in the past can change, which means it's perfectly fine for future entries to reference old values. New rows can essentially be deltas, much like version control systems.

I disagree that Datomic necessarily grows huge. I'm just saying don't use it if you know you're going to be storing terabytes and you don't have enough disk space to handle it without needing to truncate data with regular intervals.
yes im trying to make it mobile friendly although it is under heavy development. Their is still a long way to go .Thanks for your feedback i appreciate.
Two things.

1. This is a TEDx talk, not a TED talk. Very different. TED talks are given by experts, TEDx can be anybody who has something to say.

2. The science in this talk felt shaky at best. And frankly, from spending even a short period looking into Gary Wilson and his website yourbrainonporn.com, he comes off as an anti-porn conspiracy nut.

I think you need to apply more skepticism to the argument.
Checkstyle, FxCop, PEP 8 checkers. These tools have been around for ever, and normally tied into a CI environment.
It seems spiegel.de vs www.spiegel.de wasn't caught by HNs duplicate URL detection.
Citibank India wants credit card, bank account numbers to stop marketing emails
Declarative configuration management http://nixos.org/nixos/

This.
Can this be integrated into continuous integration software like jenkins?
> That's just non-sense. In Scala typeclass instances are just part of the equation. That's just not a big deal at all.

The important part of the equation that Scala misses is that, when a value V has a type T that is an instance of a type class C, then V has to respect the laws associated to C. Granted, this is not enforced statically (because it requires dependent types), but instance uniqueness allows you to confine all the manual testing/enforcement to the point where the instance is defined.

> LOL. I guess that's a joke, right?

No OverlappingInstances, no UndecidableInstances, no ImpredicativeTypes, no DataKinds, no PolyKinds... sounds fairly conservative to me.

> There is no incorrectness. The code you have written does exactly what you have specified.

Dereferencing a dangling pointer is undefined behavior, and in particular, it may cause a segfault. Just as specified.

> Then why do you fight the language so much in your code example? I can write terrible code in Haskell, too. Does that prove anything? No.

This kind of argument I expect from dynamic language folks, not from Scala proponents.
I see the changes in Rust as a positive, not a negative thing. I do understand that it may become a burden for a Rust programmer and is a major hindrance if you'd actually want to go to production with it. But even this fairly major change should not break a lot of existing Rust code.

But this allows Rust to do bleeding edge research instead of finalizing on a strict specification before knowing if the design will work in practice. It is also very refreshing to see programmers admit that their choice was wrong and not insisting on staying with a bad choice that was made earlier.

Consider Rust to be a practical research project, at least for now.
I like the idea of leaving the laptop at the shared work place. So often I get the laptop out in the evening, and end up feeling a little burnt out.

Just knowing you won't have your laptop at home I think must really help focus.
> GH Hardy wrote: “there is no permanent place in this world for ugly mathematics.”

There is no permanent place in this world for spaghetti code....
> Leaving pretty much the entire IT infrastructure vulnerable seems like a very dangerous strategy.

From NSA's perspective? I'm not so sure. A severe attack on US infrastructure would probably mean just more money and more legal power thrown at NSA to "fix it". Then NSA will continue to do what they've done so far - put most of that "security" money, into offensive capabilities. So the cycle will continue, as the systems remain vulnerable.
You could always work exclusively from a cruise ship. https://news.ycombinator.com/item?id=6697416