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 dot com
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.com
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.
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).
You’re describing how statecharts model things. I’ve used them to describe and implement user interfaces for at least 15 years. Works great, easy, very few bugs.
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.
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.
> 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 suspect that many Duolingo users are not choosing between Duolingo and a formal language course. I suspect they're choosing between Duolingo and some other smartphone activity.
I enjoyed my formal language education but four years of high school Spanish was about as useless as any other high school class. The ~10m a day I spend on Duolingo is as much of a "waste" of time in terms of language aquisition, but it's almost as enjoyable as my language classes were, feels slightly less wasteful than whatever other smartphone game I'd be playing, and lets me maintain the fantasy that one day I'll actually get around to (committing the time necessary to) learn a foreign language.
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.
> and I had serious trouble understanding actual Spanish speakers
This is why I much prefer Fluent Forever. They play clips of words or phrases that sound similar to non-native speakers but are easily differentiated by native speakers. If you do it enough (and have immediate feedback about whether you heard it correctly) you can eventually learn to hear the distinction. For me it was be the difference between being able to read/write in another language and being able to listen and converse in it.
I wish I had done a couple of months of Japanese on Duolingo before traveling there. Simply knowing katakana and hiragana is a huge leap forward from zero knowledge. There were many words I would have known already just from exposure if only I could have read them.
Train line names for example, and all the dozens of english words written in Katakana. You also can't learn from exposure if you can't read the alphabet so I missed out on that too.
I haven't looked at Duolingo for a while, I tried it for Polish about 4 years ago and it seemed ok.
I've used a lot of tools over the years for Korean, Japanese & Mandarin, all are ok, but I usually go back to Anki for pure flash cards.
The only exception was Memrise for Japanese that I used for several years because everyone in my original class signed up at the same time and we were all "friends" on it so the competitive nature in us kicked in. IIRC Duo has a similar feature, but the challenge is getting that initial social pressure going. Once my cohort dropped off Memrise, so did I.
This looks a lot like existing co-op programs, where undergraduate students are hired as (typically paid) interns and take a break from classes while they work. AFAIK these programs usually work really well, to the point where my undergraduate college became very competitive and popular solely because of its co-op.
Co-op work is not classwork, so it removes the incentive for students to submit lazy contributions for bad grades. Yet co-op students actually benefit their companies because said companies continue to hire them.
Of course, the main difference with open-source is that nobody is paying the student. But still - either investors in FOSS can "hire" students to work on various open-source projects, or the students can choose to work unpaid (perhaps for less tuition, or part-time work on the side, to make ends meet). But I really think adopting a co-op model would be easier and more effective than trying it in the classroom.
