Viewing profile — jevndev

It has a double meaning actually! The ship of Theseus reference like you noted and the “Harkinian” part being the name of the king of Hyrule from the CDI games. One of his lines is…

For what it’s worth, a common example of the capabilities of c++26 reflection is exactly this use case. I can’t remember where I first saw it, but this article [0] showcases the te…

To clarify, I really do enjoy the premise of the article. I’m a big fan of circuitry-as-art so I was excited to see what new ideas this brought to the table. It’s clear my tone in …

[flagged]

I love ligatures but I wish there was tooling for context sensitive ones. This is a really good example. When developing, I love <= turning into ≤. When running a cli that happens …

Reasonably certain the practice of naming combinators after birds comes from “To mock a mockingbird” by Raymond Smullyan. Don’t have the book on hand to verify but figured I’d drop…

The common argument for a language feature is for standardization of how you express invariants and pre/post conditions so that tools (mostly static tooling and optimizers) can be …

This is true about LLMs themselves but the developments behind them have been a boon for robotics. I’m mostly familiar with computer vision so I can’t speak to everything, but visi…

Unfortunately this practice is prevalent still. Recently I’ve been applying to jobs in the two industries I have experience in (algorithmic robotics and fintech) and nearly half of…

My least favorite by far is the “multi section” webpage design. Where the page is split into multiple whole-screen sections and scrolling the mouse wheel alternates between either …

Neat example of the strengths and weaknesses of vibe coding… But if anyone here is looking for a solid browser-based parametric CAD solution, [onshape]( https://www.onshape.com ) i…

> the definitions are cloudy enough […] This is one of the biggest traps I’ve seen in code review. Generally, everyone is coming from a good place of “I’m reviewing this code to ma…

The “Stop at first level of type implementation” is where I see codebases fail at this. The example of “I’ll wrap this int as a struct and call it a UUID” is a really good start an…

Funny enough, he has talked about this exact problem on his podcast “Two’s complement”; Specifically the episode “The future of compiler explorer”. Commenters below are correct tha…

I’ve stumbled into this problem before while drafting a language I want to make*. A lot of the design philosophy is “symbols for language features” and as such import/export is han…

I think the key to understanding why people want this is that those people care about results more than the act of coding. The easy example for this is a corporation. If the softwa…

You are correct. I absolutely missed the "during the school day" stipulation.

Oop, I totally missed the "during the school day" part of the grandparent comment. I totally agree with banning them during the school day. My argument was against the point that t…

Oh I just realized I missed the "during the school day" part of the comment I cited. That's totally my mistake. For what it's worth, I agree with banning during the school day but …

> A good starting point would be fully banning all phones for the entirety of the school day in K-12. Is what I was responding to in the grandparent of your comment

It really feels the same as weed/nicotine/alcohol/sex/other vices. If history has taught us anything, outright banning them only makes them into forbidden fruit. We need to explain…

Im curious about what you're working on. Do you have a repo for the project? As for optimizations, I figure evolution-designed languages might come up with things that are hard to …

I feel like a lot of people are forgetting how good llms are at small isolated tasks because of how much better they've gotten at larger tasks. The best experiences I've had with l…

[dead]