Lightnews — Scholar-powered news

Hunter

@hdemeyer.bsky.social

43 followers 74 following 100 posts

Informatics PhD student @ UIUC Interested in software as a formalization of scientific knowledge & human-centered interoperable representations of computation https://researchsoftware.engineer

researchsoftware.engineer

Posts Media Videos Starter Packs

Hunter @hdemeyer.bsky.social · 4d

I went to Singapore about a year and a half ago for work. It's nice to be going back to a place I'm already a little familiar with but still a huge trip. And my first major conference

Hunter @hdemeyer.bsky.social · 4d

I still haven't fully processed the fact that I'm going halfway around the world later this week

1 1

Hunter @hdemeyer.bsky.social · 9d

only spent 12.5 hours setting up LaTeX and biblatex and biber to format my annotated bibliography, this is gonna save me so much time

Hunter @hdemeyer.bsky.social · 14d

writing a ppx feels like such a hack but idk what else to do

Hunter @hdemeyer.bsky.social · 16d

Wrote a mini research statement today and I'm already seeing how the humanities courses I'm taking this semester are helping me be more articulate about my interests

Hunter @hdemeyer.bsky.social · 17d

Remember, its called LaTeX because it makes your work look sexy

Hunter @hdemeyer.bsky.social · 17d

is my trackpad dead or is it just arch linux

Hunter @hdemeyer.bsky.social · 22d

wait maybe if I don't made them polymorphic

Hunter @hdemeyer.bsky.social · 22d

de bruijn indices solved λ.0 of my problems

1 2

Hunter @hdemeyer.bsky.social · 22d

de bruijn indices solved λ.0 of my problems

Hunter @hdemeyer.bsky.social · 25d

I guess I'll just have to attend the next one in person then 🙂

1 2

Hunter @hdemeyer.bsky.social · 26d

wow the video production quality at fun ocaml is really good

1 2 14

Hunter @hdemeyer.bsky.social · 26d

a few friends had gatherings at different places yesterday and i was able to walk from home to all of them. this is the future liberals want.

Hunter @hdemeyer.bsky.social · Sep 10

implications for society generally are worrisome. but also consider that this happened at a place of higher education, an institution that is already very damaged. can universities survive a response that is directed at them?

Hunter @hdemeyer.bsky.social · Sep 10

the paper i was trying to read was *really good*...now I'm distracted

Hunter @hdemeyer.bsky.social · Sep 10

will 9/10 be as pivotal as 9/11

Hunter @hdemeyer.bsky.social · Sep 8

even if you are explicit with your types and everyone on your team uses it all the time and you listen to its warnings, it still is an extra step and won't prevent executing buggy code. I also am not sure I could convince python programmers who are accustomed to type errors that it is worthwhile

Hunter @hdemeyer.bsky.social · Sep 6

using python for a web dev project after a few months of not using it and I really miss OCaml. Even with pydantic and pyright, I just don't trust the code the same way. There are so many more tests I feel like I have to write. how does anyone live like this

3 2 10

Hunter @hdemeyer.bsky.social · Sep 4

in the 1960s they really just pondered their theories for 16 pages, no citations just vibes

Hunter @hdemeyer.bsky.social · Sep 2

as is standard practice

Hunter @hdemeyer.bsky.social · Sep 2

I wish google drive had not de-emphasized directory structure. The suggested stuff is not often what I am looking for and I'm so used to remembering hierarchies instead of filenames

1 1 14

Hunter @hdemeyer.bsky.social · Aug 30

are you really a linux user if you've never had your wifi driver crash so bad that you had to do surgery on your laptop

Hunter @hdemeyer.bsky.social · Aug 27

one of those videos where someone who is really good at excel expeditiously solves a bunch of reformatting challenges but instead its emacs and text files

Hunter @hdemeyer.bsky.social · Aug 23

Some scientists writing software: make it up as you go, don't accept improvements out of fear that things will break, watch ignorant people copy parts of it into their own scripts.

Software engineering as a process is not that different from the scientific method.

R Michael Howard @ixcel.bsky.social · Aug 22

Hunter @hdemeyer.bsky.social · Aug 23

just spent many dollars on conference travel to guilt myself into doing work

Hunter @hdemeyer.bsky.social · Aug 21

meeting the new Informatics students this morning has really put me in the right head space for the beginning of the school year