haskell Tag Posts Index

Trying ghc #haskell for the first time.

What is Cardano (ADA)?

Cardano was developed by Ethereum co-founder Charles Hoskinson in 2015 and launched in 2017. Hoskinson is also the co-founder of Bitshares. He founded Input Output

Lovelace Academy Conversation with Lars Brunjes - IOHK Director of Education

Here is a Conversation with Lars Brunjes IOHK Director of Education and Maria Carmo and Keith from Lovelace Academy. Lovelace Academy is one of the winners of Project

Elliptic Curves on Finite Fields - Bitcoin & Haskell

When merging the last two posts, I immediately run into serious difficulties. Haskell's type system just made my work harder(well my ignorance did). Until I could

Elliptic Curves - Bitcoin & Haskell

In this series of posts I'm solving the exercises of Programming Bitcoin[1] in Haskell, I'm learning Bitcoin and Haskell in one go. To describe a point in the elliptic

Finite Fields - Bitcoin & Haskell

Bitcoin's price has gone crazy up, and now I'm really responsible for learning it. I found the book Programming Bitcoin[1] by Jimmy Song, it looks good enough to

ADA MakerSpace, a Winner of Cardano Project Catalyst Fund3

Project Catalyst is a Decentralized Innovation Fund in the Cardano ecosystem, where everyone can submit a proposal idea, and in several stages ADA holders vote which

How we created the Vexor cloud continuous integration service

It’s a classic problem of scale. When a company works on several projects simultaneously, it faces a number of difficulties when it comes to continuous integration

Fixed the missing rectangles. Apparently threads in those were so thin they were invisible. But now I miss the effect of threads sticking out.

Non-rectangular images for non-rectangular things. Just learned this cutting edge technology

【Rust日报】 2019-03-14

seed 发布0.3版本 #wasm #seed Seed是一个Rust前端框架，借助wasm可以创建Web App。 Read More 如何让Haskell搜索字符串与Rust一样快 #haskell

Advent of Code day 13 [spoilers]

Day 13 is a simulation of carts on tracks. The track layout is given by an ASCII diagram, like this one: /->-\ | | /----\ | /-+--+-\ | | | | | v | \-+-/ \-+--/

Advent of Code, day 12, in Haskell [spoilers]

Day 12 asks us to implement a cellular automaton. There's a lot of flavor text, but that's basically it. The rules are part of the puzzle; I don't know if they're

Advent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisions

Haskell has a maximum function and it has lazy evaluations of lists. I come from Python that has a max function and list generators. But there turns out to be a

Advent of Code Day 8 [spoilers]

Day 8's puzzle was basically just about parsing a long list of integers correctly, and writing tree-recursive functions correctly. Both are pretty easy in Haskell.

Advent Of Code Day 5 [spoilers]

I completely gave up on solving the Advent of Code problems as they went up, and I'm backfilling the days I missed, which is most of them. Day 5 was the first time

Advent of Code, day 7 [spoilers]

The Day 7 puzzle is about parallel builds. So, just convert your input into a Makefile and solve it with GNU Make! OK, maybe not. I probably could have gotten that

Advent of Code Day 4 [spoilers]

Day 3 and 4 kinda kicked my butt (plus I had work stuff both nights) but I finally finished day 4. It asks us to solve a scheduling problem, and the example even

Advent of Code day 2 [spoilers]

Advent of Code Day 2 asks us to do some string searches. It took me about 40 minutes, and I can't say I'm particularly happy with the results, but it worked. Part

Advent of Code day 1 [spoilers]

I'm doing Advent of Code in Haskell this year, as planned. I warmed up with one of last year's problems so I was able to get started right away at 11pm last night