Software Engineer

UK
Joined February 2015
Best meme i've seen in a while 🤣
25
1,139
24
44,497
825,579
108
236
55
3,074
71,551
Ziya Suzen retweeted
Happy Friday #NATSioFanClub! #ICYMI NATS v2.15 has been released this week 🌟 Check out our summary blog post about the release, then go kick the tires. We ♥️ community feedback and hearing how you are using NATS to do cool stuff. nats.io/blog/nats-server-2.1…
3
2
9
577
Looking for a iOS and Android mobile app developer to help develop an initial version of an APP for an OTA. Native is preferable but @r_FlutterDev is acceptable as long as nothing is “lost” in the process. - Previous experience connecting to realtime backends like WebSockets is required. - Previous experience with @dotnet @SignalR is a plus. - Previous experience with Tourism industry (in particular OTAs) is a plus. - Be able to work close to Brazilian Timezone (GMT-3) at least part of the day is required. Interested? Please DM me with your resume and/or app portfolio. Scope, technical docs and Figma design will be shared with developers which match the profile. Thanks!
5
1
5
419
Ziya Suzen retweeted
⏰ One hour to RethinkConn. If you registered, check your inbox for the join link. If you didn't — you can still register and drop in: synadia.com/lp/rethinkconn-2… First session kicks off at 9 AM PT / 12 PM ET. See you there.
2
3
164
Ziya Suzen retweeted
c isn’t ugly at all it’s insanely simple and beautiful
your "clean" C++ is slower than this "ugly" C
18
19
360
14,688
The @synadia team is on a roll. Amazing work on the release of @nats_io server version 2.14. Congrats to the team! docs.nats.io/release-notes/w…
2
1
23
2,781
Ziya Suzen retweeted
If you don't understand this, you will not understand why LLM-based agents are irreparably failing for a general-purpose problem solving. An agent (by the way it was the topic of my PhD 20 years ago) to be useful, must be rational. Being rational means to always prefer an outcome that results in the maximal expected utility to its master/user. Let’s say an agent has two actions they can execute in an environment: a_1 and a_2. If the agent can predict that a_1 gives its user an expected utility of 10, and a_2 gives an expected utility of -100, then a rational agent must choose a_1 even if choosing a_2 seems like a better option when explained in words. The numbers 10 and -100 can be obtained by summing the products of all possible outcomes for each action and their likelihoods. Now here is the problem with LLM-based agents. The LLM is not optimizing expected utility in the environment. It is optimizing the next token, conditioned on a prompt, a context window, and a training distribution full of examples of what helpful answers are supposed to look like. Those are not the same objective. So when we wrap an LLM in a loop and call it an “agent,” we have not created a rational decision-maker. We have created a text generator that can imitate the surface form of deliberation. It may say things like: “I should compare the expected outcomes.” “The best action is probably a_1.” “I will now execute the optimal plan.” But the internal mechanism is not selecting actions by maximizing the user’s expected utility. It is generating a continuation that is statistically appropriate given the prompt and prior context. This distinction matters enormously. For narrow tasks, the imitation can be good enough. If the environment is constrained, the actions are simple, and the success criteria are close to patterns seen in training, the system can appear agentic. But for general-purpose problem solving, the gap becomes fatal. A rational agent needs stable preferences, calibrated beliefs, causal models of the world, the ability to evaluate consequences, and the discipline to choose the action with maximal expected utility even when that action is boring, non-linguistic, or unlike the examples in its training data. An LLM-based agent has none of that by default. It has fluency. It has pattern completion. It has a remarkable ability to compress and recombine human text. But fluency is not rationality, and a plausible plan is not an expected-utility calculation. This is why these systems so often fail in strange, brittle, and irreparable ways when given open-ended responsibility. They are not failing because the prompts are insufficiently clever. They are failing because we are asking a simulator of rational agency to be a rational agent.
163
264
47
1,539
201,999
Ziya Suzen retweeted
Mitchell Hashimoto
@mitchellhApr 28
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. mitchellh.com/writing/ghostt…
543
1,572
510
16,513
2,932,687
Over the years @nats_io systems have grown in complexity by leaps and bounds. The system is observable to a fault and produces a ton of information about what is going on, but very few people know about everything that is available. So proud of the @synadia team delivering insights. A wealth of information and data that can be accessed via UI, API and your AI agents.
Replying to @nats_io
@NATS_io has a particular adoption curve. Someone introduces it for one use case, it just works, and within a year or two it's threaded through half the systems in the company. This is great! Until it's not.
4
8
65
2,855,464
Datastar 1.0 has FINALLY SHIPPED! 🚀🚀🚀 WE ARE IN ORBIT 🚀🚀🚀 Watch the launch podcast. Welcome to planet boring y'all! youtube.com/watch?v=T6uwri94…
23
34
8
134
12,361
Are you building microservices in DotNet? How do you ensure communication and integration between services?
28
3
1
41
10,619
Excited to share that TigerBeetle and @synadia have pledged $512,000 to the @ziglang Software Foundation. Zig changed my life, making TigerBeetle possible. It's been an adventure these past 5 years, and thrilled to pay it forward, together with my friend @derekcollison.
10
20
1
274
28,262
Ziya Suzen retweeted
A great way to elevate your team's @nats_io capability! Check out the newly released @Synadia Training courses: NATS Developer Course & NATS Administrator Course, delivered virtually or in-person. Curriculum & pricing available here: synadia.com/education #opensource #CNCF #datastreaming #datamessaging #iot #iiot #ai #edge #edgeai #distributedcomputing #edgecomputing
4
7
601
Ziya Suzen retweeted
Mitchell Hashimoto
@mitchellh25 Oct 2025
Amazing! Synadia and TigerBeetle donated $512K over 2 years to Zig. @derekcollison and @jorandirkgreef are awesome, thanks for doing this. tigerbeetle.com/blog/2025-10…
6
14
313
24,386