Eigil Rischel - abstr/acc 💎 @ayegill@schelling.pt
- Website
- https://erischel.com
- https://twitter.com/ayegill
Applied algebraic abstractologist. Trying to get the heavens into my head.
"Elsk – og berik med drøm – alt stort som var!
Gå mot det ukjente, fravrist det svar!"
Joined Jan 2021
RT @ayegill
I am still live on Zoom, open to anyone.
https://strath.zoom.us/j/99496509056?pwd=TERNTzAzamIrWi8wZS9LSUJZeG5DQT09
I am still live on Zoom, open to anyone.
https://strath.zoom.us/j/99496509056?pwd=TERNTzAzamIrWi8wZS9LSUJZeG5DQT09
Okay, trying something weird:
Here's a zoom link. Anyone who sees this, feel free to join. (I will delete this once I'm no longer up).
https://strath.zoom.us/j/97425946071?pwd=SkVmU2s5WFM0eGxiQnlONU5JU2l5dz09
If anyone is obsessed with e-ink stuff like me, you can back this cheap e-ink development board, and build your own e-reader thing.
Slowly coming to grips with the realization that a good system for making new types is way more important for me than the ability to check the types statically.
What is a set? A miserable little pile of sets.
Also, "if it feels like it should work it probably does, let's run with it for now" is one of the most useful moves in math research, and this is obscured when people expend too much energy making sure never to state something (in public) without having a proof.
---
RT @JadeMasterMath
Most prestigious mathematicians I know are unwilling to be publicly wrong about math and will be very careful before claiming some fact. I am publicly…
https://twitter.com/JadeMasterMath/status/1394665675029762054
That feeling when you finally finish debugging some bullshit and you can close the 9001 tabs you had open
CDC says fully vaccinated people can ignore size issues
RT @_julesh_
Major new preprint time!
“Towards foundations of categorical cybernetics” by @mattecapu, @bgavran3, @ayegill and me
It’s a bit terse because of the page limit, but I think that the thing sketched here is basically the *right* foundation
https://arxiv.org/abs/2105.06332
Biggest advantage of building your own desktop is that you can put it into a big black box without any stupid LEDs on it.
God I wish gaming laptops didn't look so uniformly stupid
RT @ashugarg
1/6) India is on fire. 7 people will die/min unless we set up hospital beds+oxygen. Sending concentrators is not sufficient. Hospital beds need that and more! So, #PoojaMalik, #NeerajGarg and I decided to set up http://onemorebreath.org. I will donate $20/re-tweet upto $100K
My superpower is I can insert a USB cable the correct way on the first try about 2/3s of the time.
---
RT @ayegill
There is too much good math out there, and it's overwhelming. Please stop the creation of new good math until I've caught up. Thank you.
https://twitter.com/AyeGill/status/1282938089686609920
Categorical teleology
What's the best music player for ubuntu? I used mpd+ncmpcpp for a while but I have to admit it's absolute shit. I don't want anything fancy, just
- Play music files from my computer
- Arrange them into playlists
- Don't force me to memorize a bunch of keyboard commands
RT @carterjwm
HELP ME PLEASE. A MAN NEEDS HIS NUGGS
- Website
- https://erischel.com
- https://twitter.com/ayegill
Applied algebraic abstractologist. Trying to get the heavens into my head.
"Elsk – og berik med drøm – alt stort som var!
Gå mot det ukjente, fravrist det svar!"
Joined Jan 2021
