Hi, I’m Leonora.

You can call me Nora, if you like.

I’m a full time student in computer science at Beloit.

I build and break open source software for fun.

💼 Experience

Software Engineering Intern at CancerIQ, Inc during summer 2018

IT Technology Assistant II at Beloit College during fall 2017 and spring 2018

Software Engineering Intern at GudTech, Inc during summer 2017

IT Technology Intern at CyberHIVE San Diego during 2016

💻 Code

I write systems code in Rust and Go, scripts and utilities in Python and Lua, and websites in HTML5, CSS, JavaScript, and TypeScript.

⚛ Projects

⚖ Ethics

It is the duty of software engineers to build software in an ethical way. In short:

  • computer systems should serve their users before their makers
  • software should empower users, not restrict them
  • users should decide how data is used before engineers or businesspeople

Whether it means embracing software freedom or another ideology, or going by gut feeling, we must proceed as best we can.

🖥 Hardware

I occasionally build actual, physical stuff, mostly small RC aircraft and hacking kit. Thanks to this hobby I

I also really like retro computing hardware, but generally don’t have the time or money to indulge this interest.

🎓 Tutorials

I’ve written tutorials on type systems and what can be done with them (for instance, session types.)

If you’re interested in x86 hacking, my reverse engineering tutorial is a great place to start. For a more application-level security discussion, check out my post on embedding malware in PDF files.

💬 Culture & Practices

The culture, business, and sociology of technology fascinate me.

I’ve written about topics ranging from hacker superstitions and how spending way too much time customizing my desktop is productive, actually to repairable hardware and free software and why it matters, for individuals and for society as a whole.

<! –

💽 IPFS

This website is also available on IPFS, a peer-to-peer content-addressed immutable datastore that spans the globe. I host a public IPFS gateway at ipfs.leotindall.com; you can also view this blog through that gateway rather than the public resolver.

-->

🗺 Around the ‘Net

You can find me: