|
Finding the fastest Turing Machine that computes a given function is uncomputable. (And the consequences for superoptimisation)
-
www.forwardscattering.org
-
11 years ago
-
eng
Assume, for a contradiction, that we have some function optimise(f), that returns the fastest Turing Machine that computes the (partial) function f. The exact definition of 'fastest' doesn't matter. Now consider the function \( \operatorname{returnOneOnHalt_f}(x) \), that simulates the execution of function f on input x. If f halts, then \( \operatorname{returnOneOnHalt_f} \) returns 1 and halts. If the function f doesn't halt then ....
|
|
The new swiper Emacs package is proving to be a great alternative to helm-swoop . Here's how to prefill with current region: (defun ar/prefilled-swiper () "Pre-fill swiper input with region." (interactive) (if (region-active-p) (let ((region-text (buffer-substring (region-beginning) (region-end)))) (swiper region-text)) (swiper))) (global-set-key (kbd "C-s") #'ar/prefilled-swiper)
|
|
Open the new icon (.icns) in Preview. Click on large image Select all (⌘-a). Copy (⌘-c). Ctrl-click on app icon. Select Get Info. Click on app icon (top-left). Paste (⌘-v). Done!
|
|
The new Codename One website is finally live now and you can check it out in all its glory at codenameone.com . There are several things you need to know in order to make the transition smooth. First is that the new website supports https thruout so you can just navigate to https://www.codenameone.com/ to get a secure site. This is forced implicitly when you go to the build server. In the old site we used an iframe on top of https ..
|
|
For LGBT Ugandans, physical security threats often translate into digital threats and vice versa
-
securityinabox.org
-
11 years ago
-
eng
Uganda has been in the news headlines around the world since 2009, when it introduced its first Anti-homosexuality Bill and there have been several attempts since then to increase penalties for LGBT people and those who help them. Unsurprisingly, criminalization, physical violence and harassment has led many in the LGBT community to socialize, discuss and organize online. However, many LGBT people are now facing extreme digital threats,....
|
|
Workbook on Security - Practical Steps for Human Rights Defenders at Risk
-
securityinabox.org
-
11 years ago
-
eng
The Workbook on Security is designed to raise awareness about security issues and to help human rights defenders consider how to mitigate threats. The workbook takes human rights defenders through the steps to producing a security plan - for individuals and for organisations. It follows a systematic approach for assessing their security situation and developing risk and vulnerability reduction strategies and tactics. The workbook is availab..
|
|
Drupal 101: What I learnt from hours of troubleshooting Feeds
-
chenhuijing.com
-
11 years ago
-
eng
This post will run through the basic feed importers and some key points I learnt from hours upon hours of troubleshooting.
|
|
This white paper is written by Dan McClure (Innovation Design Practice Leader, Thoughtworks) and Ian Gray (Director, Gray Dot Catalyst). This is the first of four contributions on the subject of 'Innovation Scaling' submitted for the 'Transformation Through Innovation' theme for the World Humanitarian Summit.
|
|
Tightly coupled software presents the biggest difficulty when teams are looking to extend or change systems. As systems get larger, coupling limits the scope of change and self perpetuates. The easiest way to extend tightly coupled code is often to weave in even more interdependence.
|
|
This white paper was written for and launched at the eHealth HealthCare Leaders Forum held in Gurgaon, India on the 12th of March, 2015. Summary:
|
|
Liberate teams from the annual budget cycle The use of the traditional annual fiscal cycle to determine resource allocation encourages a culture that thwarts our ability to experiment and innovate. It perpetuates spending on wasteful activities and ideas that are unlikely to deliver value. How can we get out of the rut that is the annual budget process and encourage experimentation and innovation within our organization?
|
|
While facing the challenges of doing business in Brazil, such as logistics and transport, tax burdens, regulatory environment, among others, Brazilian Retail has been very creative and innovative. To draw the customer's attention, there is a new wave of innovation in various segments associated with two key factors: rapid technological change and the transformation of consumer profiles. Retailers are exploring these realities to differentia..
|
|
In any project lifecycle, our goal should be to automate all the activities that are repeated while creating and maintaining the system. The practice of ‘Ruthless automation’ is apt to automate such tasks. In project lifecycle, usually because of with tight deadlines, or just not being aware enough, we either tend to overlook or fail to identify automation of the manual and repeated tasks.
|
|
Wanting to have more control over my email, I decided to setup my own mail server. I thought I had a pretty good understanding of how mail works, considering my mutt/offlineimap/imapfilter setup , but I must say I was pleasantly surprised while setting everything up.
|
|
European Lisp Symposium . guide-key displays available key bindings. iplayer-el Emacs interface to the BBC's iPlayer. swankr REPL (swank protocol for R).
|
|
In light of ongoing revelations about the global surveillance efforts of the US National Security Agency (NSA) and its intelligence allies, you might be wondering if any of this really matters anymore. Much of the recent media coverage appears to suggest that, not only are They recording everything we do and say on the Internet, but now They've defeated our encryption. The sky is falling; all is lost; etc. It is certainly the case that we h....
|
|
Luca Bastos, lead consultant in Brazil, died at age 69 Last Sunday (8 March), we lost one of our greatest teachers. Luca Bastos, our consultant leader in Brazil, died at age 69 in Sao Paulo. A born leader, Luca personified enthusiasm, a thirst for knowledge and technical excellence.
|
|
Microservices are the first post DevOps revolution architecture," says Neal Ford, Architect and Meme Wrangler at Thoughtworks. I had the chance to record a 22 minute interview with him, where he explained to me why the DevOps revolution was a prerequisite for the microservices architectural style to become possible.
|
|
This article was written by Laura Schwecherl from Possible. In August 2014, Thoughtworks partnered with Possible to implement Bahmni as the Hospital Management System in the hospital that they run in collaboration with the Government of Nepal. Around the globe, our lives are increasingly transformed by technology, with healthcare perhaps one of the most impressive arenas for these changes.
|
|
Problem: Given a massive data stream of $ n$ values in $ \{ 1, 2, \dots, m \}$ and the guarantee that one value occurs more than $ n/2$ times in the stream, determine exactly which value does so. Solution: (in Python) def majority(stream): held = next(stream) counter = 1 for item in stream: if item == held: counter += 1 elif counter == 0: held = item counter = 1 else: counter -= 1 return held Discussion: Let’s prove correctness.
|
|
Problem: Given a massive data stream of $ n$ values in $ \{ 1, 2, \dots, m \}$ and the guarantee that one value occurs more than $ n/2$ times in the stream, determine exactly which value does so. Solution: (in Python) def majority(stream): held = next(stream) counter = 1 for item in stream: if item == held: counter += 1 elif counter == 0: held = item counter = 1 else: counter -= 1 return held Discussion: Let’s prove correctness.
|
|
Problem: Given a massive data stream of $ n$ values in $ \{ 1, 2, \dots, m \}$ and the guarantee that one value occurs more than $ n/2$ times in the stream, determine exactly which value does so. Solution: (in Python) def majority(stream): held = next(stream) counter = 1 for item in stream: if item == held: counter += 1 elif counter == 0: held = item counter = 1 else: counter -= 1 return held Discussion: Let’s prove correctness.
|
|
From M-x all-things-emacs , Ryan McGeary's OS X/Emacs workflow . Frequently used apps: 1 password . Choosy . Divvy . Fastscript . Fluid (SSB). Launchbar . Skitch (screenshots) . te (Text expander) . Dotfiles Github .
|
|
Build id: build-3 $ git clone https://github.com/Valloric/ycmd.git $ cd ycmd $ git submodule update --init --recursive $ ./build.sh --clang-completer Test $ python ycmd serving on http://127.0.0.1:54265 More info YouCompleteMe README . ycmd README .
|
Meta Refresh is an event organised by HasGeek that focuses on design, user experience and the front-end web. The current iteration of Meta…
|
|
A few days ago there was a lack of speakers for #SyPy which is the Sydney Python meet-up held most months and sponsored by Atlassian. I had previously put my hand up to help out if this situation ever came up and was mostly ready with a presentation about Decoding Captchas. I did not expect it to be so full that people were standing (largest crowd I had ever seen there). Thankfully it seemed to go over well and while I need to get more prac..
|
|
77 photography techniques, tips and tricks for taking pictures of anything . Course schedule - Digital Photography . ExifRenamer: Batch rename photos using exif information . Exposé, A simple static site generator for photoessays . Japanese Storefront Reference set - Elora 's Ko-fi Shop - Ko-fi . Michael Gakuran's Gakuranman . OpenMV (Small - Affordable - Expandable) . Photo Critique (Subreddit) .
|
|
Atelier Maitre Albert (known for its rotisserie chicken) . Au Passage. Small plates in fun atmosphere. Berthillon Ice Cream. Breizh Café (traditional gallete, savory buckwheat crepes) . Buvette Gastrotheque. Wine bar with small dishes. Cheri Bibi, possibly hipster, underneath Sacre Coeur, good cocktails. Creperie Josseline. Worth the queue. Drink Breton cider with crepes. Holybelly Canal Saint Martin. How To Spend a Culinary Weekend In ....
|
|
A Baby Steps Guide to Managing Your Tasks with Org . An Agenda for Life With Org Mode . An Org Table Spreadsheet cheatsheet . Assigning ids to entries . Automating boilerplate in org-mode journalling . Beautiful Emacs tags (maybe for org mode?) . Beautifying Org Mode in Emacs . Blogging from GNU Emacs/org (with rss example) . Blogging with Emacs org-mode . Build a second brain . Compounding Confoundment: arbitrary interpreters for....
|
|
B_acklog Saporitalia (Italian/pizza), Notting Hill . Menus | Lunch, Dinner, Sunday Roast - Blacklock . Food & Drink - The Barbary | Covent Garden Restaurant | Neal's Yard | London . Pophams Bakery . Yipin China | Restaurants in Islington, London . Sunday (breakfast) . The Quince Tree Cafe London (Cafe), Paddington . Bombay Bustle (Indian), Mayfair . Kyseri (modern turkish), Fitzrovia . Pied a Terre (fine dining), Fitzrovia . The ....
|
|
Brian Lovin is the host of the Design Details podcast and is a product designer at Buffer. He also runs The Kollection, a music curation blog. Hey everybody.
|
|
This website/blog has gotten really long in the tooth, we would have replaced it ages ago but since the build server is so tightly integrated in the code the effort to migrate was just too big. So recently we finally made the effort and migrated large blocks of code to be far more generic and we are now working hard on moving more than 3 years of content to the new website…
|
|
Sam Altman has a great short series on the development of superhuman machine intelligence (SMI). Machine intelligence, Part 1 is on why machine intelligence is something that we should be afraid of while Part 2 is on what we should do about it. And then there’s Technology predictions , the perfect closer.
|
|
10 kerning tips for improving your typography . 10 Usability Heuristics for User Interface Design . 30 Flat Design Color Palettes That Just Work . 4 Rules for Intuitive UX . Animated SVG icons . Apple's UI design Dos and Don'ts . Applying white space in UI design: 8 practical tips, with examples. . Ask HN: Good books or articles on UI design? (Hacker News) . behance (Showcase & Discover Creative Work) . California magazine . cappt....
|
|
Jeera rice (cumin rice) Sizzle spices (40 seconds) 1 tablespoon oil 1 teaspoon cumin seeds 4 cloves 2 black cardamon pods 1 cinnamon stick Sautee onion (2 mins or browned/opaque) 1 small yellow onion (chopped) Sautee rice + salt (1 minute) 2 cups of basmati rice 1.2 teaspoon of salt Boil, then partially cover and simmer (8 minutes or water gone) 4 cups water Rest 5 minutes (covered) Slow-cooked lamb Preheat oven: 240°C (no fan) 220....
|
|
TODO]{.todo .TODO} CatMeows: A Publicly-Available Dataset of Cat Vocalizations | Zenodo . [TODO]{.todo .TODO} Pay What You Want (bandcamp). [TODO]{.todo .TODO} Zontali on Twitter: "Name one of your most emotionally resonant songs, and I … . [TODO]{.todo .TODO} Generative.fm . [TODO]{.todo .TODO} Diminished Fifth . [TODO]{.todo .TODO} Archive of Indian music . [TODO]{.todo .TODO} Budhaditya Mukherjee. [TODO]{.todo .TODO} D....
|
|
Sam Altman has a great short series on the development of superhuman machine intelligence (SMI). Machine intelligence, Part 1 is on why machine intelligence is something that we should be afraid of while Part 2 is on what we should do about it. And then there’s Technology predictions , the perfect closer.
|
|
27 fonts* (give or take) that explain your world . 5 Years of Design (good for inspiration) . 60 FPS on mobile web (plus layouts) . Another minilimalistic one-pager . Another minimalistic gallery . Behance . Compact & Powerful: Great Examples of Floating Action Buttons in Interfaces . Flag of Planet Earth . Generative Placeholders . Graphic design from other cultures . Kevin.is (Simple layout) . Meng To's I Love Food I . Meng To..
|
|
21 Totally Breathtaking Trails . 5 increíbles escapadas a islas que quizás nunca has considerado . 52 Places to Go in 2016 (Hacker News) . 52 Places to Go in 2016 . A beginner's guide to the art of hiking . abitofculture.net . Alex in wanderland . Amazing places around the world . Backpacks and Bunkbeds . Beyond blighty . BLOUINARTINFO+TRAVEL . Continental Breakfast travel . Girl tweets world . How does it feel to travel alone?....
|