Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Joachim Breitner
Karlsruhe, Germany
http://www.joachim-breitner.de/
top
accounts
reputation
activity
subscriptions
Top Questions
156
votes
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
1
2
3
4
5
…
8
next
Top Answers
161
Find the location of a systemd unit file service
serverfault.com
69
What is a shrink, with regard to Haskell's QuickCheck?
stackoverflow.com
44
Why does this Haskell code run slower with -O?
stackoverflow.com
41
\pause in tikzpicture breaks footline
tex.stackexchange.com
41
Using Emoji in Haskell
stackoverflow.com
40
Alternative to the tee command without STDOUT
superuser.com
34
Why can't Haskell be tricked into performing IO operations by using strict evaluation?
stackoverflow.com
33
How much memory does a thunk use?
stackoverflow.com
32
Is it possible to export constructors for pattern matching, but not for construction, in Haskell Modules?
stackoverflow.com
28
How to add a changelog to a Cabal package?
stackoverflow.com
22
Extend page "width" or "margin" for todonotes comments or other package comments to sit in
tex.stackexchange.com
20
Can a thunk be duplicated to improve memory performance?
stackoverflow.com
20
Is there a default polymorphic unit type haskell
stackoverflow.com
19
Do I need to bother with INLINE/INLINABLE pragmas for small, exported, functions, or will GHC do it for me?
stackoverflow.com
19
Call main function with arguments
stackoverflow.com
18
Haskell: 'do [1,2,3]; ["hello"]' behavior clarification
stackoverflow.com
18
Why does foldr use a helper function?
stackoverflow.com
18
Irrefutable pattern does not leak memory in recursion, but why?
stackoverflow.com
18
How does haskell determine the order of type variables in implicit foralls?
stackoverflow.com
18
How can all functions be total in Isabelle?
proofassistants.stackexchange.com
17
Haskell packages - dependency tree
stackoverflow.com
16
Puzzling memory behavior in Haskell
stackoverflow.com
16
Why would using head/tail instead of pattern matching make evaluation terminate?
stackoverflow.com
15
GHC pipeline: Core, STG - ASTs or text?
stackoverflow.com
15
Can I differentiate between typeclass instances at runtime?
stackoverflow.com
15
Display function types in Haskell
stackoverflow.com
15
In Lean, why is the exact tactic necessary when the goal is the same as a hypothesis?
proofassistants.stackexchange.com
15
What does the "motive is not type correct" error mean in Lean?
proofassistants.stackexchange.com
14
How to parse an Integer with parsec
stackoverflow.com
14
GHC does not generate a binary despite no errors shown
stackoverflow.com
1
2
3
4
5
6
next
Stack Exchange works best with JavaScript enabled