Engineer's Journey

From Master to Journeyman

Skip to content
  • Home
  • About author
  • Hy-Cuisine
  • Projects
Search

haskell

Playing with Coq

2020-04-102020-04-10 / tuturto / Leave a comment

Coq is interactive theorem prover, that I have been playing around a bit recently. This blog post shows how very basic function can be defined in Coq and then moved over to Haskell.

Continue reading →

How I learned difference between getStdGen and newStdGen

2019-11-242019-11-24 / tuturto / Leave a comment

I have been working on random values recently and learned an important difference between getStdGen and newStdGen.

Continue reading →

ABC – Always Be Coding

2019-04-06 / tuturto / Leave a comment

I haven’t written anything here in a long time, but I’m still around and hacking. I even got a new pet project (sort of) to work on.

Continue reading →

Deep Sky

2018-08-152018-08-15 / tuturto / Leave a comment

A new season, a new project, just likely old times.

Continue reading →

Planetary Orbits and Haskell

2018-06-29 / tuturto / Leave a comment

Seems like every couple years I end up writing a program to calculate planetary orbits. This time I chose to use Haskell.

Continue reading →

Space Privateers and LambdaHack

2017-09-152017-09-11 / tuturto / 2 Comments

LambdaHack is game engine library for roguelike dungeon crawlers, written in Haskell by Mikolaj Konarski and Space Privateers is a game that I wrote using that library.

Continue reading →

Finally, monads

2017-05-022017-04-25 / tuturto / Leave a comment

The 12th and last lecture of CIS 194 went through monads, which was rather logical after previously covering functors and applicative functors. These three subjects formed a nice progression, which culminated on this lecture.

Continue reading →

Functors and applicative functors

2017-04-272017-04-27 / tuturto / Leave a comment

Chapters from 9th to 11th in CIS 194 formed nice bundle of related lectures, so I tackled them as a group.

Continue reading →

Interacting with the world

2017-04-222017-04-16 / tuturto / Leave a comment

8th lecture of CIS194 finally explained how to interact with outside world. Up to this point I have either written stand alone functions or integrated them with pre-existing solution that did the interaction with files.

Continue reading →

Monoids, monoids everywhere

2017-04-142017-04-12 / tuturto / Leave a comment

While lecture 7 of CIS194 was named Folds and Monoids, the focus was on monoids (folds had been covered earlier). While the wikipedia page might look overwhelming on a first sight, monoids can be tackled with some reading and practice.

Continue reading →

Posts navigation

← Older posts

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Join 92 other subscribers
Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
  • Follow Following
    • Engineer's Journey
    • Join 92 other followers
    • Already have a WordPress.com account? Log in now.
    • Engineer's Journey
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar
 

Loading Comments...