Joachim Breitner

Karlsruhe, Germany

http://www.joachim-breitner.de/

top accounts reputation activity subscriptions

Find the location of a systemd unit file service

systemd asked May 18, 2015 at 14:56

serverfault.com

64 votes

What goes wrong when using git worktree with git submodules

git git-submodules git-worktree asked Aug 7, 2015 at 7:25

stackoverflow.com

38 votes

Expected outcome for repeated dice rolls with dice fixing

probability dice dynamic-programming asked Jan 24, 2015 at 23:14

math.stackexchange.com

30 votes

Given a git commit hash, how to find out which kernel release contains it?

linux linux-kernel git source asked Aug 9, 2012 at 7:41

unix.stackexchange.com

24 votes

How to protect myself from a gzip or bzip2 bomb?

python security gzip bzip2 asked Nov 29, 2012 at 9:35

stackoverflow.com

24 votes

How to search for an existing theorem in Lean?

lean asked Feb 11, 2022 at 17:23

proofassistants.stackexchange.com

21 votes

How do I take the last n elements of a list

list haskell asked Jun 22, 2013 at 16:26

stackoverflow.com

21 votes

\goodbreak vs. \pagebreak

page-breaking asked Dec 15, 2015 at 9:50

tex.stackexchange.com

19 votes

Is Ultimate Tic Tac Toe solved?

combinatorial-game-theory tic-tac-toe ultimate-tic-tac-toe asked Jul 15, 2013 at 13:47

boardgames.stackexchange.com

19 votes

How can all functions be total in Isabelle?

isabelle total hol asked Feb 9, 2022 at 8:56

proofassistants.stackexchange.com

Top Answers

161

Find the location of a systemd unit file service

serverfault.com

What is a shrink, with regard to Haskell's QuickCheck?

stackoverflow.com

Why does this Haskell code run slower with -O?

stackoverflow.com

\pause in tikzpicture breaks footline

tex.stackexchange.com

Using Emoji in Haskell

stackoverflow.com

Alternative to the tee command without STDOUT

superuser.com

Why can't Haskell be tricked into performing IO operations by using strict evaluation?

stackoverflow.com

How much memory does a thunk use?

stackoverflow.com

Is it possible to export constructors for pattern matching, but not for construction, in Haskell Modules?

stackoverflow.com

How to add a changelog to a Cabal package?

stackoverflow.com

Extend page "width" or "margin" for todonotes comments or other package comments to sit in

tex.stackexchange.com

Can a thunk be duplicated to improve memory performance?

stackoverflow.com

Is there a default polymorphic unit type haskell

stackoverflow.com

Do I need to bother with INLINE/INLINABLE pragmas for small, exported, functions, or will GHC do it for me?

stackoverflow.com

Call main function with arguments

stackoverflow.com

Haskell: 'do [1,2,3]; ["hello"]' behavior clarification

stackoverflow.com

Why does foldr use a helper function?

stackoverflow.com

Irrefutable pattern does not leak memory in recursion, but why?

stackoverflow.com

How does haskell determine the order of type variables in implicit foralls?

stackoverflow.com

How can all functions be total in Isabelle?

proofassistants.stackexchange.com

Haskell packages - dependency tree

stackoverflow.com

Puzzling memory behavior in Haskell

stackoverflow.com

Why would using head/tail instead of pattern matching make evaluation terminate?

stackoverflow.com

GHC pipeline: Core, STG - ASTs or text?

stackoverflow.com

Can I differentiate between typeclass instances at runtime?

stackoverflow.com

Display function types in Haskell

stackoverflow.com

In Lean, why is the exact tactic necessary when the goal is the same as a hypothesis?

proofassistants.stackexchange.com

What does the "motive is not type correct" error mean in Lean?

proofassistants.stackexchange.com

How to parse an Integer with parsec

stackoverflow.com

GHC does not generate a binary despite no errors shown

stackoverflow.com