Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @fxn
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @fxn
-
got a haircut — I am no longer asymptotically approximating José Mercépic.twitter.com/lhOBlUj2m5
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Xavier Noria Retweeted
Rails 6.0.3 has been released! This release solve most of the Ruby 2.7 related warnings.https://weblog.rubyonrails.org/2020/5/6/Rails-6-0-3-has-been-released/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Xavier Noria RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
every time I Google "-ize vs -ise", "-or vs -our", etc., I am like "I should make an Anki deck with some basic rules" — time passes, and then I am punctually reminded of that fantastic idea when I Google "-ize vs -ise", "-or vs -our", etc. again — Ad infinitum
Thanks. Twitter will use this to make your timeline better. UndoUndo -
you're born a bee, how to you learn to do that coordinated attack? (it's a question I wonder about animals in general, how does an ant learn to be an ant?)https://twitter.com/TheBrandonMorse/status/1257668293370040321 …
1:38Thanks. Twitter will use this to make your timeline better. UndoUndo -
that is handy specially if you create new applications often — I do to check stuff, investigate Rails issues, etc.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
another executable decoration, this one wraps the `rails` command — after `rails new` you're right in the application folder and with an editor launched rails() { if command rails "$@"; then [[ $1 == "new" ]] && cd "$2" && code -n . fi }
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sincerely, let’s be honest, when the Black Gate of Mordor starts to open, how many in the army are thinking “THE FUCK I’m doing here”
Thanks. Twitter will use this to make your timeline better. UndoUndo -
la Diagonal està petada de gent corrent, fa goig
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Xavier Noria Retweeted
It just gets better and better! I can't think of a better way to load your carefully crafted Ruby code than with Zeitwerk.https://twitter.com/fxn/status/1234932948899704832 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
always cool to challenge your ASCII-trained brain with some Unicode identifiers, specially in personal projects — that is Swift, works in Ruby toopic.twitter.com/QOklXywAyw
Thanks. Twitter will use this to make your timeline better. UndoUndo -
And there are more, they are constructed, their arithmetic defined, the properties demonstrated, etc. It is in this context that you have to watch the video, Conway discovered (as he puts it) the surreal numbers, which have infinite and infinitessimals at all levels you can think
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Reals have two traditional constructions: Dedekind cuts, and equivalence classes of Cauchy sequences (I saw this one in full detail in my 1st year) — Cantor defined the ordinal numbers in Set Theory, which are the naturals and a huge amount of different, ordered infinities
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
In modern math, numbers are not taken for granted, the naturals are defined in Set Theory as 0 = ∅, 1 = {∅}, 2 = {∅, {∅}}, and so on — Integers are defined by an equivalence relation on ℕ × ℕ — Rationals by an equivalence relation on ℤ × ℤ \ {0}
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
beautiful intro to the surreal numbers by John H. Conwayhttps://www.youtube.com/watch?v=1eAmxgINXrE&list=TLPQMzAwNDIwMjCcG7BUl7Bt1w&index=2 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
wonder about the spontaneous inner thoughts of Physicists in a Yoga class or spiritual setting in which they are told about “energies”
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Xavier Noria Retweeted
I’m sure things will be back to normal by July! July:pic.twitter.com/TARTwA9aRY
Thanks. Twitter will use this to make your timeline better. UndoUndo -
shell functions take precendence over executables, so the command you copy from the website () gets effectively decorated — also, a shell function is able to change the CWD, you can't do that in a script because it runs in a different process
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
I've copied the destination directory of
@exercism_io exercises more times than I'll admit, enough! exercism() { local bin="/usr/local/bin/exercism" if [[ $1 == "download" ]]; then cd "$("$bin" "$@" 2>&1 | tail -n1)" else "$bin" "$@" fi }Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Xavier Noria Retweeted
The SwiftUI team is hiring, and we don’t believe in unrealistic coding exercises. The programming portion of our interview is conducted through GitHub, with a full week to complete the problem on your own schedule, and reflects the kind of work we do. https://jobs.apple.com/en-us/details/200065251/swiftui-frameworks-engineer?team=SFTWR …
Thanks. 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.