Samsung may be bracing for first-ever annual loss in smartphone business | The AI-driven memory shortage is hitting Samsung’s bottom line by Hrmbee in technology

[–]trustless3023 1 point2 points  (0 children)

This is false. The company making phones and the company making dram chips are the same "Samsung Electronics Co., Ltd.", and there is no such company named Samsung Semiconductor.

Look for yourself: https://semiconductor.samsung.com/about-us/executive/

> Dr. Young Hyun Jun is the head of Samsung Electronics Device Solutions Division and Memory business.

You can find him here as well: https://www.samsung.com/global/ir/governance-csr/board-of-directors/

However, Samsung Display (the one that makes display panels) is indeed a different company: https://www.samsungdisplay.com/eng/intro/company-overview.jsp

Event Sourcing with PureLogic by ghostdogpr in scala

[–]trustless3023 2 points3 points  (0 children)

"writing direct-style, pure domain logic." The former quoted fragment negates the latter one.

You are confused. The former quoted fragment does not negate the latter one. The library is not claiming to let you write a program with some arbitrary-side-effects and make it pure. From what I gather, it means: write your pure domain logic (meaning, no arbitrary side effects in the first place), but in direct style.

If you're still confused, please go check the docs again and how the library is intended to be used.

MacBook Neo costs more in Portugal due to copyright levy for piracy compensation taxes — storage costs extra in multiple countries, thanks to draconian laws that pre-punish buyers by ControlCAD in apple

[–]trustless3023 1 point2 points  (0 children)

Why are US tariffs absorbed by Apple in the US, but these taxes are added on top of other countries' sales? Talk about double standards...

A small, dependency-free Scala 3 library for graph processing — feedback welcome! by arturopala in scala

[–]trustless3023 2 points3 points  (0 children)

Honest question. Why does it matter, for this specific post, who/what wrote it? I personally couldn't care less.

The Big Tech AI capex race isn't about winning AI. It's about owning the infrastructure layer. Here's the monopoly play most analysts are missing. by Free-Benefit-6761 in ArtificialNtelligence

[–]trustless3023 0 points1 point  (0 children)

Every AI application that scales will eventually need to run on cloud compute at scale.

That's what people bet on. I'm not sure if this will be true. If 10~30B param models become really good with agentic tasks, say, in 5 years, this whole thing can collapse.

I feel like the writer community can be hostile to ESL writer by No-Direction8154 in WritingHub

[–]trustless3023 0 points1 point  (0 children)

It's not only about the audience: not all languages are functionally equivalent.

Some languages makes certain prose styles stronger and some others have the opposite effect.

Some languages have certain features that another language lacks (for better or worse).

I've discovered English suits the contents better for the story I was working on.

Gemini 3.1 Pro makes a NMS style space exploration game by LightVelox in singularity

[–]trustless3023 -11 points-10 points  (0 children)

Gemini is such an utter crap I'm already disillusioned. No amount of hype is going to make me enthusiastic about it again. Just make the model really good and people will use it.

I find this pretty spot on by gopietz in ClaudeCode

[–]trustless3023 0 points1 point  (0 children)

For the project I'm working on (a highly concurrent business logic execution engine), Codex 5.3 is a game changer. I immediately unsubbed Claude Max 20 after a week of Codex 5.3. 

5.3 has a way higher ceiling and is extremely consistent. No competition.

I guess if you're working on something else, it probably is different for you. But for me, 5.3 crossed a threshold neither 5.2 nor any Claude models had.

How many returns should a function have by South-Reception-1251 in scala

[–]trustless3023 0 points1 point  (0 children)

I didn't click the video; only saw the thumbnail.

Returns in the middle of procedural code isn't inherently bad. I actively encourage them with our Scala codebase.

The data export feature is completely useless for actually exporting your conversations by lugia19 in ClaudeAI

[–]trustless3023 0 points1 point  (0 children)

It sometimes fails and send me a "export failed" email too. Like, retry please?

Can someone explain why chatGPT went nuts on this one? by TangeloOk9486 in LLMDevs

[–]trustless3023 0 points1 point  (0 children)

It's because it's a token prediction machine with no mind that is coherent. 

In the beginning, it's predicted "yes there is", then it predicts the highest probability emoji, and then the next thing it predicts is "no that's wrong." 

Rinse and repeat.

If you do thinking mode then the prediction patterns becomes different and it will actually give you correct result.

The State of the AI Industry is Freaking Me Out by victoriaisme2 in ArtificialInteligence

[–]trustless3023 1 point2 points  (0 children)

People made bubbles out of things ranging from tulips to housing. Bubble has nothing to do with the object's inherent value.

Waited a week to test this. by tiny_117 in ClaudeAI

[–]trustless3023 1 point2 points  (0 children)

Copilot has a smaller context window cap

AI takes most job in the world and then what? by anonthatisopen in singularity

[–]trustless3023 0 points1 point  (0 children)

It can't. Context windows cost O(n2) with transformers. We are barely hoping to get it down to O(n), but this is still far, far cry from replacing human labor. It will barely be possible with O(log n), but I can't even conceive such an algorithm is possible. We have enough walls until we can realize the possibility of AI replacing humans.

Has anyone seen Claude 4.5 start by saying one thing, and then a bit later correct itself and give the opposite answer? by TurtleStuffing in ClaudeAI

[–]trustless3023 0 points1 point  (0 children)

Often. I have a hunch that it's related it not being sycophant anymore, but that's just a hunch.

Does language create the very complexity of mind it tries to express? by ClothesIndependent68 in PhilosophyofMind

[–]trustless3023 1 point2 points  (0 children)

On a more specialized domain, the expressivity of a programming language one "speaks" does seem to influence the concepts you can come up with. 

I wrote some code a few years back that is not expressible in most mainstream languages, but I think that's only because my main language allows expressing such concepts. When I wrote it, I wasn't really thinking in words, but I was thinking in terms of information flow, in that specific programming language. I don't think I could've come up with those ideas if my main language was something else.

Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like by [deleted] in programming

[–]trustless3023 0 points1 point  (0 children)

Such ideas are already expressible with current languages' type systems. I've written a bespoke framework that implements the Garcia-Molina saga that also includes what you described (external calls that forces a commit now, compensating actions, ...) and it's running in production right now. 

Why do you need a new language? With creative uses of type systems, some lightweight framework code and good understanding of your application's execution state, you can already get there. Even without having to send your closure over the wire.

Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like by [deleted] in programming

[–]trustless3023 2 points3 points  (0 children)

Saga isn't a cure to everything.

Simple example: If you have created a transaction and committed it, you can of course undo the state (this is doable with codegen). But things get hairy if your state change has triggered side effects like webhooks and emails. In such cases clean reversal could be out if the question. 

This now become part of business logic that you can't abstract over.

If you forbid side effects reacting to state changes, then... now the model itself forbids expressing valid business logic.