Coder Social home page Coder Social logo

thock's Introduction

thock's People

Contributors

dedifferentiator avatar raphaunix avatar rmehri01 avatar soywod avatar ungatz avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar

thock's Issues

Formatting of the project

I'm currently trying to understand the code and I think it lacks a bit of formatting. I manually formatted one file, and if you like it and wouldn't mind, then I could format the others as well.
But in general, there are the following options:

  • Choose formatter (although I personally like none of them), optionally add it to CI (didn't see any, probably it will mean to write own github action) and format files on push/PR
  • I'll reformat code and we'll have just to keep up with style
  • Everything is fine, leave the things as they are

P.S. the project is amazing :)

ConnectionClosed when joining a room

I have a issue when I try to join a room, I get this error:

thock: /usr/lib/libtinfo.so.6: no version information available (required by thock)
thock: ConnectionClosed

Awesome project dude anyway!

inline feedback?

Thanks for this cool project - I like it.

I am not a very fast typist and maybe you already tried this, but I wondered if it might be useful
to have (a mode where) the input overwrite(s) the text rather than appearing in the box below.
I basically don't look down at the input box, so to me overwriting would seem more useful,
giving more immediate feedback

Addition of Thock to Brick README?

Hi, I'm the author of brick and I came across your project on Twitter. It's super cool and I was wondering if you would be okay with me adding it to the Brick README's list of featured projects.

Reduce binary size

For a cheap 3x reduction, add to stack.yaml:

ghc-options:
  "$everything": -split-sections

Throw in upx -9 for extra 5x shrinking.

Quotes are not random when playing online

When playing offline, the random works well. But online it seems to be the same quote coming over and over again:

You should just get a van. With a van, it's like you've got an MBA - but you've also got a van. You're not just a man anymore. You are a man with a van. If you get a van, Jez, we could be men with ven.

Recomended GHCI version

What is the most suitable version of ghci/stack to compile and run this project?
I am having issues at
Version 2.11.1, Git revision c1167a6abc3f4978ccded5ba0246a57387da0e2f x86_64 hpack-0.35.2
The Glorious Glasgow Haskell Compilation System, version 9.4.5

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.