Unix & Linux
Olle Härstedt's user avatar
Olle Härstedt's user avatar
Olle Härstedt's user avatar
Olle Härstedt
  • Member for 5 years, 9 months
  • Last seen this week
Profile Activity
Stats
111
reputation
25
reached
1
answer
1
question
Communities
View all
About

I'm interested in back-end development, compiler techniques and type theory.

I have lots of experience with economical integration and accounting software.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
1
Best way to figure out if a log entry ended abruptly?
Mar 21
answer
0
Best way to figure out if a log entry ended abruptly?
Mar 21
Top network posts
View all network posts
25
Can Coq be used (easily) as a model checker?
19
__memcpy_sse2_unaligned - what does this mean in detail?
15
Why doesn't OCaml support record subtyping?
14
Dependent types in OCaml
9
Using menhir with sedlex

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.