skysight-inc/HackerNews huggingface dataset:
> The only shortcoming of e-reading, in my opinion, is the inability to display the books you've read and the books you want to read somewhere in your home or office.

An secondary advantage of pysical books is that they're much more beatiful to destroy. Burning books make a striking image, and not only because the ominous historical connotations.

Nobody would be bothered by an ereader melting in a fire or being crushed by a steamroller (unless it is their own, of course!) Even CDs were better for that.
For compatibility with various emacs add-ons and hooks (like org-capture), I find the one that comes with Homebrew to be the best.
Count one childless adult couple in with this being standard.
I agree that putting in more hours consistently toward an active project seldomly turns out well in the long term, but someone that can put in more hours doing side projects using technology/frameworks that they aren't currently using on their job that allows them to stay current/cutting edge that will make them more competitive.

I knew plenty of younger developers who spent nights/weekends doing proofs of concepts they could show at work.

It did make them look better more competitive than other people who just put in the hours.

I spend a lot of time doing side projects just to stay competitive.
I'm confused. Does this actually statically checks, or is this testing?

Like, does it tag everything with type info and walk the code statically without executing it and checks that all connections respect their types?

It seems to me it does that for non dependent types, and then it does generative testing for the dependent types? And can also add runtime contracts for them?
Yeah you're right It's so obviously amateur. Lemon Party is a much better answer.
Emacs is little outdated as an operating system, but highly advanced as an text editor.
It blows my mind that this is on the front page. It's not useful for anything, doesn't fully work, and can be replicated with a few lines on the console of BSD/Linux/windows.
Because height is a spectrum and easily and accurately quantifiable, whereas "genius" is neither.
It's only totally clear in one on one, perfect information games like chess. Take a 5 on 5 game with hidden information such as League of Legends and people come up with excuses for losing: bad luck, bad teammates, bad game balance. All it takes is a little bit of ambiguity for people to seize upon an escape hatch for their threatened ego.
Not in modern Java... or any I've seen in the last several years. There's a lot of fucked up legacy code and frameworks out there though.
You could just read the paper before commenting.
> 1. I can get a new book immediately instead of visiting the book store or waiting for Amazon.

OK, yeah, missed that.

> 2. I can effortlessly take highlights and notes and then access those annotations through the cloud. I can't stand trying to write in the tiny margins of physical books and even if I did, I'd rarely reference my own notes because it's so much more laborious.

The cloud part's the only thing that's much different than having a little notebook, which I find so much easier to work with (aside from anywhere-the-Internet-is availability) that I wouldn't really count this as a win for ebooks, but if you find it easier, then it must be so for some.

> 3. I can read at night without needing the light on (i.e., while in bed with my sleeping spouse). This is my main reading time. More generally, the form factor is better while lying down (and to the point above, I can still take notes).

They make tiny clip-on lights for books that are little different. E-readers are nice for holding up, though I've discovered the hard way that the touchscreen e-ink devices, at least, are more annoying to use in bed than the real thing (brush a blanket or move your thumb a bit while shifting around->page turns)
Sloterdijk’s sphero-immunological thoughts

..... eh? ....
Unplayable without the standard left+right-button combination:

http://www.minesweeper.info/archive/MinesweeperStrategy/mine...
I think the attitude transfers down from TSA/security to all airline/airport workers. There is no concept of civil rights or accountability in airports.

Also, it seems like in recent years that people in positions of authority in America ( like cops obviously) like to escalate rather than deescalate problematic situations.
Solidarity with people less fortunate than you in not patronizing...social solidarity is a good thing.
Potential Buyer Comes Forward to Purchase Oregon Town on Sale for $3.5M
Basically the reason that doesn't happen is because such a business model of matching blog one by one with advertizers doesn't scale - neither for the buyer, not for the seller.

The person making such a market cannot make a living out of it without automation unless the blog comes off the bat with millions of viewers (think top YouTube channel content creators who get sponsorship). With automation comes the need for tracking.

Almost always this has a highly enforced anonymity - since the behavioral signal is more valuable than knowing who exactly you are.
I find that making music (especially on a computer) is very similar to writing software in that they require both hemispheres of your brain. I love the state of flow that you get into when you're deep in a project.
https://github.com/jedisct1/libsodium/blob/be5e5a53b35961e32...

They either do SecureZeroMemory for windows, memset or bzero for linux and in worst cases they manually wipe the array which is what memguard does, so, how is sodium_memzero any better in this case?
White-on-black racism is not so much a talking point as a fact of American life. There is no oversimplification there. I have no idea what kind of rhetoric is involved in Singaporean dialogue, but that is entirely irrelevant to what I'm saying.

Capitalism isn't inherently racist, but it also has no intrinsic qualities that help it repair the ill-effects of past racist policies.
Icelandic language at risk; robots, computers can't grasp it
Please provide rationale showing that the associated risks outweigh the immense fun of "meatspinning" coworkers.

"Don't do this" is probably not very convincing.
The first thing I put in a new config is to turn off menu-bar-mode, scroll-bar-mode, and tool-bar-mode. I find they take up too much screen real estate.
The finger pointing in this thread is astonishing
It's happening.

https://www.theguardian.com/environment/2016/jul/26/renewabl...

Building the solar farm on the same location as the windfarm meant 20% could be saved from the construction costs of the solar farm, said Ivor Frischknecht, the chief executive of Arena.

Arena recently commissioned an investigation into the costs and benefits of hybrid solar and windfarms.

It found that besides huge cost savings – achieved mostly because the grid connection was able to be shared by the two generators – the two energy sources were often complementary, producing peak outputs at different times of both the day and year. That meant they combined to create a more reliable energy source.

“Co-location provides more continuous energy generation as windfarms tend to generate more energy overnight whilst solar only generates during the day,” Frischknecht said. “Gullen windfarm generates more power in winter and the new solar farm will generate more in summer.”
I have the same issue if I'm working a "normal" person's day, but not so much if I can wake later in the day (10-noon).

The poster mentioning the tea was on track - it doesn't have to be tea, just get a routine at night, starting half an hour or something before bed. It can be showering or whatever, just something relaxing. Boring television shows - nothing that gets you too interested - after that until you sleep. Or reading or whatever, so long as it doesn't engross you.

Also helpful is to keep some sleep hygeine - not sleeping in much on weekends. It sucks doing this, but it does produce results.
Just turn the problem around and replace large turbines with mini-turbines attached to the birds themselves. As they fly they charge, um, small batteries that they carry around and then periodically return to dropoff stations. OK I'm still working out some of the kinks.
Be nice. We all make mistakes in subjects we don't know. I have a few examples in my comment history ...

Try to pick one or two comments that are wrong but not very wrong. Reply to them explaining the error(s). I like to add a Wikipedia link when available.

Ignore the very wrong comments. It's usually impossible to give a coherent reply. You only will get upset.

Also, to encourage a civil discussion try to upvote the grey comments unless they are offensive or extremely wrong.
Except that some of your examples are different-cops and doctors have much, much more authority and power than grocery store cashiers.
In my case it's more like put on nice music, imagine yourself into a random world and wander around.
Probably would have been better if Tesla branded it "co-pilot". Autopilot while technically correct doesn't function the way people assume it does.
Yes, people naturally develop pre-emptive defense mechanisms to lower the impact of the ornery members of the public.

This kicks off a self-reinforcing downward spiral where people with innocuous intent are misclassified and treated tersely, that party responds by iterating to a less polite/more direct posture the next time, which reinforces the original party's assumptions, which eventually degrade into general hostility, which loops back around to inform the other party that he needs to be even less polite to get what he wants the next time...

However, it is probably the case that those lower 5% actually are so potentially damaging that imposing strict preventative policies to inhibit them is legitimately worthwhile, despite the negative impact on everyone else.

Airport security is a potentially good example. Yes, there are many ways to bypass it. Yes, it is very annoying. Yes, it creates other liabilities that are arguably more exploitable in the absolute sense. But the bottom rung of civilization is not sophisticated. They are looking for the path of least resistance, and putting some basic barriers in the way may well put disruptive/negative behaviors outside of their reach.

Most people who are smart enough to bypass airport security would not see the incentive in doing so. From the policy/standard perspective, that's the barrier that has to be established; the cost has to be sufficient to exclude people who would be doing it out of insanity or other generalized anti-social malice.

It'd be interesting to see some discussion of methods to limit human "interaction fatigue" in the context of the modern service professional, and how we can simultaneously implement policies and protocols to protect ourselves from the insane, unstable, and truly incompetent.
Most servers boot really slowly anyway (memory tests, raid cards etc), so why would anyone care if it takes one or ten seconds to boot Linux when the server boots in 120 seconds. Other init systems are capable of restarting things with dependencies as well, like BSD's rcng for instance. I am using runit to supervise my services since I can't rely on systemd.
I enjoyed this article, except for one section. The author's basic attitude toward genius. It's flawed on a few fronts.

Genius is not being remembered. That's irrelevant.

Education. The author states the lack of female geniuses through a lack of education. How does education explain Srinivasa Iyengar Ramanujan? It doesn't. Like all geniuses, they push the envelope intuitively, bit by copying others.

It's a fun read. However, I fear the author misses the fundamental nature of genius.
So the lady that brought her own drink will be denied future boarding or purchasing.

They probably don't want to lose her business, nor should they: she's not likely to be a safety problem or cost the airline money in the future. The rule against her drinking her own wine is fairly arbitrary, and imposed by the FAA, not the airline.

Airlines do ban passengers who are disruptive enough, or who create a safety hazard.
While I doubt this is the reason, I use cat litter to absorb spills and clean stains.
Could you not just buy a months supply of new socks in advance? Seems like it would be cheaper. Also as a first adopter you'd have socks made from hard plastic resin. It would bring new meaning to the term bleeding edge
I'm not sure if you realize, but you've described the Many-Worlds Interpretation.
Could you provide a source for your speculation?
This makes me think of the old adage "An ounce of prevention is worth a pound of cure". We're basically saying "eh we'll just take the cure at the last minute." except we don't even know if the cure exists, we're hoping we can create one in time.

Accepting the circumstances that we are in as a result of decades of targeted misinformation is like saying it will be easier to learn to live with less air when being repeatedly dunked in a toilet by bully's.
Just want to say that I've used SQLAlchemy for years and really enjoy it. Thanks for all your work.

For what it's worth, I do notice and pay attention when I see your posts and comments around the web (HN, Twitter, SO, and elsewhere). I'm sure that some of the asinine questions you've deigned to answer on SO or IRC have helped me before. :)
Since the effort started from some Italian developers/sysadmins, I would be surprised if dev-one wasn't a good approximation of the correct pronunciation. As an Italian, that would be how I'd pronounce it.
The most under-stated job description of all time
There are breakthroughs in material science everyday. The biggest break through happened recently by henry bessemer in the 1800's, called the bessemer process.

Steel and concrete will not be replaced anytime soon, with steels infinite fatigue life combined with concrete creating a tensegrity structure. It is the perfect combination for large, cheap and long life structures. I don't see a need for new materials to build "cities of the future" I think glass, steel and concrete are sufficient.

Breakthrough with 10-1000x reduction in specific density I'd keep an eye out for in the next decade are metal-air batteries.

Pick up a book on material science, learn the laws of physics.

Do the Math. Build the robot. Save the world.
And from a material standpoint they are still just lots and lots of steel.

If it helps, I'm not a software engineer and have an unused degree in mechanical engineering.
>Wood isn't an effective means of sequestration unless you also bury it.

This is patently false.

Yes each individual tree is only a temporary store (with a half-life somewhere around 100 years), but that's ok because the forest as a whole is continually generating trees, and sequester CO2 in the form of soil. Trees also create conditions that protect that soil from erosion and re-emission (protection from wind, rain, and evaporation).

The total anthropogenic CO2 emissions since the industrial revolution works out to only 30 tonnes of carbon per hectare, which is a few inches of topsoil or a few additional trees per hectare. It's easy to soak up that much carbon just in biomass on the surface.

Even in farmland the addition of selected "farmer's trees" (carub, honey locust, acacia, leucaena) can be used. These are selected species of tree that actually increase yield when planted into a field at 20-30/acre, despite casting some shade on the crops. These trees typically have deep roots that harvest minerals and recycle nutrients that would otherwise leach down to the aquifer, and their root system can coexist with crops right up to the butt of the tree. The nutrients are dropped as mulch, and they also make nutritious pods for animal feed.
Vuan, not vaun. "Uan" would be pronounced as the number "one"
Lots of random 'Æ' and 'ö' characters strewn throughout the article... Did anyone proof read this?
Guile community probably wants guileemacs to be the future, but I think it would be only natural for emacs community to think otherwise.
Except it was asked on hacker news on a weekend, so OP is one of us
Ah, Dunning-Kruger at scale; summing up populism as a startup.
This happens on HN within our field too :) . I see stuff hit the front page all the time, only to be ripped to pieces a few hours later when someone that knows what they're doing appears.

Do you remember the "super fast hash algorithm" from a few weeks ago that turned out to be rubbish? What about the "high performance TCP proxy" on the front page right now that's not proxying correctly or with unusual speed?

People seem to upvote on title alone
That connection between slits in the infinite limit and path integrals is really fascinating. I've read of lot of Feynman, but never that. Where does he talk about it?
It's the first paragraph of the article.
Keep track of all your loyalty cards in on place
Then don't use eset "smart" security?
I would say I have experienced a similar feeling in a recent effort to reduce my fingerprint, deleting files on my computer/google drive that I don't use (which can be easily found over the internet). It just feels good, destroying information.
a great old coder I've worked with for many years often says - I might not know the solution - but I know what it isn't - that knowledge/perspective mixed with younger coders who will do some heavy lifting is a very powerful configuration

if you don't understand the benefits having some 40 or 50+ year old devs on a team brings - watch some Jim Weirich videos
You had me until Superbowl. I don't understand why people waste time watching other people throw a ball around for money, but hey its your time to waste I guess.

I'll just crawl into my downvote bomb shelter now and watch some people pretending to fight zombies, much less of a waste of time
You might watch "United Breaks Guitars" as a consolation which is an internet-famous song that describes a similar experience.
> Which market?

Every market. Literally every market.
APFS filesystem format
For some reason, computer nerds think they know it all :-)
They had a bunch of layoffs recently, from what I hear. There might be a hiring freeze.
> Basically, they just need to encode them and put them on a box and ship them to edge caches. Caching immutable data scales incredibly well.I would also bet that 99.99% of the movies people actually watch on Netflix, would fit on a single box.

This is exactly what they do. The video serving part isn't that complicated, it's the rest of the site and APIs.

Although those are a tad over engineered considering the final output is often a slow and unwieldy UX.
> (Cockroach Labs CTO) Yes, the commit identifiers sound like something we could use, as long as they're not tied too closely to pg's WAL LSNs.

There was some discussion around this before, and the idea was basically to just include some text-payload after COMMIT. PG would produce something like "COMMIT 343/3f0037a0", but the spec for would just be text. Some drivers might do something with the knowledge that it looks like an LSN, but that's hard to avoid.

> Also on the subject of the protocol, we've run into a need for a (server-initiated) ping message (https://github.com/cockroachdb/cockroach/pull/10188).

Maybe I'm missing something here (I admittedly only skimmed ticket and things it references), but shouldn't server triggered tcp keepalives be sufficient for this case? In postgres that's configured using tcp_keepalives_idle/tcp_keepalives_interval/tcp_keepalives_count. Several drivers (including at least libpq and pgjdbc) can do the same to protect against vanishing servers.

Doing keepalives on the pg wire protocol level has some disadvantages, but also some issues. Namely you've to be ready to send ping/pongs forth/back in almost any protocol state. Not necessarily easy if there's partial writes and such.
Show HN: Island Builder for Video Games
This is a simple tool I created for building 3D islands that can be used in video games. It is still in the early stages.

https://youtu.be/igQkXH1KAIw

How it works:

1- A general outline of the desired island is created

2- Hit the build button and an island is created

3- Perlin noise is used to randomly add mountains

Right now it is a very simple tool but I plan on continuing developing it until it can create islands like the one in The Witness. I'm talking only about the terrain, of course.

[1] https://www.youtube.com/watch?v=i7h7AleSCF4
This op-ed feels like confirmation bias, rationalization tribalism.

Instead of offering cash-on-the-spot up to the limit for people already boarded in seats , they picked people at random and then used violence to remove anyone whom refuses to vacate said seats.

They could've picked other passengers, offered cash as mentioned or rented the deadhead flightcrew a car.

But no, "just following the rules/orders" leads to broken teeth, blood everywhere and dragging through aisle. I sure hope the family wins a large civil lawsuit because that seems one of the few ways to teach corporations a lesson.
This seems very reminiscent of two things:

i) The rule of "The Most Intolerant Wins", coined by gadfly Nassim Taleb

> The minority rule will show us how it all it takes is a small number of intolerant virtuous people with skin in the game, in the form of courage, for society to function properly.

Also works in the inverse.

ii) Mishandled Bags Rate vs. Bag Complaints Levied Against Airlines

On "Why do more passengers complain about United than Southwest even when the service is the same?"

> So why does United generate a higher rate of complaints than Southwest? I think it has to do with basic training and empowerment of frontline workers. When your bag doesn’t show up, your immediate recourse is not calling the FAA; it is speaking with an airline employee. If that employee can show a little empathy and try to help, no one will be rushing to call the Feds. Said another way, well designed recovery processes matter and that is true independent of niches the firm targets or how it prices.

If you look at the dataset, Frontier actually has one of the lowest mishandled bag rates of the bunch, but the highest complaint rate. That sucks.

---

https://medium.com/incerto/the-most-intolerant-wins-the-dict...

https://operationsroom.wordpress.com/2014/02/12/why-do-more-...
Potential is not reality.
It's great... the only drawback is that the solution is exclusive to GitHub users only.
Zidisha (W14 nonprofit) is looking for a Mexico Ambassador (volunteer)
Can this be used to type check the language used for macro generation too? Like could this be used to implement a typed racket?
> The problem with Reddit is that it's impossible for anyone to mention in any way that they are more intelligent than average without a bombardment of "this belongs on iamverysmart".

I think that this is because intelligence is usually self evident. It is similar to wealth; the people that tell you that they are rich are typically not the wealthiest people you know. On Reddit, perhaps mentioning a relevant professional qualification (e.g. being a lawyer).
That makes the consequences of them developing that view worse, but doesn't necessarily mean there's any difference in why or how it develops.
Moonlight Work for Software Engineers and Designers
I write for SkyMall
I bet that most of you are lying that you 're not having sex/masturbating.
Sleep. There is no better way for me to unwind.
> CockroachDB is always serializable. It is linerizable on individual keys.

My expectation would be that at some point you'd want to be able to optionally relax that (on a per sql transaction or table basis maybe?). E.g. on a "counter" table you instead might want do use something CRDT like, because you don't want to incur the latency of having to contact other servers. On an append only table without problematic constraints, it can be very interesting to do so too, particularly useful for logging & timeseries data. Not saying that has to have any sort of priority ;)
Water has an exceptionally high heat capacity, I get it. But using drinking water to cool our servers (in the interest of seeing the very best ads) seems like an exceptionally short-sighted choice for us to make.

If there is a less worthwhile thing for us to be doing with potable water, I can't think of it.