Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @alan_zimm
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @alan_zimm
-
Alan Zimmerman Retweeted
Nix tip: Working with spotty internet connection? Pass the "--fallback" flag to nix-build, nix-env, nix-shell, etc. to have nix build from source when downloading fails. Working on the plane with no internet? Use: --option substituters "" to disable cache downloading altogether
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Not sure who needs to hear this but if your terminal cursor has disappeared type `reset` and hit enter and you'll clear your output and get your cursor back.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
6/9 .
@tesonep on@pharoproject. Pharo is highly immersive -- not a blackbox, but fully inspectable and reflective. All classes/methods are open to see and modify. Polymorphism: "let the message receiver decide". Interactive code execution. Moldable. Ability to create new tools.pic.twitter.com/LryVrmvQvm
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Maintenance day, including: * Shake: Release for Ghcide,
@StackOverflow questions * HLint: Release, library upgrades, reviewing * Ghcide: GHC 8.6.4 compat, fixing tests, progress msg * Hoogle: Word16 overflow, JSON queries * Ghcid: ... Maintaining open source is a lot of work!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
I gotta switch to ipv6, too hard to get public ipv4 addresses now.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Setting up a Haskell development environment in minutes in Visual Studio Code https://hmemcpy.com/2020/02/setting-up-a-haskell-development-environment-in-minutes-in-vscode … by
@k_cieslakThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
I've been exploring Rust+WebAssembly recently. Here's one experiment made with those - my friend said it looked like thousands of fruit loops dancing to "music". Runs in your browser (and maybe even your phone). One file, just 4092 bytes. https://thndl.com/ws4k pic.twitter.com/oIZDtHPvHp
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
so coding is basically reading a mile of documentation, writing 10 - 20 lines till it's broken, going to sleep, finding the solution in your dreams and repeating again the next day.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
In Stockholm there’s a 72-meters-high tower featuring a light installation that you can control via a free app. Whenever I swing by, a bit of Sicily hits Sweden.pic.twitter.com/tUGce7qZCH
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
A lot of tweets about
#PalindromeDay miss that 02 February 2020 is a palindrome in USA, UK and ISO formats; it is a palindrome day of the year (33) and there are a palindrome of days left in the year (333). This will never happen again. More details here: https://youtu.be/4fE_sXZjxng pic.twitter.com/GD7zh50DPH
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Every Yaml parser is a custom Yaml parser.
http://matrix.yaml.io/valid.html Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
"Haskell is reliable because of its advanced type system" misses half the story. The other half is Haskell's support for (rather, insistence on) expression-oriented programming. When you're doing mostly statement-oriented programming, a fabulous type system does you little good.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Anders Hejlsberg on Modern Compiler Construction (2016) [video]https://channel9.msdn.com/Blogs/Seth-Juarez/Anders-Hejlsberg-on-Modern-Compiler-Construction …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
So here’s where we are. There are 3 possibilities. 1)
@Twitter sold@Fama_Tech a Firehose API license with amended ToS to allow personal ID. 2)@Fama_Tech is breaking the Firehose ToS. 3)@Fama_Tech is licensing a shadow@Twitter dB and@jack has lost control of their core IP.Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
At this point it is looking likely that GHC will be moving to LLVM as its native toolchain on Windows; this will hopefully allow us to bypass many of the path and process issues that we have been historically fought with. Current plan can be found here:https://gitlab.haskell.org/ghc/ghc/issues/17777 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Between vague documentation, decades of compatibility hacks, hacks on top of those hacks, a fundamentally different file and process model to POSIX, and the occasional toolchain bug, the amount of effort necessary to truly *support* Windows seems nothing short of herculean.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
I'm not sure how many people appreciate just how much of a maintenance challenge Windows represents for many open-source projects. Before I started working on GHC I had assumed it was bad. However, now I know; no, it's much much worse.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
I saw hls used as an abbreviation for haskell-language-server for the first time earlier today. Felt good.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
A bike lane can convey 5 times more people than a car lane according to Transport for London
@TfLpic.twitter.com/p2tGY2XVffShow this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alan Zimmerman Retweeted
Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...pic.twitter.com/XDb4NVUTv3
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.