zx @zx@mastodon.xyz
🌹✊🐝🇭🇰
Joined Apr 2017
zx
boosted
How would do a rc script for ACME that does goto-line number? I'm not sure where I can find information on the ACME bindings via rc? Any tips would help 🙏 cheers
Thanks to everyone who came to my #SummerSchool talk! The following are links to things I presented:
http://nlc2cmd.us-east.mybluemix.net/#/
http://comcom.csail.mit.edu/comcom/#Synquid
http://comcom.csail.mit.edu/comcom/#ReSyn
http://io.livecode.ch/learn/webyrd/webmk
http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp
https://github.com/salesforce/WikiSQL
https://github.com/paulfitz/mlsql
https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki/Syllabus
If you are interested in papers to read about particular things feel free to DM me!
For #SummerSchool would anybody be interested in being a scribe for my talk? Just somebody to write what is being said as we can't provide closed captioning.
zx
boosted
Reminder: Springer has released a lot of digital textbooks for free in the last few months, and their special offer is ending on July 31st. There is no need to sign up to download the PDF and ePub files.
This lovely page has the full list of available titles: https://hnarayanan.github.io/springer-books/
I don't know who needs to hear this but having youtube, facebook, twitter, and mastodon blocked on my work computer has really helped me a lot.
@grainloom I will be using jitsi for my talk
No one should use a trained model without knowing in pretty great detail what data it was trained on.
@ksteimel I notice you are giving a talk at #summerschool ! very nice!
zx
boosted
@SuricrasiaOnline replace business-focused skyscrapers with multistory community aeroponic gardens, supplemented with aquaponics on the first few floors.
regular re-testing for driver's licenses
free public transit with taxi-equivalent service rolled in
get freeways as far out of cities as possible and use the cleared land for housing again
restructure surface streets to maximize usage by pedestrians and bicycles
solar panels on every roof, powerwall-style batteries in every building
I want something that's like a mix of syncthing and zotero for my papers. I don't know why I can't just keep a nice index of my papers without for some reason needing multiple copies of papers inside zotero itself!
Machine Learning for Programming Languages workshop streaming now! https://www.youtube.com/watch?v=rwBbYhOAnPo
zx
boosted
RT @jialanw
Oh dear. Yup. Second graph actual data from California.
Rational expectations is utterly dead to me. #coronavirus #doh #whatdidwethinkwouldhappen
zx
boosted
Scenes from CHOP (Capitol Hill Occupied Protest) aka CHAZ, where Black Lives Matter and folx are just trying to be and do in a couple-six blocks free of police, and (hopefully) prejudice.
Talk about robot ethics is largely a cover for not thinking human rights and ethics in general https://arxiv.org/abs/2001.05046v1
zx
boosted
A Sequential Design Approach For Calibrating A Dynamic Population Growth Model - https://arxiv.org/abs/1811.00153
zx
boosted
Things to do besides burning shit
zx
boosted
Contraction And Uniform Convergence Of Isotonic Regression - https://arxiv.org/abs/1706.01852
What are people's favourite electric bikes?
zx
boosted
Private Algorithms Can Be Always Extended - https://arxiv.org/abs/1810.12518
This article hits a bunch of nice notes:
🌹✊🐝🇭🇰
Joined Apr 2017
