11 votes

Is it possible to subclass Lock() objects in Python? If not, other ways to debug deadlock?

python multithreading oop thread-safety deadlock asked Jul 21, 2011 at 18:08

stackoverflow.com

10 votes

Can I use OverlappingInstances to get nicer error messages?

haskell ghc typeclass generic-programming overlapping-instances asked Nov 21, 2015 at 7:23

stackoverflow.com

10 votes

Parsec: Getting start and end source positions of expressions?

parsing haskell ghc parsec parser-combinators asked Mar 18, 2016 at 7:21

stackoverflow.com

10 votes

Agda-like programming in Coq/Proof General?

coq agda dependent-type proof-general coqide asked Jan 24, 2017 at 19:55

stackoverflow.com

10 votes

What algorithms exist for solving natural number linear systems?

algorithms reference-request linear-algebra integers knapsack-problems asked May 29, 2014 at 16:02

cs.stackexchange.com

10 votes

Is it possible to use tikzmark inside minted?

tikz-pgf minted code tikzmark asked Jan 14, 2016 at 1:47

tex.stackexchange.com

10 votes

What does it mean to say that a language is "effectively closed" under an operation?

formal-languages terminology computability automata closure-properties asked May 9, 2013 at 19:51

cs.stackexchange.com

9 votes

How do I make an exact copy of a table, but keep its number for referencing?

tables cross-referencing numbering asked May 23, 2013 at 18:32

tex.stackexchange.com

9 votes

How to refer to the number of an item in an enumerate environment inside a theorem

cross-referencing numbering amsmath theorems enumerate asked May 23, 2013 at 17:56

tex.stackexchange.com

9 votes

Golang: print struct as it would appear in source code

serialization go struct code-generation pretty-print asked Dec 5, 2016 at 17:25

stackoverflow.com