skysight-inc/HackerNews huggingface dataset:
Really? What language allows you to encode business logic into its type system?

I'm talking about things like, what happens if you press this button; is this calculation correct; does this lookup give me the desired results; does X get stored in the database correctly (or retrieved from it); etc. I don't know of any type system that lets you check these things.

(Also, I assume s/strongly/statically; Python is a strongly typed language. Granted, not everybody agrees about the terminology...)
15 most asked question to understand Android
No, it's not about modern C++. Please don't follow his tips for regular C++ programming. His approach is "C with classes" which is common in extreme game dev (e.g. Carmack's engines).
What are the pros/cons vs something like gulp?
Sure. Nothing wrong with whatever (sensible) versioning scheme a project decides to use. But I think version numbers do bias the perceived stability. If I had never heard of Flask and I saw that version 0.11 was released after three years of no new releases, my gut reaction would probably not be overly positive. That said, Flask is indeed a great piece of software :)
Marketing Myths Part 2
That seems to be his last post on gaming/games: http://briancarper.net/tag/66.html
How to Become a Rockstar B2B Social Media Manager
Tabs. There's a reason we put tab key on every keyboard out there, it is built specifically for alignment

The word tab derives from the word tabulate, which means "to arrange data in a tabular, or table, form." When a person wanted to type a table (of numbers or text) on a typewriter, there was a lot of time-consuming and repetitive use of the space bar and backspace key. — https://en.m.wikipedia.org/wiki/Tab_key
I wasn't asking you for anything.
It would be nice to see an example for this kind of query.

BTW, SQL seems like a terrible language. For example, why would it need to enforce ordering for keywords like ORDER BY, WHERE, GROUP BY? So many times I had made a mistake that boiled down to putting them in the correct order...
If you want your iterator to be fast, its implementation will be in a header file, at which point the C++ compiler can inline and omit the copy entirely.
I know there have been scientific studies, but I think there is no such thing cognitive dissonance.
> The war in the west didn't start until May 1940, when Germany invaded France.

To be picky, the Battle of the Atlantic started the same day as the British and French declaration of war, with the sinking of the SS Athenia. And the Norwegian Campaign began the month before the invasion of France.
Show HN: A 100 Year Page = Good Idea?
Dear friends,

Recently, together with my partner, we have launched a website The 100 Year Page (http://www.100yearpage.com/). A page with 98 display slots where owners can place an image (only during 14 days after slot acquisition) to convey a message to the future. Each slot is linked to a personal page on which a bigger image can be posted.

We want to maintain this page for 100 years. We found domain registrar and hosting provider who can commit to this.

Do you find this an interesting idea? I know its not very original and more resembles the http://milliondollarhomepage.com/ , but we actually came to it from a different angle, thinking more of an internet time capsule..

Thanks for your feedback!

With best wishes,
Jan.
I've heard it is in China.
Thank you for providing technical information to a thread that is thriving with far too much anecdotal data. Im careful to say noise because in an early technology like VR it is good to have all this discussion and sharing of data but I really appreciate the underlying science more than the anecdotal checkmarks. Anyhow thanks.
As an anecdote, I loved reading as a kid. Won awards for reading which is a bit silly in retrospect (we don't give awards to kids who enjoy other media). To this day I fucking hate writing. I used to love writing, but if you want me to write something in 5 paragraph form you can gtfo. Every time I tried new writing techniques I was punished, so I stopped doing it all together.
13, Right Now
Yes. Just not both.
Spaces for indentation, spaces for alignment...

...but using the tab key /glares at Silicon Valley/
Hard work is one of several factors.

Also not being a billionaire!= not being successful.
Spaces! https://github.com/airbnb/javascript#whitespace--spaces
The Log: data's unifying abstraction
Somebody watched Silicon Valley last night :)

And I go with whatever the current file is. If I didn't make the file I respect the style of whoever did.

For my own files I prefer spaces.
Seconded. Ultra edit does the same tab->space conversion.
Landlines and filing cabinets unimaginable for millenials
Tab is great for auto-complete.
Genetic Genie is setting off a lot of bogosity warning bells in my head.

Yes, epigenetic methylation is associated with increased risk for all sorts of chronic illnesses. And, yes, oxidative stress influences heritable methylation. At the same time, the site appears to be peddling its own brand of alternative medicine woo and affiliate links.
I agree with this to the extent that I will say it's the sensical answer. I think that tabs are an obvious choice because they are semantic intendation rather than generic spacing. For this reason the front-end can render them with 2, 4, 8 or whatever amount of spaces, without requiring the code be changed.
For a very long time, I thought tabs were the way to go. It provided the most compatible coding style between my languages (Lua, C, Assembly, etc.) The only sticking point was JavaScript, which used spaces. But now that I develop across devices, I'd have to say spaces simply because of encoding issues re: Unicode. Sure, you could ensure your encoding type, but that's an extra step you shouldn't have to do.
Sorry, I meant "Anthropology of Childhood" by David F. Lancy
I heard that Qubes is riddled with undocumented scripts that have no automated tests for them. Does anybody know how true is that?
>> Superman? Any experienced developer should be able to work with other people’s code. If you can’t, you’re either inexperienced, or need to learn the language/frameworks used.

You'd think so, but thats not always the case. There are many boundary cases and "gotchas" that might not be even visible in the code. (I.e. the stuff that isn't there). Secondly the follow-up dev might be not that interested in code quality. Personally I even feel that if the code doesn't have unit tests in the first place the original developer didn't care and the shop didn't care then why should I bother?

>> Unit tests don’t help with that.

Ofc they do. If I write a class that uses for example boost.filesystem, and I have my unit tests that test my class. I upgrade my copy of boost. Ofc, my unit tests won't tell me that some other part of boost.filesystem has regressed but at least if some API that I'm using has changed and behaves differently I have a chance of catching it.

>> Waterfall model only works if you’re building a space shuttle or similar.

Nobody said anything about a waterfall.

>> Eventually, you gonna need to update your design even if at the time of your version 1.0 it was just flawless.

Personally I don't rush to write the unit test immediately, but only after I've put a bit more code together and verified that the design works. Call it a gut feeling or intuition. But once it's stable I write the unit tests. That doesn't mean that I'd ignore the "testability" aspect when I do the design. Quite the opposite it's an important aspect of the whole process.
Investments at Record High in Fintech
How could StackOverflow work as effectively for such a broad set of topics with a small community?

I suppose I don't understand the point of the article as written.
I was in tears when she said she uses Vim.
It has poor performance on consoles.
I've never once heard of someone saying that Miami (or Puerto Viejo or Florianópolis) was a good place as a nomad (not even on my radar), and I've been in the "circuit" for almost 2 years now.
You can find walkthroughs by googling a bit (I myself wrote walkthroughs for the last 4 levels), but I'd highly recommend doing it without cheating. The amount you learn from figuring it out yourself is exponentially more than what you learn from reading a walkthrough. Most important is how you learn to think, by carefully looking for vulnerabilities and examining what you have control over and how the program uses your input.

Spend enough time learning the instruction set and the concepts involved and the answers will become apparent.
(setq indent-tabs-mode nil)
One reason is to remind you of the SQL order-of-operations:

* The from clause retrieves records from data sources like set functions, tables, or views.

* The on/using clause joins tables

* The where clause filters out records

* The group by clause assigns records to buckets

* The having clause filters out records

* The select clause runs

* The order by sorts

* The limit clause picks records

In this query:

> select sum(1) over () from (select 1 a) x join (select 1 a) y using (a) where 1 = 1 group by true having true order by 1 limit 1;

The only out-of-place component is the select and window function(which runs after the group by clause). In a more complex query with multiple selects in scope, the order of terms helps remind you which parts are running in which order.

Note that the optimizer won't strictly enforce the order; it's just a guide to interpret what the results should be.

If you need to do something out-of-order, you can use a subselect:

> select * from (select sum(1) over () from (select 1 a) x join (select 1 a) y using (a) where 1 = 1 group by true having true limit 1 ) x order by 1;

Here, I've swapped the limit clause and the order-by clause, although you can still see the order of operations in the explain plan being separated by a 'Subquery scan'.
Especially now that they are moving into full HD screens and 4/32 configs instead of 2/16. That was a horrible idea. Oh, and away from those Atom processors. This most recent gen and next gen should (IMO), be significant upgrades.
similar post with a lot of discussion: "Foxconn replaces '60,000 factory workers with robots'" (bbc.com) https://news.ycombinator.com/item?id=11801125 (344 points, 4 days ago, 396 comments)
Unless there's a full discipline built into the system for addressing TCP errors that your "mail" thingy can rely on, you'll need to address it.

And how can you not know the specific exceptions you need to handle? Don't you need to test all of those?

I am sure you didn't mean it to, but this reminds me of meetings where people say "oh, we don't have to worry about that. TCP is reliable."

Twitch :)
Its funny a lot of people discount this but Zucks father wrote him a $100k cheque that a lot of people miss.

I'm looking at my FB friends list, counts well over 600 people, the bulk are from well to-do families all privately educated, top unis, top careers. I don't think any, would have their parents allow them to drop out of Uni irrespective of whether it was the next FB they were building and write them a $100k cheque to get going.

This is an example of luck that many ignore in the narrative. However major kudos to Zuck his ad product has basically guaranteed me a career for the rest of my life. For that alone I'm grateful for FB being invented.
> I don't remember when was the last time I've made a type related screw up

Maybe the languages you are using aren't capable of encoding the kind of screw ups you do make as type errors? Typos are trivially covered by most static type checkers, but like you say that's not a very interesting kind of error (except, of course, with languages that silently introduce fresh variables. Those can introduce hard to find errors...). More interestingly, they can also handle other problems like dereferencing nulls, not considering all possible patterns of a value (think "case" conditions), calling a function on the wrong kind of value, etc.
This link doesn't work, despite not being in the UK, I get:

"We're sorry but this site is not accessible from the UK as it is part of our international service and is not funded by the licence fee. "
Well the assumption is that we will develop alternative energy sources byt STILL eventually release all the fossil carbon.

And then it won't matter if te carbon sinks hit equilibrium. I am actually surprised how for most of the planet's history there was an equilibrium, when the gases distribute so globally. How does the system adjust without collapses? I think there was once a great oxygenation event, which killed off most anaerobic life on the planet. But since then there's been equilibrium...
Unfortunately not, it seems like many factors in his life led to him burning out. He does have a new blog¹ now though.

――――――

¹ — http://carper.ca/
It's really a shame that it has become so difficult to be have important conversations because people have become so trained to insult people they perceive as uncouth, all the while ignoring all the important substantive matters raised.

I'd argue what's far more problematic is the desire to portray oneself as the target of attacks as a method of evading argument, while posing reductio-ad-absurdium trick questions, but we digress…

German-ness comes from ethnic Germans which are a genetic subgroup.

I don't agree that this is the definition of nationality. It seems obviously false, given that at some point fairly recently in evolutionary terms there was no such thing as an "ethnic German" - so where did they come from? Following your argument, the only thing that can produce an "ethnic German" is the process of other "ethnic Germans" having children. I'm sure you see why that's not possible.

Isn't it far more likely that nationality is defined by shared cultural and social context? One becomes "German" by participating in and sharing the experience of other Germans? By its nature, this is going to be a fuzzy concept. One could certainly be forgiven for arguing that a first-generation immigrant who makes no effort to learn the German language or participate in German civil society isn't "German", but even then it's not clear.

Then where else would it come from? Spirit and character come from people, people are genetic.

People are far more cultural and social than they are genetic - that is, social and cultural differences between people are far greater than genetic differences. It would seem ludicrous for example to suggest that a child born in Germany, who speaks German and is an active participant in that society is somehow not German because of both of their parents were from, say, Turkey.

If an Icelandic couple moves to Africa, learns a Bantu language, and has a child who then also learns the language, is the child then a Bantu?

Isn't this exactly an example of where nationality and ethnicity is fuzzy?

If said child grows up in Africa, and the cultural experience of that upbringing is Bantu (the culture rather than the ethnicity) then why would that child not be Bantu? Simply because their genetic history took a detour via Scandinavia? That seems silly to me.
The point you're missing is that the "vague free-range schooling" promotes self-reliance, which is exactly what you need to escape a toxic background. Furthermore, it's not completely without structure. Consider the difference in approach between a teacher and a guide, the guide still helps the student find their way but let's them see the answers for themselves, instead of telling them the answers and asking the student to memorise them.

I understand the lack of standardised testing is scary to those who want to measure everything, but in my opinion measurement breeds mediocrity, I don't think we get the best out of ourselves by chasing exam scores.
And to add... there is no excuse not to use spaces even if you like the tab key.

Configuring your favourite text editor to interpret a tab key press as 2, 4 or whatever number of spaces for your project is trivial.
Show HN: Bigbash – Generate bash one-liners from SQL queries on files without DB
Related note: with all the talk about web assembly, why -not- use the JVM bytecodes, instead of reinventing the wheel for a 5th time?

Watching languages compile to JavaScript is sort of hilarious.
I wouldn't call it missed opportunity, they just decided they wanted to be the page you go to when you search on Google rather than the place you go to discuss and debate, and they succeed wildly at that. But yes, it's a shame that community wikis and information "compendium" type of threads had to be sacrificed. Sometimes I wonder if they wouldn't be better off creating a spin off site just for debates and open ended threads reusing the existing SO community, but then they'd argue there's reddit for that, even though reddit isn't quite the same.
Tabs. Spaces are how you end up with one class where one method is 2 space indent and another is 4 and another is 12 because your team all has different preferences (and two of them are insane.)

Tabs means everyone can use whatever preference they want and not be bothered by anyone else's preference.
Agreed, putting Miami there is a bit of a joke. I am curious what is and has been on your radar for digital nomads and what you think the list should be.
If you never dereference a null pointer, then there will be no UB of that type.
The secret life of Kim Jong Un's aunt
I was watching this just yesterday, a thourough (it seems) review of the Estonian system.

https://media.ccc.de/v/31c3_-_6344_-_en_-_saal_1_-_201412281...
>There's a reason we put tab key on every keyboard out there

To insert 4 consecutive spaces at once.
Given the volume of knowable information vs potentially possible information, cognitive dissonance is probably when you're paying the best attention to the actual world.
Dutch Firm Trains Eagles to Take Down High-Tech Prey: Drones
Since my first contact with Python: spaces!
Qubes is open source[1] (including the Windows capabilities[2]) so your question should be fairly easy to prove/disprove yourself.

I haven't delved into the source of any Qubes scripts or unit tests, but if one were to act on the rumours you heard perhaps they'd start with the Qubes Builder Scripts referenced in the article. If the Qubes team is able to implement a true append-only logging for their development+build process then perhaps any concerns around undocumented, unknown or untested scripts could be somewhat assuaged.

[1] https://github.com/QubesOS/

[2] https://www.qubes-os.org/news/2016/01/27/windows-tools-open-...
Thai government to MITM all internet communications
Thanks for the link! I never knew that Kent Beck, one of the fathers of TDD, said such a thing already in 2008. And in the mean while herds of developers have started to chase goals like 90% test coverage, thinking that this is the way that guys like Kent Beck do TDD. If only they would have known earlier!
Tabs. Spaces for indentation are an heresy.

To go further, always use a standard formatting tool (gofmt, clang-format...) before committing code.
You're moving the goalposts now; those are integration not unit tests. But the type system certainly can validate/enforce that the column you select from the DB into an integer, really is an integer in the DB too. OCaml does this with Postgres. It can also make sure the end result of a calculation is of the correct dimensions, that you're not adding cms to inches, etc etc.
Show HN: Strobee in-browser video splicing (use Chrome)
Are you into esoteric programming?

[0]:https://en.wikipedia.org/wiki/Whitespace_(programming_langua...
I wish the answer was elastic-tabstops http://nickgravgaard.com/elastic-tabstops/

But compatibility trumps awesomeness, so spaces.
NYC is in a much better situation than SF or Palo Alto. A lot more choice here, both in and around the city. You do have to be OK with apx 1 hr commute.
Spaces.

The variability in the ways tabs are displayed, which you can not control, make tabs a non-starter.

Spaces always look like spaces. So when you use them, your text looks the same wherever it is displayed, and that requires no additional work.

The one caveat here (if you don't already know) is that the `make` utility has never been updated to allow spaces, even to this day. So, you must use hard tabs in Makefiles.

Also worth knowing is that Python's official style guide, PEP-8, insists on spaces (specifically, 4 spaces), and the officially-provided formatting tool for Go uses tabs (a decision that I was most displeased with). It's physically possible to go against these recommendations, but you're not likely to find any community cooperation for that decision if you're working in those two languages.
A Three-Dimensional Passive-Dynamic Walking Robot with Two Legs and Knees [pdf]
COBOL/CICS/DB2 programmer
Location: Monopoli, Italy
Remote: yes
Willing to relocate: no
Technologies: COBOL CICS DB2
Résumé/CV:
https://it.linkedin.com/in/francesco-allegretti-212ab938
Email: francesco.allegretti@gmail.com

I am expert in COBOL/CICS/DB2 programming in mainframe environment. I am available for a short period of training on site.
Right, this is why gentrification gets people's backs up. You're not just buying property as a physical asset, you're buying into the community that made that area desirable/up-and-coming/trendy/call it what you will. If they hadn't been there, you wouldn't want to be there either. But a piece of community isn't something you can own without contributing back to it, and if you don't, it destroys it.
Ok. I definitely see the value then.
RxJS5 and PouchDB – Persistent Data Flows
Passive Dynamic Running
It's kind of an in-joke/meme for some people to write it like that.
Goal was to create a platform for sharing user video that would otherwise be too awful to watch. By dropping length, but increasing variety, it's easier to create something like to watch...

More info on why we do this in the browser: http://www.twak.co.uk/2016/04/browser-video-splicing.html
Many, far from all, Swedish students are way to pampered with. I was call Gestapo because I pointed out that it isn't acceptable behavior to be 40 minutes late to the lab session and not having read the instructions beforehand.

But it is definitely also a cultural thing. The contrast became very obvious when we had Russians in the seminars. The Swede says things like "I don't think I really understand how you mean, could you maybe elaborate that point a little bit further". The Russians: "You are wrong and it's very obvious to even a high school student what your mistake is. And besides, all this has already been done in the Soviet Union 40 years ago."
CouchDB on Amazon Linux – Ec2
>beating the dead horse on Java and C#

> most successful programming languages are either mainly OOP based

Aren't those two of the most popular languages?
By "modulo alpha conversion" I understand you to mean that the functionality was the same, only the names changed in some cases. A clearer way to put this would be to talk about "equivalence" or maybe even isomorphism?

I'm commenting because the notion of alpha conversion always seems like an inflated idea in the lambda calculus context. Of course \x.x means the same thing as \y.y, no need to make a song and dance about it...

Edit: to add a bit of value, here's Andrew Pitts on the subject:

"The tedious and error-prone nature of ad hoc solutions to this semantically trivial, but pragmatically non-trivial issue of α-equivalence is widely acknowledged"

https://www.cl.cam.ac.uk/~amp12/research/freshml/freshml-fin...

(He is talking about programming language support for actually doing metaprogramming jobs that involve preserving alpha equivalence.)