Feed - Honza Pokorný

The TWSBI Eco might be the perfect fountain pen 🔗

I have used fountain pens on and off for 20 years. A few years ago, I discovered the fountain pen community on Reddit and immediately needed to buy a [...]

James Durham: How to listen to a sermon 🔗

Before And first, before hearing the Word, men break [the second commandment], In not praying for the speaker. In not praying for themselves in refere [...]

Francis Bacon: Of Studies 🔗

Studies serve for delight, for ornament, and for ability. Their chief use for delight, is in privateness and retiring; for ornament, is in discourse; [...]

How to use Common Lisp on NixOS with C libraries 🔗

NixOS is great. Well, until you open up a Common Lisp project, start a REPL, and well… you get an error about missing headers to some C library. We [...]

Inside-out templates 🔗

I have been thinking about literate programming and markup languages for authoring documents. How can we write a document once and easily publish it [...]

The So-Called ESV 🔗

A speech by Theodore Letis Introduction I want to start off by telling you a little story that happened to me while I was in Berlin last week. I was [...]

Who is the real Romanist? 🔗

Reformed believers don’t like to be accused of being Romanists. Yet it’s a powerful insult: you can shut down any argument if you can prove your oppo [...]

Running with my dog 🔗

A few times a week I go running with my dog on a local trail. I wake up early and immediately hydrate. Then I put on my running clothes and go downs [...]

Proverbs categorized 🔗

Matthew Henry’s topics found in the book of Proverbs. Inspired by this post. Of the comfort, or grief, parents have in their children, according as t [...]

Chicago-style essays in org-mode 🔗

Many LaTeX guides on the internet focus on writing documents in the math and engineering context but not many are suited for the humanities. What if [...]

Read it through by Philip Green 🔗

Source Introduction Habit changing facts about Bible reading come to light in the following pages. By questions and answers over a time of 28 years an [...]

Making the Ergodox work 🔗

In the keyboard ethusiast community, the Ergodox is a bit controversial. It’s one of the few keyboards that are available pre-built, and with a warra [...]

Read it later the hard way 🔗

There is a seemingly endless stream of articles we come across daily, and little time to read them. A quick glance at Hacker News in between tasks ca [...]

The Singing of Psalms in the Worship of God 🔗

by G. I. Williamson The worship of God in song is found in the inspired book of Psalms, and should be used to the exclusion of the uninspired compo [...]

I love my Kindle 🔗

I bought my first Kindle over 10 years ago. It was tall, and had a physical keyboard. Since then, I have bought many more: for family as gifts, and [...]

Bootstrapping a Hare development environment with Nix 🔗

Hare is a new systems programming language. The stable nix channel already provides packages for it but those become outdated pretty quickly with a w [...]

Using the Fujifilm X100V as a film camera 🔗

Film photography presents a completely different workflow compared to digital. You can’t preview your images, you have to wait for your film to get d [...]

You think film prices are high now? 🔗

Every January, Kodak announces yet another price increase on their film stock offerings. A roll of Kodak Portra 400 in 35mm is now over $20. Develop [...]

Summer's end 🔗

Fiction It’s that part of the late afternoon where the sun has dipped below the horizon but it’s not dusk yet. I walk out of the air-conditioned sanc [...]

A few quotes from The King James Version: Its tradition, text, and translation 🔗

Here are a few choice quotes from the The King James Version: Its tradition, text, and translation article in the Reformation Heritage KJV Study Bible [...]

Not by bread alone bible reading plan 🔗

Historially, I have struggled with consistent bible reading. I start a new reading plan with new zeal but then quickly fall off, and the habit doesn’ [...]

Evaluation of the Modern English Version translation 🔗

The Modern English Version is a 2013 translation of the bible based on the Received Text. Albert Hembd, a consultant to the Trinitarian Bible Society, [...]

Project launch: The Greek New Testament 🔗

After much work over several years, I’m pleased to announce the public release of my Greek New Testament project. This is something that to my knowle [...]

One book per week 🔗

I don’t think the book/year metric is very useful. A few years ago, I tried to read one book per week. It’s totally manageable if you read modern fluf [...]

Professor Grant Horner's Bible-Reading System 🔗

This is an article version of the original PDF by Prof Horner. “I have more wisdom than all my teachers, for thy testimonies are my meditation.” Psalm [...]

Children and screen time 🔗

Should children be allowed unlimited screen time? If not, what limits should we impose? This is a fairly common question that parents have to reckon [...]

How to side-load epub files to Kindle the right way 🔗

One of the great things about Kindle readers is that you can read old books for free. You can grab an epub from places like Monergism, Gutenberg, Sta [...]

How we may read the Scriptures with the most spiritual profit 🔗

By Rev. Thomas Watson “And it shall be with him, and he shall read it all the days of his life, that he may learn to fear the Lord his God, to keep al [...]

Why the Westminster Reference Bible is the best all-around bible you can buy 🔗

I will argue that the Westminster Reference Bible in black calfskin published by the Trinitarian Bible Society (TBS) is the best all-around printed bi [...]

The cost of shooting film in 2020 in Canada 🔗

At this point, there is no denying that film photography is enjoying a widespread revival. What I want to do in this article is to go through the cost [...]

The Lord's prayer and the critical text 🔗

Proponents of modern bible translations and the critical text in general argue that the KJV should be abandoned for ecclesiastical use. The two main [...]

Password Management For a More Civilized Age 🔗

It is a universally acknowledged truth that remembering your passwords is a bad idea. The modern Internet user will inevitably be required to registe [...]

William Ames on Preaching 🔗

From his Marrow of Sacred Divinity. Chapter 35. Of ordinary Ministers, and their Office in Preaching ORDINARY Ministry is that which has all its direc [...]

Calvin on the eighth commandment 🔗

“In sum, then, God forbids any attempt to take the goods of others for ourselves, and thus commands us to faithfully preserve for others their propert [...]

John Girardeau, Musical Instruments in the Public Worship of the Church 🔗

epub mobi [...]

On having a standard translation of the Scriptures 🔗

As I have been thinking through the arguments leveled by the advocates of the traditional text of Scripture, a certain irritation with modern bible tr [...]

If novels were formatted like bibles 🔗

Bibles are notorious for being cluttered with all kinds of content besides the actual Word of God. Here is a list of common things: Chapter numbers V [...]

He forgave how much?! 🔗

In Matthew 18:23-35 we find the Parable of the Unforgiving Servant. The story goes like this: a king wants to settle his accounts, and calls to himse [...]

Law of Christ is Equivalent to the Law of the Ten Commandments 🔗

The law of Christ is identical to the law of the ten commandments. Christ did not give another law; Christ gave that law of the ten commandments. To [...]

How to save hundreds of dollars on theology books 🔗

We, as theology nerds, love our books. Especially by authors who have long passed on to glory. And who wouldn’t want to save some money? Here is wha [...]

Is prayer a vibration? 🔗

Recently, I came across an item someone in my Facebook timeline shared. The author was thinking about what prayer is. Here is what it said: Do you p [...]

Red-letter theology 🔗

Several weeks ago, I had a few friends over to our house to watch Les Lanphere’s excellent Calvinist documentary. I assumed this would be their first [...]

Comparing editions of the Institutes 🔗

The way I see it, you have three options when selection an edition of John Calvin’s Institutes of the Christian Religion. The final edition of 1559 tr [...]

My journey to find the best Bible 🔗

… or, ESV Pitt Minion in black goatskin review I have been reading Mark Bertrand’s Bible Design Blog for a few years now. Through his long-form writin [...]

Why the ESV is both excellent and terrible 🔗

In conservative Christian circles, the English Standard Version seems to be the Bible translation of choice. Many Calvinistic and Reformed leaders en [...]

Counting in your head 🔗

I was born and raised in the Czech Republic. I learned to speak English and French in school. When I was 19, I moved out of the country and have bee [...]

Should I finally drop QWERTY? 🔗

For years now, I have wanted to switch my keyboard layout from QWERTY to something more ergonomic. QWERTY was designed to prevent typewriters from ja [...]

Teaching my son about computers 🔗

Just over a year ago, my son Wyatt received his first computer for his sixth birthday. It’s a Raspberry Pi, and he has an old LCD monitor, and a kid- [...]

Best baby advice I ever got 🔗

When I became a father, I didn’t know much about babies. Fatherhood is one of those “learn on the job” situations. With a new infant in the house, o [...]

The Marathon obsession 🔗

This morning, I read a rather click-baity article about the kinds of questions that runners hate answering. Honestly, I don’t know why I clicked it — [...]

Water consumption 🔗

During the 2016 edition of the Super Bowl, Colgate ran an ad highlighting our overconsumption of water during tooth-brushing. The ad is emotinally ch [...]

Internal Clojure libraries 🔗

At work, we have a few Clojure services in production. Each service is its own leiningen project with its own dependencies. And because setting up a [...]

Language choice 🔗

Warning: this is a rant Recently, I have made great progress in my journey towards Haskell enlightenment. I finally see how many of the little pieces [...]

Building a Redis clone in Haskell 🔗

In this post, we will attempt to make a simplified clone of Redis in Haskell. Here is a set of requirements that we will aim to fullfill: get and set [...]

Programming languages in a nutshell 🔗

Python, Ruby concurrency lol packaging lol Golang lol if you don’t like typing err := y u no generics lol imports Haskell need PhD will never be mains [...]

Markdown editors are an anti-pattern 🔗

In the last year or so, there seems to have been an explosion of markdown editors and markdown previewers. A quick Google search reveals so, many of [...]

Single vs Many Programming Languages 🔗

Junior programmers will often ask, “Which language should I use?”, “Which programming language is the best?”, and when they discover this new hip prog [...]

How to use piggieback in vim-fireplace to hack cljs 🔗

(That’s quite a title, isn’t it?) If you’re using vim to write Clojure code, chances are that you’re using Tim Pope’s vim-fireplace plugin. It’s real [...]

Lisp parentheses 🔗

Perhaps the number one reason why people are afraid to try Lisp or don’t like it is the huge amounts of parentheses cluttering up the code. It’s said [...]

Masterless Saltstack 🔗

This is a simple guide on how to use Saltstack, the configuration manager, in masterless mode. In most scenarios, you will use a Saltstack master to [...]

How to compile vim 🔗

… from source when you’re using the homebrew-provided Python. If you have installed Python via homebrew, your vim will compile fine but when a plugin [...]

How I back up my laptop 🔗

For the longest time, I was using Time Machine to keep copies of my files. I don’t remember ever wishing I could go back in time and retrieve an olde [...]

When HN gets in the way 🔗

Reading stuff online can become addictive. So addictive, in fact, that it can negatively affect your productivity as a programmer. Most of us go to [...]

Duplicate Bible verses 🔗

The text of the ESV was used. Number of verses that appear more than once: 235 (i.e. the number of list items below). Genesis 36:41, 1 Chronicles 1:52 [...]

Bible verses by length 🔗

Text used: ESV. From shortest to longest. John 11:35, Job 3:2, Numbers 31:33, Numbers 31:44, Luke 20:30, Numbers 31:34, 1 Thessalonians 5:16, 1 Chron [...]

I hate your code 🔗

When starting to work on an existing codebase, I often find myself in a state of despair. The code doesn’t make any sense, the programmers must have [...]

Who are the weak Christians? 🔗

When you look around you while sitting in a church service, you will generally have a sense of who is who. You know who the nice people are, who the [...]

Text editor UI 🔗

What I don’t understand is: why should you ever care how your editor looks, unless you’re trying to win a screenshot competition? The primary factor [...]

Google plus adoption 🔗

Google+ has been the target of numerous jokes in the tech community. Many blogs claim that adoption has been minimal and that the product isn’t appea [...]

Building a Lisp to Javascript compiler 🔗

In this post, I’m going to show you how I made a Lisp to Javascript compiler. I really enjoy programming in Clojure but have often thought that the JV [...]

Software Engineering Interviews 🔗

If you find yourself interviewing for a software engineering position today, you can be 90 percent sure that you will be asked to solve some programmi [...]

International families 🔗

I’m from the Czech republic. My wife is from Canada. We got married in Canada. Our son was born in the United Kingdom. Our daughter was born in Ca [...]

Calvin on predestination 🔗

Book 3, chapter 23 When Paul declares that we were chosen in Christ before the foundation of the world (Eph. 1:4), he certainly shows that no regard i [...]

Haskell vs Clojure syntax 🔗

Clojure has virtually zero syntax. What I mean by that is that all structures look the same: the first item in a list is the function and the rest ar [...]

Canada is a schizophrenic country 🔗

I have now lived in Canada for over two years and there are some things that Canadians can’t seem to make up their mind on. Spelling Canadian spelling [...]

10 chapters 🔗

You get through the less glamorous parts while still being nourished. It’s not a read-your-bible-in-a-year plan. It’s more of a plan for reading the [...]

Gender inclusive language 🔗

In a recent sermon at our church, a pastor student said to us that we are no longer able to say that Jesus will make his disciples fishers of men. Rat [...]

Mutt sidebar labels 🔗

The sidebar in Mutt is useful if you have multiple email accounts and want to switch between them quickly. It shows you each inbox with a number of u [...]

Haskell Strings 🔗

It continues to amaze me how bad Haskell is at processing strings. One of the reasons I wanted to learn Haskell was to be able to write short, dynami [...]

On Learning Clojure 🔗

Prefix notation I’m a big fan of the prefix notation. It makes everything appear the same (if-statements, function calls , etc). I like how it remov [...]

Large Javascript Application Tips 🔗

This post isn’t going to tell you that you should use MVC to structure your application. It isn’t going to tell you which framework to use. It’s not [...]

Why you should use Heroku for your next start-up 🔗

You are a ninja-rockstar developer with a billion dollar idea. You write Ruby and Javascript. You like BDD, responsive design, HTML5 and node.js. Y [...]

How I use git 🔗

Recently, I have noticed that there are quite a few wrappers around git to give you a nicer interface to work with. The new commands promise to be ea [...]

Standing desk - first impressions 🔗

I have recently switched jobs and had to set up a home office. I have heard a lot of good things about standing desks and thought this was the perfec [...]

How Rackspace deleted my server 🔗

I have been with Rackspace for a while now and never had problems. The server has been fast and responsive and their prices are great. However, what [...]

Remap CapsLock to something useful 🔗

Arguably, CapsLock is the most useless key on your keyboard. I honestly can’t remember the last time I had a real use for it. If are a programmer, you [...]

How not to depend on PyPI 🔗

When deploying a Django application, you often use a requirements.txt file that contains a list of the application’s dependencies. During deployment, [...]

Disrupt the multiple-gmail space 🔗

We all know that Gmail is the best email provider out there. It’s in the browser, it’s all ajaxy, you never delete anything, your emails are cleverly [...]

Upgrading your Django media files to use a CDN 🔗

I was using django-filebrowser on a project and my Rackspace VM quickly ran out of disk space. Since the site isn’t getting much traffic at all, I did [...]

Inerrancy 🔗

As evangelical Christians, we believe in what is called the inerrancy of the Bible. This means that we believe that the Word of God contains no mistak [...]

Writing Node.js modules 🔗

To say that node.js has enjoyed a great deal of positive publicity in the last few months would most certainly be an understatement. New node.js-relat [...]

Interpretation mistakes 🔗

Many people today who claim to be and likely are sincere followers of Jesus Christ aren’t properly educated in the discipline of biblical exegesis and [...]

Programmers and sore eyes 🔗

Under normal circumstances, the human eye should blink about once every 5 seconds. When you stare at an LCD screen all day long, the blink interval ge [...]

Data-driven javascript applications 🔗

Over the last few weeks, I have been trying to think of a way to design medium to large client-heavy web applications. There are many projects and ide [...]

On why we lack mature Christians 🔗

The leadership in the local church is often made up of very incompetent people. I don’t mean incompetent in the sense that they can’t lead. I mean in [...]

Steve Jobs and Richard Stallman 🔗

Today, news broke about Richard Stallman’s comment on Steve Job’s death. The news of the giant’s passing has stirred up a wave of emotions ranging fro [...]

On heaven and boredom 🔗

One of the complaints many atheists raise against becoming a Christian is the fact that heaven will be boring. They have in their minds this idea of u [...]

Bible translations and the Christian life 🔗

There are many English translations of the Bible. They were all made for different audiences. They employ different translation techniques. Each Chris [...]

Using Chef with small Django apps 🔗

This year at DjangoCon, it seemed like everybody was talking about automatic deployments and namely Chef. After coming home from the conference, I spe [...]

Google APIs - Y U NO WORK 🔗

Recently, at SheepDogInc, I have been working with various Google APIs, especially the Calendar API. The state of these APIs is rather unfortunate. Go [...]

DjangoCon 2011 Take-Aways 🔗

My employer, SheepDogInc, sent me and a colleague of mine to DjangoCon 2011. It was my first developer conference and I had a blast. Here a few quick [...]

The pre-GPS world 🔗

When I was a kid, our family used to travel a lot. I grew up in central Europe and over the years, we visited most of continental Europe. This was in [...]

Why I love reStructuredText 🔗

A lot of geeks are using Markdown as their markup generation tool today. It’s simple, effective and used everywhere. It allows you to focus on your co [...]

On prayer and the closing of the eyes 🔗

Virtually every Christian has been taught that prayer is when you talk to God with your eyes closed. We tell our children, “Close your eyes and we wil [...]

What is a blog? 🔗

I have noticed that many people don’t know what a blog is, so I would like to talk about that briefly. A blog is a type of website or part of a websit [...]

Why I don't like the Ruby community 🔗

I write Python and Javascript code. I use Django and jQuery. And I cringe every time I have to run gem install x. I only have a limited understanding [...]

The best IDE 🔗

I have tried dozens of code editors, text editors and IDEs. I have carefully weighed the pros and cons of each. I have studied features, extensibility [...]

Scalability and feet and asses 🔗

I love talking about scalability. Everyone has their own opinion, their own way of performing benchmarks and their own conclusions. And we all know th [...]

Install Ruby gems into virtualenv 🔗

You are a Python developer and every time you have to install a Ruby gem you throw up in your mouth a little. Wouldn’t it be nice if you could install [...]

Deploying Django with nginx and gunicorn 🔗

The amazing Django documentation recommends that you use Apache and modwsgi to deploy your webapp. While this is certainly not bad advice, you may not [...]

The importance of git rebase 🔗

Git isn’t just something you have to put up with when working with other developers. Git is a wonderful tool that allows you to manage your code, its [...]

The modern web developer and open source licenses 🔗

The world of open source is full of wonders. People write code for free and make it available for free for anyone to use. If you write a quick little [...]

Virtual machines for Django developers 🔗

Vagrant is a tool for building and distributing virtualized development environments. It’s based on VirtualBox VMs. This article describes how this Ru [...]

Why you should be using CoffeeScript 🔗

I’m sure you’ve heard of CoffeeScript. Everyone is talking about it, it seems. It’s a beautiful language with a simple syntax that you use to write Ja [...]

The latest greatest technology 🔗

I just found an interesting quote by Thomas Fuchs, the creator of script.aculo.us and a core member of the Prototype team. The quote is from his Setup [...]

JSLint syntax checker for vim 🔗

Douglas Crockford’s JSLint script is almost a golden standard when it comes to checking the syntax and general sanity of your javascript files. Being [...]

The Irrationality of Being an Apple Fanboy 🔗

It continues to amaze me how much people devote themselves to Apple products. Every time the fruit company releases a new product, people line in fron [...]

7 ways Github has changed the open source world 🔗

As the guys at the changelog say, the world of open source is changing fast and you have to keep up. I believe that Github has been very influential w [...]

How To Convert Vim Colorschemes To Pygments Themes 🔗

Recently, I have grown to love Pygments. It gives you syntax highlighting in the browser without heavy Javascript files. It supports just about any pr [...]

Why Nokia chose Windows over Android 🔗

Today, we have all heard about the new deal struck between Nokia and Microsoft. It is a major change in Nokia’s strategy which will without a doubt af [...]

How My Website Works 🔗

I’m sure you’ve heard of static site generators like Jekyll (Ruby) or Hyde (Python). The benefits are obvious - your site is hosted on a cheap shared [...]

Android Development disappointments 🔗

The Android platform is the latest buzz in the smartphone world. I have previously written on why I prefer Android over iPhone. In this article, we wi [...]

Apple Finally Catches Up To Linux 🔗

Apple recently unveiled their newest venture. It’s called the App Store, and I’m sure you’ve heard of it. It’s a place on your computer that lets you [...]

How Money Is Made Online 🔗

My friends of the non-geek type often ask me how companies like Facebook can make so much money and provide their service for free at the same time. H [...]

Why I Chose Android 🔗

Recently, we have heard that the Android operating system has the largest market share in the US, and is set to take over the whole world. Personally, [...]