skysight-inc/HackerNews huggingface dataset:
> DRM is a non-starter… […] The fact that this standard is coming to be is just plain silly, but it does no harm in and of itself.

If that's true, for you and for others who share that opinion, what does it matter?

> None of them provides enough real value to anybody who didn't already have a market before leveraging them.

It's hard to take a position like "digital distributors offer no value" seriously when the paid digital media marketplace was created by said distributors.
See also https://golem.network
Nice writeup. I think the people who are good at twitch streaming are charismatic and/or funny. Being entertaining is awesome, but isn't necessarily the same as being good at reasoning through problems or engineering good software.

As a watcher of such streams, be they game session I wonder how people don't see something and go crazy because they can't actively participate - the author does mention that some people will have contributed pull requests by the end of the session. :)
Interesting article, written by the founder of the first Pirate Party and head of Private Internet Access vpn service.

This is the same way I feel about litecoin now, it takes all of the scaling issues, delays, and transaction costs Bitcoin suffers and essentially solves them.
The Woman Who Fell to Earth
The U.S. Media’s Murky Coverage of Putin and Trump
Yeah, I didn’t, really (specially with all the gray and flatout illegal areas). There are providers now too (although a friend that does it tells me hosting is still impossible) - not sure about back then
> There's one point in particular that took me a while to grasp: while you can write code that runs on the Ethereum network, every single node has to process that code.

Yep. Unfortunately the creators of Ethereum marketed it heavily as a "world computer" on promotional roadshows, claiming it would replace Facebook and whatnot.

Perhaps more interesting is that, in my view, Ethereum has it wrong: re-executing computation is a really foolish way to do what it can actually do-- which is conditionally allow changes only if a stated predicate holds.

Check out this presentation by my colleague:

Video: https://www.youtube.com/watch?v=TGE6jrVmt_I

Slides: https://cyber.stanford.edu/sites/default/files/russelloconno...

> contracts for financial purposes, voting systems, insurance, or whatever else.

Many of these applications are severely harmed by the lack of privacy in the recompute-everything model.
That was the first test box, in a friend’s personal site :) actual domain was lame: mapservices.org

I got kicked out of dreamhosting, then kept it alive on railsplayground for years (but w/o the ads/donations)

Additional curiosity tidbit: I made that product to learn Ruby on Rails - the v0 was a Java Struts/JSP, so I rewrote it as an exercise and “launched” on mine & my friends personal blogs. The internet felt a lot more viral back then, at least to me (we ended up launching two other side projects that actually got some traction too, but could never focus on or monetize)
Interesting;

The document mentions creating a crop-insurance application that would depend on a weather feed.

The problem is if the weather feed isn't something that's uniformly secureable the result could be bad given that the insurance application would take action automatically and no appeal to any higher authority concerning the fraud would be possible - without a "fork" as happened earlier. Hack an insecure feed, an insecure site or whatever and viola, free money.

And this seems like a problem any interface with the "real world" would face. The idea of automatically occurring, no-appeal financial transactions sounds but I would claim it's always going to be problematic - only a fool or a crook would put their money in this kind of system and the crook only puts in enough money to remove the money of the fool.

The ideal of say, money, is it belongs to you, where you is a broad but understandable concept. Something that belong to "whoever has X, Y, Z pieces of information about you" may sound great until someone beside you gets that information and there is no recourse. Indeed, the person who had the information "did nothing wrong" if the account really, really did belong to "whoever has this information" rather than belonging to you.
Alas... https://digitalcurrency.unic.ac.cy/
Correct... A major part of streams is the community you build, not the content. Some people get away with just pure content on twitch but usually they're either really great artists and the process is just beautiful to watch or they're pro gamers who people watch to pick up top strats even if they're not engaging otherwise.

My views are not that of my employer.
Signed up to paid plan, thanks. This is something I had looked for previously.

Some suggestions (only because I really want you to succeed!):

- Please consider the use case where I want to protect against a domain having its nameservers changed at the registrar. I don't think you currently handle that case, as e.g. pulling the NS records from Route53 will always show Route53 as the authoritative NS, which may not match what the registrar says. This is actually the main feature I want.

- I couldn't find docs or advice regarding how alerting or notifications work. I don't even know if I will receive alerts.

- Please support "plain" DNS-based checks. As in, ability to add a zone and add a number of records (e.g. MX) that I want checked and it is done via DNS protocol query to the authoritative NS.

- Fix the "flash of not-yet-parsed-by-Angular content" that appears on the signup page, it's pretty jarring on a medium latency connection

- For the credit card form, I had some misgivings about putting my details in until I dove into the HTML of the page to check that you weren't sending the card details to your own server. Maybe add a "powered by Stripe" icon or something.
Ethereum isn't trying to be some sort of generic distributed computing platform. The notion of writing a dApp to do distributed 3D rendering is outrageously stupid.

The idea is to program your money. Here's a dollar that can only be spent on healthy food. Give these to your kids for doing their chores or whatever.
I would recommend Appel's Modern Compiler Implementation series. It is good starting place for building up compiler fundamentals and progressively implementing a reasonable compiler for a reasonably rich language without getting bogged down from too many idiosyncrasies.
I went and researched this before reading the link, and found a slightly different solution than the author. By taking advantage of python's 'tarfile' module, it was easy to create a (us)tar-compatible header. My solution is here: https://gist.github.com/jepler/f86255a6e054d9b6ca540d0c7afe1...
I didn't immediately understand what the purpose of this was. It might be a good idea to include a photograph or visual which demonstrates a typical use case, and to craft a short, simple tagline which explains the product.
Wow it's further along than I thought!
.. only tested with gnu tar, but all the world's a vax eh?
A US citizen cannot be denied entry. Your stuff can be, you can be stripped naked and cavity searched, ruthlessly interrogated, humiliated, temporarily detained, and generally treated without even a hint of human dignity. But they can't keep you from entering the country, eventually. This has been established by supreme court precedent.
The peak design bags have dividers they refer to as origami dividers. The majority of the volume of the bag can be customized using the dividers.

The is a laptop sleeve between the back of the bag and the main compartment. In that sleeve there is a divider. I believe the divider is meant to separate a 15" mac book and full sized ipad. The sleeve is large enough for my 14" laptop and my 12" laptop. Additionally, the sections you use to get in to the main compartment have padded organizers.

The bag is really clever and seems to be incredibly well built, time will tell on that.

Check out the youtube videos.
The difficulty is "prove you did it right". I'd guess that only works for cheap-to-verify (trapdoor"?) functions. However, Intel SGX does enable this. You would need an SGX-attested renderer, but the output would include a signature on the inputs in addition to the actual output image. You could verify this signature was made by the SGX-secured renderer code, then you'd know it executed as designed (i.e. the person didn't just draw an image in paint).

SGX would also enable hidden contract data. Right now, you can't publish a contract like "guess my weight and win $100", because the guess code is public (has to be, for miners to exec it). With an SGX-enabled system, this is now totally doable. (Though, you must trust Intel, and assume hackers can't reverse engineer the Intel chips with magic physics or other breaks. So it's probably safe for a few millions but not billions of dollars. (Upper bound, for a few hundred billion you could acquire Intel and compromise SGX secrets.))

SGX is pretty exciting and I'm in the early stages of getting at least one project working with it. There's also research called "Town Crier" to enable TLS-retrieved website data into Ethereum contracts.

For all the people that cry about SGX being big, bad, DRM, it really has its upsides. Too bad Intel requires special licensing to use it - it should just be enabled for all purposes. Maybe they're worried about malware backlash?

Also, an SGX-enabled Ethereum, apart from the Intel/SGX trust issues, means you can skip the computation and just verify the result. It also means you could replace the proof-of-work multi-hash with a single iteration plus a sleep.
The bro who hits on, and strikes out, fist bumps is ok in my book, it was an honest appeal to date. It went down like the Hindenburg. He tried to move on. She's holding on to it, though it seems innocent. The rest of this is terrible. I can't believe... I believe all of this is. I know all of these people. These are 'dudes' you and I know, neighbors, co-workers, roommates.... family members. Is the solution just "hey bro, STFU!"?
Don’t Try to Make a Living Writing Short Stories
Unfortunately it's simply not something that can be explained easily and clearly. Imagine trying to explain the Internet to someone who has never seen a computer.

This is actually a sign that something innovative is happening, because it can't be explained in terms of something that already exists.
>You're forgetting that they had a charge for revocation, which was also automated.

I did not forget that, I was just talking about the authentication and certificate issuance side. But though it didn't fall under the umbrella of authentication it is something that actually cost real money at that point. You misunderstood the situation and how revocation functioned in a way that's extremely important (since it's finally getting fixed but the improvements could use more widespread deployment). The original certificate revocation mechanisms, CRL and OCSP, are and always have been completely broken in terms of fundamental scaling and failure modes. Scott Helme just did an excellent summary on the situation and upcoming developments [1] which I strongly encourage you to read, but in essence due to the way they work seriously offering CRL/OCSP (as in, in a way that won't instantly die when someone breaths on it hard) services and adding certs to them requires significant distributed infrastructure, which has not always been cheap. They were bad approaches even with that though due to other practical failure modes that were beyond a CA's control anyway. Both stink to the point that many (most? all?) operating systems/applications/browsers just soft fail by default or even ignore them entirely. "Revocation" for the wider web has largely been a mirage.

StartCom did in fact have an explainer about this at one point, and their position was reasonable. Other CAs hid the cost in large part by charging a ridiculous amount for every cert issuance, despite many people never actually needing revocation services. StartCom let you have as many certs as you wanted after authentication for free, but if you lost one in such a way that you needed to make use of CRL/OCSP then you were charged. Users could pay that price, or alternatively invest in other ways to mitigate at their discretion rather then just getting charged no matter what.

If StartCom had survived until now, or if someone else adopted their model, then I'd expect at this point they'd make use of modern techniques like OCSP Must-Staple/Expect-Staple, CAA, CT, etc. by default, and in turn that problem would be solved at no cost.

>IMO, just like one of those schemes where you don't pay to get in, but you have to pay to get out.

This is completely ridiculous. Nothing inherently made anyone lose private keys. Even Heartbleed didn't defeat someone using an HSM for example. Nor would everyone who lost a private key need try to publicly revoke (to the extent that would even work). Given the cost tradeoffs this was one particular standards design failure that has been and remains wrong to make into some general insurance vs letting individuals have the freedom to deal with it as needed and/or having the standard itself fixed.

----

1: https://scotthelme.co.uk/revocation-is-broken/
What does "academia" mean to you? Are you an undergraduate student, a grad student, a postdoc, a research scientist, a professor (and if so, which level)? Relationships to software creation differ at each level.
Not until Nicki Minaj or Drake appear in a music video with a bitcoin necklace...
So what about the issue of requiring heavy over-provisioning for common usage patterns, like a customer being logged in causing temporary bursts of access on specific keys?
screenshots or it didnt happen
> I would take 60 minutes riding on a train over 30 minutes driving in a car.

That's not precisely the case. Did you take into account the time it takes to get to the train, the waiting time, and the time it takes to get to work after you get off the train?

I was waiting 10 minutes (nominally from the train) from work. I had to drive 7 minutes to the train, wait 5 minutes (train was 10 minutes, and I like to get to the station 5 minutes before the train shows up) and the train is generally late. And then a 20 minute walk to my job.
But they aren't exclusively your images, you gave them to Facebook when you uploaded them. Facebook is not a free image hosting or backup tool. You should never have had an expectation you could get back anything that you put in.
>"Distinctly unimpressed by this post. The author seems to have an axe to grind with mathematicians as a class, which, as we would have been told in school, isn't 'big or clever'."

I thought it was intended to speak to people who might be intimidated or feel obtuse when they encounter really dense academic texts when trying to learn more about type systems as it relates to programming. As such I really appreciated it.

I didn't think the author was grinding any axes at all, quite the contrary.
Looks like no one remembers https://news.ycombinator.com/item?id=10486476
Certainly makes it easy to have a high-density, high-value object - much more dense than casino chips. Put the only copy of a wallet with tons of BTC on a microSD. Fun marketing gimmick, too. Put $100 worth on a bunch of micro SDs, spray 'em gold, toss em out at concerts or stuff.

Would totally get headlines if someone put $1M worth on an SD, then laughed and ate it live on TV and said good luck finding it. Or tossed it out of an airplane, or boat, etc. People show off wealth in all sorts of ways...
Yeah, I've been working on LLVM lately and it seems like they've solved all the problems. Somehow, they solved them in standard C++. I've been through a bunch of compilers and I could barely hang on. In LLVM, everywhere I go, I'm like: oh, so that's how you do that.

One thing that helped get started was slides from a CMU class. Hang on:

https://www.cs.cmu.edu/~15745/syllabus.html

Excellent work and so nice of them to post it for free.
The best answer I know to this was written by Hixie (main editor of the HTML spec) a few years back:

https://plus.google.com/+IanHickson/posts/iPmatxBYuj2
It's a common misconception that Russell/Whitehead "invented" type theory. In fact, Frege had already made the very insightful distinction between functional and non-functional types in the 1890s -- this was the key development that Russell based his hierarchy of types on. See "Function and Concept" (1891)[1]. It was a growing and communal sentiment that a (meta-)theory of types would make certain mathematical concepts more palatable.

If anything, I think the conceptual father of type theory is Gottlob Frege, and Alonzo Church was the first to apply it concretely.

[1] http://fitelson.org/proseminar/frege_fac.pdf
Three words here: Not at work.
Thanks for the suggestion! That makes a lot of sense. You're right, most publishers are very particular about format of their content in these generated videos. Focusing on a single client would help nail down at least one use case, and bring in some much needed cash flow :)

The text-to-speech software was ~$1500, and it's been running on a $100/month dedicated server since February.
Every source code file is a story. A story with characters, relationships between them, and how the characters behave towards one another. Humans are hardwired to understand the world (and by extension computers) in terms of stories.

The way that programming languages allow us to write these stories is by giving us the opportunity to name things. Naming transforms code from a dumb sequence of instructions, to something that can be understood.

I don't believe non-textual names have any place in programming. I have used Haskell and it is an unmitigated disaster.
One possible solution is to talk. To keep talking and amplify different opinions.

I've lost count of how many times I've seen men "quiz" a woman when she says she likes sports or managers saying they cannot "lower the bar to prioritize diversity"

One thing that can be done is pause for a moment and reflect how the same sentence might look if said to a male. Would you "quiz" your buddy when he says he likes sports? If not, don't do it with a woman.
The topic of learning to program as a non-english speaker has come up a few times with friends and coworkers, despite all of us being native english speakers.

I've proposed that languages like Golang and Swift that support unicode should go a step further, and come with a translation file for their keywords, which is then fed into the lexer/parser.

It doesn't solve the problem of an international codebase, or let you switch languages as shown in the Excel example, but it would at least make it significantly easier to learn and write code in one's native tongue.

And it could be available today, without significant changes in tooling on either the compiler vendor's side (except the translation tooling of course) or the developer's side.
> Waymo and ride-hailing service Lyft, which is a competitor to Uber, announced a partnership to get self-driving vehicles on the roads earlier this year.

English is fun, I didn't read that like:
Waymo and ride-hailing service Lyft earlier this year announced a partnership to get self-driving vehicles on the roads.
> On the other hand, this means that typed systems are in some sense strictly less expressive than their untyped counterparts. It would therefore be interesting if somebody found an expression which was both (i) meaningful and (ii) only expressible in an untyped language. You would then have an argument for untyped languages :-)

Here's an example: The W combinator `\f x -> f x x` can be expressed in Haskell but it doesn't work everywhere it should, unlike in an untyped universe:

http://us5.campaign-archive1.com/?u=4937a9a2eb9eee0a26e1e0a2...

In other words, types can sometimes make you lose reuse.

That's amply compensated by types removing massive amounts of junk in the untyped world. If you don't believe me, try hacking in an untyped calculus sometime.
"using something called gas"

gas is ETH. It is simply a term they chose to refer to the ETH fee paid to execute the code. I don't like their terminology. Calling it "gas" make it sound like it's a different currency. They should have just call it the "ETH fee".
As someone being 'forced' to use Mongo for the first time, I'm curious as to when/where you hit that? I'm looking for pros/cons, but the internet is proving rather unhelpful as it seems to be people vehemently for it or against it.
The weather feed can provided by several oracles, and the contract can take the median value.

You could program whatever logic you want into the insurance. For example, some kind of dispute resolution system that appeals to a higher authority.

How do insurance companies deal with this problem today? Why do you trust the insurance company not to lie and say that the weather was fine? Whatever that mechanism is, it can be programmed into a smart contract.
Something that is alive.
I always thought the term "document store" just meant arbitrary unstructured data that didn't need to be related.

That's how you do things like we did regarding deterministic sharding- it's very easy to scale this way if you don't ever "JOIN" tables etc;
I'm still learning what the fuck ethereum is, but it seems like it could have some revolutionary implications for the political process, am I right? Maybe add an "Explain it like I'm a nerdy politician" (and also an "Explain it like I'm a nanny-state politician" for the politicians more interested in regulating it and protecting the children, than leveraging it)
Kotlin is plenty practical. It was born out of a desire for a safer yet practical language on the JVM (provides null safety at the type level). It is at least practical for it be getting gaining lots of traction.

Rust is another good example. It's not very ergonomic, but it is getting better every release.

I think how those two languages do will show whether type systems can me made practical for reducing wider classes of bugs. They seem practical and have the backing to help drive adoption.
And other plugins that other providers might choose to use?
Ethereum has had a good start being the first mover in smart contracts, but EOS is coming and the value proposition is much more solid...

https://www.youtube.com/watch?v=MUZWZj1pu94

Blockchain tech is evolving...
Adult role-models, but also (perhaps even moreso) "older sibling"-aged role-models. There is literally no social context in which an 8-year-old and a 13-year-old, or a 13-year-old and a 19-year-old, are allowed or encouraged to commingle, interact, bond, etc., unless they're related (or "pretend related", in the Big Brothers Big Sisters sense.) It's nearly impossible, through the entirety of a Western childhood, to get a sense of what's "coming up" in the next few years of your life, or in which direction you'd like to head, because the lives of older children are entirely invisible to you.

This breaks the most major way children have historically found their vocation: by asking people a few years older than them, who already have some small proficiency in the subject, to show them how to get into the subject. And, as well, being that mentor later on.

Some school systems try to recreate this effect with clubs, but clubs are broken at the most important point—the transition from elementary to high-school. It's the kids before the transition and the kinds after it that are most in need of this mentorship interaction, and there's no system in place to give it to them.

And this also breaks socialization: every year of children is now its own isolated cohort, with isolated social norms, entirely unmoved by what older or younger children would think of those actions. This is basically 90% of why "kids are terrible" in the Western school system: kids don't learn social norms from parents, but rather expect to read them on the faces of slightly-older kids reacting to their behavior. If there are no slightly-older kids (as in a uniform-age classroom), then there's nobody the kids trust there, who also has the maturity to disapprove. And there's no slightly-younger kids they feel responsible for behaving in front of.