skysight-inc/HackerNews huggingface dataset:
+1 on the final point. It may be difficult to appreciate how terse terse is here.
> There is currently no anonymous payment technology on this planet that works universally and everywhere.

This is true, but notice that the statement also cover cash.
I find the interface is less "busy" as a result of giving up some of the constraints of WYSIWYG (e.g. a simple line to mark page breaks rather than drawing a page on the screen). Interestingly older versions of Word (in the Windows 3.1 era) were similar.

Styles are more emphasized - the UI will nudge you away from manually changing the font size of one line and towards defining styles for different things. Word has that functionality but it's not quite front-and-center in the same way.

I use LyX for non-maths. It renders nice-looking PDFs (I use it for my CV (well these days I use Kile instead, but same principle)). It's a pretty marginal choice though honestly.
Hmm. There's a complete screen dump in the ZX Spectrum sound.

Can anyone suggest a Spectrum emulator which will run on Linux for decoding this? I've found plenty for Windows...
Let us give some credit to the professors who read the dissertation and understood what was going on.
So Hitler wasn't a terrible person in your opinion?
One graduated from ASU with an engineering degree and works as a supervisor.
Tech Company BQ Launches in the UK
> p7zip is not anyone's first guess the first time they see a .7z file.

If you're running KDE (and I think GNOME), the built-in GUI de-compressors handle 7-zip just fine.

> Compressing a directory is a solved problem with standard solutions.

shrug 7-Zip compresses at least as well as RAR, and doesn't have a file format that permits feeding executable bytecode to a probably-not-very-well-examined bytecode interpreter. [0]

[0] True story! http://blog.cmpxchg8b.com/2012/09/fun-with-constrained-progr...
He's surprised that you actually have to do something in order to get free money? And that tax payers require transparency about how it's spent?

I was part of Startup Chile and got into a VC run accelerator in the US, and bureaucracy in the US was much worse (Lawyers and accountants required for everything, incorporation as C-corp as a pre-condition, immigration acrobatics, etc). He may change his opinion if he has to move to a US accelerator with a $40k - $50k investment (just icing, as dashr rightly points out).
The differences you note are what I consider cultural differences.

Math _indeed_ have the idea about interfaces and implementations. They are called something different (exitensisal types from a PL point of view).

I will recommend you to look into type theory, in particular the book "types and programming languages" provides a very good introduction.

In CS we have two areas that make it completely clear that math and CS are coupled, that is complexity theory and programming languages. After having taken a course in each, and pondering a bit, it should indeed be possible to see the that they are the same.
Graveyard Quest (by KC Green)
(I work at Hackerrank)
A couple points:

* the stack trace -- We avoid showing stacktraces to candidates as it has the potential of leaking information (a well created error message/stack can leak test case data).

We can and should show the trace (for languages that provide it) to reviewers. I've added an item to our internal tracker.

* Familiarity of environment: Most (if not all) of the challenges companies created by companies link to a sample test (hackerrank.com/tests/sample). We notice many but not all candidates take this before the actual challenge. Perhaps we should highlight this more.
WW3 NEWSFLASH TURDS AND ARABS MASS ON SYRIA BORDER
Three misconceptions about BDD
Maybe if it would be sending AST in JSON, not recommended though :)
I think they're referring to OO style (a member function) and imperative style (loose functions).

But unifying those makes no sense to me.
Stop reading HN and other such. It's giving you a horribly distorted view that seems to have wormed its way inside your head and is damaging you. To paraphrase Mary Schmich, "Do not read SV news websites, they will only make you feel like a failure."
This could be a blog post ;) What compilers do you use?
You are deluded if you think you don't end up paying for the (vastly greater) cost of handling cash.
c) is https://gitorious.org/banshee/windows-binaries.git the one you are looking for?
The Independent: first victim of a confounding digital future
> and eventually one of the community-elected trustees was removed for questioning the lack of transparency

This was a hypothesis about his removal when he was initially was removed, and has since been refuted by multiple sources.
>"a) candidate usually prefer to spend one hour on an online test than to take a day off for full day of interviews"

One additional bit to add to this type of 'testing'. It's write once, "be interviewed" multiple times. Rather than the usual interviewing process that requires you to "write" some sort of test/interview every time they go to another potential employer.
Get CISSP Certified in Quick and Easy Steps
Ask HN: Looking for a video hosting service with API
Hello all,

My customer is building a mobile app and is looking for a service to upload, encode, host videos made from this app.

The volume will be quite low at the beginning (the app does not have a large target and the video taking is not the core of the app). We need a good API, possibly with iOS and Android SDKs and a possibility to download videos after upload.

We were thinking about using Dailymotion Cloud but they are closing their service.

Do you know any good service ?

Thank you for you help.
How to get Google Calendar on iPad
The first one would be caught in Rust as it has no integer -> boolean automatic conversions (similar to Java).

The second one could only arise with unsafe pointers in Rust, as safe code uses slices, combining the base pointer and the element count in a single value.
Oscobo – UK's Anonymous Search Engine
This way I am paying twice. Once for the police work, once with my privacy. If police cannot do their job - we disband them and create something better in their place.
Common Table Expressions

Be careful to watch how your chosen DB processes CTEs and what it means for performance in your queries.

In postgres they are "optimisation fences", something which there is significant resistance to changing[1][2], where-as elsewhere (at least in SQL Server) the query planner and engine can optimise across CTE boundaries (pushing search predicates back into them where possible). This can make a massive difference to the performance of some queries, potentially turning a full index scan (or worse, multiple scans) into a small number of seeks.

As always: test with realistic data sizes/patterns to make sure things work as you are expecting them to.

[1] see http://blog.2ndquadrant.com/postgresql-ctes-are-optimization...

[2] also https://news.ycombinator.com/item?id=7023907 for further discussion
> Programming has existed for, say, 50-100 years. We have recorded mathematical history going back thousands, with contributions from most of the most brilliant human beings to ever exist.

Mathematics with a solid logic foundation has also existed only for the past century, and writing programs is actually equivalent to doing a mathematical proof as some have already pointed out.

The actual problem is that when programming you are talking to computers, so you have to lay out each step, or the computer will not know what to do. Sure you can use libraries to do very complex things all at once, but then that's because those libraries have already laid out the steps.

But when doing mathematics you are talking to humans and you often skip steps in a very liberal way. There is indeed a library of theorems that is written down, but there is also an unwritten library of "it trivially follows", which, if a mathematician is asked to actually write it down, might feel humiliated.

When you think that there is something so trivial that computers must be able to do, you still have to find or invent a library for that. When you think there is something in mathematics so trivial that it must be true, you just need to convince your audience.

One day all mathematical papers will come with a formal proof, but that day has not yet arrived.
Time Management Hacks for Small Business Owners
Running a small business is no small task!

If you feel you have been racing against time juggling clients, answering emails, planning, scheduling, and day-to-day operations then just STOP! You are about to burnout!

Don’t worry! We are here to offer some respite!

See more at: http://www.biz2credit.in/blog/2016/02/03/avoid-burnout-with-top-5-time-management-hacks/
>And I don't have to download anything to open a [...] .tgz.

You do on some OSs.

http://superuser.com/questions/234649/how-to-extract-a-tar-f...
> The second one could only arise with unsafe pointers in Rust, as safe code uses slices, combining the base pointer and the element count in a single value.

OTOH the point here is to pass a preallocated but "uninitialised" buffer to the callee, which Rust wouldn't allow with slices, unless you created a slice from a raw allocation (I don't know if that's defined behaviour, though I guess you could do that safely by passing in a Write rather than the slice itself, but then you're Write-ing to a slice which has… interesting behaviour)
Sorry for the confusing wording; I intended for "segfaults" and "failing non-sample testcases" to be interpreted as separate things. Showing stack traces or any other info from the program's execution for non-sample cases would be a bad idea. However, if it segfaults for a sample testcase, showing a stack trace should be fine (and this will probably catch the vast majority of segfaults).
Ask HN: Do you think layer.com will shut down?
My app is built using Parse and Layer. Now Parse is down and I will write the backend from scratch. I am thinking if I should give up Layer too. Of course I don't want it to shot down but do you think there will be a chance?
Looks like poor man's partial application (and currying) to me?
It's almost like you want the source code as well as the compiled program.
Writing Settings ‹ everything about your rv – Blog.com
So apparently Einstein has his own, official website (einstein.biz). Who knew?
It has got a proper shop and everything!

Treat yourself to this relatively expensive USB stick:

http://www.shopeinstein.com/mimobot-16gb-usb-flash-drive/det...
AMD R9 Fury X2,Fastest Radeon yet Is Almost Here; Frame, Teaser Image
I am 28 and two years ago had similar feelings. I burned out after 6 years working in IT corporate environment in shift mode.

Moving to different area helped me a lot. But same mind-set reoccurred after 3 years and i burnt out again, another moving to different area.

Now I have kids, house with my own workshop where I have environment for creative hobby - woodworking. I can see real result of my job. Beside this I work in IT corporate and have company with on-demand programming services.

I feel it's stable period, with work-relax balance, at least for now.
Mobile RV Repair
Sorry, but that is ridiculous.

I have recently started working on an existing project which is all new to me. Having to go through git commits looking for relevant comments is just a silly suggestion. Its far more useful when I am browsing through the code, trying to understand it, to see a comment beside the relevant piece of code, not hidden away in git commit messages.
C++ is fool's gold.

Its complexity is inefficient and this gives the sensation of power and accomplishment, when all we have done is waste energy on translating abstract thought into a fragile foam of symbols. Then finally there is a sad degree of orthogonality between the meaning and structure of said foam and our original thought. But it sure feels like we did something. We slaid that dragon good eh!
Anti-bullying program focused on bystanders helps students who need it most
And still:

The second was a software bug which led to a wrong file being deleted as part of regular housekeeping activities. The fix was straightforward and was applied and the MSL continues its investigation of life on Mars. (end of the article)
Reasons to buy printed party wear kurtis from online stores – Sareez
http://imrosierose.weebly.com/blog/-reasons-to-buy-printed-kurtis-from-online-stores#.VsGrWK-ScTk.hackernews
parse leaver here, yeah could happen if apple decided as facebook done to parse.
What Happened: Adobe Creative Cloud Update Bug
I think it's about balancing various things. Having less code is good unless there's a hidden catch you need to be aware of or it takes a few weeks to unravel what the code does.

I prefer code that is understandable right away, is consistent and doesn't have any surprises.
Reddit discussion:

https://www.reddit.com/r/science/comments/45sqf9/antibullyin...

PDF from Sci-Hub (donate for free access to scientific research here: http://sci-hub.io/donate):

http://psycnet.apa.org.sci-hub.io/psycarticles/2016-03231-00...
Iride UI Icon Pack Crack Apk v1.6.2 Free Download
To clarify the last sentence: I am not criticizing mathematicians for not doing formal proofs. Often mathematical publications are not final "products" but explorations into new methods. Requiring formal proofs on every publication, with the status quo of computer-assisted proving, will surely impeded the development of mathematics. What I am saying is that I hope one day with the development of computer-assisted proving, the chores involved in doing formal proofs will be reduced to such a degree that mathematicians are more inclined to do them than not.
> If I left this verbose and other bits verbose then it would be hard to see the whole picture.

I really can't sympathize with this. How exactly is this helping any one at all, if you have to struggle with it yourself? Is it a bunch of dense monolithic code? Decompose into smaller methods / separate files. Setup your text-editor/IDE in an effective way for quickly navigating across large chunks of related code. Imho there is a world of difference between terseness that helps readability and code re-factoring vs. terseness that makes you want to bang your head against the monitor.

That said I think the requirements, or say qualities which define good code and good dissertation's are quite different. Code needs to be maintained, refactored and altered throughout it's lifetime, a dissertation might only need to be built up and understood once to prove a particular result which can be re-used after that.
> If there is an event that disrupts electronic transactions ... everything will grind to a halt;

False! Checks still exist. Banning cash does not translate automatically to electronic-only. Banning cash means traceable-only.
I doubt that the merger was converting all energy into GW. I suppose there might be some effects occurring at such high energy that we don't have precise simulation of what would be emitted.

In any case, that emitted energy certainly wouldn't be good for any living tissue. I don't think you could expect to witness a black hole merger from the comfort of your spaceship a few thousands of miles away.
Under the covers, `x.f(y)` is actually something like `_ZN1X1fEi(&x, y)`, where the mangled name indicates the class of X and the type of y. The implicit 'this' pointer is actually explicit in the implementation. Similarly, a call to `f(&x, y)` would actually be a call to `_Z1fP1Xi(&x, y)`, with similar reasoning.

The author is proposing that writing

f(x, y)

Which would normally only bind to the second mangled function, would bind to the first mangled function if the second is not available.

The additional proposal, that:

x.f(y)

would work in the other direction was rejected. That's a bit of a shame, as this kind of duality is powerful in languages that support it (e.g. scala).
> Antidepressants commonly cause suicide

You need to cite that "common" claim there, and balance it against the numbers of deaths by suicide that are prevented by appropriate anti-depressant use.
ImportPython
Weekly Python Newsletter. One that's not just a summary of reddit python sub group.
JOIN US ANONYMOUS SERVER
Ok. How?
At that level of reliability, language matters surprisingly little since everything is heavily tested, reviewed, hand verified, etc... Language safety is a cheap high-value solution, but might not make sense when coupled with other more expensive safety solutions (imagine wearing a simple seatbelt with a complete safety harness, they aren't additive). C/C++ have other benefits: minimal abstraction, lots of trained up talent.
That's what security trimming is for. You index everything, including the permissions for each item and provide the searcher's permissions (whether it's an acl, a claim, or some other form) as part of the query. Anonymous or unauthenticated users get a "public" claim that only returns results available to everyone.
I disagree.

Knowing how much to abstract and writing clear code is indeed an ability.
It depends on what you want to do and what you expect. As I wrote in my blog post, Emacs is more to me than just a text editor, just like a browser is more to many people than just an HTML viewer.

I don't use Emacs on the command line; I use a graphical instance. I usually only have two programmes open: Emacs and a graphical browser (eww still needs some work).

Being able to use my very own Emacs that has been molded according to my habits for pretty much every task is a great feature, but it only becomes obvious after some time of continued usage.
Now You Can Adopt Agile During Offshore Development
In this case, Joel Moses could easily know more about Lisp than we both together... probably he speaks from deep experience.
When you lose a bike race badly – funny viral video
The article more or less makes this precise comparison.

"Do everything in Emacs" isn't really so different from "Do everything in the browser."

Arguably, modern browsers are more heavyweight and complex at that. They certainly eat a hell of a lot more RAM than my Emacs ever does.
No need to apologize for different opinion.

IMHO comments aren't there for newcomers. You are a newcomer for a month or 2. You are a developer for years most often. Besides, how is

//Steve in accounting asked me to put this in
foobifyTheBaz(bazPtr, foobificationParams);

more helpful for newcomers than just

foobifyTheBaz(bazPtr, foobificationParams);

Comments answering "why" are very important when bugfixing/changing stuff. You want to know if sth was intentional or just accidental, and if it was part of the change that you have to override, or some independent change, so you know which behaviour should stay, and which should change. You should always look at the git blame of the region you change anyway before making a change (it often turns out your change was there before and commit message has the reason why you shouldn't change it back).

And you don't look for git commits. You enable git blame annotations in your IDE and hover over the relevant lines to immediately know who, when, and why changed that particular line. That's why commit messages are as important as good naming IMHO.

By the way, when you have code like:

//Steve in accounting asked me to put this in
foobifyTheBaz(bazPtr, foobificationParams);
barifyTheBaz(bazPtr, barificationParams);
if (mu(bazPtr)) {
rebazifyTheBaz(bazPtr);
}

How do you know which lines the comment refers to and if you should delete it or not when Tom asked you to change barifyTheBaz invocation? That's the main advantage of commit messages over comments - they are always fresh and encode the exact lines they refer to.
Practice! Practice! Practice! Just find recipes and start cooking.
Okay, TIL, still there's more OOP in Clojure beyond CLOS influences.
Take a cooking book, search something you like, buy the parts, start. Really .. cooking is not hard. When you are more advanced you can improvise and experiment, switch ingredients for others and so on, but that's optional. For 99% of all things you want to cook there is a recipe out there that was already tested by someone else.

If you really do not know how to start there are always cooking classes. They can be fun, but they are not strictly necessary.
This article is a really good discussion of Richard Gabriels essay, 'The Rise of Worse is Better', which should be, imo, required reading for all technologist (along with 'Mythical Man Month' and 'Soul of a New Machine'). The authors testimony resonated with me, once I realized that I'd never get adequate requirements, or time to fully implement a feature, and just solve the problem in front of me, is when I became happier in my career. Consequently more successful too.
Hang on. You can't cite tax avoidance as evidence that voluntary taxation wouldn't work - it happens now, with 'compulsory' taxation, with rates orders of magnitude higher than would be required for a minimalist voluntary state.

For example when we (the LibertariaNZ) ran the numbers for New Zealand, we estimated the cost of providing Government - not social welfare or foreign intervention - to be $2500 per year per working adult.

In the absence of any other form of taxation, do you really think this would be impossible to generate in a voluntary system?

I'd argue you're right, though, if you're thinking of the level of taxation necessary for socialism.
I suspect that angst stems largely from loss of faith. Whether it's faith in some religion, or faith in some ideology. I rejected faith very early, and so lack of inherent meaning doesn't occur as bleak. It's just what's so. And it's arguably all about selection.
I am not convinced that the description of why faking it is useful is...useful.

"We will come closer to a rational design if we try to follow the process rather than proceed on an ad hoc basis."

No. We don't get better if we pretend that stuff that doesn't work works.

Obligatory reference Henrik Gedenryd’s 1998 PhD Thesis from Lund University: "How Designer Work"

Single PDF:

http://lup.lub.lu.se/luur/download?func=downloadFile&recordO...

Chapters:

https://chrisrust.wordpress.com/1998/12/31/how-designers-wor...
> I recently adapted a colleague's document from LaTeX and it was simply easier to redraw a slightly complex table in LyX than to understand the table markup. I think he'd be disheartened to learn how fast it was to produce the table.

Can't you even import some of those?
Based on the rest of the original paragraph, I understand he refers to the fact that you have to choose either one when desigining a library, and then you're stuck with it (and its various consequences) in your API for better or worse -- and your library users are stuck with it too.

In other words: if you design a polygon clipping library, do you design your API so that users would write `polygon1.clip(polygon2)`, or `clipper::clip(polygon1, polygon2)`?

edit: also, from reading further down, I understand the discussed issue is that after you define the API as `polygon1.clip(polygon2)`, you can't easily use the 'clip' method in places where a f(a,b) would be required, although it's effectively equivalent. And it's impossible the other way round too.
Well the PhD process lets you experience failure without putting much more than your self esteem in danger...
I could not attempt 1 challenge out of 4 because i didnt get the question, and needed more information maybe another sample data? I was struggling for 30+ mins to understand the question but couldn't get any clues. I could not complete last challenge because of not understanding the question/pattern of question (maybe its my fault but a hint or 2 would have helped) rather than my coding ability. Maybe you can (as you work there) add 1 or 2 (optional) hints & make at least 2 samples of test data for tough questions. Anyways, it was a different and nice experience!
Proof assistants are in some ways very similar to what you described. Coq [1] is a popular example. It helps control complexity of larger proofs and verifies that everything that is derived is correct.

[1] https://coq.inria.fr/