1290
showing only twitter [see all]
Twitter
Signal-flow diagrams in control theory

<=>

String diagrams in the symmetric monoidal category finite-dimensional…
from twitter
5 days ago
Twitter
Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong & David Spivak…
from twitter
5 days ago
Donald Knuth Lectures - YouTube
RT : Stanford uploads 111 lectures by Donald Knuth. There go your next five years of spare time…
from twitter
9 days ago
Twitter
Such a stupid title… That’s not fake news, but researchers admitting they made a mistake and promptly retracting th…
from twitter
11 days ago
Twitter
« Just stop with the blockchain stuff already » ❤️
from twitter
12 days ago
Untitled (https://www.pgcli.com/)
Postgres CLI with autocompletion and syntax highlighting
from twitter
14 days ago
Twitter
I wish Apple had a dedicated app for Reading List or at least an API that would allow standalone apps like Instapap…
from twitter
17 days ago
Twitter
Not sure whether that‘s enough to say they are analogous to each other, but it kinda does for me.…
from twitter
24 days ago
Twitter
My reply was perhaps poorly worded. All I meant was that both composition of endomorphisms and con…
from twitter
24 days ago
Twitter
Endomorphisms form a semigroup under composition, like strings & lists do under concatenation, so…
from twitter
26 days ago
Language-oriented software engineering
A must read!

"Language-oriented software engineering" by
from twitter
26 days ago
Twitter
RT : So. Yes. The point is that Diophantine equations are actually an esoteric programming language; and this formula is…
from twitter
4 weeks ago
Twitter
Been very happy with Safari + 1Blocker so far.
from twitter
5 weeks ago
The Dhall configuration language
RT : Check out the new website for the Dhall configuration language, which includes a live demo:
from twitter
5 weeks ago
Twitter
In any case, if you are not writing a physics engine, you are probably better off with Rational or BigDecimal and c…
from twitter
5 weeks ago
Twitter
Can’t tell anymore whether IEEE754 is a clusterfuck or if I just have PTSD from writing too much JavaScript back in…
from twitter
5 weeks ago
Twitter
Yeah fuck the blockchain bros and their thirst for quick money at all costs. Happy to see this bullshit bubble is f…
from twitter
5 weeks ago
dotty/derivation.md at add-derive-2 · dotty-staging/dotty · GitHub
RT : I somehow missed this when it was posted a couple weeks ago — type class derivation proposal for Scala 3:
from twitter
5 weeks ago
Building a Language and Compiler for Machine Learning
Julia: Building a Language and Compiler for Machine Learning
from twitter
6 weeks ago
Twitter
“A Tiebreak Win and the Problem of Draws” <- Insightful analysis of the latest World Chess Championship results tog…
from twitter
6 weeks ago
Twitter
Yeah it’s not for everyone, just clumsy people like me :) Isn’t it possible to disable it in Chrome th…
from twitter
6 weeks ago
Twitter
I wish Safari had the same feature. In the meantime, I have remapped Cmd-Q to Cmd-Alt-Q in Safari, which gets the j…
from twitter
6 weeks ago
Twitter
RT : Don’t waste your 20s. It’s not worth it.

I know many people in their 30s who did this and now struggle a lot.
- Do…
from twitter
6 weeks ago
Twitter
I need more vi jokes in my life
from twitter
7 weeks ago
Twitter
I really like the new (provisional?) Rust motto: “The programming language that empowers everyone to become a syst…
from twitter
7 weeks ago
Twitter
RT : Sure, every bit helps.

But what would help a LOT more is for everyone to stop mining, holding, investing in, or ot…
from twitter
7 weeks ago
Twitter
RT : Statement from Feng Zhang, pioneer of CRISPR editing in human cells, calling for a moratorium on implanting and car…
from twitter
8 weeks ago
Twitter
RML: ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent type…
from twitter
9 weeks ago
Twitter
Fuck Twint, its shitty app, and stupid beacon.
from twitter
9 weeks ago
Twitter
RT : Democracies work because there is trust in the elections.

If you need a CS + Crypto PhD to understand why somethin…
from twitter
10 weeks ago
Twitter
RT : There probably is cryptography out there that is good enough for online voting.

Problem is, everything else that’s…
from twitter
10 weeks ago
pre-commit
Framework for managing and maintaining multi-language pre-commit hooks
from twitter
11 weeks ago
Twitter
I wonder whose intern or nephew designed these… Not to speak of the BS in the copywriting.
from twitter
11 weeks ago
Twitter
Anyway to make this typecheck without resorting to casts? My soul is tainted enough already.
from twitter
11 weeks ago
Twitter
Is it because of singleton types?
from twitter
11 weeks ago
Twitter
Can someone explain why this does not type check? Shouldn’t `Def` be instantiated to `F` or `C` in their respective…
from twitter
11 weeks ago
Twitter
RT : I suppose this all makes sense because saying 'p is decidable' is essentially giving permission to exclude the midd…
from twitter
12 weeks ago
Twitter
RT : However, double negation is possible if p is decidable:

data Decision a
= Proved a
| Disproved (Not a)

ab…
from twitter
12 weeks ago
Scala Days 2018 | @scaladays
Next Scala Days are in Lausanne, yay :)
from twitter
12 weeks ago
Twitter
Ghani, Hedges, Winschel & Zahn: Compositional Game Theory

“Open games are the morphisms of a symmetric monoidal ca…
from twitter
october 2018
Twitter
Second day of the Workshop on Dependable and Secure Software Systems at . Looking forward to another round o…
from twitter
october 2018
ghc-proposals/0013-unlifted-newtypes.rst at master · ghc-proposals/ghc-proposals · GitHub
Oh, GHC is getting unlifted newtypes:

eg.

newtype Interval = Interval (# Int#, Int# #)
from twitter
october 2018
Twitter
“[…] the bad design of protobuffers is so persuasive that these problems manage to leak their way into your code as…
from twitter
october 2018
Emulating the elegance of JavaScript's `new Array` in Haskell · GitHub
Someone finally ported JavaScript’s ‘new Array’ semantics to Haskell
from twitter
october 2018
Twitter
Best thing you’ll see all day.
from twitter
october 2018
Twitter
Of course but still, with the price we pay, they could at least get a server to reliably serve a JSON f…
from twitter
october 2018
Twitter
The real shame is once again that the hard problem (getting buses to arrive on time) is here solved reliably, while…
from twitter
october 2018
Twitter
It might not be easy to accurately report arrival times in real-time, but the least you could do is harden your web…
from twitter
october 2018
Twitter
Hey , I think it’s time you hire some real iOS developers, your app has been reporting incorrect timetables…
from twitter
october 2018
Twitter
RT : Swiss research couldn’t thrive without international networks. Therefore Switzerland must be seen as a reliable con…
from twitter
october 2018
GitHub - alexwl/haskell-code-explorer: Web application for exploring and understanding Haskell codebases
Haskell code explorer: Web application for exploring and understanding Haskell codebases
from twitter
october 2018
Twitter
Has the ‘Self’ type already been introduced yet? If not my guess would be that they didn’t want to…
from twitter
october 2018
Twitter
Great post, really enjoyed it! Would love to hear your thoughts about learning Rust instead of C as a…
from twitter
october 2018
GitHub - haskell/haskell-ide-engine: The engine for haskell ide-integration. Not an IDE
FWIW I had no problem building for GHC 8.2.1, 8.2.2, 8.4.2 and 8.4.3 on Mojave using Stack.
from twitter
october 2018
Twitter
How to use Nix to automatically create multi-layered Docker images, allowing a high amount of caching between image…
from twitter
october 2018
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory cats chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coq coroutines course crdt cryptography cs css css3 culture data database datastructures debug debugging dependent-types deployment design development devops distributed-systems dns docker documentation dom dotty dropbox ebook ecc economics economy editor education effects elmlang email entrepreneurship erlang ferguson font formal-verification fp fp101x framework free-monads functional functionalprogramming future gamedev games garbage-collector generator ghc git github go golang hacking happiness hardware hash hashing haskell heartbleed history hosting html html5 http humor icons idris innovation interview ios iphone java javascript job jquery json jvm language language-design latex learning lifehacks linux lisp llvm logic lua mac macos markdown math mathematics mobile monads mooc music mvc mysql neovim network networking nginx node.js nodejs nosql nsa objective-c om online open-source opensource os osx p2p papers parser parsing peg performance philosophy php physics plt plugin politics postgres presentation privacy productivity profiling programming promises psychology purescript python rails react reactive reactjs reactnative reader recursion recursion-schemes reddit redis redux reference research responsive rest ruby rust rustlang rx rxjs sass scala scaladays scalajs scalaz scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift switzerland talk talks tech technology ted templating test testing tex tls tool tools tor transducers tutorial type type-theory types typo3 typography ui ux vector video virtualization visualization vm web webgl webrtc writing

Copy this bookmark:



description:


tags: