skysight-inc/HackerNews huggingface dataset:
Looks like SF is falling apart, every link I try from the PLEAC home page gives me a guru meditation error. Pity, because it sounds like a worthwhile resource, a shame too because SF used to be so good. This is the sort of thing that really should be on some kind of distributed file system so that it is not beholden to any one organization. I could give some space and a few kB/s of bandwidth.
I'm not sure if you're familiar with the idiom "calling bullshit"

I am familiar with it and, to me, it's rude. I might say it to a friend if we're just bantering, but I'd never say it to a colleague. Clearly, I'm in the minority here.
Show HN: Pokey – Simulate Webhooks/other HTTP Requests
Deleting your browser history could land you in prison
I built this to scratch an itch I've been having when working on a service that uses SendGrid Webhooks extensively. To better simulate a production environment, I made something that generates SendGrid-esque requests to the application. Because I've just been using it locally, there's no authentication functionality yet (but it's in the pipe).

Although its primary focus is Webhooks, it could be used to mimic any sort of API request.
Yes. It's explicitly allowed.

>Thanks for being concerned for the quality of HN! We're grateful for users like you. But please don't flag stories only because of a paywall. Accounts that repeatedly do so lose their flagging rights. You should flag stories because of content, not provenance.

>The HN guidelines explicitly call for original sources. We want the best, most substantive version of a story. Other things being equal, we all prefer non-paywalled articles, but when things are not equal, substance should win.

>Compare the WSJ piece to the originally submitted URL in this case (it's mentioned upthread). There's no question which one belongs on HN.

>When there are standard workarounds to read the content, paywalls are just an inconvenience.

>The more this comes up [1], the clearer it gets that we shouldn't ban paywalls. The NYT, New Yorker, Economist, WSJ, and others are major sources. HN would be poorer without them.

https://news.ycombinator.com/item?id=9717601

https://news.ycombinator.com/item?id=10007470

https://hn.algolia.com/?query=by:dang%20paywall&sort=byDate&...
Yeah sorry. Seen to many landing pages
I have a domain I've not done much with that might be perfect for this geoip.io

Let me know if interested or if we could maybe partner on this
PLEAC – Programming Language Examples Alike Cookbook
How come is it a bias ? FP takes root in recursive functions, and inductive reasoning. The same ideas we learn in math classes.

And describing pre / post invariants of imperative statements, turns them into typed functions isn't it ? I'm having a hard time seeing the difference.
Investors, is I think the implication.
Would have loved to see any form of actual experience to back up the odd claim he makes (which, coincidentally, stinks of low confidence, to me at least). Any surveys out there or even anecdotal evidence re: a consumer's perception of your company as "weak" sans-.com??
Thought the beginning was weak stuff, but the three paragraphs about his Scarlet Letter school reading experience were spot on.
Also, many purely mathematical models of computing like turing machines are definitely not functional.
Nice write up. I'm curious, have you found any advantage to using Slack for this kind of logging as opposed to, say, HipChat or any other messaging app?
I expect them to be satisfied gaining trust from the international community. After all, trust is a currency much scarcer than money.
Is there a particular reason most US investing startups require an SSN? A lot of foreign ones seem to only need the address/id (it's usually okay if the investor is foreign).

If you're in Australia and want to try investing in a similar way check out http://getfirststep.com.
There are at least two such libraries for C# - XWT [1] and Xamarin [2] which AFAIR is based on XWT.

[1] https://github.com/mono/xwt

[2] http://xamarin.com/platform
One could also instruct his browser to send the Googlebot useragent string when browsing *.wsj.com, theoretically.
X11 forwarding doesn't cause any problems? I imagine I would easily be running 6 sandboxed apps at the same time.

From what I heard you can escape docker anyway so I would need something like SubUser (suggested by amouat)
that doesnt make sense to me.
If the driver works and does not crash the operating system (kernel panic FTW), that's good enough at this point.

nVidia uses CUDA or OpenGL - so its not quite the question of proprietary API.

At this point, I'm not worried about "framerate on my linux box isnt as good as windows".. its more "it works...".
laptop or desktop ? because laptop drivers for Ubuntu 14.04 are still not that good. I'm on a Thinkpad T430S with nvidia (I disable optimus in the bios).
If you are connecting to X, it doesn't matter. You can attack all other X11 clients by design. This is why GNOME is pushing so heavily on xdg-app (for the sandbox) and the wayland-enabled GNOME shell (so apps can't snoop on each other).
Yup. The link at the end goes to http://wiki.luajit.org/Numerical-Computing-Performance-Guide which mentions much the same: "Use bit.*, e.g. for conditional index computations."

It's certainly a real problem that can affect real code, this "issue" just falls a wee bit short demonstrating how to fix it.
Right. I have so many names and I never put them to good use :S
AppStore app version along side beta, debug build on Apple Watch and iPhone
Many country TLDs require the registrant to be domiciled in the country. And the degree of domicile/nexus widely varies, from simply having an address, to having a physical presence.

If you're just starting out you simply may not be able to set up all of the various legal structures to comply with the various CCTLD domain name registry requirements.

.com/net/org do not require a US nexus (which is separate from whether or not the US considers such domains to be under US jurisdiction).

For services I care about I grab com/net/org/biz/info as well as misspellings or variations on the domain name. I stopped registering CCTLD variants except for occasional .co and .me domains, because of the domicile/nexus requirements (.us also as a nexus requirement).
> The more I see things and think about them, the more I believe that this whole talk of logos being "very important since it's what your customer looks at all the time" is a big scam perpetuated by graphics designers, because they make (a lot of) money on you believing you need the slick, $expensive new brand image.

Patio11 has actually A/B tested two different logos. His conclusion was that "Your logo could potentially add or subtract 10% from enterprise value"[0].

[0] http://www.kalzumeus.com/2010/08/04/does-your-product-logo-a...
You seem to be solving a very sought after problem which also makes it so much more difficult. Where do you plan to source this much info?

Can somebody make me understand why ipv4 assignments along with their requests are not made public?
does anyone know which hypervisor do they use ? Can I build a local EC2 GPU instance with these GPUs ? I'm quite amazed that they are able to get the drivers, etc working with these GPUs on top of a hypervisor
Same here, hence my question. Probably because Sun bought Star Office, IIRC bundled it with SunOS and with the Java heavy marketing of the time I thought it was a Java program, even though SO is .. old : https://en.wikipedia.org/wiki/StarOffice#History

http://toastytech.com/guis/sol10staroffice7.png
I think it can signal breaking the mold. "We are new, we are not constrained to use a .com domain, come and find cool stuff here"
To save you the trouble of searching for it, this is the more relevant link:

https://blog.yourkarma.com/engineering-for-growth
I'd love to know why Wyoming, of all places, appears to use only emoji. Or is this just a lack of data issue in the least populous state?
Because the majority don't have/want credit cards.
Lots of nonsense here. Google routinely generates new ssl certificates with low TTLs. Anycast DNS will yield changing IP addresses over time and also between networks. Netscape-remote sounds like something that hails back to the Netscape 4.x era where, I believe, there was a command line argument to open a web page in an existing browser session by specifying -remote and the URL. 1e100(.net) is the value for a "googol" and it's pretty well known to be used in google's reverse DNS. And I can totally see sha1 still in use to maximize browser support, especially for a web page that is likely set as browser homepage on millions of outdated computers and android 2.x era phones. Anyways, don't use reverse DNS to try to determine IP ownership - looking up the netblock owners in WHOIS is much better.
> I don't want Netflix to sell a sub-standard product in some countries because some licensing foo.

"some licensing foo" is a great way of eliding that in some countries, the service would be illegal. The alternative is that the product could not exist at all, if there is no way to negotiate a contract for it.

You can certainly argue that products should not exist if that would involve contradicting some abstract ideal for society, or that it's good for things on the internet to blatantly violate mundane real-world laws until real-world governments become irrelevant. Respectable people hold both of those positions. But they're not very widely-accepted positions.
I got a decent self-winding mechanical watch for about $30 from Seiko. Granted, I bought it used, but you really don't have to spend much at all unless you're really into watches.
And just a few lines below that: "for (auto item : { 1, 2, 3, 4, 5, 6, 7, 8, 9 })". Why?? It's an almost comical abuse of C++11 for the sake of it.
could the optics in an iphone or decent android phone scan/capture high enough resolution to count the strands?
It's the X11 protocol which is the problem. Doing a desktop app in a VM without using something like VNC (ssh -X) doesn't really help.

Even VNC clients sharing clipboard content with the host system poses an attack vector, for example.
Link between intelligence and longevity is mostly genetic
There are still game releases for the Amiga 500
Hey! We agree, an example of a photo pack would be a great addition to the site. Thanks!
there is not a shortage of ruby engineers, nor of jobs to be filled for them.

Also, rails is easy to pick up. It's continuously groomed and improved. Ruby itself is lends itself to expression. It's also a very well organized codebase.

It's been around for 10 years. People have been saying it won't last, that it'll never gain traction, but that's nonsense. It's a tool out there that you can use, and I as well as many other people enjoy it. Nothing wrong with that. It's a choice, an opinion. And you can get a job working with it if you want. you don't HAVE to use it, if you don't want to. if you want to use java, go right ahead. I could never, and will never.

But at the end of the day, i love the web, and I love ruby, and I'm grateful I get to do both at the same time, and if the OP wants to as well, they can. There is no reason to not learn rails if it's something your interested in and are considering it as a career possibility.
Yeah rDNS is helpful, but as you pointed out with your home IP, many dynamic IPs (those that are rotated by an ISP) are actually granted very long leases. The service I'm proposing would make an additional effort to estimate the duration of dynamic leases.
Can't speak for dsr12, but I can confirm your assumption, I wrote that comment before seeing this present submission. Another possibility could be dsr12 read PG's essay and submitted this because he or she thought it was topical, without having read the comments on PG's essay.
You are correct. Forgot about that one since it's just their flash app wrapped to work on Windows with a bit of extra copy & paste functionality.
If you currently use bash, I wouldn't be much concerned that Python would be slow - in general, a general-purpose language would have more advanced interpreter than a shell. Python is also pretty high-level language with "batteries included", definitely more high-level than Go, Lua mentioned here. And with implementations like MicroPython (https://github.com/micropython/micropython) you can be sure that you can scale down if needed (e.g. to a system with just 2-4MB of flash with Linux, or 128KB+ with bare-metal).
It is also interesting that there are many parallels between software engineering and the design of mathematical proofs (or theoretical CS proofs, which I am more familiar with).

In theoretical CS, people talk of catching and fixing "bugs" in proofs, namely, mistakes that make the proof fail but can hopefully be fixed while sticking to essentially the same idea.

One can "refactor" proofs, in superficial ways (e.g., renaming of concepts), but in deeper ways also, e.g., extract part of a proof to make it an independent lemma that you can reuse (or "invoke") from other parts of the proof. One often tries to "decouple" large proofs into independent parts with clearly defined "interfaces", that the reader can understand separately from each other, though this usually implies a tradeoff (a more tightly integrated proof requires more mental space but is usually shorter overall).

One can think of the statement of sub-results (lemmas) as providing an "interface" to invoke them elsewhere, which you try to "decouple" from the actual "implementation", namely, the way the lemmas are really proven. It takes practice to find the right way to abstract away the essence of a result to state it correctly, without burdening it with implementation details, but without forgetting an important aspect of the result that will be necessary later. As in software engineering, once a result is proven, you stop burdening your mind with the implementation and mostly think about the statement (i.e., what the result is supposed to be doing) when using it.

In software engineering, one must decide which part of the code is "responsible" for checking certain properties on the objects, and that code may "assume" some preconditions on its inputs and must "guarantee" some preconditions on its outputs. In the same way, in proofs, one often wonders where certain conditions should be verified. Should they be part of the definition of the object? Does this lemma enforce more conditions on the object than what is guaranteed by its statement?

The parallel is not perfect. In software engineering, you can rely on the computer to check that your code is correct, and to execute it. In mathematics you rely on other humans to do this and check that they are convinced by your proofs. This means you can get away with appeals to human intuition which are not fully formal, but on the other hand there is no safety net when you make an error in your reasoning, no reality check that you can invoke to avoid exploring erroneous consequences. Also, this does not apply to all types of proofs; but it applies especially well to proofs that describe a construction, i.e., a way to "build" a certain abstract object, often to justify that an object with a certain desirable set of properties exists.
Chris Rock, the man with the power to kill off any Australian
I was referring to customers of the bookstores, not the employees.
I doubt you.
Scientists have synthesized a new compound that ‘mimics’ exercise
I have read that paper a year ago, in Cloud Computing course. Does Facebook still use it? I see pictures are now at Akamai.
This is why "Zigurd" is a very advantageous name.
LibreOffice descends from StarOffice, an MS Office clone by a German company that was bought by Sun. When Sun bought it, they bolted Java onto it because they were Sun and they bolted Java onto everything, but Java's not integral to the operation.
Well, nobody is proposing that Turing Machines be the foundation of mathematics, whereas the sort of type theory used in FP is being taken pretty seriously as a foundation.
Docker is build on lxc. I found lxc more easy to use than docker
There is flocker an app engine for lxc
Also lxd the next generation hypervisor for lxc id very promising
newegg has been selling quad 12GB Titan X GPU combo packs for a while. single-click add-to-cart for 18 components: http://www.newegg.com/Product/ComboBundleDetails.aspx?ItemLi...
It looks like a filesystem to the extent that HDFS is a filesystem, it's just not a POSIX filesystem.
> All three did own their .com domain names from the very beginning.

Twitter did not; it started out as twttr: http://techcrunch.com/2006/07/15/is-twttr-interesting/
Is there a way to start a name consultancy?

I'm fairly good at coming up with names, and wouldn't mind offering my services, but I'm not sure how to secure my idea before selling it.

I would also be open to testing my skills for anyone looking for a company name.
Maybe if we use a Sufficiently High Level description of the interface, we could Do Better This Time.
Baidu’s ‘Medical Robot’: Chinese Search Engine Reveals Its AI for Health
Show HN: Ceres (dwarf planet) in 3D
Chilled gazpacho
No, that was forbidden by the resolution of Core Issue 1669, see: http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html...
Haven't tried mbox yet but Firejail is pretty straight forward to sandbox locally installed apps. You can roll your own namespaced sandbox with unshare but Firejail does that cleanly, adds seccomp support, and is easy to use.

Docker, LXC, Nspawn and other container oriented managers are more focused on running chroots in namespaces so you would need to install the app in the container. In a way a container, especially an unprivileged one is perhaps a bit 'cleaner' as the app is installed in its own chrooted OS and not on the host.

The only thing is running GUI apps in containers is involved in terms of configuration, so Firejail wins for simplicity. Firejail also supports chroots so you can run proper containers with it.

We have a writeup on running accelerated GUI apps in containers here - https://www.flockport.com/run-gui-apps-in-lxc-containers/
Thanks for your reply. I'll send you a mail with some questions in the next 48 hours.
I suspect that your parent is conjecturing that the fact of not having X.com will eventually stop being perceived as a sign of weakness.

I do not know to which extent I agree. I find it sad but likely that people may eventually stop paying attention to URLs altogether; the main counter-argument I would have would be phishing, because, no matter what, you'll still have to check that you are on the right website at some point. That said I do believe that if it may happen for the general public, it may not happen before a long time for more knowledgeable people (prospective funders, employees, partners, etc., as you mentioned).
A very long article that, in the end, says nothing. They're chasing at moonbeams. Here's my analysis:

1. The author gets confused by the fact that the SSL certificate used by Google uses the SAN (Subject Alternate Name) extension to allow it to be valid for multiple domain names.

2. The author expects Google's web site to have an EV certificate, which it does not, and assumes that this is a sign of malicious activity.

3. The author misinterprets some run-of-the-mill CSS warnings as malicious activity.

4. The author misinterprets SSL Labs' lack of an EV certificate as meaning that SSL is not operating on their site at all. (Even though it looks exactly the same in the browser as the Google site they saw earlier.)

5. The author gets confused by Google's use of multiple IP addresses.

6. The author is surprised that anybody can point a DNS record to a Google IP address, and gets confused by the fact that one particular indexing site (Robtex) lists some of these records first.

7. The author sees something unusual about the DNS for Google Tag Manager (http://www.google.com/tagmanager), but doesn't give enough details for us to figure out what it is.

8. The author is surprised that Google is still using SHA1 for a short-term certificate. (To be fair, I'm a little surprised by that too, but I'm sure they have their reasons.)

9. The author expects an OCSP responder endpoint to be viewable in a web browser, and is perturbed when it is not.

10. The author is surprised that not all of Google's short-term certificates are described online, and that there are a lot of them.

11. The author is surprised that Google has a variety of different IP addresses and SSL certificates, and that their visibility may change.

12. The author imagines this all to be part of some vast conspiracy.

13. The author examines the perfectly good Chrome package s/he downloaded, and is confused by its use of the standard "netscape-remote" protocol.

14. The author draws some parallels with a completely unrelated Gmail outage, and draws the whole thing to some strange sort of conclusion.

About all I can conclude is to stay far away from their VPN service. If they can get this confused by a perfectly normal situation, I'd hate to see them trying to investigate a real security threat.
You have perhaps not autopsied many overdoses.
Created a throwaway just to post this.

I've never taken a college-level linear algebra course, and I've found KhanAcademy's linear algebra course to be a good gentle introduction. I just skip the parts I already know.
Look at the LibreOfficeKit API and the sample gtktiledviwer application, very easy to use (that the base of the Android and LibreOffice Online application), now all you need is writing the actual UI…
Would it be vulnerable to flash exploits, then?
But you can't tell if someone has an STD by staring/looking at them, either.
Scotland to ban GM crop growing
The author mentions the principles Mobile First and Progressive Design. Which I've been thinking about a lot lately. Since they could be solutions to the bad experience users like me have on mobile sites.

The key thing that is undisputable at this point is building several separate ghetto incomplete versions of the site while forcing users to go to the desktop for the complete and full site is bad. So. Don't. Do. That.

Don't care what you have to do as long as you don't give me the ghetto incomplete version. If that means gradually building a progressive design version of the site on the side then that's fine. If you find some other strategy that works and will work on what ever crazy device I might want to use now or in the future that's fine too.
I'd be interested. I'm not sure daily updates add much value, how often do these things change? If you have a way to provide more accuracy though, that is very interesting.
So this is a REPL web app with a text messaging-esque UI?

I'm guessing the messaging UI is designed to make learning to code more approachable. Text messaging is a more familiar interface to most people than a command prompt is. When I'm typing at a command line I sometimes feel like I'm having a conversation with the computer over text.

One annoyance with this UI though is that wastes a lot of space on my phone's screen - the bubbles, the avatars, etc. With a typical command prompt REPL you'd see a lot more of your recent actions on the screen.

From the title I was expecting an app that lets you code by sending actual text messages - either SMS or a popular chat app. The latency might get annoying, but I think it's an interesting idea. Text messaging in general has a ton of untapped potential as a software interface.
> All combinations of 6 letters .com are taken.

Do you mean this literally for any 6 random characters? It rings true for 4, but I believe you can easily find a 5 character domain name even now. In fact, I just registered three five character and a six character domains without much trouble.
Thank you. I didn't see it in the faq. Is it something one could suggest mandatory tagging for? Like [video] and [pdf], since a curious looking link might not be worth clicking if a) you need to wait for it to download or play, or b) you have to pay or go and hunt search engines to track down the content.

That way the inconvenience can be chosen by people who are particularly interested in the topic, but the content is still welcome to be here.