Hacker News

Article URL: https://jalopnik.com/why-cops-tap-your-car-s-tail-lights-during-a-traffic-st-1851746859

Comments URL: https://news.ycombinator.com/item?id=42823125

Points: 3

# Comments: 0

Article URL: https://www.nature.com/articles/s41598-024-64396-8

Comments URL: https://news.ycombinator.com/item?id=42823122

Points: 1

# Comments: 0

Hi HN,

I had to put some prototype together in python and I just find it hard to work with it now. Python is something I used to regularly write and then ship code asap, now all the various scenarios where it can fail just runs in my head and I end up implementing multiple strict checks in places and even then I'm just bothered about future changes breaking these things. I'm skeptical and I have to go and write a lot of tests so that thins don't break and some of them are just silly tests like checking value is in the correct domain. I don't mean to particularly bash on python. Since its not Python's fault. Same goes for JS, I can no longer write plain JS now. I just reach for TS. This is partly due to the fact that I was working on typed code(TS[0] and Java[1]) for last few months. And some of the code in there required correctness guarantees, and it was just easier to reach out for typed language since I get many of the checks for free. However after going there, I find it hard to come back to writing dynamic languages now. Once I've realized that typed languages allow me to restrict my domain and the guarantee that this function can just bother about this restricted domain. I worry free write my code and the tests. I get some sense of confidence in what I'm building. This obsession with staticly typed language has been making me unproductive. And I can't find myself going back to it, even for something like scheme which I love so much I just can't find myself going back to it.

# Footnotes [^0]: Strongly typed TS, no any, and for dynamic values, used to use unknown parse into a known type and then continue with that. Ye there are some downsides here too, for e.g: I was not able to maintain few guarantees here like : if I take X = XS[0], there is no way for typescript to guarantee that X is a value is that is guaranteed to be contained in XS.

[^1]: Yea, Java type system is not the best, I have to use hacks like inheritance to make somethings work, anyway its better than no type system, especially I hate that java allows null which is a major source of annoyance for me and i keep wrapping values in that Optional monad.

==========

TLDR: How do you manage to code in dynamic languages after being exposed to static typing.

Comments URL: https://news.ycombinator.com/item?id=42823107

Points: 1

# Comments: 0

Article URL: https://blogs.kde.org/2025/01/25/this-week-in-plasma-fancy-time-zone-picker/

Comments URL: https://news.ycombinator.com/item?id=42823104

Points: 1

# Comments: 0

Article URL: https://how-nostr-works.pages.dev/#/outbox

Comments URL: https://news.ycombinator.com/item?id=42823097

Points: 1

# Comments: 0

Article URL: https://daverupert.com/2025/01/raycast-focus/

Comments URL: https://news.ycombinator.com/item?id=42823094

Points: 1

# Comments: 0

Article URL: https://curtismchale.ca/2025/01/25/performative-reading-goals/

Comments URL: https://news.ycombinator.com/item?id=42823086

Points: 2

# Comments: 0

Article URL: https://www.nytimes.com/2025/01/25/opinion/ai-chatgpt-empower-bot.html

Comments URL: https://news.ycombinator.com/item?id=42823082

Points: 1

# Comments: 1

Article URL: https://techxplore.com/news/2025-01-eco-friendly-aluminum-battery-minimal.html

Comments URL: https://news.ycombinator.com/item?id=42823063

Points: 1

# Comments: 0

Article URL: https://www.freethink.com/consumer-tech/khanmigo-ai-tutor

Comments URL: https://news.ycombinator.com/item?id=42823061

Points: 1

# Comments: 0

Below is a community-curated list of recommended European tech projects aimed at supporting and strengthening the European tech ecosystem. European companies often adhere to unique standards like GDPR compliance and sustainability practices, setting global benchmarks in privacy, security, and eco-friendly innovation. This list highlights European startups excelling in these areas, fostering collaboration and inclusivity while contributing to a diverse and resilient global tech landscape.

I’m building a community-driven list of Awesome European Tech to showcase these projects.

Disclaimer: This initiative isn’t about excluding non-European solutions but rather spotlighting European excellence in privacy, sustainability, and innovation. Explore the list and visit the inspiring website: European Alternatives.

Comments URL: https://news.ycombinator.com/item?id=42823052

Points: 1

# Comments: 0