I am a PhD student looking for a summer internship, my research area is programming languages and compilers
Readit NewsJakobeha commented on Ask HN: Who wants to be hired? (April 2023) · Posted by u/whoishiring
I am a PhD student looking for a summer internship, my research area is programming languages and compilers
Location: West Lafayette IN USA
Remote: yes
Willing to relocate: no
Technologies: Java/Kotlin, Rust, C/C++, JavaScript/TypeScript (Node.js and web), Swift (iOS), Coq (formal methods)
Résumé/CV: https://jakobeha.github.io/Resume.pdf (https://jakobeha.github.io is my personal site with more info)
Email: jakobeha at gmail.comLocation: Indiana, USA
Remote: Yes
Willing to relocate: No
Technologies: Rust/C++/C (Unix/Linux), python (numpy/pytorch/huggingface), Kotlin/Java, Swift (iOS), Lua, HTML/CSS/JS/TS (node.js and web), PostgreSQL, Git, Bash, Excel
Résumé/CV: https://jakobeha.github.io/Resume.pdf
Website: https://jakobeha.github.io/
Email: jakobeha@gmail.com
Bio: 3rd year PhD student looking for a summer internship. Most of my research experience is in PL, I also have some experience in SE and ML.
Jakobeha commented on Xv6, a simple Unix-like teaching operating system pdos.csail.mit.edu/6.828/... · Posted by u/memorable
I just scanned the Xv6 book [0] and it seems the book's exercises aren't really to build an OS from scratch, but modify an existing bare-bones OS.
When looking at the Xinu book index, it's not clear to me if the Xinu book is different. Does the Xinu book show how to write an OS from scratch or is the book also about making small changes to an existing OS?
---
[0]: https://pdos.csail.mit.edu/6.828/2021/xv6/book-riscv-rev2.pd...
It's another bare-bones OS.
I've taken the class at Purdue. The way the class works it was divided into 4 "projects" where you had to add features to Xinu. In my semester those were: a more advanced scheduler, locks, process permissions, and a file-system.
Jakobeha commented on UIs are not pure functions of the model (2018) blog.metaobject.com/2018/... · Posted by u/b3morales
A UI can be represented as a set of concurrent/asynchronous prompts. UI takes the model and possible next actions, presents this to the user, gets a response, and returns this as an action which is then applied to update the model.
Alerts and login forms are clearly prompts. But so is an complex editor: it constantly prompts the user for the next action, e.g. enter text or change existing text’s formatting. Or a social-media site: possible actions are “login”, “view post”, “create post”, and so on.
Even an FPS can be warped into a prompt-based UI, where the model is the game state (or what the player sees of it), and the prompts are “move, turn, shoot”. But you probably shouldn’t do that. Asp bad examples: a weather or stock viewer where your options are null, and the model is the weather or stock which you can’t change.
Nonetheless prompt-based UI is really useful for many otherwise-ordinary cases. It lets you write a UI like a CLI and automate your UI very easily; it tells you which state is truly part of the “model” and which is just part of the UI; it’s composable spatially (more elements) and temporarily (series of steps). I don’t know if it’s been explored much.
In prompt-based UI, the UI is sort of a pure function of the model. It’s an asynchronous function which takes the model and returns a stream or future of the next action(s).
Jakobeha commented on Ask HN: Recruiters want people who do side projects, yet contracts forbid them? · Posted by u/uVacCXNiiJCTnYB
I think this is more of a thing for college students who are getting their first job.
IME I've heard a lot more people interested in side projects than the other commenters. But I'm also a lot younger, and heard this usually in different universities.
Once you actually get a job, you put that on your resume and it's better than a side project.
In the Risk Factors section
> The online language learning industry is highly competitive, with low switching costs and a consistent stream of new products and entrants, and innovation by our competitors may disrupt our business.
I don't personally like Duolingo. Formal education has been better for me, with languages. Both Duolingo, Memrise and Rosetta Stone neglect to tell you why any language rule exists or what contexts its used in and just procedurally generate gendered ways to ask for an Apple for 50 levels of lessons, pretending like rote memorization and classical conditioning is useful. I would say that it is not, context is very important.
Enough people believe this is useful, like you, you want to read signs. This won't help you notice that the entire color spectrum can be wildly different in different languages and cultures, or that you sound like you used Google Translate and everyone will look at you weird because they speak in a trendy way.
As for a company, its just ARR. Enough people will pay for it and use a subscription, that's good enough.
I should've mentioned that I actually took Spanish classes a few years before Duolingo. Those classes taught me the grammar and why the rules exist, but I didn't memorize many words (or I forgot) and I had serious trouble understanding actual Spanish speakers.
Duolingo "teaches" alternate tenses weirdly and IMO too late. But it does well for memorizing words, and it has people speaking with actual Spanish accents and forces you to understand them. So it's particularly helpful for me.
Somewhat unrelated but has anyone here experience fever dreams where you are surrounded by something you can't quite comprehend and can't do anything but try to comprehend it?
It's almost like a huge maze, grid, or some other pattern but painful to look at. The dream tends to be extremely unpleasant and usually returns after falling back asleep.
I was trying to explain it to a friend the other day and didn't do a very good job.
Not quite, but I experience very bad logic and logical inconsistencies in dreams. For example:
- Can't even do basic math, or I solve it wrong (e.g. 2 + 3 = 7) - Impossible (non-euclidian) spatial arrangement - Leave out big gaps of details, which I have to fill in if I remember the dream. Not that I'm forgetting stuff, I just never thought of it in the first place - Misremember stuff from the past
I use Duolingo to learn Spanish. It's very simple but the streak system has kept me making slow progress. I've only gotten to "Checkpoint 3" (of 7) but it seems to be working well - I don't speak fluent but I can usually read signs etc. in Spanish and actually understand them.
The main issue I can see them facing is: it's very simple, so easy to clone. And Duo has its flaws, so I wouldn't be surprised if of those clones are a lot better. I like Duo, I use it now, but I could switch to another service in 1 second.