HNHacker News
TopNewBestAskShowJobs

chrismonsanto

1,629 karma · joined February 14, 2011

submissionscomments
chrismonsanto··on Who's downloading pirated papers? Everyone
The "prestige," as you call it, is necessary to get a job in academia. Where you publish your research is considered a trustworthy approximation to the quality of your research, and requires a lot less time & expertise to vet.
chrismonsanto··on Add Reactions to Pull Requests, Issues, and Comments
Can you downvote replies in threads that are locked? Can collaborators delete these reactions like we would with comments?

> Have feedback on this post? Let know on Twitter.

Not everyone uses Twitter. It would be awesome to give feedback using the one account I'm guaranteed to have: a GitHub account. Otherwise I have to ask my question on HN...

chrismonsanto··on Is Self Hosted Blogging Dead?
Like others who have posted in this thread, medium.com in the URL is a signal to me that the author is more likely to not be credible.

Self-hosted blogging still has a place in this ecosystem!

chrismonsanto··on Io.js 2.0.0 Released
> It's core developers who are to blame.

You mean the same core developers of io.js, who clearly are shipping now that Joyent is out of the loop?

chrismonsanto··on In Colorado, a Rebranding of Pot Inc.
> “We’re weeding out the stoners,” ... “We want to show the world that normal, professional, successful people consume cannabis.”

In other words, pot for elitists. It's not enough to just open a different kind of store, the marketing has to establish a hierarchy. And people will eat it up too, who can resist the opportunity to signal that you're better than some other group of people?

chrismonsanto··on A new foundation for mathematics
They are almost certainly aware of Mizar. Mizar's foundation is ZFC+Tarski's axiom. If you are developing a foundation based on homotopy theory/type theory you probably don't care about results formalized in Mizar. Also the type theory people in general prefer constructivist mathematics, and would reject Axiom of Choice and friends being in the foundation.
chrismonsanto··on Modernizing “less”
where did you get that idea? last commit was 7 days ago, no mention of abandonment
chrismonsanto··on 71 TiB DIY NAS Based on ZFS on Linux
> BTRFS will be able to do the same thing... one day.

It already can. btrfs sub snap does snapshots (and they work the same way), btrfs send/receive do the diffs, supports lzo/zlib compression and deduplication

chrismonsanto··on Dylan: the harsh realities of the market
> What? How have you not heard of CPAN? There is not a single language in the world that can touch Perl's libraries.

That's a really outdated meme. CPAN is small, pretty much every language you hear about regularly has a larger package space than CPAN. Even Go's package space is bigger than CPAN's. JS and Java each have package spaces roughly 3x CPAN's size.

http://www.modulecounts.com/

chrismonsanto··on Using Emacs for Haskell development
> and there is nothing that comes close to fugitive.

I have never used fugitive, but I can't imagine being unhappy with Magit? What makes fugitive so much better?

chrismonsanto··on Body Cameras on Police Can Reduce Use of Force Citizen Complaints
Full text:

More police departments are outfitting policemen with wearable cameras that tape what officers see as they do their job, providing a record in the aftermath of incidents like the one in Ferguson, Mo., where a policeman shot and killed an unarmed black teen.

The cameras have shown promise in reducing incidents involving use of force as well as citizen complaints, according to new studies. Worn on officers' lapels, glasses or hats, the cameras can document a more definitive version of police work.

"If you look at what's happening in Ferguson—basically you have two entirely different versions of events," said Michael White, a professor of criminology at Arizona State University. "If that officer was wearing a body-worn camera we could just go to the tape."

Dr. White, who has studied the use of the cameras, said "there's tremendous potential to head off these types of incidents from blowing up afterwards."

In a press conference earlier this week, Thomas Jackson, chief of the Ferguson police department, said the department had only recently been budgeted $5,000 to buy a limited number of dashboard cameras and body cameras for officers. Mr. Jackson said the department had not yet put them into use at the time of the shooting but plans on incorporating them into vehicles and on officers soon.

In the Southern California city of Rialto, the number of citizen complaints against police dropped from 24 to 3 in the first year that the patrol officers began wearing cameras in 2012. Use-of-force incidents plummeted from 61 to 25 during the same period.

Tony Farrar, Rialto's chief of police said, "When you talk about putting a camera on somebody, human nature is going to dictate that you're going mind your p's and q's and you're going to be on the best behavior."

"At the same, I think it's had an impact on citizens—if they know you're wearing a camera they too will be on their best behavior," he said.

A 2013 study found that a quarter of 254 U.S. police departments surveyed used body cameras, according to the Police Executive Research Forum. More than 1,200 law enforcement agencies have purchased wearable cameras from Taser International Inc., TASR +9.44% with about 80% of the company's camera sales occurring in the last 12 months, according to Taser spokesman Steve Tuttle.

Big city police departments have begun to use or test body cameras, including New Orleans, Los Angeles and Las Vegas.

There also has been some resistance in some quarters.

The police union in Las Vegas initially opposed using body cameras, worrying that the footage could be used in fishing expeditions against officers in cases where there were no complaints, said Chris Collins, the union's executive director. The proposal to use cameras had come after rash of police shootings three years ago. Now, some Las Vegas police have begun wearing them after the union and the department hammered out guidelines, including when supervisors are allowed to review footage, Mr. Collins said.

Police body cameras also have sparked some privacy concerns for citizens, but civil liberties groups back their use with some restrictions.

The American Civil Liberties Union said last year that the cameras have the "potential to be a win-win, helping protect the public against police misconduct, and at the same time helping protect police against false accusations of abuse."

The cameras themselves are only part of the expense—The cameras themselves are only part of the expense—Taser's cameras range from $399 to $599. Data-storage and management costs can be significant, according to a recent report by Dr. White, the Arizona State University professor. "The logistical and resource issues are especially challenging for those smaller police departments," he said.

The police department in Mesa, Ariz., did a side-by-side study of 50 officers wearing cameras and 50 without. The results after eight months: officers with cameras were subject of 8 citizen complaints while those without had 23.

With citizens regularly capturing incidents with police on their cell phones, Mesa Police Department spokesman Steve Berry said the department wanted to have their own video "to tell the whole story or certainly both sides of the story."

chrismonsanto··on Introducing EFF's Stupid Patent of the Month
> Not really: you don't condemn an entire system by pointing out individual bad examples of it.

To prove that software patents are bad, it is necessary, but perhaps not sufficient to point out bad examples. Then again I never said the only way of condemning the patent system was through examples?

chrismonsanto··on Introducing EFF's Stupid Patent of the Month
This is a great idea. If you want to demonstrate just how much software patents suck, you need to be able to point out examples. Yet I've seen many people who try to do so get shutdown with remarks like "you're not a lawyer", "you don't understand patent claims", "if you read this in a Lawyer-Approved Fashion (tm) it turns out this IS a good patent claim", etc. It'll be a lot harder to dismiss examples of shitty patents if their shittiness is endorsed by the legal expertise of the EFF.
chrismonsanto··on Show HN: Hacker News Redesign
Not a fan of the Y-meter on first glance. Maybe I would like it more after getting used to it.

- One thing that I think would improve it is putting the starting point in the bottom left corner. It's weird to have that half segment on the bottom.

- I want to see the exact number of points, not a fuzzy visual cue. The first visit each day I am going to look at every story on the front page, and subsequent visits are generally to look at replies to comments I've made. Prioritizing past "here are the stories on the front page" is useless to me.

- From http://hilapeleg.io/media/mockup_720x1981.png I get the impression that the new layout is much brighter than the old. I generally prefer off-white to full-white. It feels easier on the eyes. But without seeing the actual layout its hard to tell which I like more.

- Does this redesign come with comment hiding? This one feature is infinitely more important than an improved visual look.

chrismonsanto··on Ceylon: Quick introduction
> Why does Rust use "let"?

let is the standard keyword for introducing a new, shadowing variable binding. It is a very old tradition and is immediately recognizable to functional programmers.

> If you want easy adoptation from one of the two largest languages in the world, change what matters and stick with the rest.

In the case of "let", it would be a false consistency with C/Java. Assignment in C/Java does not have the same semantics as a let binding in Rust, although a let binding in Rust has very similar semantics to a let binding in Scheme or Haskell.

chrismonsanto··on Your high IQ might kill your startup (2010)
I was poor, and now I'm moderately well off. You are really underselling how much it sucks to be poor.

> All the money in the world won't prevent you or a loved one from passing due to an untreatable illness.

Death of a family member is much more likely to happen if you are poor. Too bad you can't afford that unreasonably expensive surgery.

> All the money in the world won't buy you friends or genuine respect.

This is such a first world concern. Boo hoo. Also, yes, money does buy friends. When my family went bankrupt most of our friends turned their backs on us. This is a common occurrence. Ask a homeless person what happened to their "friends" when push came to shove.

> It can't buy you love (though it can buy you sex).

Not being poor is more important than finding love. If you want love, have some kids, and love them.

> Furthermore, you don't need to be rich to avoid the hardship of being poor, you just have to make a sufficient amount to afford quality housing, food, health insurance, and minor luxuries.

Please do not underestimate how hard it is for those who are actually poor to "make a sufficient amount."

This seems like a good enough time as any to point out that there are like six empty houses for every homeless person in America. Or, in techie terms, "you thought domain squatting was bad..."

chrismonsanto··on Sick of Ruby, dynamic typing, side effects, and object-oriented programming
a-b) The objects of type IO are values, just as any other monad. It is true that polymorphic functions can be instantiated with type IO, just as they can be of any other type. How you think this supports the assertion that side-effects are "masked" is beyond me.

c) The language boundary of Haskell typically ends at the production of an IO value. You can easily give an operational semantics to many IO operations, and in fact there are papers that do this for simple IO operations such as putStr. It's not possible to give a full operational semantics for IO in any language, not just Haskell. Of course you are going to model console I/O, references, exceptions, concurrency features (all of which have been done). But these aren't the only kinds of side effects. Does your model account for the network, and all its complexities? Does your model account for power failures? Does your model account for cosmic rays? Most models don't, but nobody calls them loopholes, nobody implies it's a big cover-up. Every model is going to have a boundary, and Haskell's seems good enough to me. It's no more undefined than, say, ML.

chrismonsanto··on Ask HN: Should I use Polymer for my next project?
For me, on Firefox 30, I can see the basic structure of the page immediately, then my browser freezes for ~1.5 seconds, and I see the rest. I checked out the front page in FF's devtools, and could only see two uncached network requests, both to youtube.com. So I am assuming that Polymer itself isn't hitting the network. Furthermore AJAX doesn't freeze the browser, so I can only conclude that it's the actual JS that is causing that lag.

On Chrome 35 the freeze is for a much smaller duration but I can still feel it.

I'm currently on my (fairly beefy) desktop, so I imagine it's even more noticeable on an older laptop or phone.

EDIT: indeed, from a cold cache, it's even slower, and wow there are a lot of HTTP requests.

chrismonsanto··on Ask HN: Should I use Polymer for my next project?
The Polymer website uses Polymer and it is slooooow. That's a huge red flag to me.

I have nothing but good things to say about React. Try that instead.

chrismonsanto··on Python 3 Features
> PyPy is not fast enough and further splits the user base.

There is no split?

> Gevent is vastly simpler than this.

I prefer asyncio's explicitness to gevent's monkey-patch-and-pray-it-doesn't-block semantics. Also, the asyncio approach makes it very clear when you have released the "lock" on your state--it happens every time you yield from your coroutine. The gevent approach is to hide these synchronization points, which I think is a bad policy. For what it's worth this latter objection is one of the main reasons asyncio is the way it is--GvR had been bitten before by implicit yields.

chrismonsanto··on Golang 1.4 Internal Packages
> Packages and modules should never be reliant under an assumption about the underlying file system, as it tend to lock languages to certain platforms.

And it gives you an escape hatch from Java-style module nonsense: of COURSE I want to traverse 7 singleton directories to get to the source code!

chrismonsanto··on The first stable release of PyPy3
I have been checking the py3k branch on Hg every other day waiting for this moment, what a pleasant surprise. Very, very exciting. Thanks all.

I donated a while back, will make another donation soon.

I would like to start using this immediately but I think I'll have to wait until a 3.3 release for "yield from".

chrismonsanto··on Debian is switching back to GLIBC
Cache: http://webcache.googleusercontent.com/search?q=cache:VrGJCG7...
chrismonsanto··on Jq: A lightweight and flexible command-line JSON processor
This is a great tool. I've longed for an equivalent for YAML.
chrismonsanto··on Percol: An interactive grep tool in your terminal
> How would you do that in [...] Emacs?

Use Magit, which is probably the best Git client anyway.

chrismonsanto··on Firefox 30.0
Thanks so much.
chrismonsanto··on Swift impressions
>First of all, "no garbage collection" Technically, referencing counting is garbage collection, it's automatic memory management by definition.

Thanks for making this post, I have been meaning to say something similar for a while now. And, re: one of your other posts in this thread, the GC handbook is excellent. One of my favorite textbooks.

What most people on this site call "garbage collection" would be more accurately called "tracing garbage collection."

chrismonsanto··on Telescope: Open-source Hacker News clone built with Meteor
It does have an implementation of "can't collapse comment threads", though.
chrismonsanto··on Frustrated Scholar Creates New Way to Fund and Publish Academic Work
> 2) institutional library access to get at the papers you need (Google Scholar helps here, but it's far from perfect)

Really? At least in my fields (programming languages, networking) everyone has their articles on their homepage. You can find whatever you need by using regular Google or CiteSeer.

chrismonsanto··on OpenSSL, OpenSSH and NTP to receive support from Core Infrastructure Initiative
> Then you become the steward of the project and continue forward. ... The answer was to fix the perceived problems in OpenSSL and make it as solid as it can be. It's splitting talent and resources unnecessarily.

But that is what the fork is, OpenSSL with new stewards. What is your objection? That they are using a different name? That they decided to remove certain platforms which were a maintenance burden? That FIPS is broken by design and therefore isn't a priority? I imagine the OpenSSL team disagrees with the LibreSSL team on all of these issues. The only option was a fork.

> Right now, native libressl only works on bsd's, when openssl codebase works on many os's. There are ports being made, which will introduce more bugs.

One step backwards, two steps forward.

← PreviousPage 3 of 11Next →