Hacker News
- Rust on the MOS 6502: Beyond Fibonacci https://gergo.erdi.hu/blog/2021-09-18-rust_on_the_mos_6502__beyond_fibonacci/ 39 comments
- Write Yourself a Haskell in Lisp http://gergo.erdi.hu/blog/2013-02-17-write_yourself_a_haskell..._in_lisp/ 13 comments
- A Brainfuck CPU in FPGA http://gergo.erdi.hu/blog/2013-01-19-a_brainfuck_cpu_in_fpga/ 16 comments
Lobsters
- A small benchmark for functional languages targeting web browsers https://gergo.erdi.hu/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers 9 comments haskell , ml , performance , web
- Rust on the MOS 6502: Beyond Fibonacci https://gergo.erdi.hu/blog/2021-09-18-rust_on_the_mos_6502__beyond_fibonacci/ 13 comments rust
- Rust on the MOS 6502: Beyond Fibonacci https://gergo.erdi.hu/blog/2021-09-18-rust_on_the_mos_6502__beyond_fibonacci/ 4 comments programming
- A "very typed" container for representing microcode https://gergo.erdi.hu/blog/2020-09-15-a_'very_typed'_container_for_representing_microcode/ 4 comments haskell
- Solving text adventure games via symbolic execution https://gergo.erdi.hu/blog/2020-08-01-solving_text_adventure_games_via_symbolic_execution/ 6 comments haskell
- ICFP Bingo 2017 https://gergo.erdi.hu/bingo/ 19 comments haskell
- Rust on AVR: Beyond Blinking https://gergo.erdi.hu/blog/2017-05-12-rust_on_avr__beyond_blinking/ 24 comments rust
- Arrow's place in the Applicative/Monad hierarchy http://gergo.erdi.hu/blog/2014-07-12-arrow's_place_in_the_applicative_monad_hierarchy/ 5 comments haskell
- My first computer http://gergo.erdi.hu/blog/2014-03-29-my_first_computer/ 20 comments programming
- Yo dawg I heard you like esoteric programming languages... the Move-Decrement-BranchIfZero computer http://gergo.erdi.hu/blog/2013-10-05-yo_dawg_i_heard_you_like_esoteric_programming_languages.../ 3 comments haskell
- Write Yourself a Haskell... in Lisp http://gergo.erdi.hu/blog/2013-02-17-write_yourself_a_haskell..._in_lisp/ 3 comments haskell
- Write Yourself a Haskell... in Lisp http://gergo.erdi.hu/blog/2013-02-17-write_yourself_a_haskell..._in_lisp/ 30 comments programming
- I see your BF cpu and raise you a ... Brainfuck CPU in FPGA http://gergo.erdi.hu/blog/2013-01-19-a_brainfuck_cpu_in_fpga/ 25 comments programming
- Static analysis with Applicatives http://gergo.erdi.hu/blog/2012-12-01-static_analysis_with_applicatives/ 6 comments haskell
- Static Analysis with Applicatives http://gergo.erdi.hu/blog/2012-12-01-static_analysis_with_applicatives 14 comments haskell
- Developing iPhone applications in Haskell — a tutorial http://gergo.erdi.hu/blog/2011-02-13-developing_iphone_applications_in_haskell___a_tutorial/ 6 comments haskell
- Developing iPhone applications in Haskell — a tutorial http://gergo.erdi.hu/blog/2011-02-13-developing_iphone_applications_in_haskell___a_tutorial/ 13 comments programming
- Linear vs. compositional type checking http://gergo.erdi.hu/blog/2010-10-23-the_case_for_compositional_type_checking/ 10 comments haskell
- Proving compiler properties in Agda http://gergo.erdi.hu/blog/2010-09-06-from_register_machines_to_brainfuck,_part_1/ 17 comments haskell
- MetaFun: Compile Haskell-like code to C++ template metaprograms http://gergo.erdi.hu/projects/metafun/ 21 comments programming
- Compiling a subset of Haskell to C++ template metaprograms http://gergo.erdi.hu/projects/metafun/ 3 comments haskell