HNHacker News
TopNewBestAskShowJobs

adwhit

1,391 karma · joined January 23, 2014

submissionscomments
adwhit··on TypeScript at Google
I always use it with

> "compilerOptions": { "strict": true }

But given the huge number of other options I worry that like GCC's '-Wall', that doesn't actually give you the strongest possible type checking. Anyone know about that? My aim with Typescript is to turn JS into OCaml.

adwhit··on CLI: Improved
A more generous interpretation might be that Rust has sparked a CLI renaissance, since it lets developers write CLIs that have that satisfying zip that previously was only possible in C. None of PHP, Ruby or Java is responsive enough for a good CLI tool (also, static compilation is a must for wide deployment).
adwhit··on Why Static Websites Need HTTPS
The point isn't that it is particularly difficult (if you know what you are doing). The point is that from a cost-benefit perspective, it probably isn't worth more than 2 minutes of your time, if that.
adwhit··on Why Static Websites Need HTTPS
When I read things like that, I always think of the paper "The Rational Rejection of Security Advice by Users". [1]

Yes, content injection is bad, but the chance of it happening multiplied by the damage it could cause to your users is probably less than the the effort required to shift a static blog site to HTTPS. (Do not underestimate the leap in difficulty from copy-pasting from an Nginx tutorial to understanding how Let's Encrypt works).

[1] https://www.nspw.org/2009/proceedings/2009/nspw2009-herley.p...

adwhit··on The Dark Arts of Advanced and Unsafe Rust Programming
It's still getting commits, by the looks of things[1]. As always, I'm sure they welcome contributions.

[1] https://github.com/rust-lang-nursery/nomicon/commits/master

adwhit··on The Xi Text Engine CRDT
Google allows it's employees to put their 20% projects on the google github, provided they a disclaimer in the README. It doesn't mean much but perhaps it's good for publicity. Xi has always been in there.
adwhit··on “They’ll Just Make It Illegal”
Obviously, the wealthy own the debate. And that is no accident but the result of a highly successful political project that has been instituted over the past 40 years. Hey, there was even a study about it[1]:

Multivariate analysis indicates that economic elites and organized groups representing business interests have substantial independent impacts on U.S. government policy, while average citizens and mass-based interest groups have little or no independent influence

It wasn't always like this.

[1] https://www.cambridge.org/core/journals/perspectives-on-poli...

adwhit··on 50+ real world use cases built on blockchain architecture
Time to mount a 51% attack and steal land in Georgia.

"It doesn't work like that"?

adwhit··on In the World of Cryptocurrency, Even Good Projects Can Go Bad
Envion said it would use the money collected from investors to build mobile rigs, filled with computers designed to “mine” or digitally create new Bitcoin. The rigs could be moved between sources of renewable electricity, which would power the mining computers

Good project?? Sounds absolutely pie-in-the-sky. Another ridiculous idea that raised an insane amount of money from extremely naive investors. In other words, just another ICO.

adwhit··on The vgo proposal is accepted. Now what?
For those who missed it, Sam Boyer (maintainer of dep) wrote a detailed post about why he thinks vgo (or rather Minimum Version Selection) is inadequate[0].

The key argument is

With dep, it’s usually easy to point to failures - they’re explicit, verbose (and, currently, often difficult to understand, and printed out at the end of a dep ensure run.

The primary failure mode in vgo, however, is silent false positives - a vgo {get,test,run,build} command changes your dependency graph, and exits 0. Maybe everything’s fine, maybe it isn’t, but it’s incumbent upon you to take additional steps to understand that your build is broken.

I haven't been following this debate very closely, and this post doesn't make it clear - have these points been addressed? Is there still room to maneuver, or is the design mostly settled now? I know the post states that any design flaws will be fixed, but it sounds very much like the more typical lock-file + solver solution has been definitively decided against.

[0] https://sdboyer.io/vgo/failure-modes/

adwhit··on Fast, Safe, and Complete(ish) Web Service in Rust
I like rocket a lot - practically as easy as writing flask but with glorious type-safety thrown in - but I really wanted async ('like, now') because my project will have a large number of persistent connections. I'm sure rocket will get async eventually but it looks to be some way off.

In comparison to rocket, actix-web does not use codegen tricks so is not as ergonomic or as safe - e.g. it cannot statically check that the path variables that you ask for actually exist on the route - but these are things that a simple test suite easily picks up (incidentally actix-web has a nice built-in test server).

Also I was a little concerned that rocket development has stalled somewhat. 26 PRs waiting at time of writing. As I recall the maintainer is teaching a Rust class as Stanford so he's most likely just very busy.

adwhit··on Patrick Collison AMA on r/neoliberal
It is very peculiar.

Whether it is an attempt to "reclaim" the word or not, that subreddit's usage of "neoliberal" bears little relation it's usage as defined in books such as David Harvey's 'A Brief History of Neoliberalism', where it is most commonly associated with privatization, financialisation, tax cuts, the retrenchment of social welfare and rapid growth in inequality.

Critically, the neoliberal state is not 'smaller', it just prefers deficit spending to tax and prefers to funnel money to private enterprises and the military-industrial complex rather than spend it on it's citizens.

In contrast, /r/neoliberal seems to use the word to mean some sort of libertarianism-lite?

adwhit··on Rust things I miss in C
For more detail into the porting effort, I recommend taking a look at these slides, taken from a talk the author gave last year:

https://people.gnome.org/~federico/blog/docs/fmq-porting-c-t...

"Rust revived my interest in maintainership. It is very empowering to finally have a good language that I can use at the level of the stack where I work."

adwhit··on ICO startups band together to create $100M grant fund for Ethereum projects
> Creating a new coin or forking doesn't solve anything, they would be alone and it wouldn't have any value if nobody wants to trade in.

Well, is the point of Ethereum to make some cash at the expense of later investors (basically a Ponzi scheme), or does the platform have some intrinsic value? Point is, the platform itself can be duplicated at little cost (it's an open source project after all, just fork it), so the cost to the (new) user should be low (or more importantly, stable), even if the value proposition is high.

This logic leads me to conclude that almost all the value of Ether is purely speculative and could disappear at any time.

adwhit··on ICO startups band together to create $100M grant fund for Ethereum projects
My understanding of Ethereum is that it markets itself as a smart-contracts platform, and you need to have an associated coin (Ether) to pay people to run the platform.

But the number of Ether is fixed at 100,000,000ish. Which means that if the platform is successful, the coin will increase in value indefinitely. But I don't see why those who 'miss out' on the presale etc. (think banks, governments) would choose to hop on board at a later date - essentially gifting money to early adopters - when they'd be better off simply creating a new coin (or indeed forking Ethereum and awarding themselves more Ether). It all just seems very unstable, game-theory-ish situation.

adwhit··on Go 1.10 Release Notes
> for me what is great about Go is it removes BS and incidental complexity, & is just really well-designed and pleasant to work with. i happily choose it for personal projects.

Go was the first compiled language I learned coming from Python and scientific computing. And I felt the same way and was so delighted to write fast native multithreaded code without ceremony.

But then I learned some other languages that have elegant and powerful type systems (namely, Rust, OCaml and Haskell) and now I'm somewhat disgusted at my former self. Go could have been great, but it ain't. It's a blub language if ever there was one.

I know my opinion on these things doesn't matter. But I feel resentful of Go, I feel like I was duped.

adwhit··on Unilever threatens to pull its ads from Facebook and Google over 'toxic content'
People do buy these things, so clearly there must be reasons for doing so. Point is, are they good reasons? And are they real reasons, or have they been put there by some big (and yes, evil) corporation?

The BBC did a wonderfully subversive 3-part documentary a few years ago called "The foods that make billions", which investigates in some depth the way people's tastes have been shaped to accept anything the food industry comes up with (no matter how disgusting in concept). Well worth tracking down on YouTube or whatever (particularly the episode about yoghurt, which I found grimly hilarious).

adwhit··on Unilever threatens to pull its ads from Facebook and Google over 'toxic content'
I think it's also important to understand that most of these companies are advertising companies first and foremost. Their business models revolve around the creation of demand for things that no rational society would want.

Why would anyone buy bottled water when it comes practically free from the tap? Why would anyone buy bread that has had all the tasty goodness removed ('white bread')? Why would anyone buy branded toothpaste when the chemically-identical supermarket version is half the price? Why would anyone want roasted grain coated in sugar as the first thing you eat each day? Would anyone buy sugary water (a.k.a. pop) if they knew just how bad sugar is for them? Why would anyone want hydrogenated vegetable oil instead of butter?

Unilever can go hang.

adwhit··on Exploiting modern microarchitectures: Meltdown, Spectre, and other attacks [pdf]
> Either you know it mostly and this is boring, or you don't know it and you're in for a super-steep learning curve

Or you sort-of-know-but-have-half-forgotten most of it and this is a nice refresher with a few interesting new bits thrown in?

adwhit··on Why we wrote our Kafka Client in Pony
First - I spent a good amount of time with Pony attempting to make something similar to Wallaroo (on a much smaller scale), and it seems I hit the same problems as you re:FFI. Does it worry you that creating idiomatic C wrappers in Pony feels 'wrong'? Are there ways to make it better? After all, young languages especially are very dependent on wrapping C libs for basic functionality.

Second - from what I can tell, Wallaroo Labs are now one of the main contributors to Ponylang. How are your experiences from writing Wallaroo affecting language design and direction?

adwhit··on Commission fines Qualcomm €997 million for abuse of dominant market position
I don't really care if the CEO goes the prison or not. If they personally pay a fine so great that they will be impoverished for the rest of their life, that would be good enough for me. The point it that no-one has actually been punished here. No-one will personally suffer in a way that they would even notice. There is no deterrent.

I also disagree that there are no victims. Money and the lack thereof has profound effects on people's lives. People get depressed, get divorced, commit crimes and commit suicide due to the inscrutable flow of capital into and out of their lives. There are victims, somewhere. We just don't know who they are.

adwhit··on Unsafe Zig Is Safer Than Unsafe Rust
'unsafe' doesn't mean unsafe. Unsafe means "I can't convince the compiler that this is safe. But in my context, it is."

If there is any way in which a function containing an `unsafe` block may be used unsafely (specifically, violating memory-safety), then that function must also be marked as unsafe.

adwhit··on Commission fines Qualcomm €997 million for abuse of dominant market position
White collar crime. It pays!

Shouldn’t the CEO go to jail? That might make them behave themselves, and possibly go some way towards justifying their astronomical salaries.

adwhit··on Nassim Nicholas Taleb, Author of Black Swan, on Bitcoin
Is there an altcoin which is indefinitely and exponentionally inflationary? Such a coin would not have the gold-rush/ponzi characteristics which bitcoin has, and there wouldn't be a such huge incentive to mine new coins so hopefully it would avoid the incredibly wasteful mining arms race.

But no one would get rich quick, so it would probably never take off in the first place.

adwhit··on BlackRock’s Message: Contribute to Society, or Risk Losing Our Support
Employing George Osborne for squillions straight from government is definitely unethical. How can he act in the best interest of the country when there is a colossal personal incentive to keep BlackRock et al on side during his tenure?
adwhit··on City of Barcelona moving away from proprietary software
For sure. I've seen complete trading systems written in Excel macros.

MS have played their hand very astutely and have managed to capture a large fraction of the enormous gap between cost-to-producer and value-to-user. Keeping things that way is worth $100bn market cap to them, and challenging them is worth relative peanuts to anyone else. Of course they're going to win every time.

Our best hope is that someone like Google pours money into a fully-compatible fully-featured desktop replacement out of sheer spite.

adwhit··on City of Barcelona moving away from proprietary software
I kind of amazed that Microsoft are still successfully charging SO MUCH for their absolutely run-of-the-mill OS and Office products.

Office, in particular, brings in something like $25bn/year revenue with presumably very healthy margins. For a product that has hardly changed in 20 years. It's a good product, sure. But a clean-room reimplementation of the bits that people actually care about surely couldn't cost more than $1bn.

The power of monopoly capitalism.

adwhit··on Does Brexit end not with a bang but a whimper?
A real shame that Oxford decided to name their department after an oligarch who expropriated huge wealth out of Russia [1]. Sad to admit I consider any position associated with the Blavatnik name tainted.

[1] https://www.theguardian.com/education/2015/nov/03/oxford-uni...

adwhit··on Random with care
> [Tetris] simply shuffles a list of all 7 pieces, gives those to you in shuffled order, then shuffles them again to make a new list once it’s exhausted.

Interesting tidbit! So all the times I've furiously cursed at my gameboy because I swear the 'I' is by far the rarest tetrimino and it hasn't given me one for at least 20 turns... was just classic cognitive bias.

adwhit··on Why It’s OK to Block Ads (2015)
Facebook is a highly addictive attention machine. It is designed that way to serve you ads. Even if you block the ads, you can still get hooked on the machine.

Maybe you think that is the same thing as enjoying yourself as you wish. But the OP argues that just because something exploits our psychological biases, does not mean it is good for us in any deeper or longer-term sense.

e.g. plenty of evidence that Facebook is actively harmful for it's users.

← PreviousPage 2 of 5Next →