Lambda the Ultimate @lambda_ultimate
The Programming Languages Weblog lambda-the-ultimate.org Joined July 2009-
Tweets460
-
Followers3K
-
Following0
-
Likes0
Automating Ad hoc Data Representation Transformations: Automating Ad hoc Data Representation Transformations ... bit.ly/2dl1DVs
NOOL 2016: At this year's SPLASH there will be a follow-up to last year's NOOL 2015 workshop (discussed here... bit.ly/2c6P1zc
PowerShell is open sourced and is available on Linux: Long HN thread ensues. Many of the comments discuss the... bit.ly/2blsQaM
Philip Wadler: Category Theory for the Working Hacker: Nothing you don't already know, if you are inteo this ... bit.ly/2b5KSgt
Fully Abstract Compilation via Universal Embedding: Fully Abstract Compilation via Universal Embedding by Max... bit.ly/2ahGfxO
Admin: As many of you know, the email functionality of the website has not been working for a very, very long... bit.ly/29bwBfA
Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong): Dynamic Witnesses for Sta... bit.ly/1XvMKCz
Set-Theoretic Types for Polymorphic Variants: Set-Theoretic Types for Polymorphic Variants by Giuseppe Castag... bit.ly/1ZB2fXL
How to Build Static Checking Systems Using Orders of Magnitude Less Code: How to Build Static Checking System... bit.ly/1UhPLjD
No value restriction is needed for algebraic effects and handlers: No value restriction is needed for algebra... bit.ly/1XwQzpP
A Farewell to FRP in Elm: Making signals unnecessary with The Elm Architecture ...the big benefit is that Elm... bit.ly/24L9MK8
Simon Peyton Jones elected into the Royal Society Fellowship: Simon Peyton Jones has been elected as a Fellow... bit.ly/24dg1q2
Remora: An Array-Oriented Language with Static Rank Polymorphism: The paper: An Array-Oriented Language with S... bit.ly/1V2snMl
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance: Type Checking M... bit.ly/1UwhYIq
Usability of Programming Languages SIG at CHI'2016: A special-interest group meeting during the ACM CHI 2016 ... bit.ly/1ZxMalT
C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths”: Jean Yang & Ari Rabkin ... bit.ly/1TyOSrn
Temporal Higher Order Contracts: Temporal Higher Order Contracts Tim Disney, Cormac Flanagan, Jay McCarthy 20... bit.ly/1VRtriF
Coordinated concurrent programming in Syndicate: Coordinated concurrent programming in Syndicate Tony Garnock... bit.ly/1PZzVrR
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities: Performance Problems You Ca... bit.ly/1RAhP5A
Progress on Gradual Typing: Among many interesting works, the POPL 2016 papers have a bunch of nice articles o... bit.ly/1USAFTN
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Dave Herman @littlecalculist
15K Followers 405 Following Likes people & computers. Work: LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). ❤️: @lisasilveria & @tinycalculist. Goes by dherman… elsewhere. he/him
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Francesca @allthelambdas
236 Followers 371 Following I like reason, meat, hawaiian shirts, the color orange, lambda calculus, formal logic, math, and capitalism.
Jack @jckzhong
1 Followers 99 Following
AJ Welch @ajw0100
120 Followers 1K Following @Google | @CompilerWorks (acquired by Google BigQuery) | Chartio (@ycombinator S10, acquired by @Atlassian Analytics)
suraj kumar @kumarsuraj512
5 Followers 164 Following
Sang Dao @SangDao811932
104 Followers 1K Following
Charles @Charles_CTy
8 Followers 101 Following
Sa @Genius__pg
75 Followers 3K Following
Hugo Korwaser @hugokor
7 Followers 506 Following
Shishir Pandey @Shishir50735673
3 Followers 128 Following
Linkstation @_Linkstation
1 Followers 46 Following LinkStation - internet link global aggregator and link bookmark manager https://t.co/UqOv47oq2l
Joe Zimmerman @joe_zimmerman
1K Followers 2K Following PL & compilers / AI / rationality / moral philosophy
Mike @Mike33910119
19 Followers 1K Following
KludgeShySir @KludgeShySir
21 Followers 258 Following Compulsively seeking concepts to cram in my cognitive curio cabinet. Especially AI/ML, NLP, TDA, info theory/geom, network/graph theory, crypto & coding theory
shzmwfgwzf @asnawysl
121 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
antojf @ant0jf
12 Followers 574 Following
Liang Dai @LiangDai3
11 Followers 30 Following
Roman Pavlyuk @rpavlyuk
34 Followers 332 Following
loddity @loddity
134 Followers 962 Following A complete non sequitur being. F#, C#, Scala Senior Developer with a fascination for emptiness.
IrrenWirr @IrrenWirr
202 Followers 2K Following
Sumit Khanna @khanna109
19 Followers 30 Following
David Davies @_daviddavies
2 Followers 44 Following
nhatanh @alittletyper
199 Followers 2K Following
k @chejask
0 Followers 5K Following
Pluralistic Networks @PluralisticN
168 Followers 856 Following The world is increasingly unsettled, virtual, and diverse. We help you build the skills you need to be effective in it.
Titus Pinta @PintaTitus
9 Followers 141 Following Maths PhD student @ Göttingen Asking Gauss' ghost for inspiration on a daily basis. I have not yet figured out what I am doing (he/him)
Félix Sanhueza @felixsanhueza
160 Followers 371 Following
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Praveen Vaddadi @Densebit
189 Followers 2K Following Low-level tinkerer, slow walker, slow thinker. UMD CS. AI, DBs, PLs. Making things faster, better, simpler. Occasional tweet-notes on topics of interest.
Dawid Furman @dfurmans
233 Followers 1K Following A computer and human language passionate. Enthusiast of the functional paradigm. SolYNaranjaS guitar artist. Motorcycles&Rollerblades Java&Scala Developer
Chris @Chris51612861
0 Followers 9 Following
Lars Brünjes @LarsBrunjes
16K Followers 7K Following Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
☓ @__this_username
0 Followers 1K Following
Vasu H S @vasuhs54
45 Followers 267 Following engineer, #indian , coder/programmer,#Tesla and #musk fan
Guido Ziliotti @Gorgodrilla
46 Followers 2K FollowingTrends for United States
You might like
