skysight-inc/HackerNews huggingface dataset:
That sounds very interesting, I'll check out the modelling of those side effects, that's something I would love to understand. Thanks.
Elitist language can be used by any group to partition themselves from others. I'm sure many groups (formal and informal) do it.

That said, I believe there has to be a floor to the language level you choose, and it's reasonable to use "high school English" as that floor. Besides, I checked out that link (history section) and didn't see anything that screamed "overly clever"...
The elusive flash
Well, he said "strong" :) Probably meaning a ML-derived type system, not C's or Java's.
I'm not deeply into the details, but doesn't it depend on how focused the ultrasonic beam is if you can fully protect the beam from hitting people by some smart and rapid sensing ?
Seems possible and available but not very user-friendly (yet) - time for some startup to 'disrupt' the microphone market ;-)

https://en.wikipedia.org/wiki/Subvocal_recognition
https://en.wikipedia.org/wiki/Throat_microphone
The full report with the longer message (linked elsewhere in this thread; page 214 or F-125) explicitly notes that the 10,000 year point is when it matches the ore:

> Radioactivity declines exponentially with time. By 10,000 years after the waste was buried here, the waste will be no more hazardous than the ore from which the radioactive material was taken [see 50 FR 38071a].
But consciousness is unique. It is the phenomenon that allows us to experience all other phenomena and there is nothing like it in the rest of the universe as far as we know.

Just because we don't know how to specify what the problem is exactly doesn't mean the problem doesn't exist; it just means that we don't fully understand what the problem is. Denying that there's a problem to solve means we won't make any progress on it.
I am an early adopter of Atom, but it sucks at displaying really large files.
It crashes often when I look at a client's html page I've pulled down. Sublime Text handles these pages no problem.

I still choose to use Atom, just because otherwise I like it so much.
Fallout Shelter uncovering album
Sure. As a member of the extended ML/Haskell family, Elm is inherently typeful, whereas in TS/Flow types are opt-in. But, as it turns out, pragmatically, typefulness actually limits the extent to which a language can become complicated, because the complexity ends up showing in the type system, and that's useful feedback for the language designer that he or she is going in the wrong direction. OTOH, the designer of a non-typeful language can “hide the ball” by not reflecting complexity in types.
Why you should use UTF-8 (not UTF-16) everywhere
In a lazy language like Haskell, you often define pure functions whose result is an effectful monadic action. In a strict language, it makes more sense to qualify functions themselves as being pure or effectful. So you end up working with Kleisli arrows, which are still related to monads.

Also, the way Haskell handles composing effects (monad transformers), while precise, sometimes leaves a lot to be desired in terms of usability. That's why other approaches to managing effectful computations are being explored, like algebraic effects.
Do the signs ever get to the point and say that it's about radioactivity?
Here's a fairly detailed blog entry about some similar explorations : http://barradeau.com/blog/?p=194
What we found out about cloud pricing
No, it's literally every kanban software - ever.
Hey New tests on DevOps. Get your brain work and pass the test
30 Amazing Twitter Tips for Bloggers
6 differences between good designers and great designers
> THE THINGS HERE MAKE DEATH.

I wouldn't be sure what that meant. They make death what? Great again?
However as GM has proved that they can pivot quickly and bring a product to market faster than Tesla. They have the supplier relationships needed as well as the manufacturing and testing expertise to do so. They key is having management that wants to do it.

I suspect Ford could as well but their leadership isn't as willing to change direction as GMs does.
> Not every submission to HN was created as or intended for a Hacker News audience

That's a good point.
(entrepreneur hat on)

The hashcat project could make a bunch of money with cracking as-a-service: you supply hashes, hashcat runs on a dedicated multi-GPU instance (SoftLayer etc provides these), and get outputs.

For users: no setting up hardware or software and much better price / performance than DIY

For hashcat developers: money to pay their rent and work on hashcat

Edit: looks like the company sells SW/HW but not as-a-service. Massive opportunity for them there: https://sagitta.pw/software/

Edit 2: they're doing it: Q1 2017 https://twitter.com/jmgosney/status/740146970254147584
No one has really figured out nominal subtyping + type parameters with good type inference support. The best we can achieve seems to be scala, which still requires more type annotations than many are comfortable with.
I use sampling a lot for this stuff because my work usually involves prototyping and for this I usually get a statistically-significant sample from the data. I use this also as test vectors.

At this scale you can use whatever you want (ipython+pandas+numpy/R/Matlab/Mathematica...). For visualization I like to use Qlikview, but you can use Tableau, or DS3.js.

When I have the prototype / proof-of-concept the next step is productivizig this.

You'll need:
- Somewhere to drop that data ( EC2 / Hadoop HDFS / NFS...)
- Something to get the data from its origin and put it into the storage, aka ETL (extract transfer load). Usual suspects here: Informatica, Talend, Sqoop, Pig, hadoop, spark...
- Some kind of "database". If you're using structured data you can use a "columnar" database like: Sybase IQ, Sap HANA, Teradata, Netezza, or MS SQL Server 2012/14/16 with columnstore index, Hadoop HBase, etc. If you're comfortable with it you can also dump the data into files with columnar formats (like Parket).

- Something that puts that data graphically in front of the user and it's easy to work with. Some examples: Qlikview, Tableau, Sap Lumira, or DS3.js. If you want to code your own stuff, take a look at the tools data journalist use.

You'll need some engineering to tune the data architecture to follow your users natural workflow. For instance, if they only need month-to-month reports you can partition your data to reflect that.
Drone tour of Apple “Spaceship” campus construction progress
Sure. Keep in mind that the top GMs have ratings of 2700 and above, while some GMs have ratings as low as the 2400s. So a top-level GM still has a large amount of age-related distance to fall before he won't be a match for a "low-level GM".
As I said in another comment, I was developing something incredibly similar many years ago.
I really believe it’s the best UI for a calendar.

I hope to help you somehow, I opensourced that small thing I built then: https://bitbucket.org/yuchi/dirt-testing-1

It’s written in Coffee Script (sorry, it was all the rage in 2012) but if you create an HTTP server in the root of the project everything should work out of the box because I checked in the compiled sources. To zoom in and out use shift-drag.
Similarly, I hope that voice interfaces don't become popular in open plan office environments.
How DevOps Is Killing QA
JavaScript: JBB outperforms BSON and MsgPack on decoding time and file size
Koka tags effects using something like row types. This may very well be easier to use. There's no reason Haskell couldn't do this if it had row types, but it doesn't, so it doesn't.
Tidal user here. Would love to see these working together!

Edit: if you didn't yet, join livecode.slack.com!
The user-centered redesign of IdentityTheft.gov
I'm not ready for transition (using atom at the moment and considering spacemacs due to elixir), but VS Code is really impressive in terms of speed. Atom is cool, but it's really slow. I thought it was because Electron, MS proved me wrong. Point for them.
Latest 2016 Windows 8 All Activator 100% Working
2 Tesla Model X Owners Prove Humans Shouldn't Drive
Show HN: A mini-app that can store all my bookmarks built using Google Sheets
For someone living in Southern Europe, what I read in HN seems positively science fiction, I learned to live with it.

With almost 10 years of professional experience now, I'm making less than what I did for an internship in the Bay Area just out of university.
The new theory summarised (from the paper):

>The theory begins with attention, the process by which signals compete for the brain’s limited computing resources. This internal signal competition is partly under a bottom–up influence and partly under top–down control. We propose that the top–down control of attention is improved when the brain has access to a simplified model of attention itself. The brain therefore constructs a schematic model of the process of attention, the ‘attention schema,’ in much the same way that it constructs a schematic model of the body, the ‘body schema.’ The content of this internal model leads a brain to conclude that it has a subjective experience.

Kind of makes sense to me - that the mechanism that forms a model of your body or a place map or whatever also forms a model of your mental setup of senses, memories and the like.
How love and marriage are changing
Really Fast CSV Imports with PostgreSQL's COPY and UPSERT
I like it! A few things that'd be really useful:
- timezones when adding an event
- and "floating" for eg. morning run
- supporting different start and end timezones is really useful for plane flights
- a second timezone shown on the left

I use these things a lot currently (except for the separate start/end timezones cos no-one does that well, sadly)
BBC Radio 4 Analysis – Silicon Valley Values
Nice work. Love the UI, and general concept.

My only criticism would be that the two vertical buttons/labels take up a fair chunk of the horizonal real estate.

Perhaps just show the right one, and use strings such as "December 2015" and "22 Thurs (Dec)"?
Interesting is too mild a word. Devastating is probably more accurate.
I agree that for gaming it makes sense getting the higher end cards rather than dealing with SLI, but my use case is password cracking that doesn't require five 9's uptime.

The GTX 1070 is 150W power consumption while the 1080 is 180W. Rather than get another case i'd just scale up the case size based on the number of cards - 2 cards ($100[0]) 4 cards ($200[1]), 6 cards ($400[2])

1200W PSU $300[3], riser cards $10[4] and then motherboard + cpu + SSD about $200-250 so it works out $700 base for 2 GPU system, $900 base for 4 GPU system and $1400 for 6 GPU (2 PSU's)

If you work that out with the card options the sweet spot is 4x 1070 GPU's for $1500. It really isn't worth spending $4k on cards to get equiv performance from Titan X's or 15-30% more performance with the 1080 (although power/performance is better).

[0] http://www.coolermaster.com/case/mid-tower-cm690-series/cm69...
[1] http://www.corsair.com/en/obsidian-series-900d-super-tower-c...
[2] http://www.miningrigs.net/?product=graymatter-6gpu-server-ca...
[3] http://www.newegg.com/Product/Product.aspx?Item=N82E16817139...
[4] http://www.amazon.com/Fixable-Adapter-Flexible-Extension-Con...
There are interesting data and comparisons without E10S on https://wiki.mozilla.org/Electrolysis/Release_Criteria and http://www.erahm.org/2016/02/11/memory-usage-of-firefox-with...
How Light Designed the Camera of the Future
You may enjoy an interview with the tetris man himself: https://www.youtube.com/playlist?list=PLzsTvqyBRGv0-uyjDuQD1...

Some of the technological history he mentions is quite interesting.
I'm sharing this with HN to show off some of the neat things you can do with Google Sheets/Google Scripting. It's neat that Google does all of the hosting/backend for this. Originally, I was using a spreadsheet to keep track of all of the links I've been meaning to read and using formulas like ImportXML to scrape data from the webpages to make it easier to categorize. Then I stumbled on the scripting capabilities and came up with this.

Feel free to ask me any questions!
ditto. I'm a very casual gamer and can't be bothered messing with wine or VMs, but would immediately buy it if it came out on linux. I've watched some youtube videos and it looks very fun.
If you're stuck with recording in that room, perhaps you could try getting something like an SE Electronics Reflexion Filter? It's like a tiny vocal booth just for your microphone, to block reflected sounds.

http://www.seelectronics.com/reflexion-filter-x/
http://www.seelectronics.com/reflexion-filter-pro/

Not sure of RRP in Japan, but someone is selling the RF-x on eBay US for $80. (I don't have one myself but I've been meaning to get one for years, didn't even know they had a home-studio model until just now.)
Snapchat Went from Frat Boy Dream to Tech World Darling. But Will It Last?(2013)
Outlook does separate start and end timezones. It's still outlook though.
Slightly OT, but that link is astonishing.

That anyone can think adding 100ms of latency to a 10Gbe switch, even under heavy contention is a good feature is absolutely staggering.
The Effectiveness of Chiropractic Treatment for Scoliosis
Le logement occupe une grande partie du budget des Français
I don't really understand how zooming works here — if I scroll up then down a bunch of times, I get really zoomed out and can't zoom back in.

Additionally, the zooming mechanic could use some improvement, as it seems really jerky on my Macbook.

Good idea, best of luck with it!
Burger Made from Plants Impresses the Bill Gates and Chef David Chang
Why should anyone's first statically typed language be a weakly typed one in 2016?
The current urbit.org documentation has been considerably bowdlerised from the originals, which were 200-proof Moldbug, so strong it crawls up the side of the glass.
Thanks dang. Just felt like I needed to let him/her know : )
Urbit for Non-Vulcans
FTA: “Regions have an outlive relation defined on them.” Typo? Should that be outlives?

We say equality, inequality, equivalence (equal valence, i.e. value) relation. To be equal -> equality. To outlive -> ? Valid question, outlives doesn't quite fit? To exceed the lifetime, to go beyond the region -> an excession relation, an overboundedness relation? I jest (in part). Naming things is hard! One of the two hard things in programming, as they say.

> Suggest a better alternative and prove that we should throw away decades worth of papers and start using your new terminology.

“outlives or equals to” -> “outlives or is equal to in scope/duration” reads better to my ears.

So it's not even to outlive, it's to live for the same amount as or outlive.

GP has valid language use concerns. And yes, abstract algebra is esoteric.

ps: The Trump swipe is crass.
"New"

The papers and work on this theory go on for years already and its due time it gains more/wider public attention, imo.

I wonder if it will cause/is causing already a kind of antropo-"disappointment" just like heliocentric theories caused when they un-throned the earth-centric theories... we humans love magic, especially when we are told/we think to be magic, right?
Why they don't implement file-icons, everyone is asking for it... https://marketplace.visualstudio.com/items?itemName=robertoh...
I don't think mercury's fast acting enough to be effective here.
>
Au contraire! They managed to almost eliminate any advantage that programmers who speak english usually enjoy.

What are those advantages?

When I was young and my English was really bad, I simply learned the keywords just as mathematical terms (i.e. if, else, for, while, break, next, goto, gosub, signed, class etc.) - I mean, they aren't that many (say 40 and you've covered most mainstream programming languages that aren't really verbose (OK, COBOL is an exception, but who uses COBOL ;-) ). This really isn't much harder than learning mathematical terms as sin, log, cos, exp, cot, asec etc. even if you know no word of English.

What really makes programming hard when you are not sufficiently fluent in English is that lots of documentation is only available in English (this was the main problem I had). And I don't see how Urbit is going to change that.
Your stomach prefers some stimulus over another, would you say your guts are conscious? What about other organs like the heart (beating fast, beating slow)?
a simple illustration of rebinding vs mutation

def t() do
x=1
f=fn -> x end
x=2
f.()
end

will return 1
Why online voting would be a 'complete disaster'
Redux perhaps. Spent some time inventing a way to pass event types to reducers.

Turns out I reinvented redux-act in the end ;)
I'm always "OK, Google"ing at my Android Wear watch at work. I've been doing this for a year or so, and at no point has anyone gotten used to it. They all still look at me like I'm a little crazy.

Of course, when the voice recognition completely botches what I asked of it and I get frustrated trying to make it work right, I probably do look crazy.
The past is a really foreign land. We don't know too much how the Phonecians viewed race and culture, but the Romans had a very different view to us. To them the idea that being Roman had something to do with what you looked like rather than what you believed and what paperwork you had would have been crazy. This culture first view did have a downside in the way they viewed and supported slavery.
Wonder what happens when the ui process crashes with the backend process still running? Or vice versa? It seems like killing Firefox just became a whole lot more difficult.
Hawking reports flaw in his 40-year-old black hole paradox paper
Need to change that key binding... thanks to the US-centric take we've had on keyboards since the TTY days, that key combination doesn't make sense on a Portuguese keyboard.
Is the fact that we feel pain a bug, a feature, or no different from a neural net that learns to avoid that negative reward via electrical impulses rather than electrochemical impulses as we do?
The comparison to marxist texts is more pointed if they were unapproachable not just to the layman, but to people proficient in (non-marxist) political economics -- which is arguably the case.
The "spin-in".

http://www.businessinsider.com.au/why-cisco-showered-three-m...
From what I understand, uBeam's low power demo `works` because they're still (mostly) in the linear range. As you scale it up, you run into a couple of nonlinearities that form an upper limit of the power density and distance.

1) You can't run sound at over 1 atm of overpressure, because the troughs can't get to negative pressure. This limits the amount of power that you can physically get into a region using sound pressure.

2) Dispersion is a nonlinear effect that changes the frequency distribution of the sound, which has the effect of reducing the focus effect at greater range. (Also, affects the absorption losses).

3) Even in fully linear systems, phased arrays don't focus all the energy into one area, they have significant side lobes. You can monkey with the shapes and intensities, but TNSTAAFL.

The SPL that they're talking about is in the range of jet engines at close range. Yeah, it's ultrasonic, and yeah, it's focused. But I don't want to get anywhere near the thing.

The world is nicely linear, until it's not. You have to know where the simplifying assumptions end.
Lisp also has good AOT compilers, but you need to provide the necessary (optional) type annotations.

So in the end you end up with code that looks no different than from static languages.

With ML-like type inference and dynamic type support, there is hardly any disadvantage with static type languages and you get the tooling support.

Dynamic languages can have very nice tooling, and we are yet to regain what was possible in Xerox and Genera environments, but your environment needs a live image of the code to produce good results, hence JIT.
How can your users trust that you do not keep a copy of the private key?
Can't recommend this enough. Especially if you do react/react native work. Thank you so much microsoft for this. Do not be prejudiced against the technology just give it a try and see for yourself.
If you are as uncoordinated as I am, that may be correct ( I'm assuming that an adult falling on a child could do enough damage to stunt growth ).
I can't connect to my Google calendars. It just gives me the spinning circle then tells me failed to connect. When I look after it fails, it shows me my calendar list but it can't seem to display events. I have tried refreshing and disconnecting then connecting again but it gives the same error. I love this calendar concept and would love to give it a go. Any hints? I'm using chrome on my phone (Nexus5x).
Having had the same experience at my work (but from the other side), they possibly don't think you are crazy but would just like you to shut the fuck up.
Windows 10 Delete Files Without Confirmation?
Does Elm not have typeclasses?

(I looked at the pics and saw `List.map` everywhere.)
Active Benchmarking: Bonnie++
Actually, I've been using it since the beginning and have no interest on file icons - I like it just the way it is, without colored baubles festooning an otherwise monochrome and distraction-free file tree.

(I prefer reading the file extensions anyway, since they stick out on the right hand side)
https://defcongroups.org/dcpages.html
Do you have a link? I have many birthday duplicates on my Google Calendar for example.
Got a bug here:

http://pasteboard.co/1vhAc3yM.png
I did read it, and I'm suggesting that a lightweight markup language is needed to replace LaTeX as it is used in academia, i.e., the language that people actually write in. (If that language gets compiled into TeX or some other lower-level typesetting language, all the better.) So I don't understand your objection.
I imagine it will still be straight forward on Linux/Unix.
It sounds like a powerful weapon, actually.
It's very likely that OS-level facilities will be used to interlock those processes in such a way that no tabs can exist without the UI to attach to... It seems fairly obvious that this scenario should be handled in some way.

You probably won't have to kill anything new.
My AWS Lambda Cookbook
Ok, I see, 'outlives' is much better. But I guess he's complaining about the very choice of the relationship names, not nitpicking about grammar.

> abstract algebra is esoteric.

How is it so? It's fundamental and essential. "Esoteric" implies "mostly useless", which is definitely not true.
Of course, they should get 10% each. Don't be a greedy bastard.
Same here. I'm on Android phone as well.
PrimeFaces 6.0 Released
> The point is to hide the waste.

The problem is that this was during the Cold War, and the site needed to operate on an ongoing basis, not just be used once and then hidden. They had to prepare for the possibility of a Soviet nuclear attack killing everyone responsible for the site, thus had to design a site which would still serve even if its operators disappeared.
A language that compiles into TeX would be fine. However, there is a huge danger that the abstraction isn't robust, and everyone would just need to keep "opening up the hood" to fix things in the original TeX, and then things are worse than they started.
Yes this is certainly true. Despite the Carthage being the mortal enemy of Rome, I suspect romans culturally appropriated more than they would like to admit from the Phoenicians. For all their bad points the Romans were not racists in the modern sense and I wonder how much this world view came down from the Phoenicians.
>Splitting UI from content means that when a web page is devouring your computer’s processor, your tabs and buttons and menus won’t lock up too.

Finally. Every browser I use does this when I load a huge reddit thread while RES in enabled.
Better than sublime, not as good as pycharm. I find it good enough.
Steorn
People blame chrome for being memory hog and it's probably exactly for this reason. I fully expect mem usage to go up for E10S release as well... As a daily FF user both at work and at home, I'm not sure if that's a good thing.
Great link! It seems to have an in-depth treatment of the subject, thanks!