Skip to main content
beta's user avatar
beta's user avatar
beta's user avatar
beta
Research Intern at Galois, Inc.
  • Member for 17 years, 3 months
  • Last seen more than a month ago
Profile Activity

Stats

2,580
reputation
167k
reached
14
answers
52
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
24
silver badges
40
bronze badges

Top tags

View all tags
42
Score
7
Posts
11
Posts %
23
Score
18
Posts
27
Posts %
1
Score
3
Posts
5
Posts %
1
Score
3
Posts
5
Posts %
0
Score
4
Posts
6
Posts %
0
Score
4
Posts
6
Posts %

Top posts

View all questions, answers, and articles
31
How do I inspect Vim variables?
Feb 8, 2012
31
Subsumption in polymorphic types
Nov 7, 2014
23
Haskell - Debug Print in if block
Sep 23, 2012
11
Why does gcc place a “halt” instruction in programs after the call to “main”?
Mar 6, 2011
8
Performance of Floyd-Warshall in Haskell – Fixing a space leak
Oct 7, 2013
7
How to send a one-off value using open-telemetry?
Jan 22, 2023
7
Using @AppStorage for string map
Jun 26, 2020
7
Refactoring “staircasing” with case of `Maybe` values in `IO` code
Jan 24, 2015
7
Type checking with RankNTypes in Haskell
Jul 15, 2014
6
Either computations in servant handler
Mar 28, 2018

Top network posts

View all network posts
7
How to submit a talk to a conference – Starting with replying to a Call for Presentations
6
ghc6 install trouble: hGetContents: invalid argument (invalid UTF-8 byte sequence)
6
Typing relations terminology – how do I read typing relations?
5
Extending simple types to allow `fix`
5
Updating types during type inference in a Hindley-Milner type system