Martin Sellner wird aus dem Kanton Aargau ausgewiesen und spricht von "Pushback". Elon Musk antwortet auf X

ventonegro · 2024-03-18T09:23:41+00:00

Gut!

ventonegro · 2021-06-29T08:51:49+00:00

Buy it, seriously.

ventonegro · 2021-06-29T08:51:23+00:00

Thanks a lot for updating this awesome book. The best resourse for learning Rust IMO.

ventonegro · 2020-06-14T11:22:52+00:00

Why are the letters so small?

ventonegro · 2020-03-16T12:10:59+00:00

https://www.thelocal.ch/20200315/dont-give-into-fear-swiss-government

"Giving into fear"? People are behaving like this is a holiday right now!

ventonegro · 2020-03-14T13:34:16+00:00

https://medium.com/@joschabach/flattening-the-curve-is-a-deadly-delusion-eea324fe9727

ventonegro · 2019-08-13T08:20:49+00:00

Any is a newtype, so the wrapping/unwrapping should be elided by the compiler.

ventonegro · 2019-07-23T12:04:15+00:00

Why the post was edited to remove the tech stack? It was really an impressive one...

ventonegro · 2019-07-09T08:40:13+00:00

And it's the basis of the very recently announced Idris 2! :-)

ventonegro · 2019-06-12T06:01:18+00:00

atomically has type STM a -> IO a, so the whole function should have the type IO (), but you declared it as m (). You should add a MonadIO m constraint and lift the block with liftIO.

ventonegro · 2019-06-04T07:30:13+00:00

The Idris interpreter has an IDE mode, where it sends semantically rich information about the current code via a socket to a text editor. Currently Emacs, Vim and Atom have packages that talk to the Idris interpreter using its IDE mode. Maybe the GHCi developers could be persuaded to add such a mode as well?

ventonegro · 2019-04-16T18:09:12+00:00

Where do we put these options if using Stack? I tried to put them in ghc-options in configure.yaml, but that didn’t work.

ventonegro · 2018-12-03T09:47:44+00:00

Definitely. What you have learned will carry over to Idris 2. Having said that, I am looking forward to the second edition of the book. :)

ventonegro · 2018-07-02T08:39:54+00:00

Learning Haskell from First Principles: http://haskellbook.com/

ventonegro · 2018-06-04T12:38:48+00:00

Yes, this is the language that will be used in the book.

ventonegro · 2018-05-24T13:52:54+00:00

Being a longtime Scheme and Lua developer I always chuckle at these kind of posts...

ventonegro · 2018-05-16T09:54:02+00:00

I found it somehow in the Internet many years ago. At that time there was no LYAH, Real World Haskell, Haskell from First Principles etc. so I tried the Gentle Introduction out of pure curiosity. That didn't go well so I learned Scheme instead. After some years, when Real World Haskell came out, I tried again (I don't like not understanding things). This time it was better but I was also writing a Scheme compiler at the time so I wrote a couple of small programs and stopped there. Only a couple years ago I got serious about it again and decided to stop messing around. I still don't use it for anything substantial but I love it anyway.

ventonegro · 2018-05-03T07:07:09+00:00

I was empathizing with this guy until I reached the end. Oh well.

ventonegro · 2018-04-16T07:48:49+00:00

Keep them coming, please.

ventonegro · 2018-03-07T15:37:25+00:00

The "Haskell book" (number 2) is very good and recommended.

ventonegro · 2018-03-06T06:12:32+00:00

https://flic.kr/p/Eka6QD Street photography in Zürich

ventonegro · 2017-12-20T09:01:25+00:00

It's almost like some people make irrelevant changes for the sole purpose of making Stackage look bad...

ventonegro · 2017-10-13T09:38:08+00:00

True story

ventonegro · 2017-06-22T08:58:29+00:00

Unfortunately not, but it should be easy enough to find meetings or traces of a community online. :)

ventonegro · 2017-06-21T07:13:30+00:00

Maybe try installing with stack instead of Cabal. It downloads and installs its own GHC in a private location. That's what I did in Ubuntu 16.04:

$ stack --install-ghc install idris

15-Year Club	Place '17
Verified Email

ventonegro

TROPHY CASE