Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
TeX - LaTeX
user avatar
user avatar
user avatar
Blaisorblade
  • Member for 11 years, 8 months
  • Last seen this week
Profile Activity
Stats
621
reputation
363k
reached
6
answers
8
questions
Communities
View all
About

Researcher in functional (and object-oriented) programming languages and their theory, especially Scala. Currently working in industry on machine-checked proofs of functional correctness for concurrent imperative programs.

Ex Linux kernel programmer, Scala/Java/Haskell/C/C++/Java developer.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
26
bronze badges
Top tags
View all tags
16
Score
3
Posts
21
Posts %
16
Score
2
Posts
14
Posts %
16
Score
1
Posts
7
Posts %
16
Score
1
Posts
7
Posts %
4
Score
2
Posts
14
Posts %
4
Score
2
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
16
Small Caps and Bold Face
Aug 17, 2017
question
10
How is floating-point arithmetic implemented in TeX
Jul 26, 2017
question
6
NewDocumentCommand-defined command in bookmark
Nov 7, 2013
answer
5
What best combination of fonts for Serif, Sans, and Mono do you recommend?
Aug 24, 2017
question
5
Conflict between ifxetex and ucs under pdflatex/xelatex - why?
May 8, 2013
answer
4
What is the difference between \let and \edef?
Jul 26, 2017
answer
4
Formatting back references in bibliography [BibTeX]
Jul 28, 2017
question
2
babel secondary languages cause conflicts due to shorthands
Aug 10, 2017
question
1
tcolorbox package: How to reuse/extend tcbhighmath default settings
Jul 31, 2020
question
1
AucTeX: run latexmk + viewer in one command
Apr 2, 2014
Top Meta posts
1
0
16
A website-importing clone
Top network posts
View all network posts
63
atomic operation cost
56
Realizability theory: difference in power between Lambda calculus and Turing Machines
37
What are the disadvantages of the Spirit parser-generator framework from boost.org?
26
What to do with an overtly exasperating colleague in computer science?
26
Random Restarts with "Sleep Wake Failure" error on Mavericks

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.