csaba_hruska Profile Banner
Csaba Hruska Profile
Csaba Hruska

@csaba_hruska

Followers
1K
Following
2K
Media
99
Statuses
973

I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧

Joined August 2016
Don't wanna be here? Send us removal request.
@csaba_hruska
Csaba Hruska
5 years
If you like my work please support me on Patreon. https://t.co/cnICbqhc12
0
9
16
@csaba_hruska
Csaba Hruska
2 years
I'm trying to locate a memory leak with GHC tooling. I want to see how far I can get. I also want to experience its convenience. If I get stuck then I'll switch to my custom tooling as an extension.
1
0
8
@csaba_hruska
Csaba Hruska
2 years
I did not know about the rr-project. You can record and replay native program execution. This project is a great source of inspiration for debugger developers. https://t.co/3pmP1eJ7EA
2
3
12
@csaba_hruska
Csaba Hruska
2 years
I think Gephi has a maximum canvas size
0
0
0
@csaba_hruska
Csaba Hruska
2 years
0
2
15
@csaba_hruska
Csaba Hruska
2 years
Work in progress Haskell debugger with integrated heap graph visualization #Haskell #VSCode #Gephi
5
28
196
@csaba_hruska
Csaba Hruska
2 years
What was your method to learn GHC RTS codebase?
1
1
5
@smarr
Stefan Marr
2 years
An Introduction to Interpreters and JIT Compilation https://t.co/KF7sYb8cxH Last week, I attended PLISS and had great time. In my own lectures, I talked, probably unsurprisingly, about how one can build interpreters, and how JIT compilation works. 😀 Slides in the blog post.
stefan-marr.de
Lectures on programming language interpreters and just-in-time compilation
5
90
401
@csaba_hruska
Csaba Hruska
2 years
Initial result: External STG Interpreter shows current program point on Haskell source code
3
14
97
@csaba_hruska
Csaba Hruska
2 years
Check this excellent talk from Ben Gamari to get and overview of GHC RTS https://t.co/XcKmxThBsp
1
2
16
@csaba_hruska
Csaba Hruska
2 years
Does Haskell have fellow FP language and community? Or are other Haskell like languages viewed as alien competitors?
7
1
8
@csaba_hruska
Csaba Hruska
3 years
What is the future of Haskell and GHC?
6
0
19
@csaba_hruska
Csaba Hruska
3 years
It would be great to have a Haskell EDSL like specification of GHC native RTS internal C structures. It would make easy and safe to develop native RTS tools. i.e. whole RTS state snapshot I/O
1
0
11
@csaba_hruska
Csaba Hruska
3 years
I plan to check feasibility of the bidirectional state conversion between the native Haskell RTS and External STG Interpreter
1
0
1
@csaba_hruska
Csaba Hruska
3 years
AFAIK ghc-debug can not decode all closure types. (right?) So I plan to make an experiment manually, I'd like to modify the GHC RTS GC to dump the whole heap to a file during the traversal and then analyse it with custom offline tools.
2
0
1
@csaba_hruska
Csaba Hruska
3 years
I think it would be worthwhile to have quickcheck tests for GHC native RTS. I'd expect to find lots of bugs in complex C code.
1
0
7
@csaba_hruska
Csaba Hruska
3 years
Does your editor support Debug Adapter Protocol?
0
0
0
@csaba_hruska
Csaba Hruska
3 years
I've implemented STM primops in the External STG Interpreter. Now I'm using the STM tests from GHC test suite to iron out the bugs.
1
5
21
@csaba_hruska
Csaba Hruska
3 years
The best software development environment I've ever seen: https://t.co/fDP9M3djuq
1
4
14
@csaba_hruska
Csaba Hruska
3 years
Do you use Compact Regions GHC Haskell feature?
8
3
12
@csaba_hruska
Csaba Hruska
3 years
IMO the biggest problem with GHC is that it was designed by researchers and not engineers. It is not built from reusable components, instead everything is overspecialized for one use case. Engineers care about future use cases too!
1
0
10