skysight-inc/HackerNews huggingface dataset:
You can create immutable "builder" with lambda chains. This also gives you the compiletime guarantee that you have specified the required fields (At the cost of flexibility and ease of adding new fields)

http://benjiweber.co.uk/blog/2014/11/02/builder-pattern-with...

Regarding your isPrefixOf - is there a significant benefit to that being in the standard library? You could define a isPrefixedWith("s") that returns a Predicate<String> yourself.
Ive bought the book off Amazon a few years back, along with 2 other space related ones.

I have to say, I've been appalled by the print quality of that one. It looks like someone took too big blank book (the white edges are humongous) then xero'ed stuff onto it directly from old typewriter pages (you can see the characteristical typewriter not-entire-letters-printed)

Technically interesting, but a little dry
One has to wonder how much of these CA shenanigans have been going on before these news sytems were put in place systems to catch the rogue certificates.

It would stand to reason that people are more wary of it now that there is a high risk of getting caught.
d. Start at A. Tell B you need a few weeks to consider. Assuming everything is ok at A for a few weeks, turn down B.

Reasoning: Company A hired you after only a 40 minute phone interview. Wait to make sure you indeed can start that job, that you get paychecks, and that there are no surprises.
Who's programming the robots?
Lombock is one of the most valuable enhancements to Java. Without it, it would make Java development not as fun.
I wonder if Chinese people are watching this. I could see China produce and install thousands of these all over the place in probably less than a year.
I don't see why laughter would be warranted for such a question. Yeah, MRIs are expensive, but wouldn't measurement of the brain's internals among those with autism be helpful in identifying the contributing factors and - maybe someday - a proper treatment?
Honest question. I've heard of these companies but I'm not familiar at all with the industry -- what's bad about them?
By using a DI framework to wire up constructors you tend to use the compile-time checking that your app is wired correctly. Which is unfortunate. You only find out when you try to run it.

Perhaps things being too big to wire together manually is a smell that the application is getting rather large.

There are also other patterns that can be used to make manual dependency injection less of a pain. I wrote about some of them here

http://benjiweber.co.uk/blog/2014/09/13/frameworkless-depend...
How about looking for life on earth which we cannot perceive without augmenting our senses.
While this is true, I have a feeling that wind averaged over a big land mass like US, Canada and Alaska will be a very close to constant. What we need is a better buffer system - here is where the supercaps, once developed could play a huge role. Or hydrogen/ fuel cells.
Though this evens out a lot when you have many farms with some distance between them.

Many coal and nuclear plants are actually quite good at load following (at least in France and Germany it's common to run nukes in this mode). The units are quite big so they don't have to do that many % per hour in order to keep up with a wind park.
An Optional type is more clumsy than null checks and null returns sprinkled everywhere??
What is the best advice for a young first time startup CEO?
When some ELisp code crashes in my emacs with an error like:

error: (stringp nil): not a string

I think it indicates Lisps suffer from this problem too...
"45 percent of recent new hires to the federal service are veterans, as mandated by Congress"

This is disturbing if true. Certainly not a way to get the best quality work force.
> it'd be justification for removing Symantec's CA certs from browsers

More than half of the CAs have publicly violated trust at some point. The governments of the US and China, who are arguably the biggest threats to HTTPS, still have CAs.

While I agree with you wholeheartedly, it doesn't look like either incompetence or malice vis a vis security are substantial enough justifications for the browser makers to pull the plugs here.
It can grow cartesian though.

I think the best compromise is to declare a new data type for the argument, such as:

data ExecutionDirectory = ExecuteInCWD | ExecuteInDir FilePath

And take an ExecutionDirectory instead of a `Maybe FilePath`.

Of course, you need light-weight data declarations for that.
The article is oversimplifying, of course.

PJM has most of their training materials on line.[1] Those give a sense of how PJM does it. Start with "PJM 101", "Generation Basics", and "How PJM operates and dispatches".

PJM has a day-ahead market, where most of the capacity is booked a day in advance, and a real-time market, where differences from the predicted load are handled. This allows everybody involved to plan ahead a day. There's also "non-economic operation", where, in the event of big problems, the PJM control center just tells generators what to do. That's for emergencies.

All generators post not just a single price, but a price/output curve. Generators also post a "ramp rate"; how fast they can ramp output up or down on request. PJM's job is to optimize all this, which happens on about a five minute cycle. There are also lots of physical constraints - transmission lines and substations can only handle so much power, and policy is to run the system so that any single failure won't take it down. After a failure, the transmission system is reconfigured to become single-point failure tolerant again. There's a control room in Valley Forge, PA, (and a backup control room somewhere else) where about ten people control the wholesale power grid.

California had, briefly, a system with an spot power auction every half hour, with dealers who weren't generators or power consumers, but that was abused and produced blackouts, along with the bankruptcy of PG&E. California now has a day-ahead market and a spot market for fine tuning, like PJM, which resulted in much saner operation. So does ERCOT, the Texas grid manager. It's not a raw auction every half hour.

[1] http://www.pjm.com/training/course-catalog.aspx
10-20 years is a bit of an overstatement. People aren't that stupid. The important thing is to have realistic alternatives, i.e. grade-separated transit.
Wow. I didn't know you could track down the email address using commit information. Now this guy is exposed in terms of the online identity.
On the flip side, the best practice for both Java and PHP is trending towards the same thing. Routes + DI + immutable types + fluent api's. Give it another decade and the only way to tell the difference will be the presence of $ characters.
I previously worked for a company which sold a router and we could have used the advice of someone like this. (Our boot was 10-20 seconds at least.)

I also wonder if I could get my desktop linux down to those times.
I don't think there's any evidence of a shortage of good STEM workers. There is a shortage of good STEM workers at the price businesses are willing to pay for them. There's less of an issue overall in the software world, though -- companies pay more for programmers, and there's less of a shortage.
Protecting Africa’s elephants with Google
BuildZoom, a better way to remodel, is hiring designers and engineers
BuildZoom is trying to become the Uber of the construction industry.

We are looking for talented designers and engineers to help us make our site gorgeous and intuitive.

Please email your portfolio / resume to david@buildzoom.com

A bit about BuildZoom, and why you might want to work here:

With the tap of a button, we will send 1 or more contractors to your door, in as little as an hour. We support virtually any construction project, from a small electrical outlet installation to a $1,000,000 home overhaul; commercial or residential.

We are making software to help people build - their dream home, their dream restaurant, their dream workplace.

The best thing about BuildZoom isn’t our product, though. It’s our incredible team, and our supportive environment focused on learning, teaching, building cool features that people actually use, and generally being an enjoyable place to spend your days.

What do a Director of Engineering for Thompson Reuters, a college football player, A Ukranian refugee, a daughter of a Boer farmer in Zambia, a retired general contractor, a scooter salesman, a Stanford PhD, a Berkeley economist, and a Duke Lawyer have in common? One of each works at Buildzoom.

We are currently distributing over $1 billion/year in projects, with over 1 million website visitors per month in the United States alone. These numbers are big. We're proud of our progress, but construction is 10% of planet earth’s GDP, so they are going to get a lot bigger.

One of the unique things about BuildZoom’s marketplace is that it sits on top of an incredible dataset of over 100 million building permits, which provide us with insights about contractors.

We use the dataset to improve the quality of our marketplace, and to build useful tools for property owners.

Here are some of the projects we are working on:

Building permit map of New York City: https://www.buildzoom.com/map/new-york-ny

Mountain View city data: https://www.buildzoom.com/mountain-view-ca

The building history of America: https://www.buildzoom.com/charts

Solar City permit data: https://www.buildzoom.com/charts?q=for+solarcity_corp

The rise of solar power across America: https://www.buildzoom.com/charts?q=with+solar
There are likely many ways to increase the data capacity of a piece of paper.

The information capacity of the paper would depend highly on the printer, the environment the paper had to survive, and the camera.
Java lacks higher-kinded parametric polymorphism.

Java also lacks the ability to say something like:

class Foo<T> implements ISerializable iff T implements ISerializable

So you end up having to work only with T's that are serializable, or not having the instance for Foo.

Also, Java lacks type-classes.

Java also lacks lazy bindings, and many other useful features one might need.

In short, Java is still very far from having everything one might need...
Under 'less' commands - can suggest 'g' instead of '1G'.
I've worked with a range of children, some of them have been marked with interesting psychological conditions.

This was in the states, and I don't really believe that it would have happened in the UK.

A child in my care was presented to me as a "manic depressive" Said child was 7[1]. I Accepted the diagnosis unconditionally, I looked forward to interacting with a intelligent, communicative, but somewhat inhibited, or slothlike child (depending on phase and drugs)

This child had none of these traits. He had poor language skills, the inability to share, bugged by external stimulus, Terrible social skills, poor empathy and a few other things.

In otherwords he was in my view was on the autistic spectrum. (Other people more experienced, who dealt with him agreed with me)

The reason why it was so concerning was the drugs he was put on to combat his "depression". He was on lithium and other such lucrative expensive drugs. The problem with lithium is that withdrawal has a 30% risk of suicide.

The problem for me was that anyone with a tiny bit of medical training, could see he wasn't manic. Because the Psychiatrist was being paid by the hour, and prescription, his diagnosis wasn't going to change.

[1]Manic depression in prepubecents, is vanishingly rare. http://www.rcpsych.ac.uk/healthadvice/parentsandyouthinfo/pa...
Could you provide a direct example? I thought it was working in a different way.

The description is a bit opaque (https://api.stackexchange.com/docs/top-askers-on-tags), as it does not specifies what does "top" mean (but for sure they need to get some points in a given tag, within the last 30 days).
I'd upvoted devinhelton's post as well, because it had been at zero when I saw it and makes an important point.

But I do understand the idea, and I'll go one further. The purpose of "money" is a form of claim check on the labor of other people, one that can be spent according to the preferences of each individual. When I say "save up to fund the inevitable devastation", I mean "it is probably more efficient to redirect the labor of people into fixing the problem after it happens than it is to invest it in changing production processes to speculatively prevent it from happening." I propose one possibility for this in a sibling thread: a carbon tax used to fund an insurance subsidy and additional federal disaster planning and possible infrastructure improvements. The financial & insurance industry can handle the administration; this is after all what the financial industry is for, arranging for a store of these "claim checks" so that you still have a claim on them in the future and yet they can be used for productive work in the meantime.

The government's only role here is to rectify an externality. Carbon emissions are causing harm to people not party to their production, so redistribute this back into the economy at the point that's being harmed, and let the market do the rest.
Interesting background. You worked on a bit more interesting projects than me as mine were limited by spare time and cash. Anyway, how would you explain to someone who learned computing in the 90's why ITS was an excellent design vs UNIX? Does the Wikipedia article cover it? Was some amazing features given the time period. I remember there were references to it in the UNIX Hater's Handbook, too. Their crash-proofing strategy was ingenius, too. Doubt it would work with today's trolls but good for that crowd.

"going to look at ML next"

Do Ocaml for its maturity. However, if you like TCB's, might be worth it to see if FLINT certifying compiler for ML works on modern stuff and passes a battery of tests. Source-to-object code assurance plus ML correctness is powerful for tool development. My recurring idea is combining a version of it with programs extracted from Coq specifications for robust tooling.

"a modern web browser is a non-negotiable for users"

Maybe. Lots of large companies get by forcing use of terminals, client-server, and minimalist web stuff. There's also browser ports to alternative OS's like Haiku, MorphOS, and even OpenVMS at one point. So, there's room for tradeoffs. Past that, create a Linux API in a VM and put it in there.

" the flip side of the "oligopoly" is only having to convince 4 organizations (Apple, Google, Microsoft, Mozilla)"

I'm hoping that's the case. Microsoft prototyping one with Mozilla, JS as assembly, and HTML5 provide some hope. Doubt we'll get something radical like Juice project that's really better, though. I'm watching WebAssembly from a distance to see how it plays out.

"that Richard Gabriel was getting at"

Damnit, I reference that meme here all the time lol. He went back and forth with me knowing it was true after seeing the first essay. Spread like a virus with just good enough done the way others are doing it. The lesson to learn. Hard to get quality or security that way, though. Call up Trusted Xenix people to see where... wait, they don't exist anymore!?

Getting browser vendors on this is low probability of success. It's why we're all working around (HW/kernel stuff) and sometimes right through them (eg compiler stuff). As you said, it's too complicated and several scheming-ass companies are in control of it. I'll add too much legacy code. Although strange that Mozilla is throwing away a lot of theirs: might be killing their differentiator. Not sure as I'd have to see why various people used it.

"I seriously considered the Beagle ecosystem, but noted it's not "stable","

Good arguments against Beagle and for Rasp Pi. Yeah, seL4 is a start. Remember, though, that it's just a separation kernel: you have to build everything useful. Very barebones. You have your work cut out for you.
How to search for properties on the Internet
Spammers Flood Google with Fake Takedown Notices
That's sort of what biology has been doing for its entire existence, with microscopes, DNA sequencing, etc.

Edit: what sort of augmentation were you suggesting?
There are a great many choices made between photons striking the sensor and photons from your computer screen striking your eyes. In the absence of Photoshop, they're made by an engineering team's best guess at a general procedure for transforming the raw electrical data into a photorealistic scene, but these algorithms do not have a special claim on the truth and the parameters they choose are not necessarily "right." In some situations (such as rooms with unusual color-temperature light sources) they are unambiguously wrong.

Professionals use Photoshop when they disagree with the choices made by the on-camera chip, which is almost all of the time. Working from RAW, you can start fresh from something closer to raw sensor data and move the sliders for yourself. But those sliders have to be somewhere, effectively, and taking manual control of them (or overriding them with further transformations) doesn't make a photo less real. It's much more like copy-editing.

Most images you see are Photoshopped, but most of the editing (and all of the editing in journalism) is done with the intention of making the photo a more accurate representation of what the photographer saw.

Where you get people editing photos to make them more than what was really there is in art. Ansel Adams made choices in the darkroom motivated by aesthetics rather than accuracy, and he was damn good at it. I'm sure most glamour photographers would tell you they're engaged in a similar kind of artistry.

I'm less interested in fashion magazines creating unrealistic representations of the human form than why people believe these are credible ideals to aspire to, rather than mildly amusing curiosities.
An Encounter with the Giant Kangaroo Rat
> "it is impossible to add 2^33 to rax using one instruction only."

This can in fact be done, with a memory operand. I'm not sure about the performance compared to a 64-bit load immediate followed by an add, but this will do it (NASM syntax):

add rax, [rel the_constant]
...

the_constant:
dq 8589934592
At first, I thought that. Why wouldn't they just take their money and use it to subsidize more for the public?

But then, I thought that maybe, they are thinking something like this: If smog is not a problem anymore for the rich, because of these devices, there would be less incentive to stop producing it, and go green.

I thinks that it's something similar to public school or public health. If the rich have access to private alternatives, their concerns about the quality of the public offering is reduced. In this case, if they are not the ones breathing smoggy air, their concern about air pollution (in poorer zones) is significantly reduced.
Eight bits are enough for me … https://www.youtube.com/watch?v=GoGpLl-SUfk
The article mentions that the certificate creation was logged in public logs by Symantec.
I wonder how the (shared) tuple space is managed.
graffiti was excellent, we should look into reintroducing it for VR applications. you add touchpads to VR wands and you could have decent enough wpm.
The article states it's powered by wind power.
Rust does look promising for embedded applications. Ideally, I'd like to be able to use it to program Pebble applications. I managed to get a simple executable written in rust to write to the screen a few months ago, but haven't been able to get even slightly more complex things to work. Hopefully the hard work of rust devs will make this easier in the future.
no wind is not a requirement, but the variability wind adds is so strong this may never happen in practice without wind power.

if there was a general move to lower power use, the market would adjust to the lower level. it is the unpredictable variability that causes the negative prices.
To me it feels Apple and Uber are years behind Google. Today it's not very difficult to build a self driving car. But over the years Google developed a gigantic network of all kinds of data used by the cars.
Certificate Transparency is a (mostly Google-developed) program which aims to require that certificates be publicized to some third party, so that mis-issuance (just like this one!) can be detected. You do this by telling a third-party log server that you're issuing a certificate for a domain, and the log server gives you back a proof (essentially a countersignature) saying "Yes, I am a third-party log and I've seen this certificate and I'm publicizing its existence."

You can submit the actual certificate to the Certificate Transparency log, but then you don't have that proof immediately, so the certificate isn't usable until after it exists. (And the easiest way to send the proof to a client is to embed it in the cert itself.) So instead, the CT protocol allows you to generate a "pre-certificate", a modified certificate with a special X.509 extension poisoning it from actually being used as a certificate. It is a promise that you are willing to issue this certificate, but cannot be used to authenticate.

Since it can be exchanged for a CT log proof, just like an actual certificate can, it has exactly the same verification / trust requirements as actually issuing a cert. However, it cannot be used as a certificate.

Chrome now requires Certificate Transparency for all CAs that it has authorized to sign extended validation (EV, green bar with the company name) certificates, as those are held to a higher standard than the rest of the CA system is (currently) held. While Google also operates the logs, they shouldn't have needed any special access: any website operator can ask the logs "Hey, what proofs have you issued recently," and cross-check those against the certificates they actually intended to get signed.
Enceladus has been my favorite moon since I was a young lad. I feel like it may have the best chance at life out of all the other places in own solar system. I hope I see the day when we visit it and possibly drill into the ice.

I know NASA, like any government agency, is a bit bloated and slow but they're also one of the few, hell may THE ONLY, government agency that can give people something to hope for and aspire to work for. I wish there was more government funding not just for NASA but for funding companies (through contracts or hell maybe even actual funding due to the prohibited cost of space flight) that could one day put people and robots into space.

I hope I'm alive to see the day when we drill into ANY of these amazing moons...but especially Enceladus.
> In addition, we discovered that a few outstanding employees, who had successfully undergone our stringent on-boarding and security trainings, failed to follow our policies. Despite their best intentions, this failure to follow policies has led to their termination after a thoughtful review process. Because you rely on us to protect the digital world, we hold ourselves to a “no compromise” bar for such breaches. As a result, it was the only call we could make.

> As much as we hate to lose valuable colleagues, we are the industry leader in online safety and security, and it is imperative that we maintain the absolute highest standards. At the end of day, we hang our hats on trust, and that trust is built by doing what we say we’re going to do.

Wow.

I have to say that I respect that decision. Without knowing the circumstances, I have to say that willful disregard for security policy while handling materials as sensitive as a CA cert is indeed not something I'd want to see from employees at a CA.
Concrete? Perhaps a 3D printer could make a mold from a data format similar to this one, even one in 3D..

http://www.instructables.com/id/How-to-3D-Print-Molds-for-Sm...