what if i don’t want to scare crows. how do i make a delightcrow
Notices by chris martens (chrisamaphone@hci.social), page 2
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Sunday, 04-Feb-2024 06:58:32 JST chris martens -
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Saturday, 27-Jan-2024 03:06:53 JST chris martens Dale Miller on the importance of examples in PL:
"The most important thing that one should do before seriously proposing a new logic or a new programming language designs is to collect examples, a lot of examples. Examples give one confidence that a design might be worth all the work involved in proving theorems (and having readers understand the proofs) and in building implementations."
https://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/personal-perspective06.pdf
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Saturday, 06-Jan-2024 03:59:56 JST chris martens @frameworkcomputer oh, maybe that’s the problem. where do i get one of the ones for people who hate them?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Sunday, 31-Dec-2023 13:18:20 JST chris martens “your Euler number decreases when you have a cold” <- @simrob said i should post this
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Monday, 25-Dec-2023 04:49:31 JST chris martens one of the few “good endings” i can imagine for the future of LLMs is that they get people to see the value of information retrieval, indexing, and archival — i.e., library sciences — and we start funding that community to translate their work to similar applications, but with proper attribution and dataset transparency.
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Friday, 22-Dec-2023 13:38:45 JST chris martens @inthehands hmm i’m open to learning more at least.. by 1:1 you mean with an instructor? any recommendations for how to find one? is it the kind of thing you have to do in person?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Friday, 22-Dec-2023 12:09:26 JST chris martens i sprained my ankle recently and keep noticing how the ways i sit by default bend it in ways that hurt, and now i’m wondering if bisexual sitting is responsible for my chronic ankle instability that caused the injury in the first place
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Thursday, 07-Dec-2023 13:45:10 JST chris martens @inthehands YES. i feel like the biggest lesson i have learned is precisely that synchronous, physical proximity is a precious gift that we should not take for granted, that we should use those precious opportunities in a way that respects everyone who is contributing to it with their presence, and makes use of the unique fingerprint of collective energy generated by the specific people assembled.
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Friday, 17-Nov-2023 07:38:21 JST chris martens gender fluent
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Friday, 27-Oct-2023 10:22:31 JST chris martens bad type idea: dependent pair where both components can depend on each other
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Monday, 16-Oct-2023 12:42:37 JST chris martens @inthehands @airspeedswift sure, i completely acknowledge that it isn’t a world i’m privy to, hence asking for the context i was missing. i didn’t mean to imply “cases in which finer-grained control is necessary” was a small proportion of cases (though i likely would have underestimated them). that this is an ongoing conversation in the c++ community was i think the key info i was missing. thanks for explaining!
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Monday, 16-Oct-2023 12:09:22 JST chris martens @inthehands @airspeedswift … i feel like i’m missing some context. memory safety is generally taken as a given in most contexts, except where fine grained control is considered necessary, so where are folks arguing about this? rust vs c or something?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Monday, 18-Sep-2023 06:46:08 JST chris martens does anyone have a favorite way to computationally formalize (basic) probability theory, in any language? features i'd want include:
- computing with the real unit interval as a type
- making sure distributions over possible values of a variable sum to 1, statically
- nice compositional ways to construct distributions, events, random variablesi'm wondering if, say, complete lattices in cubical agda are overkill for this task
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Sunday, 17-Sep-2023 01:51:57 JST chris martens mid take: the selling point of “microblog” posts having character limits is that they make social media *social* (conversational). ignoring that feature and trying to construct an entire argument in one post creates the feeling of someone talking at a party without pausing to let others get a word in edgewise
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 15-Aug-2023 23:32:17 JST chris martens Our research team at Northeastern University is conducting a survey to better understand how Mastodon administrators craft, select, modify, and maintain privacy policies and codes of conduct. If you administer an instance and are 18 or older, we'd love to hear from you! We expect it to take under 20 minutes to complete.
Survey link: https://neu.co1.qualtrics.com/jfe/form/SV_elLw6HR35WCvKjc
(more info to follow)
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 15-Aug-2023 03:51:14 JST chris martens as a millennial i obviously have some culpability in killing telephony (i do legitimately despise communicating by phone for most purposes, mostly for auditory processing reasons)
but this strikes me as alarming wrt private enclosure of a public service 😞
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 15-Aug-2023 03:51:14 JST chris martens So apparently *all* phone services at my university employer are now done through MS teams; we don't have anything connected to phone lines anymore. I'm curious how widespread this practice is -- if you work at a university, do they still have telephone landlines?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 15-Aug-2023 03:51:13 JST chris martens maybe one could argue the FCC (in light of various US intelligence scandals) has not exactly proven itself more trustworthy than Microsoft, though.
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 15-Aug-2023 03:51:11 JST chris martens trying to use any service that depends on large-scale coordinated infrastructure in the US is like: would you like the surveillance of your actions to serve the interests of political entrenchment and violent imperialism, or the billionaires funding the private luxury torment nexus of the future?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Tuesday, 08-Aug-2023 06:09:11 JST chris martens my observation on mastodon is that the following interests correlate with the best shitpoets (that was a typo but i’m keeping it):
- nature (bugs, birds, plants, etc)
- math
- the weather
- fiber arts
- transing genders