-
Tweets102
-
Followers16
-
Following94
-
Likes2K
If you truly want to work on computational optimization, you need to read this OG blog on how the dispatcher works.
Transactions are a protocol short new post
interfaces can be useful
Você sabia que a @tvglobo também compartilha código aberto no GitHub? Vem conhecer a tecnologia M3U8 por trás das transmissões HTTP Live Streaming (HLS) da @globo. Confira! github.com/globocom/m3u8
We're releasing at softengbook.org two new chapters: Testing (Chapter 8) and Refactoring (Chapter 9). Now, only Chapter 10 (DevOps) is left!
I have made a small repo for tracking heavily illustrated books that use a geometry / image first approach to science / mathematics up here: github.com/prathyvsh/Illu… Would love to hear any feedback / additions on books that I have included / missed out here!
Looking for the best deep learning course? “Introduction to Deep Learning” by Bhiksha Raj (Carnegie Mellon) has got it covered. #deeplearning
This is very good. muratbuffalo.blogspot.com/2024/01/scalab…
This is very good. muratbuffalo.blogspot.com/2024/01/scalab… https://t.co/BTv3BsYVkL
70+ curated distributed systems papers (from mostly the last 2 years) on quite an interesting variety of topics. Really nice.
70+ curated distributed systems papers (from mostly the last 2 years) on quite an interesting variety of topics. Really nice. https://t.co/Ai66OLW8Ml
Two masterpiece books on INFORMATION THEORY worth your reading time! 🎉 MacKay book PDF is available online with video lectures! 👉 inference.org.uk/itila/book.html
Functional data structures and algorithms. ~ Tobias Nipkow et als. bit.ly/3RJpG3F #eBook #ITP #IsabelleHOL #FunctionalProgramming #Algorithms
I solved 1583 Leetcode problems. But, if you don't want to solve these many problems like me, read these 13 articles: 1) 14 coding interview patterns: hackernoon.com/14-patterns-to… 2) Sliding Window Template: leetcode.com/problems/frequ… 3) 10-line template that can solve most…
When music meets FP - still one of my very very favourites - link cs.yale.edu/homes/hudak/Pa…
How a book written in 1910 could teach you calculus better than several books of today [Full text: calculusmadeeasy.org]
A quirky paper find today that explores visual type theory using glyphs by Lucius Schoenbaum from 2016: arxiv.org/pdf/1608.03026…
🎉 🆕book in town with open access 🆓PDF: "Algorithmic High-Dimensional Robust Statistics" by Ilias Diakonikolas and Daniel M. Kane Cambridge University Press, 2023 🆓PDF: iliasdiakonikolas.org/ars-book.pdf
🎉 🆕book in town with open access 🆓PDF: "Algorithmic High-Dimensional Robust Statistics" by Ilias Diakonikolas and Daniel M. Kane Cambridge University Press, 2023 🆓PDF: iliasdiakonikolas.org/ars-book.pdf https://t.co/YE4fbVlEQn
The second blog post is now live, this time we'll translate from the Simply Typed Lambda Calculus into the combinator language for Bicartesian Closed Categories We'll also have our first look at multicategories and why they're useful for PL semantics zanzix.github.io/posts/stlc-idr…
In the last weeks I've been working on a Compose Desktop Weather app, showcasing how one can approach it from a FP perspective, using @arrow_kt among other libraries github.com/serras/Weather…
wrote a blogpost about using Haskell's laziness to implement a single-pass layout algorithm: jaspervdj.be/posts/2023-07-…
I am not Albert Camus @ormaybe_iam
728 Followers 4K Following Science, philosophy and everything in between Profile photo credits: @existentialcoms
Neon Axiomated @neonbeautysleep
193 Followers 3K Following Providing liminal finance via periodic spot-checks on practical content; fully engaged with Harberger dream tax.
Dmitry Vostokov 🇮�... @DumpAnalysis
8K Followers 6K Following Diagnostician. Author of Diagnomicon. Gang of One. Software Surgeon. Machine Learning and AI for Software Diagnostics and Observability. Generative Debugging.
Bam4d @Bam4d
3K Followers 1K Following AI Scientist at https://t.co/SUcb0CBcb7. PhD in AI. Inference Wizardry. ex. @MetaAI @modl_ai
Johannes Drever 🌫�... @comandingo
292 Followers 1K Following ich habe keine lust mehr in mein handy zu gucken
The 🐠 BblFish @bblfish
2K Followers 3K Following Enabling cooperation of sovereign actors with #hyperApps that read/write #hyperData on the Web 👍 Cat-herding ❌ Phishing 🎣 👷 Scala 🚀 Reality Distortion Field
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
neuropoesis rebooting @neuropoetic
1K Followers 3K Following *uncertain flux* | All views and opinions my own 💩 | cogpsychneuro, AI, the sociocultural, and their intersections | Searching for my lost inner neuropoet
Rafael Cunha @rafaelvcunha
216 Followers 517 Following Marido dedicado, Analista de Sistemas, Desenvolvedor Java Web, Amor sobrenatural por tecnologia, Sempre em busca de conhecimento e aperfeiçoamento.
Linguagem Potigol @potigol
4K Followers 7K Following Linguagem de programação funcional para iniciantes - Functional programming language for novices
Jaerger @ariostonj
111 Followers 2K Following
Bryce Adelstein Lelba... @blelbach
17K Followers 2K Following Principal Architect at @NVIDIA working on programming languages. C++ Library Evolution chair emeritus. Frequent @traveloneworld flyer. Horology nerd.
Prathyush @prathyvsh
6K Followers 226 Following Map maker @patternatlas ∩ Interface Engineer @prabros
programmerjokesoffici... @programmerjoke9
4K Followers 6 Following 📝 Quality Content📝 🔰 Remove Stress From Your Life🔰 📳 Turn On Post Notification 📳
bnomial @0xbnomial
19K Followers 0 Following i publish one machine learning question every day and i try to make it fun.
Sonar @SonarSource
10K Followers 1K Following Trusted by 7M developers, our @SonarQube solutions (Server, Cloud, for IDE) cover your code quality and security needs –AI-generated or written by developers 🚀
Papers with Code @paperswithcode
115K Followers 10 Following Our mission is to organize science by converting information into useful knowledge.
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
YOW! LambdaJam @YOWLambdaJam
596 Followers 62 Following a conference by functional programmers for functional programmers.
Eng. de Software Mode... @engsoftmoderna
1K Followers 63 Following Ajudando a formar a nova geração brasileira de engenheiros de software * ASERG/DCC/UFMG
Steven Brunton @eigensteve
54K Followers 979 Following Teaches math to engineers: https://t.co/TJ5i3Pg678 Professor @UW researching #MachineLearning for #Dynamics and #Control, especially for #FluidDynamics.
Weights & Biases @weights_biases
46K Followers 1K Following The AI developer platform.🛠️ Track and evaluate your LLM applications in real-time with @weave_wb.
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Kurzgesagt @Kurz_Gesagt
482K Followers 164 Following Sciency videos made with love, a lot of time and after effects.
digitally induced @digitallyinduce
877 Followers 52 Following Well designed and opinionated frameworks and tools empower smalls teams to craft exceptional software. https://t.co/n8cYD0mJwI 🦄
Mathigon @MathigonOrg
38K Followers 145 Following The Mathematical Playground – making learning more interactive and engaging than ever before, and FREE for everyone. Part of @amplify
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Alexander Granin @graninas
7K Followers 869 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Simpsons Against DevO... @SimpsonsOps
23K Followers 368 Following Simpsons Against DevOps | DMs Open | Send Memes | New memes posted once a day-ish 🦋 @simpsonsops.dev
Haskell Love Conferen... @_haskellove
1K Followers 47 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
Maxfield Chen @_nihliphobe
35 Followers 110 Following Console Jockey, timing your chips and glitching your rails. Happy go player, reader, baker, hacker. Sometimes too many monads.
Sean Chen 🦀 @seanchen1991
277 Followers 160 Following Teacher of computer science | Rust standard library contributor 🦀 | Producer of the Building with Rust podcast | He/his
Veronika Romashkina @vrom911
3K Followers 652 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
William Yao @williamyaoh
391 Followers 122 Following Software Engineer. Formerly at @shoguninc, @earnin. I push around lambdas. https://t.co/bhaWXSJjg4…
Neon Axiomated @neonbeautysleep
193 Followers 3K Following Providing liminal finance via periodic spot-checks on practical content; fully engaged with Harberger dream tax.
Obsidian @obsdmd
155K Followers 0 Following The free and flexible app for your private thoughts. For help and deeper discussions, join our community: https://t.co/QsDArfFkkv
Matt Noonan @BanjoTragedy
336 Followers 294 Following Static analysis by day, old-time music by night. Writing compilers to stop the baddies. @[email protected]
PatternAtlas @patternatlas
1K Followers 4 Following Catalog of pattern of patterns. Authored by @Prabros
Dmitry Vostokov 🇮�... @DumpAnalysis
8K Followers 6K Following Diagnostician. Author of Diagnomicon. Gang of One. Software Surgeon. Machine Learning and AI for Software Diagnostics and Observability. Generative Debugging.
Muhammad al-Khwarizmi... @Algoriitmo
3K Followers 1K Following Matemático persa do século IX, antifa, pronomes masculinos. 'Esse sujeito é desonesto intelectualmente e sem educação' -- Samy Dana
Conal Elliott @conal
5K Followers 371 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
AK @_akhaliq
425K Followers 3K Following AI research paper tweets, ML @Gradio (acq. by @HuggingFace 🤗) dm for promo ,submit papers here: https://t.co/UzmYN5YmrQ
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
Germán Delbianco @knayawp
718 Followers 788 Following Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)
IMDEA Software @IMDEA_Software
2K Followers 1K Following At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient | @ComunidadMadrid
IRIF @IRIF_Paris
759 Followers 297 Following IRIF is a research laboratory of @CNRS and @univ_paris_cite on the foundations #Computer #Science #Informatique. @INS2I_CNRS @inria_paris @DimRfsi
Nomadic Labs @LabosNomades
12K Followers 170 Following @Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg, Belgium and Germany.
Charles 🎉 Frye @charles_irl
14K Followers 3K Following gpu enjoyer at @modal. he/him. ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro. try https://t.co/SYWVMCazZ3
Pawel Sobocinski @PawSob
1K Followers 802 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Nath Finanças 💰 @nathfinancas
639K Followers 6K Following CEO da @nathplayoficial | Investidora | Administradora | Palestrante | Educadora Financeira | Comunicadora |
Saugata Basu @SaugataBasu4
549 Followers 46 Following Professor of Mathematics, Purdue University. Interested in real algebraic and o-minimal geometry, model theory and combinatorics, and complexity theory.Trends for United States
You might like
