Jyothsna

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

[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

[Fermat's Library @fermatslibrary]

A visual proof that
1/4 + 1/4² + 1/4³ + ... = 1/3

⚪⚪⚪⚪⚪⚪⚪⚪
⚪⚫⚪⚪⚪⚪⚪⚪
⚪⚪⚫⚫⚪⚪⚪⚪
⚪⚪⚫⚫⚪⚪⚪⚪
⚪⚪⚪⚪⚫⚫⚫⚫
⚪⚪⚪⚪⚫⚫⚫⚫
⚪⚪⚪⚪⚫⚫⚫⚫
⚪⚪⚪⚪⚫⚫⚫⚫

[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.

https://t.co/mkysU8qOU5

[Javier Neira @jneira]

This is a @eta_lang project using Haskell and Gradle, to build a Mock server to be used for Rest connector calls https://t.co/W6X8739WdS

[Jyothsna @jyothsnasrin]

Work in progress of @eta_lang ‘s overloaded dot operator to make Java interaction more smooth.

[Jyothsna @jyothsnasrin]

We are @oredev this evening. @rahulmutt talking about Safe Interaction with Java via @eta_lang ‘s FFI.

[Jyothsna @jyothsnasrin]

. @oredev has incredible energy! Started the day with this talk on Biohacking by Elsa Sotiriadis.

[Eric Torreborre @etorreborre]

My thoughts on the "state of Haskell 2018 survey" https://t.co/ZazG2dBDrF

[Jyothsna @jyothsnasrin]

@yyadavalli Yes, it was. The videos should be out in sometime.

[Jyothsna @jyothsnasrin]

My slides for @eta_lang :Rise of Pure FP on the JVM presented at @CodeMeshIO are up!

https://t.co/WBWvw0iPrf

[Jyothsna @jyothsnasrin]

@jneira Thanks. It was a good experience but definitely lots of room for improvement 😊

[Jyothsna @jyothsnasrin]

Codemesh kicks off with Carl Hewitt’s keynote! #CodeMesh

[Λ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: https://t.co/rVPEanWedi #Kotlin

[Gigasquid @gigasquid]

Clojure code deployed at Netflix handling trillions of events - no big deal :) https://t.co/lRupEaclJx

[nick - @NeoHaskell ⏩ @NickSeagull]

I just uploaded my slides for the #LambdaWorld @eta_lang talk I gave: https://t.co/DJpv4MxJJT (colors and font are not the same, but 🐻 with me)

[Tom Warren @tomwarren]

IBM has acquired Red Hat in a $34 billion deal https://t.co/UnB49kyYIt

[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! 👋

[gabby @GabriellaG439]

Here's a new post I wrote introducing some basic Haskell concepts and idioms in the context of a small program:

https://t.co/01YrQPXCDE

[gabby @GabriellaG439]

Haskell job related to Ethereum in Denver (remote is an option):

https://t.co/4ikeHqp5tv

[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. https://t.co/xtlEMNND92

[TechCrunch @TechCrunch]

The speed to liquidity for Chinese companies is astounding https://t.co/gflT5CX59r