I'm a Haskell and FP nerd as well. I just meant the argument and the popularity inside the JS/TS world, which is fairly significant. I think the world is a better place because of the widespread adoption of TS over JS.
Self-hosted. It runs great on a tiny VPS with other services. But I did have to get a cheaper Hetzner server (5 Euros-ish for 4GB RAM) to run the runner.
Forgejo feels like a refreshing blast from the past. No intrusive AI cramming. The Web Interface is snappy and responsive, not waiting for constant loaders and spinners. It takes almost no resources to run.
Excellent anecdote. I'm not sure if you're making a judgement about their behavior at the team event.
I'm an English native speaker, new in Germany, and learning German. I personally find it really annoying and awkward when other foreigners come into German social situations and expect or push them to speak English.
- What right do I have as the foreigner to intrude and get them to speak English?
- Social life in another language has it's own shared culture, jokes, and social cues. It's not fair or realistic to make people give that all up because some foreigner walked near the circle.
- It's my problem that I'm not yet fluent. It's not their problem that they're not speaking English.
- Some people are shy about their English skills, and they do not want to be pushed to speak English in front of others, in a group social setting.
- If you want exposure and practice, these are the golden opportunities! Take a humble learners position. Be quiet, understand as much as you can, and say what little bits you can, in German, not in English. Then study, study, study as much as you can in your time alone.
I hear fellow foreigners bemoaning the fact that they can't speak German yet, but these same people will inadvertently push English into every social situation they walk into. This just doesn't work. If you want to learn the language of the land, you have to let them speak it.
I find Germans are incredibly friendly and welcoming, especially when you come in humbly, trying to learn, and don't push everyone to speak English.
I'm done. Moving to Forgejo. It's wonderful and everything works better.
Seriously like everything is instant when you click around, and CI with a runner works beautifully. (The documentation for setting up the runner could be a tad clearer but otherwise everything was so painless.)
It would be nice if they would at least say __unintelligable__ when they couldn't get things, but alas. I also notice it with YouTube auto generated subtitles and translations. They misrepresent SO much.
These AI Note-Takers can also mangle the summaries. A few weeks ago I read anecdotes here about a doctor getting completely wrong information about a patient, and a manager getting upset because he was depending on a summary of something a client never said or agreed to, but the AI summary said he did. These things are downright dangerous.
Now come the replies saying, "as if human note-takers never made mistakes!"
Of course Windows is garbage. But this is the sort of defeatist argument that always shows up among both AI optimists and places where corruption is rampant. Corruption and incorrectness is established as an inescapable baseline, and then greater systematic corruption (like LLMs producing constantly sub-par code) is justified.
Please correct me if I'm wrong, but aren't AI agents replacing the coding mostly being done on the outer layers of development? I mean, end user applications, apps, dashboards, business applications? On this "outer crust" people can maybe tolerate things with 99% accuracy, or bloated code. A vibe coded app can be argued to be "good enough." (Even then, look at the disaster that Microsoft apps have become post AI adoption.)
But people are still staying away from LLMs on the critical compilers, frameworks, tools and libraries that people need to really rely on. No one wants to build on code that is 99% accurate or bloated. No one wants to use an AI coded web browser. To really build good building materials, you need to code it and know what you're doing. Where is anybody even getting close to phasing out coding in those critical areas?
即使没有静态类型，即使允许疯狂的宏，声明式和函数式思维的基线也是如此强大，这为你更清晰地思考和推理程序提供了一个良好的开端。