skysight-inc/HackerNews huggingface dataset:
Aphex Twin is probably one of the few artists I have consistently liked and gone back to listen to over the years.

I don't know anything much about music, but I feel out of electronic music past and present his works are the most dynamic and interesting. Most other stuff I kind of like but it gets old so move on to other things.
Not trying to be a downer on the creator, because it's very cool, but I think the best thing that can come from libraries like this is adoption into Typescript. Typing is really better suited to being a part of the language and not a facet of libraries (or is it - an interesting thought there, the ability to import type systems).
lol... this is so far off the mark. The review system is biased by the employer to manage down compensation except in cases where they identify business critical employees. The politics is about convincing someone you are mission critical.
There where some pretty efficient workflows in many of the tools, it was a really logical layout to an OS, and it seems like much of that thinking infected many of the developers that built apps for it. The video toaster comes to mind, while the Amiga hardware was obsolete by the time NT and SGI where in full swing for graphics, you still saw the real time stuff being done on toasters. It took advances in software to finally put the final nail in it's coffin. A lot of people that did not use Amiga's don't really realize how far ahead of their time they where. Through a lot of ingenious software and hardware designs and hacks they really built something that was from the future. That being said, after the toaster was surpassed, the present passed the Amiga up and now it's just nostalgia.
I'm extremely skeptical that this could in any way be possible, but is it remotely possible that she herself did not know the extent of the fraudulence of the tests?
Algolia : https://blog.algolia.com/
I think the standard recommendation is to know how much you need to allocate and allocate it in advance. You can call numpy.zeros( size ) to get the appropriate array, then fill it with your actual data, for example. If you don't know how much you need, you can try to over-estimate it and then shrink the array (i.e. allocate one of the right size and copy) after your done.
Can I get your number?
Sounds like your laptop isn't "without systemd" in that case.
I look foward to reding this. Writing dictionaries is the polar
opposite of Silicon Valley startups. There is no fame (but there are
heros) certainly no fortune and there is no exit. It is a relentless
plodding process that often takes generations to complete a single
edition. Another very good book which is well worth reading is
Elisabeth Murray's 'Caught In The Web of Words' which is the story of
James Murray and the making of the Oxford English Dictionary.
Seems like household bulbs are either too yellow or too blue/white.

Funny you should mention that. I just wrote this: http://kk.org/cooltools/finally-led-light-bulb/ a few days ago. This bulb has a yellow-pinkish hue and I think it's great.
Perhaps Magnet bearing mounted flywheel as your kinetic energy storage would be better and lighter than battery power?
Because it's unrelated to the post - which is about the architecture - and because it's brought up every single time?
I feel the same way, but ironically I attribute this to his knowledge of music outside of the electronic genre. I do listen to a bit of electronic music, but generally I prefer the sound of "real" instruments and what human hands play.

In other words, Aphex Twin is the most "organic" electronic music out there. This acoustic drum is a great example of how far he will go to achieve that.

I'm really impressed by the detailed work described in this page!
I would arguea HN thread about home security systems that shoot intruders upon home invasion would be tolerated on HN.

So self-defense / death alone are not enough to flag a comment. Political movements like ELF (Earth Liberation Front) used arguments similar to mine on why, for example, coal plants are legitimate targets in self defense.
This is really not like the Idris type system at all. Its not even really like the Haskell type system. This is basically doing the same thing as the Haskell quickcheck library but running it at compile time. AKA just testing a function with a few values.
You're suggesting we send our exploits to the company that hacked Tor for the FBI? How much do they pay you?
You can get "warm" LEDs too. Got some for our bathroom after I realised the "daylight" ones were waking me up too much at night.
The security market is working exactly as it was designed and evolved to. Far as when high-assurance started, the Black Forrest Group of execs of big companies convening on INFOSEC told one of INFOSEC founders they thought companies would refuse to sell them highly-assured software. The reason was they suspected they intended to make extra profit two ways: cutting QA for immediate profit; selling the fixes for later profit. This proved true with lock-in strategy combining for what was essentially checkmate to lots of companies.

The other end are buyers. Most of them don't know what to expect for security or how to evaluate it. Most attempts to solve this failed. They've been conditioned to expect constant hacks, crashes, or data loss. So, they see Comodo etc get hacked and shrug. They'll usually stay if their end of whatever they bought works. The sector that will pay for highly reliable or secure software is probably under 1% of the market or projects. It's enough companies keep forming to do real thing but tiny, tiny few struggling to justify the extra costs or less features necessary for higher security.
FaunaDB is a weirder name than Cockroach. Cut off the head and the body keeps going. The name is apt for a distributed db.
Honestly this sounds terrible. I would never take a proctored test for an interview. Might as well just send the company a copy of your grades from some computer tech class in school, because that is basically what you're proposing.

I will happily spend a few hours preparing an open source project and presenting what I've created as part of a final interview.

Relying on testing alone is going to get you good test takers. A great team needs a mix of of skills- technical experts, business minded folks, and motivated leaders. I don't have the magic answer but I'm sure that proctored testing is the wrong answer.
I half expect powerful futuristic AI to figure out and enlighten us as to the specialness of our conciousness, the transience of simulations, and perhaps to define the special arrangements required to create life of similar importance to ourselves, should we really wish to do so... in the non-traditional way.
Regardless of the use case this is what the official documentation says about namespaces:

The namespace keyword is used to declare a scope that contains a set of related objects. You can use a namespace to organize code elements and to create globally unique types.

And about partial classes:

There are several situations when splitting a class definition is desirable:
When working on large projects, spreading a class over separate files enables multiple programmers to work on it at the same time.
When working with automatically generated source, code can be added to the class without having to recreate the source file. Visual Studio uses this approach when it creates Windows Forms, Web service wrapper code, and so on. You can create code that uses these classes without having to modify the file created by Visual Studio.

As you can see partial classes are not the right tool to organise code.
A lot of that looks quite familiar from working on postgres. Partially that's because it's "just the right way" to do some things, but I also wonder if there's some more looking at pg than just reusing the wire protocol?

PS: Should any cockroach contributors have opinions on limitations & evolution of the protocol: I'd be interested.
I rarely comment on HN....but I just came to say that I effing love the name. Don't ever change it. Screw the VC's and middle managers.
Because most people don't have 3rd party cookies disabled. It's one of the first things you should do when you install a browser. It doesn't break anything worthwhile and protects your privacy (and security).
Captain401 (YC S15) Is Hiring an Account Specialist / Customer Support
Alternatively, publish it in an obscure place online, get proof you published it in archived medium (eg Gmail or Archive.org), short the stock based on that now-public information, and then reveal it again in a way that will get stock-smashing attention. That's my hypothetical model I came up with when trying to figure out how to incentivize apathetic, but public companies, to care about security a bit. You can even follow up offering them security consulting but don't expect a yes haha.
There are moderate ways to experience nature and escape the cities. I try to get outside for walks every day, and out to the desert or the mountains once or twice a month. And I set my home office up with a window looking out at a large mountain. Small efforts like this do add up.
That's for short range transmission to a fixed receiver. So not really relevant for powering aircraft.
And at the same time, he is the most inorganic ️
Nope, but if you reported that you just noticed a fake stock deal made 12 years ago on an account that you actively use, you'd have an uphill battle proving that it really was unauthorised, and the lack of logs would only make it harder for you.
"The text of the CFAA forbids "unauthorized access" or "exceeding authorized access"."

BOOM! And they've been harsh on hackers for a long time. So, the vulnerability must not require violating access controls or system integrity to be safest. Hackers should be in the clear if it was simply noticing something in HTML/HTTP or whatever that indicated insecurity. An example might be a breakable cipher-suite or handling sessions improperly.
Chicago is a much bigger city than Yeovil. Chicago Magazine is a publication that gets most of its readership from Yeovl. The fact that Chicago is far bigger than Yeovil means that changing its lights is a much bigger and harder to revert undertaking than it was for Yeovil. Newness is not the most important thing.
Did this emerge from routine operations, or was there a directed effort to have a "coal-free day"? The article didn't seem to clearly say either way.
Tradition and (Pocket) Change in South Korea
Go is fantastic
If it quacks like a type and it types like a type...

Just kidding! A type system, in essence, is not much different from that, though - Pi, for example, is basically a type-level lambda that is applied to the typed function (and it is sufficient to express basically any real-world type system). In any case, I hope I made it very clear on the that it is in no means an actual type system, but my dirty way to get invariants and some refined types on plain JS. If we had a mature Idris->JS compiler this hack wouldn't be necessary. ):
I was totally sold with github as comments, but then I saw you need to leave the page to comment. That's really unfortunate! If we could get a minimalist, not tracking widget that would be ideal.
When you submit a zero day to a bank, maybe let us know. I this case, you submitted a zero-day to a trader-broker, not a bank.
> the analogy would be a lawyer.

You can use a lawyer for this, this is a standard piece of advice for other kinds of bounties-- e.g. reporting criminal tax evasion.
I've been meaning to understand the idea of programming languages, removed from the syntactic details, and removed from the issue of converting a program to a machine executable form, and even optimizing a program.

I have a hunch that Krishnamurthi's book might be a good read in that regard (though not sure).

However I wonder what's left after you remove the issues I mentioned above. There are two cases: typed language and untyped language. In the first case you're left with Type Theory. In the second case you're left with, either a Turing Machine or a Lambda Calculus (e.g., implemented in a syntax free language like scheme). Is this the correct line of thinking? Or is there more to PLT than what I described?

To continue the thought further, in case of scheme, you have the base language on top of which you can build any PL feature or any PL paradigm you want. That means what's left is a survey/exploration of all possible PL features. Here I'm not interested in syntactic features. But in that case, what's left is really a survey/exploration of all possible PL paradigms, or programming paradigms [1]. So I guess what I'm really after is a massive study of the equivalent of all programming languages, but in a syntax-free way, i.e., in scheme syntax! (And I'm looking for a book that can provide that).

[1] https://en.wikipedia.org/wiki/Programming_paradigm
Routine operations:

https://www.theguardian.com/environment/2017/apr/21/britain-...

So simply the result of the shifting energy source mix.
> Professional association of security researchers

It's next door to the military intelligence folks.

(ba-da-bump)
It's worth noting that GitHub has a very strict rate limit for unauthenticated calls (https://developer.github.com/v3/#rate-limiting):

> For unauthenticated requests, the rate limit allows you to make up to 60 requests per hour. Unauthenticated requests are associated with your IP address, and not the user making requests.

In this case, all the comments for an issue are returned with a single API call, making the limit a nonissue (unless someone is binge-reading more than a post a minute)

Also, it may be a good idea to sanitize the comment.body_html. That seems XSS abuseable.
Tell that to the MongoDB-gang..

"Mongo" is a norwegian/swedish(?) slang for a retarted person. It's derived from the word "mongoloid" which was an person with Downs or a similar syndrome. The latter word is not commonly used anymore.
Good feedback from peers I think is critical, but the 360 review process most companies have does not provide introspective and effective feedback.

Your bullet points can be addressed in productive 1-on-1s with your direct report manager and regular check ins between your team and project management to critically discuss recent milestones and what emergent work has been created from them.

I agree with your points, but I feel the formal corporate review process does not sufficiently facilitate them and instead succumb to the pitfalls highlighted where they only focus on the negatives. It is not that I only think reviews are for that, it's that I think those things are a bad end state where formal reviews converge.

The 360 review does not contribute meaningfully toward creating a learning organization. It is not the right mechanism for feedback and reparative methodologies.

We're not building technology. We are building organizations who are building technology. If we are not focusing on the way in which people are doing the work that they are doing as a feature of the actual work, then we are not building a learning organization.

An effort to create continuous feedback is a better gesture than a yearly review, but this article/video is a fluff piece. If the feedback you're getting in a 360 review is in any way new information, then you're not exhibiting the elements that make a good team in the first place.

If you're attempting to aggrandize feedback behind formality and process, even in the name of immediacy, I think it's counterintuitive.

Feedback needs to be a native mechanism that is implicitly built into the way we are working -- not a sidebar conversation. That's what postmortems are for.
The electorate believes that brighter street lighting leads to less crime, and dimmer street lighting leads to more crime. A municipal politician's career would be eviscerated by the first violent crime on a street they voted to dim.

"Soft on light pollution" doesn't kill political careers.
A lot of vulnerabilities are basically the same thing. From what I've seen, even legitimate researchers will have form reports. It's just an obvious optimization.

From there it's pretty easy to see that "vulnerability spam" would be a thing.
If you liked this, you might also be interested in Squarepusher and Z-Machines "Music For Robots". It has significantly fewer technical details, however.

https://www.youtube.com/watch?v=7MluikyEQF4
Even with a rocket deployed parachute you need to be at least about 200ft above the ground for it to work. So there's a dead zone during takeoff and landing where you're too high to survive a crash but too low to parachute down. Military VTOL jets like the Harrier and F-35B address that risk using zero/zero ejection seats which can launch the pilot straight up high enough for a parachute to work but that's obviously not feasible for general aviation.
A video of SpaceVim's mapping guide feature
7 Reasons Why Gamers Support DLC and Season Passes
I have implement this feature in https://github.com/SpaceVim/SpaceVim/pull/458
I've been watching some of the neighborhoods undergo early adoption of LED street lamps. It's been interesting.

The new lamps are definitely much bluer than the current sodium lights, which gives the street a different, unfamiliar feel. The article suggests the city ultimately adopted 3000K lamps, but it definitely feels like the pilot program used 4000K ones, they looked very cool.

Another interesting development with these so-called "smart lights" [1] is that the city can potentially modulate brightness on a street-by-street basis, and asking different neighborhoods to weigh in on where they want the lamps to be brighter (or maybe, if they want them dimmer on side streets etc). This sounds like a very good change - customizing street lights based on neighborhood requirements is a very nice development!

[1] https://www.cityofchicago.org/city/en/depts/cdot/supp_info/c...
Next up Germany and Poland, please.

http://www.coalmap.eu/#/climate-problem
Nope, tried it last 4 months ago.
LED will pretty much be better in terms of light pollution. With tubes or filaments, you need to make expensive reflectors to prevent the light going in directions you don't want.

LED lighting is much easier to make directional. With LED lighting, the difficulty is making it more isotropic.
The band "The Algorithm", although more rock/metal is kinda chip-tune enough for me.

https://youtu.be/zwG97ah0mEU?list=PLB687_YKwVcBhVI8bzQ_yjj4Q...

https://youtu.be/dJwNfRaPp08?list=PLB687_YKwVcBhVI8bzQ_yjj4Q...
Has he said that he's willing to be a liaison like that? If not, you'd be putting an unfair burden on him by doing that.
this headline is clickbait, I'm sure at least one person in Britain burned coal for power today
The vast majority of urban high rises are incapable of accommodating landing pads.
How often are parts changed without changing the part number? If it's a common practice, it doesn't have to be seen as malicious. Are there major/minor/patch level part numbers like there are version numbers of software?
There's a fair bit of work in this area that leverages Flow type syntax, e.g:

- https://github.com/gcanti/tcomb

- https://github.com/gcanti/io-ts (for typescript)

- https://github.com/codemix/flow-runtime (i wrote this)

And another alternative is to use Design by Contract, like Eiffel:

https://github.com/codemix/babel-plugin-contracts (also me)
Have a streetlight outside my house that has LEDs that are not diffused in any way. If they simply put a cover over it that diffused even just a little it wouldn't be so blinding.
Yea I live on a street with the pilot program and no doubt they were much brighter than 3000K. They were very blue but I really like them. It gave my neighborhood a more small town feel if that makes any sense.
You take a course in computer architecture to learn how computers work. If you follow up with assembly, you'll be able to do things you can't express in C without breaking its common model. What the underlying hardware is doing also varies considerably across implementations: x86 CISC; RISC's; embedded; SIMD/MIMD; multicore; HLL or safe/secure CPU's; DSP's; GPU's. I know C doesn't map to a lot of that because there were whole Ph.D. programs trying to extend it with things like Cilk language. However, you learn C language if you want to learn its model or how to work on software using it. It will also teach you a little bit of what a computer architecture course will but leave off parts that could help a lot.
Pretty good outcome, though some would argue it may not even be necessary at least for home ISPs. Mobile is a different story...

Even before this ruling we were in decent condition on home ISPs due to actions the CRTC had taken which greatly improved the competitive environment - I went from 30/10 to 300/30 in a matter of a few years at a very close price point. I'm now on gigabit at about 1.5x the cost. It's also interesting that among the people arguing in favor of net neutrality here included one of the biggest ISPs around, Rogers. It's also good that this regulation doesn't extend nearly as far as what the FCC proposed in the states - it keeps it fairly minimal.
Well, the plan (/leap of faith) is that electric will be quieter than internal combustion, including cars.

But you raise a good point and, reflecting on it, it is hard to see how these claims could be true (noise may fall off at 1/r^2 but with the vehicle in the air there's nothing to block the noise.)

Making the streets safer for kids and pets may be important too.
I would avoid using the terms "type" and "check" together for this, since "type checking" has a well established meaning (referred to as the "classical"/"logical" approach in this README).

Random testing like this, as WaxProlix says, is reminiscent of QuickCheck; in that case you might replace "type" with "property", since the phrase "property checking" is associated with this approach.

Alternatively, stick with "type" (or maybe "contract"? These terms are all very overloaded!), but use "testing" instead of "checking".

Note that this approach is should be possible in Idris too, since we have equality types. For example, assuming we have some QuickCheck-style functions available, I could say:

someProp : Foo -> Bar -> Bool
someProp x y = whateverExpressionWeLike

somePropCheck : quickCheck someProp = True
somePropCheck = refl

This will only type-check (in the traditional sense) if `quickCheck someProp` evaluates to `True`; otherwise `somePropCheck` will be ill-typed. `someProp` and `somePropCheck` have no impact at runtime, since they're never called from anywhere (they could be encapsulated privately in a module too).

`quickCheck` can be a normal function; it's simple enough to generate "random" values in a pure way (e.g. Mersenne Twister with some arbitrary seed), although that would lose one of the features of property checking: each time it runs, we explore more of the possible inputs, and hence gain more confidence. Since runtime guarantees don't depend on the particular values generated by `quickCheck`, it's still "morally pure" even if implemented in an impure way; hence we could use a mechanism similar to "type providers" to impurely generate random values, and hence regain that feature.
Oh. Thank you very much for linking that. I wish I saw it 3 days ago, though. It is basically the same thing.
That's what I was guessing. Especially after reading the article below and seeing lots of compiler/prover authors go with ML's.

https://news.ycombinator.com/item?id=14123100
3000K is about color not intensity
I was actually considering tying it into consul somehow so the nodes could discover each other.
More importantly it's the death/slowing of Dennard scaling.