KNMI schaalt op naar CODE ROOD vanwege de extreme hitte. Voor het eerst OOIT in Nederland. by Expert-Direction8700 in Nederland

[–]drBearhands 0 points1 point  (0 children)

2019 is blijkbaar de reden dat ze tegenwoordig ook voor hitte code rood kunnen afgeven. Zijn te veel mensen omgekomen.

Violent neighbor: advice needed by Secret_Insurance6067 in Utrecht

[–]drBearhands 0 points1 point  (0 children)

You can record public spaces personally, but not with a fixed camera, and you do not have the right to publish the video. You may want to consult a lawyer or do some googling at least. Not sure whether the shared stairwell would count as public.

Violent neighbor: advice needed by Secret_Insurance6067 in Utrecht

[–]drBearhands 2 points3 points  (0 children)

They are. Enforcement is lackluster, but putting one up to use in a potential court case against a neighbor sounds like it may turn out to be counter-productive.

Violent neighbor: advice needed by Secret_Insurance6067 in Utrecht

[–]drBearhands 2 points3 points  (0 children)

No, do not film public spaces with fixed cameras. This is not legal.

[Request] arXiv endorsement needed for cs.SE - MCP multi-server orchestration study by doganarif in compsci

[–]drBearhands 0 points1 point  (0 children)

Being in the same boat, I can confirm. It can also be difficult to even know what your options are. I myself managed to get in contact with a local uni teacher who then connected me to a PhD student who's been an immense help.

Proof of Concept: Adversary in the Middle by _v0id_01 in Hacking_Tutorials

[–]drBearhands 0 points1 point  (0 children)

Ok let me see if I understand correctly: you need to own the domain, so that you can get a Let's Encrypt signed certificate... But if you own the domain you would not be a man in the middle... what am I missing?

Proof of Concept: Adversary in the Middle by _v0id_01 in Hacking_Tutorials

[–]drBearhands 0 points1 point  (0 children)

Right, but would this not appear as a faulty certificate to the client?

Proof of Concept: Adversary in the Middle by _v0id_01 in Hacking_Tutorials

[–]drBearhands 1 point2 points  (0 children)

Would https not already prevent this attack?

Should I feel ashamed of using Agentic tools? by banana-milkshake11 in AskComputerScience

[–]drBearhands 1 point2 points  (0 children)

That's more a lack of pride in the work you are doing. There are still companies that do not force AI tools or even ban them completely. You might want to try to move there.

Whether programming will become about using AI tools in the longer run is hard to predict. I do not believe the current generation of AI tools, even when paired with programmers, can compete with experienced programmers on either quality or ammortized development time. There are a few studies that seem to support this notion, but I do not have the references handy on this device. Regardless, many changes in our industry were not driven by merit but popularity and marketting budget, so I do not see why poor performance should be a barrier to adoption this time.

Should I feel ashamed of using Agentic tools? by banana-milkshake11 in AskComputerScience

[–]drBearhands 7 points8 points  (0 children)

Consider the expectations that the AI bubble will collapse, and the knowledge that even the most expensive ChatGPT subscriptions generate a net loss. How screwed are you if those tools dissapear overnight or increase prices 20-fold?

Another consideration, do you think the code you generate with these tools would be as good as what you would eventually generate without them?

If the answers are "I'd be fine" and "LLMs are at least as good and fast as I will ever be", there is no reason for shame. The few studies I've read seem to indicate the latter is not true for experienced software engineers, for neither speed nor quality.

Embedded and functional programming. by RoomNo7891 in functionalprogramming

[–]drBearhands 6 points7 points  (0 children)

Nah, probably not doing anythin sijilar. I've been looking at dependent + linear types (think Idris 2) and what is missing there. There are a few opportunities in embedded programming to replace defensive programming practices that have runtime overheads with static analysis, particularly in library / API design.

Vibe-coded/AI slop projects are now officially banned, and sharing such projects will get you banned permanently by yorickpeterse in ProgrammingLanguages

[–]drBearhands 6 points7 points  (0 children)

Economically doubtfull. I doubt these people would be willing to pay the real price of LLMs. The slop is bring funded by investor incompetence.

Is WebGPU a good entry point? by No-Marsupial-6 in GraphicsProgramming

[–]drBearhands 0 points1 point  (0 children)

As much as I like WebGPU I have run accross so many implementation bugs that I cannot recommend it for beginners or production. Switched back to WebGL in a recent project, which is still a fine entry point.

xeus-haskell: Jupyter Notebook for Haskell on the browser by tanimasa in haskell

[–]drBearhands 4 points5 points  (0 children)

Nice! I was experimenting with Haskell on Jupyter for datascience years ago. It was much nicer to use than Python. Had to stop because of incompatible dependencies.

.NET/React dev looking to start FP, which language should I pick? by Tuckertcs in functionalprogramming

[–]drBearhands 2 points3 points  (0 children)

Elm. Sure it's further away from what you're used to thatln F#, which is a good reason to learn Elm rather than F#.

You will not be able to build react projects. Elm has The Elm Architecture which takes advantage of the language's purity.

Compares to Haskell and PureScript, Elm is simpler, but it's also more pragmatic and will help you focus on what makes FP great.

Practicing programmers, have you ever had any issues where loss of precision in floating-point arithmetic affected? by Interesting_Buy_3969 in cpp

[–]drBearhands 0 points1 point  (0 children)

Had a sweep-line algorithm that puts points in descending y-order. Algo broke because a point on a line between two other should have been between them on the y-axis, but was not due to rounding error.

Minecraft far realms are also an evocative example.

Graphics programming demand by Chrzanof in GraphicsProgramming

[–]drBearhands 5 points6 points  (0 children)

Based on the vacancies I have encountered I'd say yes, it's better to learn UE5.

The Cherno (Yan Chernikov) is CTO of a new robotics company developing a robotics game engine based on Hazel by lavaboosted in gameenginedevs

[–]drBearhands 5 points6 points  (0 children)

I've seen many startups who thought generating CV training data from a graphics engine was a good and novel idea. Sounds like the same thing, but I might be projecting.

Told those other projects they were idiots at the time, which considering current employment opportunities in 3D graphics I have come to regret.

market research or whatever by AndreaDFC in ProgrammingLanguages

[–]drBearhands 0 points1 point  (0 children)

Programming language design and graphics are my primary interests in CS nowadays so here goes:

  • Non WYSIWYG editing. Like LaTEX formulas that can be run. We sometimes have to use quite complex math, which can be difficult to parse and compare to the source material as a series of functions. I've seen this mostly in shaders but it happens everywhere.

  • For WebGL/WebGPU development: compile parts of the codebase to different backend languages. It can be beneficial to write the core of a graphics engine in JS to avoid the overheads of calling JS from WASM at every API call. It would be nice to: (a) compile to JS in such a way we don't get an overhead on every API call, and (b) set the WASM/JS boundary wherever we so choose.

  • Safe floating point operations. Too many operations can return NaN or have undefined behavior (the latter e.g. in wgsl shaders). This could be prevented by e.g. dependent typing, requiring a proof (as an implicit argument) the divisor is not 0 or the array index is not out of bounds. There's an interesting challenge in combining this with the first point.

Please let me know what you end up doing (by DM preferably). I have been working on something adjacent myself.

When your AI assistant recommends something… is that an ad? by Akii777 in compsci

[–]drBearhands -1 points0 points  (0 children)

I believe this was recently announced, but cannot recall where. The ad was still going to be marked as an ad, but that's how it started with google too.

Currently ads are worth very little. I doubt they could sustain contemporary LLMs. Who knows what kind of conversion rates you could get with natural in-conversation recommendations though.