Jyothsna

823 posts

Jyothsna

Jyothsna

@jyothsnasrin

Co-founder and CEO at @typelead. Working to invent the next software development era with @eta_lang

Katılım Eylül 2015
154 Takip Edilen761 Takipçiler
Sabitlenmiş Tweet
Jyothsna
Jyothsna@jyothsnasrin·
We've been working on error messages that are more human and personalized for @eta_lang. Thank you @elmlang and @unisonweb for the inspiration. The new out of scope error is shown below in a tweet thread. 1/3
Jyothsna tweet media
English
14
47
191
0
Jyothsna retweetledi
Fermat's Library
Fermat's Library@fermatslibrary·
A visual proof that 1/4 + 1/4² + 1/4³ + ... = 1/3 ⚪⚪⚪⚪⚪⚪⚪⚪ ⚪⚫⚪⚪⚪⚪⚪⚪ ⚪⚪⚫⚫⚪⚪⚪⚪ ⚪⚪⚫⚫⚪⚪⚪⚪ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫ ⚪⚪⚪⚪⚫⚫⚫⚫
English
60
1.8K
8.5K
0
Jyothsna retweetledi
Eta
Eta@eta_lang·
There's been a request to update the sbt-eta plugin. Please like this issue on GitHub if you want us to bump it up in our priority list. github.com/typelead/sbt-e…
English
0
5
13
0
Jyothsna
Jyothsna@jyothsnasrin·
Work in progress of @eta_lang ‘s overloaded dot operator to make Java interaction more smooth.
Jyothsna tweet media
English
1
9
26
0
Jyothsna
Jyothsna@jyothsnasrin·
. @oredev has incredible energy! Started the day with this talk on Biohacking by Elsa Sotiriadis.
Jyothsna tweet media
English
0
2
7
0
Jyothsna
Jyothsna@jyothsnasrin·
@yyadavalli Yes, it was. The videos should be out in sometime.
English
1
0
1
0
Jyothsna
Jyothsna@jyothsnasrin·
@jneira Thanks. It was a good experience but definitely lots of room for improvement 😊
English
1
0
5
0
Jyothsna
Jyothsna@jyothsnasrin·
Codemesh kicks off with Carl Hewitt’s keynote! #CodeMesh
Jyothsna tweet media
English
0
3
11
0
Jyothsna retweetledi
Λrrow
Λrrow@arrow_kt·
Arrow v0.8.0 is now available! Tons of merged PRs including adding (@)extension towards #KEEP87, Optics state API / reader syntax, new typeclass & constructors, Arrow Playground, new CoMonadic UI datatypes, & more. Read the full release notes here: buff.ly/2AMhXfa #Kotlin
Λrrow tweet media
English
2
50
76
0
Jyothsna retweetledi
The Agile Monkeys
The Agile Monkeys@theagilemonkeys·
We’re at @Lambda_World talking about @eta_lang today, look for the guys with the agile monkeys t-shirts and say hello! 👋
The Agile Monkeys tweet media
English
0
17
39
0
Jyothsna retweetledi
gabby
gabby@GabriellaG439·
Here's a new post I wrote introducing some basic Haskell concepts and idioms in the context of a small program: haskellforall.com/2018/10/detail…
English
4
68
207
0
Jyothsna retweetledi
Paul Graham
Paul Graham@paulg·
If you find yourself saying "I've been waiting for someone to start this startup for years," it's a sign you should. repl.it/site/blog/yc
English
8
78
449
0
Jyothsna retweetledi
TechCrunch
TechCrunch@TechCrunch·
The speed to liquidity for Chinese companies is astounding tcrn.ch/2OiCi3b
TechCrunch tweet media
English
1
34
64
0