Comments (14)
It happened!
Here's the video: https://asciinema.org/a/159730
from sixten.
Hej Dan! Kul initiativ!
I'd love that!
It seems like I'm not free a full weekend until January, so if you'd like to stay for a few days perhaps that's best. When would you like to come?
from sixten.
Januari sounds great! Maybe the weekend 13-14?
from sixten.
Yeah, January 13-14 works for me. You can sleep on my couch if you want. :)
@ehamberg, others: you're welcome to join us!
from sixten.
Would love to take part in a Sixten hackathon at some point, and I'd be happy to host it in the new Blank office in the city centre. However, I'll be travelling all of January, so my egotistical vote is for either postponing it to after 5 February – or doing another one. ;)
from sixten.
Ah, bummer. I wouldn't mind having multiple hackathons, but maybe it'd be more fun to try to do one all together if we can. If we are to postpone to after February 5 it likely can't be until March due to my plans.
Any preferences @danr? Should we still go for the original date above? Otherwise I can set up a doodle and we can see if we can find a date that works for everyone.
from sixten.
I would be happy to come in january and also to crash on your couch :)
I would also be happy to meet you @ehamberg at some point!
from sixten.
Cool, let's do it! :)
from sixten.
Hey Dan,
Sorry to yoyo on this, but something's come up: a close friend's getting married (on a somewhat short notice) and I feel like I have to go. Can we do it the week after, January 20-21?
from sixten.
Hey nemas problemas... That weekend is worse for me, how does January 27-28 look for you? :)
from sixten.
That works! :)
from sixten.
Ok! Let's do it then!
from sixten.
We should do another one! I don't have any travel plans in the near future, so I can hopefully attend the next one. :)
from sixten.
I'm extremely down! Anyone else? Can we lure @danr here again?
from sixten.
Related Issues (20)
- Implement sharing in normalisation HOT 1
- Readd cycle detection for local lets
- Allow passing directories on the command-line
- Implement a file watching command
- Parallel builds
- Improve error reporting
- Document how to use the language server
- Implement type hovering in the language server
- Handle multiple modules with the same name
- Spurious build success when compiling directories with wonky files HOT 1
- Inductively defined flat vectors
- Report error for overlapping patterns
- Dot patterns/forced patterns HOT 5
- Language server support for multi-file projects
- Store relative SourceLocs in AST
- Incremental compilation when using file watching
- Error message for constructor variables implicitly escaping into sizes
- Normalisation by evaluation HOT 18
- Indexed tree example yields weird error message
- Question: Will Sixten support specifying erasure like Idris 2? HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from sixten.