skysight-inc/HackerNews huggingface dataset:
There's another approach, from Boyer and Moore. Boyer and Moore built up mathematics from constructs at the Peano axiom level (zero, add1, etc.) plus recursive functions that must terminate. It's constructive mathematics; there are no quantifiers, no ∀ or ∃. [1] They built an automatic theorem prover in the 1970s and 1980s that works on this theory. (I recently made it work on Gnu Common LISP and put it on Github, so people can run it again.)[2]

In Boyer-Moore theory, all functions are total - you can apply any function to any object. Types are predicates. Here's a definition of ORDERED for a list of number:

(DEFN ORDERED (L)
(IF (LISTP L)
(IF (LISTP (CDR L))
(IF (LESSP (CADR L)
(CAR L))
F
(ORDERED (CDR L)))
T)
T))

If L is not a list, it is considered to be ordered. This makes it a total function, runnable on any input, even though the result for the "wrong" type is not useful. This provides the benefits of types without requiring a theory of types. It's a very clean way to look at the foundations of mathematics. It's simpler than Russell and Whitehead.

When you prove things using definitions like this, there's a lot of case analysis. This gets worse combinatorially; a theorem with four variables with type constraints will generate at least 2⁴ cases, only one of which is interesting. Most of the cases, such as when L is not a list, are trivial, but have to be analyzed. Computers are great at this, and the Boyer-Moore prover deals with those cases without any trouble. But it went against a long tradition in mathematics of avoiding case analysis. That made this approach unpopular with the generation of pre-computer mathematicians. Today, it would be more acceptable.

(It's fun to run the Boyer-Moore prover today. In the 1980s, it took 45 minutes to grind through the basic theory of numbers. Now it takes a few seconds.)

[1] https://www.amazon.com/Computational-Logic-Robert-S-Boyer/dp...
[2] https://github.com/John-Nagle/nqthm
If that's more than an idle question, I'd recommend Vaclav Smil's Energy Transitions:

http://www.worldcat.org/title/energy-transitions-history-req...

The same author has just updated his book on energy in world history, this past May. I've read the earlier version and it is excellent, I have reason to believe the update is an improvement on that.

http://www.worldcat.org/title/energy-and-civilization-a-hist...
The astronaut program is not an example of capitalist winner take all.
How to write an email
You'd like to know what other reasonable contenders there are. The whole scene is very speculative at the moment - the technology clearly has huge potential, but its immature and hasn't solved some key problems like scalability and UX.

Apart from the 3 you've mentioned I would suggest you could look at some of the projects that have recently launched ICOs (Initial Coin Offerings). Many of these are plain stupid, and all of them are raising funds for tech that doesn't exist yet, but if that doesn't put you off take a look at the AEternity project (https://www.aeternity.com), and NIMIQ (https://nimiq.com/). They look like two of the better ones to me. Ripple might also be worth investigating.
You're not welcome to post uncivilly like this on Hacker News.

https://news.ycombinator.com/newsguidelines.html
NPR had a good story the other day about the coalition of Trump's voter's, and how different the groups are. There were definitely those who voted for him and didn't expect him to keep his promises (promises that didn't make sense to most people with knowledge of economics), just to keep Hillary from winning.

http://www.npr.org/2017/07/02/535240706/study-no-one-issue-c...
WebPPL was not created specifically for this book. For example, this other one also uses it: Probabilistic Models of Cognition (https://probmods.org/)
I was reminded of Bachelard's Poetics of Space. http://www.harvarddesignmagazine.org/issues/6/the-poetics-of...
JS is the easiest language to build any sort of demo in.
Keep in mind that coal, as of the late 1800s in the U.S., was seen as a multi-million year supply. At then-current rates of use.

Thing is that the rates of use ... increased somewhat.

Exponential growth has a way of catching up with you.

Nuclear has a very long-term footpring and some unusual aspects relative to other energy systems. Many of its more notable critics come from inside the industry, or were early pioneers. I'm not so sanguine.
This was fantastically well stated.
The DAO failed because of a lack of strong typing in the contract language, not because of Turing completeness.

The main problem with a Turing-complete contract language is that it becomes impossible to statically verify runtime properties, so a node can't know how long it will take to verify a transaction it receives. This opens up for denial-of-service attacks, e.g. embedding a transaction with an infinite loop in a block in the blockchain.
Why SAFE notes are not safe for entrepreneurs
Think about how to express when and how you would prioritize the needs of the business over the needs of the engineers.

Demonstrate your grasp of cost optimization.
The study I have seen claimed that 40-50 hours long term have same output and then it goes down.

The studies on game development teams found that crunch raise productivity of short (don't recall if 3 or 6 weeks) and productivity goes down only after.

This article does not seem to adress concrete studies nor their results - it just generally theorise about what might be wrong about them without knowing what is on them.
I recall finding a 'frequency converter' at a surplus store in LA from around the time of the war. Basically it was a motor generator set, the motor ran on 120V AC 50Hz and the generator produced 120V AC 60Hz. I asked about it and it was the first I had heard that LA had been 50Hz at one time.

I presume it was used in a lab or something, it weighed quite a bit and didn't look like something you'd have on your kitchen counter.
Watch Chris Urmson's self-driving car talk at SXSW 2016.[1] Especially the part where the Google car encounters someone in a powered wheelchair chasing a duck with a broom. Google can handle that.

[1] https://www.youtube.com/watch?v=Uj-rK8V-rik
> Is this really an intrinsic quality of capitalism?

Hardly. The history of capitalism shows that absent government intervention to prop up companies, they rise and fall. When I started out, everyone was a-feared that IBM would inevitably take over the world. Then Microsoft dethroned them, and Microsoft was going to take over the world. Then Apple dethroned Microsoft. And on it goes.

There was Sears that dominated retail. Then Walmart shoved them aside. Now Amazon stepped all over Walmart.

See "The Innovator's Dilemma" by Christensen for a book full of examples.
Mostly is - specifically around hiring and work, so it's relevant to this discussion. It's a highly competitive market for talent where small incremental differences make a big difference.
That is just his guess tho. He does not have study to confirm it nor appears to know what actually was done in studies he criticises nor their conclusions.

Studies found that crunch slows down only after few weeks of crunch and 40-50 hours a week had same product long term. He article implies different results.
Yes, the value of blockchains is in their 'trustlessness', however the moment you need to retrieve data from outside of the blockchain, you have to trust it. In which case, there's no point in using the blockchain at all.
But sieve also doesn't rhyme with live, as in "Live from California".
>This is a common mistake: building a product based on assumptions, and not on the market's demand. I've learned not to add a feature before I have someone who paid an advance.

I first came across this sort of advice here:

The Montana Mogul: RightNow CEO Greg Gianforte (Part 1)

http://www.sramanamitra.com/2008/07/31/the-montana-mogul-rig...

Interesting story. RightNow was later sold to Oracle, IIRC, for a good amount.

Greg used a similar technique to what you advise.
Having read the article, yes this was a common way - sometimes no conversion was required. Or a new motor was required, because they were using a 60hz motor to start out with (a 60hz motor running on 50hz makes more torque), and with the frequency change the motor would no longer make adequate torque.
Everyone that is a new engineering manager or looking to take this role in the future should read through this comment. On point!
ha. As a former contributor to dolphin-emu (very minor though, too busy :() I'd caution against calling it a "good example of Modern C++." It's an amazing program written by super smart people, but some of the things that lurk in there can be quite messy.

Of course, I'm sure it has improved markedly since the Google Code days, but still...

That being said, on the other hand, there ARE some nice usages of modern C++ in certain parts. I also like their choice to move to #pragma once - I know it's non-standard but despite pretty intense arguments it seems to do the job just fine.
I'm just a student doing research, trying to use their code. I don't even want them to fix the code, I just wanted to ask the primary sources about how they implemented a few things. I don't have to ask them, I could go to someone else or a forum and ask the same thing. Maybe I'm naive, but it doesn't take a whole lot of effort to just respond back and tell me that they don't have time.
Kids build their own world of car routes in Fiete cars
Commenting like this is not OK on Hacker News. Please post civilly and substantively or not at all.

https://news.ycombinator.com/newsguidelines.html
Security Vulnerability in Payments by an Established Indian Startup: UrbanClap
Yeah but in this case it seems a number so out of reality that from my point of view it is funny (but I can't laugh about it, here in Brazil people think that the ex-president Lula is the hidden owner of the biggest meat company of the world).
I disagree, this is not clean writing. This reads like someone who swallowed a thesaurus to pad out their word count, and didn't really understand half the words they decided to use. Not to mention three number of poorly constructed sentences. I also couldn't get past the first few paragraphs as it so grated.
They said they covered a news story before "it" happened.

If we want to take a considerate interpretation- they wrote about the "news" before the "real news" decided it was "news".
The LispWorks prices are not per year.
I wrote an article on everything you need to create your own lanague, hope it helps https://tomassetti.me/resources-create-programming-languages...
I like it because of it. If what I found in wikipedia was the "easiest" description, I'd find it lacking. It is better to not understand everything on the first read than understanding almost nothing because of lack of profoundity.
It's out of reality from your point of view. What makes it starkly un-funny is the fact that for the true audience for that statement, it's not out of reality at all.
I think I was mistaken (but this should hint at the state of the landing page design), there is actually a simple explanation of what it is if you scroll:

"The ORC Project is a peer-to-peer network of computers that coordinate anonymously over Tor to allocate their unused hard disk capacity into a collective cloud. Developers can use the ORC network as an object storage platform in place of the popular cloud services offered by Amazon, Google, and Microsoft. Peers automatically pay each other based on storage used, bandwidth, and availability using the anonymous cryptocurrency Zcash for a fraction of the cost of using a traditional centralized cloud.

In the ORC network, files are encrypted on the user's computer, shredded into smaller chunks, and then stored on many different computers around the world. Redundancy is achieved through the use of erasure codes so that your data can always be recovered even in the event of large network outages. ORC is completely decentralized, meaning that no single company or organization has control of your data, only you!"
The whole point of my comment was " Lisp environments that resemble in any way the old Lisp Machine or Xerox PARC ones".
Running Immigrants Sign Now Borders on the Extinct
GameDev.net has a copy of the article that includes the images:

https://www.gamedev.net/articles/programming/graphics/gpu-pe...
Clearly, it should be called "flooz" not "gas"
Show HN: A curated list of awesome cryptocurrencies
These are all good for an experienced engineering manager, but keep in mind the OP was asking about having no management experience. I still think someone could take the questions and relate to their technical career in some form or another. If you can't you may want to question if you are ready for the new role!
Vim key mapping is turing complete
It took a long time to standardize and integrate the US power grid (which even today is basically 3 loosely-connected systems). Some parts held out longer than others.

My brother recently visited a hydro dam in northern Minnesota that had one turbine operating at 25hz even as recently as the 90s, serving at least one industrial customer still running equipment that predated the interconnected 60hz grid.
To demonstrate something about capitalism, one should use an example from capitalism, not try to contort something from government into capitalism.
I would name Eric Nieblers range-v3 library : https://github.com/ericniebler/range-v3 - amazing stuff.
I'm also dealing with the cname problem. I considered their solution however if the server issuing the redirects from the apex to www happens to go down, people typing the apex domain will not be redirected. The only real solution seems to be to have all customers just use our DNS servers
Pen-testing tool Login
This seems to be a massive flaw in the gambling markets that they propose. For example, let's say Augur (or any number of competitors) host a market on a football match, where team A are supremely better than team B. The odds on A will be extremely short, and there will be far far more people backing team A than team B.

Now, imagine that team B somehow win the match. How can the system prevent the overwhelming majority of team A backers from submitting a fake result claiming that their team won? They will vastly outnumber the people backing team B, and also outnumber any of the casual observers who might also contribute to the results. So the market will get settled as if team A won, thanks to the 'wisdom of the crowd'. The minority backers will be robbed.
I've heard lots of names for managers, but never had someone called a "team lead" and not had direct reports.
This kind of incendiary personal attack is just about the last thing we need here. Please don't do this again.
I hate seat-back video on planes. I really, really don't need some flickering screen a foot from my face for hours on end. My only interaction with them is whacking the off-button until it finally acquiesces.

From a strictly selfish point of view, the only positive feature I can think of is that they can hypnotize some (but not all) children who would otherwise be annoying.
Hey all, thanks for the attention and comments. A slightly updated version of this text was published in Tvergastein (walled garden version here - https://www.academia.edu/20808625/Gambiarra_Repair_Culture , anyone interested in the PDF please let me know). And indeed, I have not explored that the "repair" side of it that much. More recently, I've been trying to think of "transformation of matter" to frame a wider field that would encompass digital making, arts & crafts, repair, maintenance, customization and others. I wrote another two texts last year while researching that perspective: Transformed Worlds (https://medium.com/@felipefonseca/transformed-worlds-9a6bd7c... ) and Knowledge, Skill and Labor (https://medium.com/@felipefonseca/knowledge-skill-and-labor-... ). I'd love to read everyone's thoughts on those as well.
(Felipe Fonseca / http://efeefe.me )
Network monitor with REST endpoint project
Since Dolphin-emu came up, in the realm of emulators I have to mention byuu's Higan emulator. It's got some really cool stuff going on, though the perfectionism is a bit intense (it has its own STL-replacement!) YMMV for some of the decisions, but seriously, there's a lot of great stuff. I always cite the ARM instruction decoder as being my favorite part, but there's really a lot of great use of cutting edge C++ all over the place. Byuu seems to adopt C++ features roughly as soon as GCC and Clang support them, or maybe sooner...

If you want something a bit more orthodox, or perhaps less depending on how you look at it, on the other end of the spectrum is the intensely engineered "Boost" libraries. Though, to be honest, that may be pushing it as far as "modern C++" goes considering it's written to support older C++98 compilers in many instances.

Qt 5 is one of my all-time favorite C++ projects, although it's again worth noting that it may be pushing it to consider it modern C++. I believe they're currently on C++11 with Qt, so a bit further than C++98. Still... there's plenty to learn about even older C++.

There's more out there, but those are the ones that come to mind for me. I have been out of the C++ game for a while now.
The pitch is way too long and fluffy. The first paragraph is basically about how nice the beaches are. That immediately puts me off (I am not currently at the beach, and neither are my colleagues). It is always better to open with facts instead of phrases that sound like marketing talk ("amazing beaches," "passionate doer," "great fit," "really love," "personal playground.") None of these are meaningful to your job performance.
> everyone is convinced that their proxy is the best achievable

In my experience, people merely hoped their process was good enough. And it usually was. The "we only hire the best" is marketing propaganda and they know it.
I made a little packet capture/monitor process in modernish C++ that serves the results over a REST endpoint. It comes with a demo site that shows the data it's collecting. It's been tested on Ubuntu and OpenWRT.
I apply the pragmatic maxim to spelling (and language in general and many other things).

https://en.wikipedia.org/wiki/Pragmatic_maxim
I find books about topics that I'm interested in learning more as the best source of knowledge or inspiration. Consider the book 'Rice, Noodle, Fish: Deep Travels Through Japan's Food Culture' as an excellent source of Japanese culture and food habits. I have learnt so much from this fascinating book and it's a great source of inspiration too.
They both had their advantages. The human one wasted words on being cutesy but had the Las Vegas analysis.
Can it be used for invoices?
> there is a house listed for $294,000. Redfin states you would receive a refund of $904 if you bought the property through them.

People still fall for these marketing gimmicks. If the listed price is $294,000 with a $904 refund then the price is $293096.

The only reason I can find for listing it as two figures (list price + refund) is because it makes the buyer take longer to tell the story about buying their house. "I paid x but got a y refund" has more talking points than "I paid x".

Especially so if the "refund" is applied long after the transaction / settlement has occurred as it now compels you to tell the story again: "I just got my y refund from my house purchase!".

And the agency gets to maintain a slush fund of hundreds of thousands of dollars of pending "refunds".

Marketing.

I thoroughly disagree with these sorts of practices and personally believe they should be regulated out of existence. But people seem to love them, so there's that. And I'm skeptical that more regulation is ever the correct answer to anything. Perhaps.
> Did I ever claim on 48TB on AWS

When presenting an alternative to DynamoDB, AWS is an implied part of presenting that alternative. While the original article does suggest an alternative outside of AWS, it properly qualifies it as a competitor offering. Regardless, I don't care what was and wasn't claimed. It's not important.

> You are seriously claiming DynamoDB will be holding full 20TB in RAM

No. I'm claiming that DynamoDB will have predictable and consistent latency characteristics at 20TB. The related claim is that an RDBMS will not have consistent latency characteristics if the working dataset does not fit in memory.
If I have to choose a language for programming, I would suggest Esperanto. An artificial language that is easy to learn, and more consistent than English.
Today I woke up and thought to myself, Vim key mappings are basically string search and replace, can I build a Turing Machine out of that?

Then I did a search. Alas, it has already been done.
Please stop posting like this and re-read the guidelines:

https://news.ycombinator.com/newsguidelines.html
Oh yeah, one last thing: not an example, but a pretty useful reference- Google's C++ Style Guide.

https://google.github.io/styleguide/cppguide.html

I've not read the whole thing, but it looks pretty solid. Of course, there's a lot of highly subjective suggestions, but I can get behind many of them personally.
+1 for gwern, I enjoy his monthly newsletter. Still not sure how that guy gets so much reading and writing done
Your reasoning can be applied to a regular job: if I am tired I make more mistakes and every mistake has a cost. If the cost of mistakes made during the extra hours exceed the value of the job done, those extra hours didn't produce anything useful.

Even not taking into account mistakes, there is another important factor to consider: you need to recover energy from one day to another. The more you work the more you need to recover and less time you have to do it. If you don't, you will be less productive the following day.

I think that for this reason it is reasonable to say that there is a limit after which the productivity start to drop, though it probably depends on the individual and on a number of factors.
Similarly the history of voltage levels: https://en.wikipedia.org/wiki/Mains_electricity#History_of_v...
At Collecture.io, we love re-frame about as much as we love Clojure and Emacs^^

Thanks to re-frame we have exactly the same logical FRP abstraction and Code in our Android, iOS and Web Application.

It's a great framework to work with - can only recommend it. That is, if your application has a minimum in complexity. Because otherwise Reagent with a global atom will work just fine and be a lot less complicated. So don't introduce it when working on your first CLJS code base. Similarly you probably don't need Redux to your React in your first JS SPA.
I see your point.

I'll tell you where I'm coming from. Walking, in a pleasing environment, is fun, excersize and mind-clearing rest. Riding a train is reading time. Driving is neither and it's an addition stress of being on the lookout for potentially fatal events around you.

In theory. In practice I still drive. :/
I read Apple news exclusively. It's pretty awesome and hopefully will soon support micropayments.
My current list:

- Sapiens: A Brief History of Humankind

- The Silk Roads: A New History of the World

- The Autobiography of Malcolm X
I still don't think that's a problem. Technical acuity, as you put it, isn't always the best measure of productivity, especially for those of us working on CRUD web apps.

Once someone has demonstrated some level of ability, I care much more about how well they work with a team, how excited they are to learn, etc.
>Same reason that a person who can't get a $5,000 unsecured personal loan at a bank can often finance a $50,000 new car.

So borrowing money and living outside of your means is now a success story?
OP here.

"Studies found that crunch slows down only after few weeks of crunch and 40-50 hours a week had same product long term" [citation needed]

Can people please stop claiming that "studies found..." without citations?