skysight-inc/HackerNews huggingface dataset:
"If someone has committed many crimes against the style guide in a PR, the reviewer should point them to the style guide..."

Everything a computer can do trivially should not be done by humans. There are plenty of tools available to validate code to all the standards you can dream up. And most languages allow you to even automatically fix style errors or even enforce it for compilation (thank you Go).

So instead of codifying it in a style guide document, codify it in config files for linting and autoformat tools instead. The defaults of those tools are often fine for what you need and exceptions can as easily be documented in them as well.
You may want to exclude language from reality. The dichotomy of questions and answers might not happen in the latter. Or the other way round: As long you have questions you're not there yet. I present you one piece of the puzzle: The Physics and Philosophy of Time - with Carlo Rovelli on Youtube, https://www.youtube.com/watch?v=-6rWqJhDv7M

In a way he supposes minds as entropy inducing entities.
These planes are hybrids - they use a turbine to charge batteries and power the EDF engines. I suppose the batteries are used for take off and cruise flight is mostly powered by the turbine (that doesn't have to be powerful enough for takeoff). Landing, again, can be purely electric.
Ugh. Has Scientific American become PseudoScientific American?

Recently they published this https://blogs.scientificamerican.com/observations/could-mult...
by an author who believes
""There is only cosmic consciousness. We, as well as all other living organisms, are but dissociated alters of cosmic consciousness, surrounded by its thoughts. The inanimate world we see around us is the revealed appearance of these thoughts. The living organisms we share the world with are the revealed appearances of other dissociated alters. This idealist ontology makes sense of reality in a more parsimonious and empirically rigorous manner than mainstream physicalism ..."
https://www.ingentaconnect.com/contentone/imp/jcs/2018/00000...
(Mostly talking about SBCL)

Mature native code compilation (including runtime assembler), type declarations that lead to optimizations in generated code, SBCL compiler can use declared types for compile-time type checks, read/compiler macros, extremely easy interface to C (JNI is a pain in the ass), multi-paradigm and doesn't prematurely optimize like Clojure (I have no need for STM or immutable data structures in 99% of the things I do), very powerful and flexible debugger, CLOS, more sophisticated interactive development.

Clojure is a no-go for me primarily because it's tied to the JVM (or worse, Javascript) and the Java ecosystem but also because it prematurely optimizes with the sort of decisions it has made in the design space (immutability, STM, crippled reader, not Lispy-enough debugging and so on).

Common Lisp is much more flexible in the sort of problems it allows you to explore and attack. Even the special features of Clojure (STM, immutable data structures) can be used in Common Lisp via existing libraries.

Finally, for me Lisp == Lisp Machines and Clojure is a big step back in that regard (and not really modern at all) since it de-emphasizes (by lacking things that Common Lisp has) the interactivity that made Genera so iconoclastic and powerful.
DOD to Move All Websites to HTTPS by the End of the Year
Last month I finished reading Truth and Method, a book purchased from somebody moving out of town about 1981. Last fall I finished reading The World as Will and Imagination, which was part of the same purchase.

Those are outliers for my advance purchases. Truth be told, though, lack of shelf space does a lot for my self-discipline.
I used to love writing stuff like this back in highschool, when I "knew" c++.

Now, if you were one of my customers I'd just write you an autohotkey script to solve your problem. Monetizing 20 line AHK scripts seems sketchy, so I'll just try to help.

Here's handy documentation that'll help you achieve what you're after.

https://autohotkey.com/docs/commands/WinMove.htm <- the main function that you'll use for window adjustment. Can bind it to a hotkey or whatever you want. Look at events if you want it to be automatic.

https://autohotkey.com/board/topic/54443-box-ie-draw-simple-... <- would help visualize your snap box

https://www.autohotkey.com/docs/commands/Gui.htm <- So you can configure your snap area.

Should be an hour or two job if you're reasonably familiar with AHK.
cursory research led me to believe that l-theanine on its own doesn't do much of anything. adding caffeine seems to be the ticket to the proposed improvements.

wonder if there's a way to package l-theanine and caffeine together into one supplement. maybe that's what those gas station "super focus!!1" pills use? i might give it a try this upcoming semester, i generally don't mind being a supplements guinea pig.
For me, it's pure nostalgia. It's getting to relive the past that I loved with all new hardware, getting to do things that nobody from the time period could have imagined given the limitations and pushing the limits of the software of the system. Sure the OS hasn't been updated in years, but there's a giant library of software and hardware for the system that's still a draw, and using modern technology to make it more palatable and useful is a huge bonus in addition to enabling people to experience it all again.
Thats where web of trust comes in and empowers us, the engineers, compared to the past. Let's say my relative is having an issue with her mortgage, something that should be fairly straightforward to codeify in a smart contract. In the past, I'd have to shrug my shoulders and help her with a human communication problem. In the future I might be able to actually inspect the code of her mortgage. This allows me to assert my understanding about how it works. I can say, I know it's correct or I know it's incorrect. This is in contrast to modern day where it's much harder for me to understand, therefore I would likely shrug my shoulders and say, I don't know, you'll have to contact an expert.

It's similar to another example. I moved my mom over to use Linux as her operating system. I now know, for a fact, that her system is secure and updated. I trust the distribution to audit and package software safely, therefore my stress levels are much much lower and I barely get technical support questions from my mother, compared to before.

Smart contracts enable this same level of trust to develop for complex protocols between people & computers, like mortgages, insurance, DNS, software package building and distibution systems. It allows for advances levels of trust to develop in the system itself, and as an engineer I can now transmit that trust through my web of relationships which is how it reach and benefit non technical users. In a way, it allows for engineers to take more responsibility for the systems we live within, versus today where you have to pay me to give a shit and I try to take as little responsibility for the systems I support because I know they are fucked up and broken and I don't want to be the one on the hook when someone gets hurt by the system I and responsible for.
IIRC within the past year or two it seemed like the account was being managed by someone else. The tone of the tweets changed, and spelling errors started to arise where there had previously been very few. This could be a result of pressure on Assange, or another party controlling the account all together
The presumption in your comment is that evolution selects for brain traits which confer some sort of advantage. This ignores the fact that the modern human brain is used very differently than that of our ancestors thousands of years ago.
Did you take it on its own? Almost no effect for many people if taken solo.

Take it with a cup of coffee and the caffeine boost lasts longer and is much smoother.
Do you have an example of a credit union doing this?
Well, I know this is a trust issue with all the research companies. The answer is comments - you can figure if the users are real by checking comments submitted by them. They are usually pretty specific and helpful.
Probably a lot of Duck Duck Go users on here too.
Leave it to idiots to use Superman as some kind of example as to why illegal immigration is good! You need to hear yourselves.

Just to play along, Superman's human parents played him off as their own child, so more like an adopted kid. Also, back in the '40s or whenever the hell Superman comics began, there wasn't instant "Mark of the Beast" SSNs applied to all infants and things were much more wishy washy as far as who came from where because a) nobody cared and b) here was not massive welfare available and thus no welfare fraud.

Lastly, unlike the teeming multitudes of leeches, Superman was actually a productive citizen.

ETA: Know Your Customer (KYA) was begun after 9/11 during the Bush Administration's acceleration of Orweillan policies designed to make extra billions for corporations that provide services to government. Same old same old.
I have no clue why the Sabre Pyramid never took off. It's an ergonomic and engineering marvel, touted as 'Your portable connection to everything in space and time.'

http://theoffice.wikia.com/wiki/Pyramid
I think their motivation still matters quite a bit. Just because someone has 20+ years of experience doesn't mean they're actually leveraging any of that for their review. If they're nitpicking something unimportant and they're only doing it for political reasons, then in that act they are contributing negative value to the team, regardless of experience.
I think the Tesla fanboys who bought these would have spent $1500 on a coffee mug if Musk had asked them to. Would have had better margins than decorative surfboards but I guess they're optimizing for Twitter appeal instead.
I'm one of the people from one of the blue zones (Sardinia), on one side what he said is true, you don't need to go to the gym to be healthy, but by just merely walking a little bit more you will not achieve such a great benefit.

All the elderly people I know have a lifestyle that can be considered weird, for example:
- My grandfather goes every single day to farm his land, he spent 3-4 hours every day doing all kind of farm jobs, mostly potting plants and digging the land. Even if he is after his 70 he is stronger than me (and I don't consider myself weak).
- My neighbour (an old lady around 110 years old, that lives alone and sometimes you say around 4 generations of daughters at her house (I usually see her in company of her daughter, her granddaughter, her grand-granddaughter and her grand-grand-granddaughter) wakes up every morning before the sun can raise and goes to the fields to cut wood and then she carries it on her back.
- My other old neighbour wakes up every morning very early to, and goes to farm, he his nearly never at home and hangs out with the gang of old people (it's not a gangster, they simply walk around the village and they sit in every bench in every square)

To summarise, I think the difference is the mentality, the people I know, old or young have all in common their absurd stubbornness, all these people loves their work, and even after going to pension they want to continue working (many says they will work until death), many of the elderlies weren't farmer before pension, but they choose to start doing it instead of doing nothing, essentially is people that don't like to lay on the couch and watch the TV, but instead going on the nature and pass their time there.
Also many of these people have some unhealthy habits, like drinking insane doses of wine, beer, limoncello and mirto.

There's a ton of other differences, but I don't want to write an article in this comment
Based on my experience with Mozilla's mature code review culture, this article is excellent. If I were going to make one suggestion, it would be to emphasize the points that author jelambs makes below: this approach to code review is inseparable from a commitment to deep shared understanding of the code base. It both depends on and supports that understanding. It's an investment in quality as embodied in a particular technical approach and body of work. It's not cheap, but what it buys you can be very valuable.
It'd be cool if they could have ceiling windows.
The University of Toronto has a 'cull and sell' procedure and culled books are placed in the weekly Wednesday noon swap shop where anyone can buy all they can carry for a $1 donation. At the last swap for the season in May there were 15 large wheeled boxes of about 1 cubic yard each filled to the brim and another 20 trash totes a little bigger in the yard.
Few sell. There is a steady crowd of people picking at them.
I suspect their fate is pulp after they have been well picked. There used to be huge numbers of old computers etc. in the swap shop, but after a number of people cut themselves on sharp steel edges, they now accumulate and allow department employees only to scan and fill out a card so their department gets the asset if it has any enduring value - if not taken = scrapped by a recycling company approved for proper recycling of computers etc.
Another complication was the development of the sulfite pulping process in the 1800's. This leaves residues of SO2 in the paper, which combined with H2O makes H2SO3 - sulfurous acid. This is a weak acid, but in time it cuts up cellulose and the paper is weakened and friable - eventually it turns to dust. Old linen paper or paper that has been washed and treated/sized to eliminate the SO2 (archival paper) can last a lot longer
I prefer to think of it as just the one impossible question, and the many efforts to try and shape it in such a way that its answer becomes apparent. Or, at the very least, that the incorrectness of other proposed answers becomes apparent (the more typical result).
Why not just a formatter tool that uses the correct number of spaces according to some rules?
And this is why you have 3 of everything.

Three copies. Three bank accounts. Etc.
Are you taking the caffeine from coffee in pill form or in a cup? Also how long does this seem to last?
Particularly the part where citizenship does not equate to having a customer from a sanctioned nation. The law is fun that way.
David here. I'm the author of this article. If you have any questions, please feel free to ask.
I think the biggest knock against serverless is the same as microservices: your points of failure grow significantly.
But if you're cycling, you're not paying fuel-based taxes...
> Do you typically use neo-Nazi slang in your everyday conversation to refer to people with a Jewish origin?

No, but one might refer to such slang, you just did it yourself, and nothing more can be seen in those particular tweets.
https://sanctionssearch.ofac.treas.gov/

lists some of the various sources of sanctions. The regulatory parts are e.g. from the 2012 Executive Order (EO13599):

All property and interests in property of the Government
of Iran, including the Central Bank of Iran, that are in the United States,
that hereafter come within the United States, or that are or hereafter come
within the possession or control of any United States person, including
any foreign branch, are blocked and may not be transferred, paid, exported,
withdrawn, or otherwise dealt in.
" In that sense all Americans other than natives are illegal immigrants"

Well, no. Decedents of though.
Infrastructure can be helpful, but poorly done it can hurt a lot as well. In the US I would say infrastructure is often bike safety theater. In Austin there are quite a few segregated lanes that I refuse to use because the intersections are not segregated and drivers far too frequently turn without checking for cyclists. I have had far too many close calls. These lanes probably do increase the number of cyclists, but are they actually safer?

Ultimately, what matters more is drivers improving how they interact with cyclists. Having spoken with dozen if not hundreds of drivers I am quite familiar with the "I had no choice [aside from almost running you over]", which is never true in my experience. Drivers always have the choice of waiting, but too many are impatient and literally value saving seconds over someone else's physical safety. I think US drivers as a whole are slowly realizing this.

The worst is when a driver nearly runs you over right before a stoplight, which you both sit at for a few minutes. In this case the time saved was zero, and this happens a lot more frequently than I would like. Unfortunately many drivers don't think ahead much or else they would often realize that they'd have to wait anyway, so there's no point in passing.
Introducing Sisu
In you believe Intel's tech brief, the move to 10nm vs their current 14nm+++ will:

1) Have somewhat lower peak performance, i.e. peak clock rates are lower and won't surpass 14+++ till 10++.

2) Have ~2.7x higher density

3) Have ~45% lower power usage

My thoughts: #1 and #3 are intertwined, lower peak performance doesn't mean that products will actually be clocked lower. In a lot of cases the operational frequency is limited by thermals, so cutting power usage can mean higher frequencies in practice. Adding in #2 and what I think we'll see is that single threaded performance isn't going to improve much except in thermally constrained situations. We'll see CPUs of similar core count / performance as today but at notably lower power, and CPUs with similar clock speeds/power as today with ~50% more cores (or transistors in general).

EDIT: One other possibility on the single threaded front - higher density can mean tighter timings are possible. e.g. it's possible they can do an architecture refresh that cuts the number of cycles for executing slower instruction, or possibly shorten cache latency, etc.
What is the semantics of Linear Logic?
My highschool used to do blood typing as a science experiment in bio. Part of the homework was to find out what blood type your parents were. One girl went home (before I was there, the teacher shared the story during the genetics unit), asked her parents their blood types, and "Dad, that's not possible. You can't be that blood type."

One lawsuit from mom later, and the school doesn't do that lab any more.
I remember a kind of stutter on old PCs - screensavers used to have a stacatto effect where they would momentarily pause, and I think you could see the same in 3d games. My Amiga by comparison was always rock steady even when the frame rate dropped. I was convinced at the time that this made PCs significantly crappier - what kind of crumby computer can't maintain a steady user experience?!

I still miss the Amiga magic and wish we had something similar now, not just boring x86/64..
Despite being released around the beginning of the 486 era, Space Quest IV still had CPU-speed-sensitive timing. It was fine on a 386, but on a Pentium-60, the chances that the patrol droid would appear and kill you instantly at the beginning bit of the game got close to unity.
Clark Kent was legally adopted by citizens as an infant, and is therefore legal.
Here is an example of what the world might look like if reality _was_ effected by our beliefs:

http://art.yale.edu/file_columns/0000/0066/borges.pdf

(It's the short story Tlön, Uqbar, Orbis Tertius by Borges.)
> This is of course a bad outcome for society, but that's how capitalism works - and if we want companies to optimize for/prefer families, then we should structure the societal incentives such.

There's a premise here (and in many similar arguments) that the capitalists and their decision-makers (the managers) can only follow financial incentives; they are almost victims of circumstance with no agency of their own.

Markets and financial incentives are useful tools, but very imperfect. To keep society functioning and to do good and do well, we all must sacrifice some financial benefits. What is the financial incentive for soldiers, as a simple example, or for nurses who serve in Ebola zones? For Albert Einstein? 'The market made me do it' is not a defense; there are financial incentives for murder too; we must make our own decisions and we are responsible for the consequences.

From another perspective, it's ironic that capitalists, traditionally more conservative, take on this structuralist argument, usually abhorred by the right. If we say the system makes minorities and women poor, they say it's nonsense. If we say the system makes capitalists do evil, well what else could they do?
With regard to vowel-centric versus consonant-centric languages, English tends to be consonant-centric, and that's partly why our spelling is difficult. For example, "flutter" could be spelled "fluttr": we don't need the 2nd vowel and thus wouldn't have to guess whether it's spelled "fluttur", "fluttor", etc. English could use a refactoring. Examples: http://wiki.c2.com/?RefactorEnglish
That is from 2014. There have been many changes in the programming language since.

Most people nowadays are using frameworks and abstraction layers which make most of these points moot.
Performance benchmarking 101
We dont have that problem where I work so it does exist. I've sort of experienced something similar myself when I've been doing reviews though - the feeling that you've got to find something to comment on. I've also been "star-struck" by getting reviewed by someone very senior or "famous" in the open source/tech world and basically blindly doing what they suggest.

The problem we do have though is huge queues for qualified reviewers and getting randomly allocated a reviewer somewhere on the other side of the planet so that even if they have minor comments (e.g. trivial typos in comments) you're looking at a 48 hour turnaround to get your code checked in sometimes.

I guess for the age/hierarchy thing, it could be possible to make the reviews double-blind via the tooling? I.e. reviewers dont know who they are reviewing, and the reviewee doesn't know who is reviewing them. Obviously once the code is committed then everything would become clear and transparent. Might help in larger orgs, although I dont doubt that it would be fairly easy to make an educated guess who is writing the code a lot of the time, and you'd be able to dig into git/whatever to see the details, but just hiding it in the review tool might go a long way to prevent unconscious biases. If someone has a real axe to grind is deliberately going out of their way to find out who wrote the code during a double-blind review so they can make special comments then you probably have a bigger problem.
I work at nearly 3 miles from my home, at the beginning I used to go by bike (because I don't like to pay hundreds for the metro when the bike is faster), after a while I wanted to lose some weight and I decided to literally step up my game, now my bike is parked in the office bike racks from months, and I only use my feet to come to the office.
> The coming age of people with no understanding of what running code actually means, no idea how hardware/close to hardware systems behave deep down, is going to be fabulous, and full of wasted computing.

Just like now is to people who were programming in the 1990s, or the 1990s to people who were programming in the 1970s.
It has been superseded by Portacle.

http://portacle.github.io/
How does using the brackets to communicate someone engaging with it suddenly become racist? That’s like saying a news reporter is antisemetic if he says: “And now a report on Tom who is a veteran who fought Nazies during ww2”. Omg, he said Nazi?! That makes him a Hitler sympathizer.
> 2) Instilling your kids with “Finish your plate” guilt is a bad idea.

Or the parents could serve appropriate portions in the plate instead? Usually it's always the veggies which are last in the plate, but when the dessert arrives, there's suddenly lot of room left.