Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
In the second part of his modal logic series,
@p_morphism shows how modal logic is connected with topology, foundations of mathematics, and computer science: https://serokell.io/blog/rapid-introduction-to-modal-logic-2?utm_source=twitter&utm_medium=social&utm_campaign=ml2 …pic.twitter.com/tqdDLhzK0x
-
Today is the start of an amazing week of
#WebSummit19 in Lisbon, Portugal. Whatever happens, it looks like Arseniy and Roman are ready.pic.twitter.com/bjOFni01nk
-
Great one as always,
@nixconf! If you want to hear our developer Lars Jellema talk about developing nixfmt (and other nice talks as well), you can watch the recording of the livestream here: https://youtu.be/aUG9aGYYCY8?t=5596 …pic.twitter.com/EvtvtHvKGE
-
Is Haskell the future of Tezos? See the slides from our
#tquorum presentation: http://serokell.io/tquorum pic.twitter.com/jZ7dqbbkkN
-
Cheer up,
@IOHK_Charles, what you’ve started is fantastic. Congratulations on the second anniversary of Cardano!pic.twitter.com/DpXSnKS13l
-
What is the place for Dependent Haskell in the future of high-assurance software development? Read this article by
@int_index to find out: https://serokell.io/blog/why-dependent-haskell …pic.twitter.com/9RIt9qZf0y
-
Searching for something to do on the weekends? Mountain biking, tube amplifiers, StarCraft - our employees share their hobbies in this wonderful series: https://serokell.io/blog/remote-workers-hobbies …pic.twitter.com/BcB2tfPnUc
-
Want to learn Haskell? We have compiled a list of resources to help you start and push you along the way. From entry-level books and courses to blogs and podcasts - we’ve got everything covered. Check out our list: https://serokell.io/blog/learning-haskell …pic.twitter.com/oepiz4ro1C
-
Have you ever wanted to learn more about Agda and formal verification? Perhaps it’s time. Jump straight into Agda theorem proving with @CartesianClosed: https://serokell.io/blog/agda-in-nutshell …pic.twitter.com/EZ0W8rwTEK
-
Hey there! We’re searching for a remote Site Reliability Engineer for work with Nix. More info: https://www.reddit.com/r/NixOS/comments/czleru/job_serokell_is_hiring_nix_devops_engineers/ …pic.twitter.com/YcAGIJawne
-
Searching for a master of written word! If you are a copywriter that is well versed in writing, proofreading and content management, and would like to work on making complex technical things simpler to understand, we might have a spot. Read more: https://www.notion.so/serokell/Copywriter-wanted-ad213e24342b4117bdcefbdbd9776194 …pic.twitter.com/6cGUhVsisJ
-
What can be better than a speech about the Michelson tooling? We don’t know either. Less than in a hour our colleagues Ilya and Roman will bring this much joy for an ears at the
#TQuorum. Good luck fellows!pic.twitter.com/IRwszA827q
-
Which of the currently available Haskell matrix and numerical libraries are the most useful for machine learning? Find the answer in our blog post: https://serokell.io/blog/dimensions-and-haskell-introduction …pic.twitter.com/TnUaNGsfHY
-
Remote work isn’t all sunshine and rainbows. Learn how our employees tackle its challenges: https://serokell.io/blog/survive-remote-work …pic.twitter.com/PvbJ6pKrjj
-
Embedded DSL is a popular technique for encoding domain specific languages into Haskell’s type system. Want to see how we use it to create Tezos developer tools? Read this blog post by George Agapov: https://serokell.io/blog/parsing-typed-edsl …pic.twitter.com/dZeusGrUBd
-
We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as
@skillsmatter,@composeconf , and@Lambda_World. Take a look and plan your trip! https://serokell.io/blog/best-haskell-conferences …pic.twitter.com/VrhWvKwUNf
-
We are searching for a Senior Elixir Engineer for work on awesome web applications! Remote work, exciting projects, creative chaos — we’re not your usual consulting company. Want more info? Check out the full description on our Facebook: https://www.facebook.com/serokell.io/photos/a.1515510168542646/2314146455345676/?type=3&theater …pic.twitter.com/YhcjRdSrIR
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.