skysight-inc/HackerNews huggingface dataset:
Is there a reason this wouldn't be subject to the same physics that requires a lot of energy to desalinate water by other means? Thermodynamics puts a limit on how efficiently you can reduce entropy like that.
I know that the above was written in jest anyway :) but just for completeness (har), a contradiction would help you defeat many things (i.e., it's not specific to incompleteness theorems, so to speak), because given it, (at least in traditional logic) you can prove anything. This is trivial and known, but to spell it out, if we have a contradiction formalized by p and not p (given), we can prove that q:

1. p and not p (given).

2. p (from 1).

3. not p (from 1).

4. p or q (from 2 (disjunction introduction)).

5. q (from 3 and 4).

So obviously this would upset quite a few things around :) that said, the interesting stuff is with Graham Priest's (et al.) paraconsistent logic systems wherein your system can tolerate a contradiction without exploding in whole. And (so the story goes) those systems may offer an actual insight into handling incompleteness (while still being usable). If anyone has looked into this more, would be interesting to hear about it!
I've been using with my field service and so far so good :)
If you have a big city with 1000s of road, people can adjust, like in the internet.

I work in a small (geographically) technopolis which has 2 main roads out (so more like intranet). Recently, a tiny secondary road was closed due to repairs. It was a carmageddon due to suddenly most of the people having to go through the same shared 1km bottleneck.
5 rising startups in India – April 4, 2017
Don't be so dramatic. There's a massive silent majority who will not leave OSX. The new MacBook Pros are literally some of the best machines Apple has ever produced, and a renewed focus toward pro users for the 2017 refresh (with 32gb of RAM) and a refresh of the Mac Pro will easily re-secure Apple's preeminent position in this space.
I agree, all of these are part of why MacOS is just more ready for work out of the box.
Problem: Despite there being plenty of articles and discussion posts online, I've not found a way of easily tracking how a given corporation is conducting itself ethically.

Project: I started Suitocracy with a friend so we can log events as they're reported in the media, and also get peoples' thoughts. We're essentially trying to capture it in one place so we can see how companies improve (or not) over time.

https://suitocracy.com
As an ops guy that needs to look after many different configs for many different clients all using many different stacks, your comment surprises me.

Configuration being solved within the software itself? Either I am going to end up with "magic" that may or may not work, and may or may not behave predictably in a given scenario (predictable behaviour is somewhat important for ops), or I am going to end up with every single config scenario enshrined within the software itself, something that I thought was established as a software anti-pattern around the time of Ada Lovelace.

As the OP stated, the "transparent" option is meaningless without a manual. The nginx (or whatever verbose software config option set) syntax is meaningful, and more importantly, predictable. By spelling out those lines I know exactly what I can expect the software to do in some given scenario.

The whole "I don't want to worry about/understand configuration" meme is dangerous. You end up with no real understanding of how your stack functions. You are trading off deep understanding of your stack - a benefit for the lifetime of your product - with reducing 30 minutes configuring stuff to 5, which buys you 25 minutes not having to grok the engine of your app.

I personally don't care about having to spend time to configure. I don't care if it is written in Golang, Python, C++, or Sanskrit. I care about performance, security, footprint, and configurability. Remove any of those, and your fancy new toy service just went from "might be interesting for production" to "useless".

Ops and magic don't mix very well.

I'm surprised this actually needs to be explained. As for it being good for an ego, that kind of statement is ridiculous.
Modulus (xervo) is shutting down April 28, 2017
There is a great app called Hyperdock that does exactly what you want with window snapping. It works so perfectly that I sometimes forget that it's not a native feature of OS X.

Not sure about your window size problems with external monitors, I find that OS X handles this amazingly well
Just some basic functionality that is used when making nearly all spreadsheets: dynamically resizing tables, formating cells, setting cell types (currency, floating point, integer, boolean), conditional formatting, cell ranges, SUM, COUNT, IF, AVG, extending cell contents by dragging.

This project is a proof-of-concept. Nothing more than that.
What Is Diabetic Retinopathy?
0. Tell something useful
Ask HN: Which direction do you consider a horizontal split, to be in?
So i just realized today that Vim and Tmux have different ideas about which direction a horizontal split is in.

Eg, vim puts a horizontal split to the bottom. Tmux puts a horizontal split to the side.

I've had a custom bind masking this quirky fact from me for years, and now it's bothering me haha. Is there a technically correct way to resolve the difference? Which direction is more correct?

Fwiw, iTerm2 splits to the bottom, like vim. Not sure about other editors.
In my ideal world (I'm trying to start a company that will eventually do this, but hard for obvious reasons) college would be a place where you "just show up," you learn what you need to, then you pay back the school with a percentage of income. The percentage piece aligns incentives, because the school is now invested in you earning the highest income, and it's now in part the school's responsibility to make sure it's providing skills that are in-demand in the workforce.

I also think a system like this would help a lot of the social divide; right now it's much more risky for poor people to go to college (or trade school), so many opt out. I'm obviously biased and could be wrong, it's just a problem that's been eating at me for a long time.
Find your new favorite web framework
You can very easily buy a MacBook with a "normal" US keyboard, even in France. Personally I gave up the french layout several years ago. It took me maybe one week to get comfortable with the US-International input to type accents when writing in French, and that was it, never looked back.

The US-International input is very simple: to do an à you do ` then a, to do a ç you do ' then c. This input mode is however quite annoying when writing code, so I switch between US and US-International input mode depending on what I'm doing.
If they are all developing with Xcode I bet they also have a server farm for distributed builds. That said, why would OSX devs need more that 16GB of RAM? It's not like they are going to be running virtual machines/docker images. Xcode isn't _that_ much of a memory hog.
Apple touchpads work so well that I don't use a mouse at all anymore. I have a Bluetooth touchpad with my external keyboard, and I even bought an old Fingerworks touchpad to use with my PC.

The power of gestures is incredible. Managing macOS windows without a touchpad is awful. With a touchpad it is the best.
correctly configured by default

Correctly configured for what?
I'm working on https://programmercv.com, a résumé builder with superpowers:

- import from linkedin, xing or stackoverflow
- multiple résumé versions
- track your job applications
- export to any format you need (doc, pdf, html, xml, json)
- publish on Github Pages
- No lock in: build on open source tools

(most features are still work in progress)
? I am also from the UK and I sure as hell wouldn't want to walk/drive for two hours outside in that temprature. Sure it wouldn't kill me but then I'm not in my mid-50s (and perhaps not having enough water on hand)
Apart from the fact that Austrian law requires you to specify the minimum you are willing pay, a salary range would also be a welcome gesture to show that you value your future employees.
Aretec, Inc| Penetration Tester (Pen Tester)| Washington DC Area | $80-135k Salary + benefits | Full-time |ONSITE

Job Description:
Provide technical security assessments of applications and infrastructure, security design reviews as well as risk assessments. This is a hands-on role, requiring technical skills from the hardware to the application layer.

Job Duties:
• Skill in developing and apply security system access control
• Skill in assessments of industry IT operating system, software database, or hardware
• Skill in systems engineering, requirements analysis, system development, software development, or hardware development as applied to the information assurance or cyber security field
• Prepare the various types of security related documents and conduct vulnerability scans and recognize vulnerabilities in security systems
• Selects the appropriate technical tests, network or vulnerability scan tools, and/or pen testing tools based on review of requirements and purpose; lists all steps involved for executing selected test(s) and coaches others in the use of advanced research, development, or scan tools and the analysis of comparative findings between proposed and current technologies
• Performs joint interoperability testing on systems exchanging electronic information with systems of other services or nations, and determines whether the system is certified as interoperable based on analysis of results; provides recommendations on how to enable systems to operate effectively together

CERTIFICATIONS: (One or more required)
CompTIA Net+
CompTIA A+
CompTIA Security +
CPTE - Certified Penetration Testing Engineer or CEH - Certified Ethical Hacker GSEC

Salary is commensurate with experience. Security certifications required (CISSP, CEH, Security+, CAP, GIAC, etc.). If you have a passion for cyber security and want to learn more about this position, please visit our career website http://www.aretecinc.com/careers/ or e-mail your resume to careers@aretecinc.com
> "people travel on roadways because the capacity is available for their trips, when when the capacity goes away, so does much of the trip making."

> "46,000 fewer trips per day across the river after the bridge collapsed."

Can we also start including quality of life and transportation times and housing costs in these measurements. 46,000 people wanted to go somewhere and couldn't. The article plays this like a success, but that sounds like a quality-of-life drop for many people.

Something can still be a bad idea, even if it is not "the end of the world". Tearing down useful infrastructure is still a bad idea, even if it doesn't literally destroy the city.
That sounds very interesting. Tea?
Hammerspoon! Combined with Miro's lua script [1] it provides virtually the same interface (if you've got the "hyper" key setup properly)

[1] https://github.com/miromannino/miro-windows-management
> You can't retroactively undo a sale based on your whims.

But you can! You don't like it, but its entirely possible (clearly) and legal.

Why should you be required by law to provide services to someone? Or are you interested in Amazon using their leverage to enable customer abuse of sellers? No thank you.

The entitlement complex runs deep in society today. So unfortunate.
Cool, I was looking for offline capabilities on Google Forms, thanks for sharing
Problem: in aggregate, k12 teachers spend enormous amounts of time creating (redundant) curriculum content which in turn limits how effectively they can personalize this curriculum for each student.

Project: starting with assessment - intending to move into lesson planning and performance - our project allows teachers to curate assessment elements from a collaborative library (on the subject area/school level initially) rather than creating them from scratch. This saves teachers time up front while also opening additional opportunities for iterative improvement of those resources and personalization for students.

This is a young project, currently in the design/MVP stage of development.
Really excited to read this book! I live by the Mars Trilogy, and by 2312, and I'm currently in 40 Signs of Rain. I'll add this to the list!

Note that there's a key typo in the introduction, suggesting the setting is 2040, and that made for a confusing first few minutes, but really, the book is set in 2140 indeed. Can't wait!
I mean, obviously there are tradeoffs here

your office RE costs are more

your talent costs are more

seems like a function of how price sensitive you are about the talent that exists at your headquarter, and the degree to which the headquarters are the profit generator
5 secrets to improve user experience and increase conversions
I remember a couple who once gave sword fighting demos at Gen-Con (cannot remember the name). They made an interesting remark that the male of the couple couldn't find historic armor that fit since he was 6'+, but the female could since she was about the same size as most of the old armor wearers. Shows you how nutrition has really upped the size of humans.
Great article. Documentation is always tough - I still haven't found the right solution. Its nice to see some SRE people that care, most 1st/2nd line support I've worked seem to just escalate anything non-trivial which is frustrating, but also useful.

If SREs are too good developers lose touch with production and get lazy.
A few weeks ago was my first experience of living in Austin during South by Southwest. I heard dire warnings to stay home and avoid traffic trying to reach my 7th street office building. As you probably expect, now due to this article, traffic was actually considerably better than my commute today!
I found FEAR's AI not as impressive as people made out (and still do).

I felt like the tactics used by every enemy in the game basically involved flanking the player from two sides, and never approaching directly unless there were no other ways around (which was rare, as the levels were basically one combat arena connected to another in linear fashion).

It was pretty easy to exploit this by basically charging the enemy and aiming for the head as if you were playing an old-school strafe shooter, which didn't give them enough time to formulate their flanking plan.

I found by doing this the game became trivially easy, even without using the bullet-time thing.
Quality of life is always important. I've taken a lower paying contract within a 10 minute cycle ride from hom rather than one paying 15% more but over an hour by train away.
If you're going to university, repeat after me.

"People who loan money to students are dangerous predators, and I am their lawful prey."

That doesn't mean you shouldn't go to university, or that you shouldn't borrow money. Just be careful around predators.
> growing $100 to $21,638.88 (almost a 220X profit) in about 6.5 years.

If he had just bought bitcoin and held it, its value (20000 BTC) would be currently worth north of 20 mil. usd.
Corporations want to include code other people wrote, for free, and without any legal obligations or liability.

That shouldn't be a surprise to anyone.
> 7 k$ per month in my last remote gig.

I'm saving that much on an ongoing basis at my full-time job in SF.

I do have a roommate, but, to be honest, the weather alone makes it worth it.
I'm currently building an React Native app for my http://ForeignNumbers.com application. I have experience with React but React Native is a pretty different beast.
Tim O'Reilly on Technology and Work
Why you need this license to be tested in the court of law? I mean if you obey the license then why worry, don't use GPL code if you are trying to work around the license and the problem is solved.

About tainting, if I use some source available but not free code in my code is that tainting my code? I used the code against the license and I may have to pay damages,same as GPL you violate it then you may have to pay.
Maybe some companies are afraid the developers will use GPL code, you need to train your developers on what licenses are allowed. It is easy don't use GPL mixed in your code, you can link to LGPL.
My last point is that the terms viral and taint are negative but better words would be protective,freedom and not words created by MS.
I'm amazed things aren't worse, that they work at all.

Analogies to the real world are useful, mostly for expectation management.

I know a few things about election integrity. Private voting, public counting. We can have all the laws, rules, procedures, transparency, accountability and so forth we want, to better prevent chichanery.

But what makes it work (when it does) is buy-in, common culture, a shared suspension of disbelief. That this thing is important and worth preserving.

Cliche: locks keep honest people honest. What keeps us (mostly) safe and secure is people's strong preference to simply being honest, to get along with others.

Cheaters, cons, freeloaders are exploiting an evolutionary hack: people's innate sociability (trustfulness). To me, the greatest benefit of these security algorithms, crytpo, blockchains, etc. is to help us identify and mitigate the cheaters and freeloaders.
If you think it's a constructive comment I'll be writing a bot that scans pages posts on HN, looks on the page for a GitHub link and complains about the license used. Doesn't matter if it's GPL, MIT, Apache, I'll just write some generic comment complaining about each license.
Absolutely this, and then the real estate in the 'job centers' in dense urban areas that have streets removed or lanes cut down to turn into bike lanes vastly jump up in price because you have to be within a bus ride or bike ride to work to get those good jobs, thus demand outstrips supply. Commuting 90+ minutes from the suburbs is a non-starter for most.

Look at how much it costs to live in SF, London, Paris, etc. Applauding these methods is questionable, it certainly doesn't help people trying to find work and puts up a barrier to entry to access these desirable jobs. Its massively gentries those areas which makes sure the only kinds of people able to get those jobs are the already well-off.

I find it ironic that HN'ers complain about SF and other big city pricing, but also encourage 'lock in' strategies like over-use of bike lanes, elimination of parking lots, and anti-car policies that only make real estate more expensive.
Non-FPS excellent AI:
DF has already been mentioned, but an excellent DOS-based game that I used to play on my 386 was Commanche Maximum OverKill. (helicopter combat sim)
The game proudly stated this in the manual: (bad quote from memory)
"...with a smart AI that changes it's behaviour every 3 minutes..."

This stuck with me because it actually worked. If you repeated an action long enough, the AI changed how it tried to kill you.

Scenario: You are in your helicopter trying to blow up tanks and helicopters, and "Mission Targets". The lower you fly, the longer you evade radar, and the closer you can get to your target.
So you hide behind some hills, pop-up acquire a target on a fuel tank, fire your missile, and then duck down before the enemy missiles can get to you. You then repeat this process to get all of the targets, but if you take too long the tanks/helicopters will fly around the hill trying to find you (as opposed to sitting next to the targets dumbly forgetting you exist).

The game learned from your pattern, and adapted. IMHO this was superior to every other game that just had the enemy shoot faster (i.e. Unreal Tournament)

On the other hand, it might just be nostalgia.
I live in an Atlanta suburb. My commute back from the airport (definitely a route impacted by this road collapse) this past Friday morning was almost twice as long as it normally is at that time of day.

Before the news of the collapse, I was planning on performing an errand in midtown on my way home - but going right through town would have been especially painful since the normal route home from there is over the collapsed roadway.

People I've talked to in my neighborhood are avoiding going into or through Atlanta if at all possible. They're finding ways to make even otherwise mandatory trips "discretionary".

This article is a bit like the Y2K aftermath where many claimed that the hype was overblown. While it's true that the direst of predictions didn't come to pass, harping on those predictions as though they didn't effect behavioral changes seems to be ignoring half the picture.
Weekly Google Search Console email reports: https://clickpost.io

I was usually only looking at my data if I thought there was a problem, and then it wasn't always obvious to me what to look for. With this, I have already found some proactive ways to improve individual site performance.

There's a lot I can improve on and add to it. I would love some feedback!
Problem: notes app are increasingly complex and usually unencrypted. With all thats going on in on the privacy front, there needs to be a universal notes app that focuses on privacy, simplicity, and longevity.

Project: Standard Notes. Focuses on being as simple as can be, but gives power to extensions and privacy. All notes are end-to-end encrypted. It's available on all major platforms, and just works.

https://standardnotes.org
We can't even really define what value means in practical terms.

Edit: Bank account information is valuable, but it's also one account number change away from being valueless.
IIRC it wasn't the first fast NES emulator (there was Paul Robson's NESA), but I think it was the first one to be fast and have decent compatibility/mapper support. Having a halfway decent GUI and being freeware didn't hurt its adoption either (iNES DOS/Windows was shareware at the time).
I ran the morning commute last Tuesday vs this Tuesday through the platform our company builds, looks like the amount of congestion did not change, but the locations did. https://twitter.com/staehere/status/849280329982644224
> So don't link with GPL code, find a work-around, a different library or write your own code

That's what I do. Hello MIT/BSD

> Again GPL protects the user of the code not the developers that want to remove the user freedom.

Right, which is why I'm always surprised when people are upset that developers don't use GPL more
Too little too late. It's telling that they sell so few Mac Pros that they can ignore the Osborne effect of soft announcing a new model at least one year away in favor of some fluffy PR.

It's strange they don't understand that doing nothing but keeping the Pro up to date spec-wise would've signaled mild disregard already. Keeping it frozen for four years is a clear, prolonged, 'we don't care about you' message to pros.

And everyone could've told them the trashcan design made no sense, and in fact did when it debuted. No need to wait four years for that. Probably Ive really really liked it and nobody managed to stop him.
This whole world is new to me, and I am as impressed as any layman.

Particularly interesting to me is how off I would be if I were to guess the amount of time it takes to do anything.

Making the armor: 6 hours

Adding the LED and electronics: 115 hours

That's not literally what those categories are -- I am being hyperbolic -- but it felt like that reading the time investment.

Might be an interesting heuristic to figure out how well someone knows a domain.

Interview of the future: "How long would it take you to write a CRUD app in Rails with persistent storage?" and just see if the time is realistic.
120 bits for the birth date is much too big. It's closer to 14 bits (taking your 42 year figure it's log2(42*365)=13.9).
So, we are working on this, not just with Flatpack, but with a broad initiative we call "Modularity". (I know that's not the best name, but naming things is famously one of two hard problems in CS¹.) The big problem in operating systems in general is "too fast + too slow", and we are aiming to solve it. See https://docs.pagure.org/modularity/ for background on this initiative, or https://www.youtube.com/watch?v=xqZftb2Wgi4 if you like your information in video-presentation form.

1 . Along with cache invalidation and off-by-one errors, of course