skysight-inc/HackerNews huggingface dataset:
>The types-as-propositions interpretation is a particularly useful one because it lets us take ideas from the field of formal logic and apply them to programming. But it is only one interpretation, and not a definition of what types are.

Ehhh, it kind of is a definition. Think of it this way: a type system is a topology we lay over programs, with open sets representing observable (using finite computation) properties and closed sets representing deniable (using finite computation) properties. The finest such topology possible is the Scott topology, which can distinguish every single observable value and deniable property from every other: it encodes all the information you can have about a program without solving the Halting Problem.

Type systems, then, are coarser topologies over programs than that one, which group observably different expressions and traces into the same open sets, which are then called "types". When those types are guaranteed not to contain _|_, the divergent program, they can also be considered topological spaces, with the programs in them acting as points in the topological space.
Revisited: Alan Watts, “This Is It”
History suggests otherwise.

it's one thing to be short sighted, and another to be realistic given a bevy of similar past projects that went nowhere. When was the last time you heard about Lighttable?
Yep. What drives me even more crazy is things which are purely syntactically wrong, e.g. an else: clause with no if before it are only detected when the interpreter gets to that line.
cat /etc/passwd | head -n X | tail -n Y

Print lines X-Y to X of a file. :D
Perl actually has a 'compilation' phase where some types of syntax errors are actually detected before it goes executing the code.
Letters from a Stoic (2011)
> brain drain at MIT

I haven't really heard about this part of his motivation. What was going on at MIT that made him feel that there was a brain drain in progress?
I think you are, in fact, being cynical. Every year I see articles stating that mathematician is the happiest/best paid career.

http://blogs.wsj.com/atwork/2014/04/15/best-jobs-of-2014-con...

http://www.npr.org/templates/story/story.php?storyId=1001428...
If you're talking about scale: Just build an app which cherry-picks part of the market -- either specific users or specific locations or specific use cases -- and then fails back to Uber (automatically, or manually) when unavailable.

i.e. I could build "the Uber for when you want to go out on a date and impress someone in the car" as an overlay service.
Pentaquark Discovery Confirmed
I don't believe so, no. They did most of the original NLP through a contracted team, according to Wikipedia: https://en.wikipedia.org/wiki/Nick_D%27Aloisio#Summly.
Hu? Of course I don't deny there is global warming(!!?)

2C is generally considered to be the line above which things are critical.

https://en.wikipedia.org/wiki/Avoiding_Dangerous_Climate_Cha...

http://www.rspb.org.uk/Images/below2degrees_tcm9-132866.pdf
How about Bangkok: http://www.holiday-weather.com/bangkok/averages/

The average high temperature for some months is in the low to mid 30's and with >90% humidity (which goes up locally after rain).
My thing with this argument is that not only would you have to keep your entire organization in the dark (possible, see response to Snowden) but also have to successfully recruit every academic in that space, nationally and internationally, in order to prevent them from also coming to the same conclusion. Yes it's possible, and the tinfoil hatter in me wants to think it's true, but there's too many moving parts for me to think it likely.
Is it hard to get the code up and running on Google Cloud? Does TensorFlow come as a service?
That would be an "alumnus".
I think Tonic is great, and the stuff they've done with CRIU for pausing resuming computation is really clever. On the surface, Tonic is meant for building NodeJS services, whereas Carbide is focused on things which run in the browser.

One aspect of Tonic that I find really interesting is the attention they've paid to reproducibility.

Traditional notebook programming environments (Mathematica and Jupyter) are sensitive to the order of execution of the cells, which often makes it kinda hard to reproduce results. This stems from the fact that cells are used for two things— controlling what gets executed, and as a means for visualizing output.

As far as I'm aware, Tonic is designed so that there is only one way that a program can execute, so there's any notebook is automatically trivially reproducible. This has the side effect of making every notebook essentially equivalent to a single file which is evaluated in-order. Essentially, they've made it so cells only mediate what output is displayed, and not what gets executed.

Carbide takes the opposite approach— leaving cells to only control what gets executed, and introducing something else (probes) to visualize output within a cell.
from 2:
> I understand that federation and defined protocols that third parties can develop clients for are great and important ideas, but unfortunately they no longer have a place in the modern world.

Wow, Moxie... What the hell?
If you are a skilled developer, it shouldn't be hard to leave your day job or find a different one.
If you want to work hard as a developer, you can do independent consulting gigs also.
Thanks, I didn't know about the packaging system. So the idea is that the ecosystem is made of PowerShell (i.e. the shell itself and PowerShell scripting language) + .NET + 3rd party packages, am I right?
typo on the second POWER8 ?
Well, if you have C, you can get to pretty much anything else (maybe with some porting effort).

I definitely built and ran Erlang on a G4 powerbook several years back.
Well, people smarter than me at Google and IBM seem to think D-Wave works, so I sort of skeptically believe it for now.
How San Francisco's hippy explosion shaped the modern world
Leonardo Da Vinci, by Sigmund Freud (1916)
How Things Work (last post on gawker.com)
I know! All that charitable work deserves more play in the media. Folks are unaware of the thousands of good works that the Foundation has done abroad.
One thing I miss in here in EU is the first amendment and its interpretation. Code should become protected speech, simple as that, and we shouldn't dance around how to "balance" things out. That said, I'd like somebody to point out where in this proposal are mentioned mandatory backdoors (which article mentions and would be an attack on freedom of speech in my view). Maybe the proposal is only about requests for decryption of ciphertext for which key is present on servers to be legally enforceable.
Clinton quietly amasses tech policy corps
Location related question
So being that English is not my first language this might be a bit difficult to explain.

Is it possible tooooo turn your personal internet at home into a proxy? By this I mean, wherever I go, I would like my IP location or whatever one calls it (my apologies as I am not tech savvy) to always show my home's IP, even though I might be on the other side of the country.

I don't know if that explains well in enough, to put it simply I always want to appear on my homes IP address even though I'm somewhere else, does that make sense? I know proxies are usually used to make it appear that you are somewhere else, but I want to do the opposite.

Thank you.
Oh I actually did know about the package manager, but I didn't know that that's coming to *NIX through PowerShell. For reference: https://blogs.technet.microsoft.com/packagemanagement/2015/0...

If I remember well, some time ago MS announced that on Windows you would be able to use Chocolatey as an additional source, which I thought was interesting.
Been a full time Linux user for over a year now. Windows 10 pushed me off the Microsoft treadmill. The future is Linux, everything else will be an historical oddity.
The Wolfe: Supercharge Your Laptop with an External GPU
Pretty much. This IDE looks more polished on the visualization side than others, but JS is the foundation? That's just not gonna work. The language wasn't built with this kind of thing in mind.
A lot of Carbide's widgets depend on having access to a program's parse tree, which (to the extent of my understanding) a lot of these protocols (Jupyter/MS's Language Server Protocol) don't provide.

In order to inspect an expression, we have to be able to take the document, parse it into an abstract syntax tree, determine branches which are expressions, and annotate them so that a code generator can wrap it in some log invocation.

It'd be great if it were possible to apply "one simple trick" and support a hundred different languages all at once, but in this case I don't think the existing abstractions really suffice.
May be the wrong context here, but if I am starting out learning Machine Learning using the Stanford course or some other one, is Tensorflow a good candidate to look into? Or does it only contain the advanced algorithms?
At least among the group I know, it's mostly the one guy that's a huge Google product fan that loves his Chromebook. The rest of them have felt that the novelty has worn off. They're great if you're wrapped up in Google-everything.

The others have also realized that they can pick up a fairly recent refurb MacBook Air for just a little bit more than they'd find a decent PC laptop for.

I still have an old 13" 2011 macbook pro that feels almost like a new machine now that I threw an SSD in the thing. add Xcode and maybe macports I have all of the command line love that I can shake a stick at. I'm still a hobby sysadmin and have always been happy with Terminal in OS X. Add Transmit for when I'm lazy and need to move files, and I'm happy too. :)
Two submitted articles on the habitability of Proxima Centauri b:
http://www.ice.cat/personal/iribas/Proxima_b/publications.ht...
If you just move to SF or NYC, I am not sure if you'll get plugged into the network of investors immediately. Get plugged into a network takes time.

If you are doing a social network, what investors will want to see (no matter where they are from) is users (and retention rates of those users). Actually, if location matters for your product's user base, actually probably it's better to do it in a city that isn't SF or NYC. (since everyone else launch their location based networks in SF or NYC first, and so much competition, and users in SF and NYC tends to be more jaded.).
https://www.gnu.org/gnu/thegnuproject.html

> In 1981, the spin-off company Symbolics had hired away nearly all of the hackers from the AI Lab, and the depopulated community was unable to maintain itself.
> N.B. the dino game has sound for a score that is a multiple of 100, so it might not be appropriate to try during a meeting, or at least mute first

How'd they react to that one?
Not if one car serves, let's say, 200 people a day instead of a single owner.
"Clojure is what happens when a bunch of Java hackers write a lisp for the JVM"?

That sounds "clever", but you should be aware that Hickey developed several Lisps before Clojure and was active in the Common Lisp community in the years leading up to it.

Also, some of your statements about Clojure are just incorrect; e.g., Clojure is not wholly lazy.
A more in-depth article about this can be read via the following link: https://blog.zimperium.com/analysis-of-multiple-vulnerabilit...
11 Chatbots every entrepreneur should check out
> but it's a lot cheaper to hand out 20 chromebooks to a classroom than it is to do the same with Apple products.

initially it might be. But return on investment studies still wind up favoring the Apple stuff in the long run.

Google is doing the same thing, yes, but it's different now. They're targeting education and selling themselves as a complete all you need package. desktop OS, hosting all the email, all the files, all the software, everything.
Buggy support for branches whose names are an emoji in GitHub
IBM backing Linux was the tipping point.
You can do this with a VPN or with ssh tunneling. You will need a computer at home that is always on, could be a Raspberry Pi.
http://www.agner.org/optimize/

Document 4.
That's great to know but you still need to make sure the process generating the output isn't trying to outsmart you.

For instance ag (silver surfer) needs you to specify `ag --color` otherwise it will detect you are piping it and disable colors.

And if I remember correctly, grep needs a `grep --color=always` to achieve the same.
>90%!=100%. Read up on "wet bulb temperature". Or, if you prefer, go sit in a 40 degree sauna at 100% humidity for six hours, then report back.
Ill just leave THIS here for you

https://www.youtube.com/watch?v=QgNDao7m41M
> You don't have to write a proof if you don't want to.

I know this, I'm simply pointing out that when you do decide to write a proof it can be a very challenging task (much harder than adding generic types into Java code for example).
Founder's syndrome -- when a founder thinks he or she knows what's best and doesn't want critical feedback -- has long been a tech industry affliction. But these days, it's becoming a bigger problem.

Sometimes, it's worth reading the comments.
He makes the good point that factoring is already below exponential time, and there's been progress over the years in speeding it up. Even if someone doesn't develop a polynomial time algorithm, there still could be substantial progress.

There's also the possibility of new algorithms which are fast for some products of two primes, but not all. There are lots of problems, such as linear programming, where the worst case is exponential but the average case is far faster. Even something that allowed easy factoring of only 1% of products of two primes would be useful to an attacker.
On Job Polarization (professionals gain while other skilled work falls)
Geeez. Looks strikingly similar to Cypher by Neo4J (https://neo4j.com/docs/developer-manual/current/cypher/)
Depends on the pace at which development has accelerated since then.
Well, I'm a bit drunk at the moment, but I'll try explaining anyway ...

The documentation says this about effective_cache_size [https://www.postgresql.org/docs/9.5/static/runtime-config-qu...]:

Sets the planner's assumption about the effective size of the disk cache that is available to a single query. This is factored into estimates of the cost of using an index; a higher value makes it more likely index scans will be used, a lower value makes it more likely sequential scans will be used.

The important part here is "to a single query". Essentially when computing the cost of an index scan, we have to ask what fraction of blocks (accessed randomly) will be served from a cache (either shared buffers or page cache), and how many will have to access storage. And that depends on how much RAM will be available for a single query, or rather per index scan.

Which is why the statement that effective_cache_size is "the total amount of memory you think Postgres will be able to use" is misleading, as it often leads people to se set effective_cache_size to ~75% of RAM, while in fact they should set it to (75% of RAM)/N where N is the number of concurrently running queries.

Actually, I seem to remember that it's actually "per index scan", but that would only make the difference even more significant.

Edit: Nope, I've checked the code and it's actually per query.
There's no "muscle" to "collect" if you pay your fee in advance.
You can set your phone on vibrate.
> Even proving that array indices are not accessed out of bounds within loops would be a considerable leap in the state of the art of industrial programming languages. For most cases (i.e. linear integer arithmetics), that's always automatically (dis-)provable. We have to start somewhere...

It's a super interesting and important area, I was just pointing out it was a challenging one with lots of open issues.
If you're limiting it to generational ships then there isn't much improvement to be made, we can still only accelerate at ~1G. The only variable is how long that acceleration can be maintained.
Look at the Epiphany CPUs used as the co-processors in the Parallella [1] and you find something similar to what you suggest. The current iteration are 16 core CPU's in a fingernail sized package. They have a design for a 64 core CPU and says it will scale to 4096 core's on a single die.

It's fun to play with. The challenges are pretty much what people have been saying: To get to these core counts in the little space they have had to sacrifice cache size and memory size and single thread speed, even with a very clean and simple instruction set, and we are in general not good about taking advantage of high core counts other than in the GPU sense.

The Epiphany in variations with enough cores has the potential to beat GPUs for workloads with many independent instruction streams, but it'd gets crushed by GPUs of similar size for workloads that can be easily vectorised, and would crushed by any modern CPU for workloads that require high single core performance because of data dependencies, no matter the core count, exactly because most of the complexity it sacrifices cost single core performance.

The problem is that we don't really know how much space that leaves (the Parallella was designed largely as a development platform to let people experiment with an Epiphany CPU). Adapteva has focused on the low power usage of their CPU, and that may very well be a good idea.

[1] https://www.parallella.org/
For sure. Trying to think which ones. Probably the MelbJS one and maybe dddmelb? You could modify it to talk at the OWASP one perhaps. Which ones have you been to?
>keep your entire organization in the dark

I think employees of the NSA will be used to the idea of compartmentalization.

> successfully recruit every academic

Why that ridiculously high bar?

Original article estimates 100 mathematicans have examined factoring in detail. Googling says NSA has 600 on staff. Maybe they just did a lot of work on the problem. Also, a large dedicated group may outperform the scattered efforts distributed throughout the research community.

> there's too many moving parts for me to think it likely.

Guess you're right, it'd be like as if they [insert implausibly complex project which the Snowden leaks showed they actually do.]
Advanced Testing Concepts for Go 1.7
Exactly, this is just basic functionality of Visual Studio now, this whole operation could be done in a few seconds without issue. Fix any build errors, run tests, job done.
yes, because walking through them sometimes cause minor turbulence :)
It's the same as the stock market, but with the guarantee that the Bata is always negative.
Nope, but it often tells me how long it will take to drive to work (I never drive to work), even when I'm on the other side of the country, on holiday, and has been for two weeks.
You can use a VPN, e.g. https://en.wikipedia.org/wiki/OpenVPN, to tunnel all your requests through a server in your home. And a server can also be a router (see picture on https://en.wikipedia.org/wiki/DD-WRT) or an old lower-powered computer since the software consumes little to no RAM. On the road, e.g. your mobile phone, you set the proxy to be that VPN.
So - I don't need a source on this to grill you and score internet rhetoric points; I need a source to share this juicy factoid with skeptical friends.
You have access to that in IDEA and there are plugins that do some of the behavior you have in carbide. Very creative new features though.
You can just buy something just like this right now... http://www.razerzone.com/store/razer-core
Yes, usually it happens because someone is not experienced enough. Good example is No Man’s Sky crashing on Phenom CPUs because they hard linked Havoc compiled with SSE4.1 and _do not_ detect CPU type.
Did you already forget about the CIA torture report?
In addition to the other replies, there are vibrating pad alarm clocks you can put into your pillow case.
Actors for openCL?? Color me sold, immediately. Not a huge fan of OO but wow this is exactly what I've been looking for -> GPU integration into an actor framework.
Well, the laziness yes, thanks for the correction, but much of it was from Clojure's own page about how it is different from other Lisps. And I am aware of Hickey's history. I was trying to provide a summary of the difference in outlook between Clojure and Kawa/ABCL: Clojure is decisively more "java-ey" than either of the others, and very much feels like a lisp for those already familiar with that language, with some FP on the side. I don't know if that's just my interpretation of Hickey's ideas, or if it was a deliberate design decision, or if it fell out of the Java interop. It could be any of them. But the language has a distinctly unlispy feel as a result, even though it IS a lisp, lack of cons cells not withstanding.
The Macaroni in ‘Yankee Doodle’ Is Not What You Think
That's useful
yes, the blue circle is a gaze cursor... great attention to details! subconsciousness took over.
> Considering that it's impossible to write such proofs in OCaml or Haskell, it seems strange to complain that they're hard to write in a dependently typed language.

My sole point is that when I see articles on here about dependently typed languages, the issue of how the proofs are generated and the challenges involved in doing this is overlooked almost every time. I think it's important these challenges are highlighted so people don't think dependent types are a magic wand that gives you safety with little effort.
Your definition leads to a serious contradiction:

Case 1: A C program overflows an int (which is listed as an undefined behavior in the C spec). Under your definition, and pretty much any other, that program has executed code that results in undefined behavior.

Case 2: A C program overflows an int. That C program happens to be the Python interpreter. Under your definition, based on your responses to previous comments, that did not result in undefined behavior, but was an implementation bug instead.

There is no difference between case 1 and case 2. They are both C programs, so the spec for C determines what is undefined behavior for them. They both did the same thing. Either both are executing code that results in undefined behavior, or neither is.

Case 2 is also an example of an implementation bug if it affects the result of the Python code running in the interpreter.
I am, however, most of my friends are running a start-up or are safe in a corporate job. I tried my best reaching out, but without any luck. I had one potential client talk, who said he will be in touch if he gets funding approved.
The "Breaking News" ticker at the top of that web page varies its height depending on the amount of text. As a result, the article annoyingly slides up and down when the ticker changes, making it hard to read.
In all honestly, Sandstorm without outgoing SMTP configured is not a great experience regardless of how you authenticate. So probably we need to focus on making SMTP setup more automated.
A New Understanding of How Movement Decreases Stress
that's a great idea actually... microsoft needs to work on the peripheral field of view.
That's a lot of detail, which I'm not familiar with as a causal observer, but its irrelevant.

The slides show the capabilities of one layer of the onion, but its surely naive to assume that's everything?

A total mathematical factoring break is a holy grail.
I mean, they made a hollywood movie about this! In the 90s!

Sneakers: "There isn't a government on this planet that wouldn't kill us all for that thing." Obviously, that's a movie, not real life, but the sentiment is valid.
I may or may not have worked with people who had severe cases of Founder's Syndrome. Not much you can really do though. If the VCs want to keep throwing money at them then oh well and if they go out of business...welp not much you can do about that.

Actually come to think of it I'm not entirely sure what the point of this article is. Basically it's: bunch of entitled entrepreneurs got easy money and won't listen to people might face hard times.