If you think that the concern about DEA and SWAT can be easily dismissed, consider that SWAT teams regularly get involved in serving warrants for non-violent crimes -- in 1995, 3 out of 4 SWAT raids were based on drug warrants alone... and mistakes on those warrants can be made repeatedly:
"Perhaps no one was more victimized by the battlefield mentality that had set in at the NYPD than Walter and Rose Martin. The Brooklyn couple, both in their eighties, were wrongly raided more than fifty times between 2002 and 2010. The couple filed numerous complaints with the police department. They wrote letters to Mayor Michael Bloomberg and NYPD commissioner Ray Kelly. They were ignored. In 2007 they at least got someone at the NYPD to try to wipe their address out of the department’s computer system. But the raids continued. It wasn’t until the couple went to the media in 2010 that the city finally looked into the problem. Back in 2002, someone had used the Martins’ address as a dummy address to test the department’s new computer system. When the new system was implemented, no one removed their address. So anytime NYPD cops in certain precincts used the system for a warrant and forgot to remove the dummy address to put in the correct one, the police would end up at the Martins’ door."[1]
Hi All, meetup sounds great! I know there are a lot of local Jakarta tech community (such as GDG Jakarta, StartupLokal, id-php, id-ruby), but a HN meetup would be different than those meetup.
> Message can intelligently switch between Apple's own backend and SMS depending on data connection and presence information
I'm not familiar with the Apple implementation, but something similar was implemented by the Yahoo Messenger client app running on my Windows Mobile several years back, seamlessly switching from Internet data connection to SMS -- resulting in an SMS for every single outbound message and a bill of around $300 from AT&T for all those "OK" and "Sure" messages.
Another important lesson: be careful in trusting your main functionality to a third party, as Google has already announced the infographics portion (including the QR code generator) has been deprecated, see: https://developers.google.com/chart/infographics/
Without examining or-tools too much, I think it's solving a totally different problem. The Z3 guideis a good way to learn more (http://rise4fun.com/z3/tutorial)
Z3 is about "satisfiability modulo theories", which basically means a SAT solver with smart extensions for things like floating point arithmetic that would otherwise die under a naive encoding. It's used for program verification, and in my group, program synthesis. OR tools like Google's choke on such problems that require reasoning about logic, recursive functions, etc.
For an example of a program verifier using Z3, Pex is amazing: pex4fun.com . It does 'whitebox' fuzzing (program analysis + SMT) to find inputs that break your assert statements and open-ended unit tests.
For an example of a program synthesizer, I spent the past few days writing a regular expression / sed script generator that infers the code from input/output pairs: http://lmeyerov.blogspot.com/2013/09/sneak-peek-for-my-stran... . Underneath, it calls into a SAT solver (it goes through Rosette[1], which plugs in its own solver or Z3).
Ditto -- this was a great idea, and I was hoping to see an international roll-out as well. I am an American living abroad (SE Asia) and often find it difficult to reconnect with my friends, so I've used it a few times in the past month, thankfully without any of issues/horror stories as described here.
Sure, maybe the gifts are cheesy (coffee mugs, etc) and limited, but I have always found that a real physical product in someone's hands has more impact than an impersonal gift card. I'm sad to see this service go, but I hope someone steps into this niche.
"Perhaps no one was more victimized by the battlefield mentality that had set in at the NYPD than Walter and Rose Martin. The Brooklyn couple, both in their eighties, were wrongly raided more than fifty times between 2002 and 2010. The couple filed numerous complaints with the police department. They wrote letters to Mayor Michael Bloomberg and NYPD commissioner Ray Kelly. They were ignored. In 2007 they at least got someone at the NYPD to try to wipe their address out of the department’s computer system. But the raids continued. It wasn’t until the couple went to the media in 2010 that the city finally looked into the problem. Back in 2002, someone had used the Martins’ address as a dummy address to test the department’s new computer system. When the new system was implemented, no one removed their address. So anytime NYPD cops in certain precincts used the system for a warrant and forgot to remove the dummy address to put in the correct one, the police would end up at the Martins’ door."[1]
[1] http://www.amazon.com/Rise-Warrior-Cop-Militarization-Americ...