Shamim Ahmed shamim-ahmed

97 Things Every Programmer Should Know: Collective Wisdom from the Experts

Act with Prudence
- Pay off technical debt as soon as possible. It would be imprudent to do otherwise.
Apply Functional Programming Principles
Ask "What Would the User Do?" (You Are Not the User)
- Spending an hour watching users is more informative than spending a day guessing what they want.

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

Enter this in the search box along with your search terms:

Get all gists from the user santisbon.
user:santisbon

Find all gists with a .yml extension.
extension:yml

Find all gists with HTML files.
language:html

Becoming a Spring Certified Professional without the Core Spring Course

Until recently, the only way you could become a Certified Spring Professional was to take Pivotal’s compulsory, 4-day, Core Spring training course. On completion of the course, participants received an exam voucher that allowed them to schedule an exam at a certification centre.

At approximately £2.5k per attendee, the course is not cheap putting certification out of the reach of many self-funded developers and those that work for organisations without generous training budgets.

In May 2017 Pivotal changed their policy. Spring Certification Exams became available for individual purchase without enrolling in the course. I set out to see if it was possible to pass the exam without the Core Spring course and only using publically available material.

I set myself a budget of £250, ap

How to add more to Git Bash on Windows

Git for Windows comes bundled with the "Git Bash" terminal which is incredibly handy for unix-like commands on a windows machine. It is missing a few standard linux utilities, but it is easy to add ones that have a windows binary available.

The basic idea is that C:\Program Files\Git\mingw64\ is your / directory according to Git Bash (note: depending on how you installed it, the directory might be different. from the start menu, right click on the Git Bash icon and open file location. It might be something like C:\Users\name\AppData\Local\Programs\Git, the mingw64 in this directory is your root. Find it by using pwd -W). If you go to that directory, you will find the typical linux root folder structure (bin, etc, lib and so on).

If you are missing a utility, such as wget, track down a binary for windows and copy the files to the corresponding directories. Sometimes the windows binary have funny prefixes, so

Gödel left in his papers a fourteen-point outline of his philosophical beliefs, that are dated around 1960. They show his deep belief in the rational structure of the world. Here are his 14 points:

The world is rational.
Human reason can, in principle, be developed more highly (through certain techniques).
There are systematic methods for the solution of all problems (also art, etc.).
There are other worlds and rational beings of a different and higher kind.
The world in which we live is not the only one in which we shall live or have lived.
There is incomparably more knowable a priori than is currently known.
The development of human thought since the Renaissance is thoroughly intelligible (durchaus einsichtige).
Reason in mankind will be developed in every direction.

Git

Global Settings

Related Setup: https://gist.github.com/hofmannsven/6814278
Related Pro Tips: https://ochronus.com/git-tips-from-the-trenches/
Interactive Beginners Tutorial: http://try.github.io/
Git Cheatsheet by GitHub: https://services.github.com/on-demand/downloads/github-git-cheat-sheet/

Reminder

Press minus + shift + s and return to chop/fold long lines!

	{
	"name": "gist-embed",
	"authors": [
	"Blair Vanderhoof"
	],
	"description": "Ultra powered gist embedding for your website http://blairvanderhoof.com/gist-embed/",
	"main": "gist-embed.js",
	"keywords": [
	"gist",
	"embed",

	#!/usr/bin/env python3
	"""
	License: MIT License
	Copyright (c) 2023 Miel Donkers

	Very simple HTTP server in python for logging requests
	Usage::
	./server.py [<port>]
	"""
	from http.server import BaseHTTPRequestHandler, HTTPServer

	import SimpleHTTPServer
	import SocketServer

	PORT = 8000

	class ServerHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):

	def do_POST(self):
	content_len = int(self.headers.getheader('content-length', 0))
	post_body = self.rfile.read(content_len)