skysight-inc/HackerNews huggingface dataset:
Perhaps the future of programming isn't in linear deterministic code but in stochastic or probablistic languages dealing with machine learning or biology. Maybe we're hitting Godel/Turing-like wall and as we strive for more perfection and provable soundness, we will find we can't scale up to bigger and bigger systems. We'll be stuck with human debuggable linear languages like we have today or systems which operate more like a composition of machine learning models.
They are hotness because they are having trouble getting them to work (trouble = open research topic :) ), and they want to convince the monad proponents that they are better.
I was referring to the sort of IoT regulation discussed in the linked Schneier blog post.
I don’t think I’ve seen “Pythonista” in a job description in a while, even among pretty casual hip startup job postings. I actually had forgotten that term, but to be fair I’ve been in the Ruby world for a while. :)

I think I’ve seen Rubyist here or there, but it’s still not common (based on my somewhat extensive Bay Area Ruby job search early this year). It’s also the most standard grammatical construction, and doesn’t sound too punny or playful at all (which can be a good thing depending on the tone you want to set on your resume or job posting).
Ask HN: How could we know for sure if Facebook listens to our conversations?
With all the rumours and anecdotes floating around:

Say I want to prove whether its true or not.

What exactly would I have to do?

What experiment/steps would you take?
F* – An ML-like functional programming language aimed at program verification
> you can just cast JSON object to F# records and it'll work

Isn't a "JSON object" just a string?
"I suppose that's a loss but millions of people are starving to death in Africa so I'm having a hard time caring about some rich people losing some material possessions."

You can care about multiple things at once.
Why can’t both be sad? The world lost history and lots of families lost their personal belonging, houses and possibly friends and/or family member.

I think both are a tragedy.
I don't love kibana, but with the ease of dumping structured logs from rsyslog to elasticsearch, it's hard not to use it.

I hadn't heard of SuperSet[1] until this post. Seems pretty interesting. Looks like there's potential for ElasticSearch support[2] as well.

1: https://github.com/apache/incubator-superset

2: https://github.com/apache/incubator-superset/issues/600#issu...
According to this post on Reddit, Apple gave Uber access to a private API. He's speculating that Facebook might have access to a private API and is using it to spy on its users. Does anybody have more information about this?

https://www.reddit.com/r/videos/comments/79i4cj/youtube_user...
Wow. The section beginning from ”If I had to name the single epistemic feat...” and ending at ”...on modern-day Earth.” might be the most riveting description of finance I’ve read in recent memory. If that series of bullet points doesn’t grab someone’s interest and make them want to engage in the robust hyper-competition of modern capitalism, I’m not sure anything will.

Really, that entire example of price discovery as a demonstrable core competency and focus of humanity is very interesting to think about. This is a great (and cynical) observation, though it’s much more powerfully delivered in the context of the article:

”Our civilization cares about whether Microsoft stock will be priced at $37.70 or $37.75 tomorrow afternoon.”
I've never written a nontrivial Java program but generally speaking I find it pretty easy to read Java code.
Should i buy jammers?
I work in the theater, the performance process always use the phone to interfere with other people watching the show,Should i buy this jammer to stop them from being impolite? http://www.perfectjammer.com/double-cooling-fan-8-bands-jammers.html
You also pay for proprietary operating system. Which is a main differentiating point of iPhones. I have used all types of phones (iOS, Android, Windkws Phone, Symbian). Apple has the best operating system. It has superior UX, is most user friendly and has deep vertical integration with other Apple products.

That’s worth a lot of money to most users. I think more people are willing to pay premium to get the great operating system compared to hardware which might be secondary.
Will wildfires leave lasting economic scars on California's vital wine country?
Where do you live? I've never seen men's rooms that didn't have walls and doors for each stall. I hope you aren't in prison.
My expectation is that they could sell advertisers activation sounds on TV ads. The Facebook app would be programmed to listen for a small handful of sounds (like "hey sir"), but which correspond with eg a car ad. Then the advertisers can track consumer reach throughout the process. No speech recognition necessary, it's just another row in a database, recording an ad display.

No evidence that this is what they're doing, though.
Urn – a Lisp dialect which compiles to Lua
“Knowing is half the battle”
This may be a touch hyperbolic but regulation has positively impacted things like lead based paint, asbestos, DDT, CFC's etc.

People opposed to regulation somehow expect companies to "do the right thing" unfortunately history provides many examples of companies behaving like bad actors as long as it is in their financial interests to do so.
Would there be a strong argument for simply saying Columbia?

After all, context will mostly clear up which one you mean, and we tend to not say "State of Wisconsin" very often.
He's a demigod though, the stuff I've read all makes it clear enough he could shred Batman (who isn't meaningfully different than Stark for this discussion), he just won't do it.

Or there is some kryptonite around. But he never throws a big thing at Batman to kill him in those situations (where he is given the power elsewhere to throw whatever the hell he wants).

I do agree it makes for kind of a boring character though.
Sure, but excessively dense code has its own drawbacks. Does anyone like reading regexes?
It would be trivial to decompile the app and see if they were using some hidden or undocumented API.

Why has nobody ever been able to find actual evidence in the code?
In addition to the other comments. Ubuntu's LTS, if you install hardware enablement stack, will automatically install new kernels once Ubuntu releases them for the LTS.

https://wiki.ubuntu.com/Kernel/LTSEnablementStack

The desktop version does this automatically... if you install the LTS from a XX.XX.02 release: Ubuntu 16.04.2 does this. Ubuntu 16.04.1 does not-you have to manually enable it.
I wonder how much damage(physical damage) comes into play with evolving robust systems and creating interesting variations in nature. Using the robotic gait example, in the real world organisms have a high enough chance of losing limbs that having the neural circuitry to survive in the absence of one or more limbs is advantageous. Maybe these simulations could increase their ability to produce robust networks by modeling accidental damage(from tiny to catastrophic) to random parts of networks and selecting those that survive in spite of such damage.
I can imagine something like a code-collapse indicator next to every method in a class (or function or code block, whatever), which would expand tests that can be run on-the-fly - even while you type. Kind of like how comments can be collapsed in some IDEs.

Technically, these could very well be simple commented annotations that point to a separate .test file or something, but are shown in-line by your favorite IDE or code-editor.
>operator overloading, mostly for math like matrices, vectors, complex numbers

They took out operator overloading deliberately when they designed Java because in practice people mostly use it to obscure what's happening instead of making things more clear.
The UK carrier isn't actually in service yet.
Mali’s Desert Elephants, on Edge of Annihilation, Get a Fighting Chance
Get/Set Number of Footnote Layout Columns and Ad/Remove Comment Reply in Word File
Yes I think I see what you mean now.
There's a lot of that here. It's one of the richest places on the planet but we can't afford to build homeless shelters or significant public transit projects.
In a sense, they are suckers. Plus, as another story on HN suggested, their abandonment of advertising you things you don't need right now(but you may find you want later in life) proves counterproductive. A heck of a lot of things advertised to me on Facebook are things I already searched for and either purchased or already decided wasn't worth buying. I don't believe that modern internet ads are as valuable as the industry seems to think, which may be a sign of an impending bubble burst.
Nice! Check out mine.
https://youtu.be/l7zqSn8HCXg
I wonder if how completely we have attempted to understand our world has led only to greater cynicism, and there followed increased escapism.

When there is no low hanging fruit left to ponder the pondering gets done by specialists. Likewise there is less need for light practical advice books because industrialization has made the individual crafstman less common, and again specialists take center stage in their silos of information. It's also unlikely to be in a book.
Puerto Rico Cancels Whitefish Energy Contract to Rebuild Power Lines
California needs to rethink urban fire risk after wine country tragedy
Yup, my grandma doesn't have curtains because she's doing something illegal... she has them because she doesn't want creeps watching her.
Like dropout or stochastic depth?
This is the norm in Philippine mobile data ISP for Smart or Globe.
Russian military aircraft might look effective on paper but in real world operations they have mostly failed. Look what happened when they tried to deploy carrier aircraft to Syria recently.
I'll sometimes see ads for products I bought at Costco, so that makes sense. But then again I get a lot of ads I don't understand -- Facebook has me pegged for a drug addict considering divorce who loves Urdu-language television, but where it came up with those ideas I don't know.
In case of anyone interested a reasonable engineered language that supports Closure Serialization (mentioned as "hard" in last slide), checkout:

Gambit Scheme: A fast scheme implementation.
http://github.com/gambit/gambit

Gerbil Scheme: Provides full module and syntactic tower on top of Gambit Scheme. https://github.com/vyzo/gerbil
I don’t do coding tests. I talk to the candidate about programming and I only require one interview. I haven’t made a hiring mistake in 6 years.
Agreed. Like Vision Zero[1] which some municipalities have instituted as initiatives to reduce the number of traffic fatalities in their jurisdictions through a variety of measures with the obvious goal of reducing such to the absolute minimum.

[1]https://en.wikipedia.org/wiki/Vision_Zero
Both good considerations! This approach can be used to build a kernel that measures the similarity of two items with respect to the labels learned by the forest.

I don't doubt that the specific algorithm used to grow the forest. Luckily, any kernel made from any forest will have a positive semi-definite Gram matrix. But that doesn't mean it'll be a good one.

I would summarize this approach as "learning a kernel that compares items w.r.t. the labels learned by the tree."
I use google Keep to log new notes. Then every morning I move all new notes to a google spreadsheet. The key to a well organized spreadsheet is at least 3 columns. 1 with the date, a second with any meta, and the third with the actual note.

I may have to look into emacs org mode but the above system scales well to potentially hundreds of notes. And if somehow it didn't, I would just add another column.
I've done no experiment, but I predict a boosted forest would perform poorly here. Since the first tree learns the majority of the information (and each of the following trees only fits the errors, and are therefore less "meaningful"). Since the kernel approach suggested here weights all the trees equally, the results probably won't be as good. Maybe if you gave the first trees more weight, though...
William Byrd's work in program synthesis is an interesting take on this, where an IDE can, guided by test cases written for a function, actually auto-complete code itself whilst writing the function, or tell the programmer when they have something wrong by violating a test case. Of course it is impractical right now, but a good step nonetheless.. It (Barliman) is demoed near the end of this video: https://youtu.be/OyfBQmvr2Hc
Here you have a hint of the indoctrination: https://www.nytimes.com/2017/10/29/world/europe/spain-catalo...

“We are not even allowed to wear a bracelet to school with the Spanish flag’s colors, but you can wear one with the independence colors,” Ms. Camina said.

Ollala de Mora, 16, said: “People in school are really against Spain. Our teachers try to influence us. They say the Spain steals from us and the government is bad. If you think differently from that, they try to change your mind.”

That is indoctrination, and there are constant examples of this in daily life for decades. Only the thought of hating Spain is encourage, and less often the thought of coexistence. No wonder that things are like they are now.

And NY Times is one the biased media I see, clearing the supporting more the Catalonian side.
Of course in practice we know is a lot easier to build and use probabilistic models. However, I hope we don't give up on proovable systems.

When given enough time, if math can stay pure and adequately abstract to eventually describe our entire universe concisely. Shouldn't code similarly have no limitation?
I have no idea :). I don't think this approach is state of the art, but I think the advantages are that RFs are lightweight when compared to ANNs.
> I see "comic book" universes as evolving into a modern mythology,

Or rather the other way around: you see mythology as some kind of old superhero stories.
It's a new site and is on the todo list to fix.
The Power and Fragility of Networked Protest [pdf]
Leaders of Men
> With Windows, it's install a new driver; not update the core of the OS and possibly introduce horrible bugs.

Windows drivers are typically the source of Windows' horrible bugs. It's no different.
I don't think anyone is proposing magically shrinking VHF radar into a teeny package, but the idea is to set up a kill chain. If the VHF radar can point out the general location and IR and powerful radar such as the Zaslon can seek it out.
What the world really needs right now is another deep learning tutorial
Try using a library compiled on a slightly different version of Linux.
Comparing passwords to a list of compromised ones doesn't leak anything. Just ignore the user name.

And hashing on the client in addition to the server doesn't save you from any mitm attacks.
You're pretty much angry in every one of your post. It's kind of ironic that you state Nvidia users act entitled, your post come off as though you are better than every one else and that the rest of the world is wrong if they don't agree with you. While it sucks that Nvidia is not fully supportive of Linux or Wayland, this seems like the least productive way of getting them to do the right thing.

Telling people they are wrong, or idiots, or entitled, is probably the quickest way to alienate them and lose all support instead of gaining it.

Bottom line, just admit it, you hate anything that is not 100% open source, which is your opinion and right to do, but that doesn't make it the only option and if Nvidia provided a solution that allows you to work with their GPUs, it is you that is wrong here. They are the bigger fish, thus they get to eat you or at least push you around. Basic life lesson.

You would have been much better off writing an article simply asking for a few passionate Nvidia user that wish to take over Nvidia support if they would like to see it continue to work in Sway. Instead, you write an article that alienates the entire user base. That's a pretty shitty thing to do and a reason people seem so unwilling to work with a lot of FOSS maintainers, because the truth is, they act like the entitled ones, as your article clearly does about you.
>We _are_ in 1984, but unlike the book, it's not imposed on us.

We're living in both 1984 and Brave New World.

See this illustration between 1984 and Brave New World.

https://i.imgur.com/vRBtL.jpg
Stolen fotos from CELEB's mobile
Rustacean, that's the first time of heard of that name. Absolutely fantastic
> make them want to engage in the robust hyper-competition of modern capitalism

But the message of that section is exactly that doing so is irrational, given that enormous resources are already deployed on that problem.
Compared to the equivalent handwritten state machine, yes.
Anecdata: nope. I have a few friends who only seem to communicate via FB, and I would almost be willing to pay FB money to simply show a chronological feed.
Probably still won't happen because of the software limitations. Like the GPU detour, a different ASIC or FPGA detour will probably happen instead.
Very cool! Though you might want to encourage whomever manages that page to open it on their phone. There is something wrong with the column width calculation which makes the tiles unreadable.
Exactly which is why no one is going to look at all those getters and setters you added not realizing that one of the setters actually does something other than setting the field or a getter causes some side effect before returning the value.
I think that once upon a time as c++ was relatively new, it got a faster adoption in the corporate world. There are still very few job offerings that mention rust. I hope that will get better at some point.
My friend and I did something similar using Haar Cascades for vehicle detection and Hough transforms to detect the lane lines. We used that to analyze dash cam videos and calculate following distance between the cars in the video.

The final product is here, http://asherman.site/hazcam/ and I also release the trained haar classifier separately on my own GitHub in case anyone had another useful projects for it. It was a lot of work hand selecting and cropping 400+ photos of the rear ends of cars, so I figured I might as well share the result. https://github.com/pddenhar/OpenCV-Dashcam-Car-Detection
Lifted rock is 3X whatever the number for lifted water is. The KWH is proportional to how much was lifted and (approximately) how high it was lifted.
“It just feels readable”. -> “It looks like this other language I know.”

But: that language might be English (or other natural language). Which is to say maybe computer languages are leveraging the human "language faculty" and rightly so. Which may mean that some languages are always going to feel more foreign.
UISearchBarFontKit
In the case of Amendments, it isn't the more specific but rather the more recent. So the 21st carves out an exception in the Commerce Clause, Article I, Section 8, Clause 3.

Otherwise, yeah, the Articles of Confederation weren't working.
> Where is this? I've been a hobbyist writer since I was 3 and really want to get all my stuff digitized.

You learned to write when you were 3?
Uh, this is about automated testing of programs, not interviewing.
I don't know about the app, but on the website there's an option sort of hidden under the ··· menu next to News Feed[1]. Facebook unfortunately likes to helpfully reset it to Top Stories sometimes.

[1] https://i.imgur.com/zRdmt8v.png
In C++ operator overloading was used by the standard library to obscure everything. I can see why Java took the direction that it did. But, on the other hand, we've learned from those mistakes and pretty much any new language that has operating overloading it's used both appropriately and sparingly (C#, Python, etc).

It's one of those things that as a developer you'd never use yourself but when you need them they're extremely handy. I'd loved doing matrix math in C++ -- I could translate complex mathematical expressions directly into code with almost no translation.
I haven’t written more than a couple lines of Java in probably the last ten years(I did maintain a small Swing app for a while before that) but to me a lot of what he calls syntactic noise I call clarity. I would call having and using multiple syntax’s to do the same thing is nothing more than noise that hampers long term maintainability.

Many, maybe most large teams maintaining large code bases end up telling their static analyzers to disallow this sort of thing for this exact reason.

Many ways to do something is easier to write, a single way to do something is easier for future you to read.
Yes, that is the point, they are not paying them fairly and pocketing the difference to subsidize prison costs. Meaning using prisons as an example of UBI being viable isn't a compelling argument.

Pointing out typos like that is boorish.
It wasn't.
okay. care to give any other info? Usually when someone says I haven't failed in 'some impressive challenge in a long time' it means your challenge wasn't that impressive. How much interviewing have you done, what were the hard calls you were asked to me, whats your scheme?

When I was at google, one of the hardest thing I did was look at the marginal intern review scores and tried to pick out the ones from the big pile whom we should look at again and who should not be looked at. There were all kinds of crazy ass stupid interview questions that in my opinion were not very useful to classify capability.
Again, this is very detached from what ANNs or genetic algorithms are: relatively simple methods to optimise fitness (or "cost") functions.

They are nowhere close to the complexity of a brain, and certainly do not have enough capacity to be a realistic simulation of the universe.

> How do we know until we've tried it?
Tried what, is the question? What's an ant-level intelligence? We have algorithms that can detect images/speech at super-human level (at least in some conditions). Worthy questions, but unrelated to these algorithms.
An Interactive Explanation Why Time Flies
> However, in cases where people say that some language is bad, it means that it simply does not fit their tasks.

I disagree. It is possible for a language to simply be a bad language. Intercal is intentionally so. I will refrain from mentioning unintentionally bad languages in order to avoid a flame war.
The kind of people who believe these conspiracy theories about Facebook are not the kind of people who believe in scientific methodology. Fuzzy bigfoot syndrome and all.
Yes, we still have labstock and it is great. Although, I was told we weren't allowed to take stuff home. The old hands seem to have a different, if judicious, understanding.
Money is not a very efficient way of storing energy.
You could view it that way, but it won't do you much good, since biology is a long ways from physics, and humans didn't spontaneously emerge from a long standing heat bath.
Xmas: Christmas Holiday Collection – Shop Online
If you know what the law should be, please tell us.
...it's unfortunate the name kinda looks like a censored bad word
Lucene is faster and better than grep too. Annoy may be better than Lucene's "more like this" query which is for finding similar documents in an index to a given set of documents. But how would it be helpful for keyword search which is what is being asked about?
> ..that number is so glaringly obvious that it doesn't necessitate explanation.

Not 2 months ago I had to point it out to my friend because she had accidentally written her signature across it, making it nearly invisible.