Mauricio Scheffer

@joschelboschel "old school nix users love the fact that nix is hard use that as a USP" yeah, this is bizarre. I'd like to say it's not true but unfortunately I just can't

From the few emails mentioning libnix to the foundation, I don't think so. John likes it and he is also, independently of my publications, in a pro Windows faction. I assume that most in the foundation have a neutral to even hostile position towards it. In a discussion with grok, grok proposed that most old school nix users love the fact that nix is hard use that as a USP and the rest have accepted defeat and use traditional software engineering on top of nix rather than to use nix (like proposed in libnix). Libnix is quite a disruption for traditional software development and with that makes people uneasy. But the cool thing is, there is quite a lot of users, which I think are new nix users and they like libnix quite a lot. 😍🎉😉

Seeing how much the libnix community liked this post I'm so sad I don't have more funding to work on this. This feedback is very rewarding, thanks for all your support! I'll land a incremental build feature for root crates soon but that will be the last thing I plan to contribute.

@mandubian Yes I guess our expectations have changed over time. Not long ago sonnet seemed like an amazing model to me. But now I got used to gpt-5.4 and glm-5.1 , it's hard to go back...

Opus soon not available in Pro plan... well, sadly sonnet4.6 is not a very good model, not very smart, not deep reasoning... Yesterday Opus took code generated by Sonnet, reverted it completely saying it was wrong and recoded it. hmmm ok... use alternatives

I'm playing around with automating my TV with AI... jfc for a "smart TV" this thing is ridiculously dumb pretty much no APIs beyond remote control commands

And even more so for languages...

@mandubian I really like GLM-5.1 too, where are you getting it from though? Opencode Go limits are too low... blew 25% of the monthly limit in a couple of days using GLM-5.1 mostly as a backup model only. Also very disappointing that they allow no concurrency...

Reaching this step in AI for coding that opensource models like GLM5.1 (certainly kimi2.6 too but need testing) is enough for 99% of my planning and implementation tasks, even the hardest (if I can use them intensively). Deeper models will be useful in rare cases but not everyday

Good thing we've got healthy competition. Quite happy here with GLM-5.1 and GPT-5.4 on Opencode

awwww fun time is over :( it was good while it lasted

Software Engineering is neither Computer Science nor Software Development. People don’t seem to get this. Software Engineering is requirements gathering, writing an SRS, identifying quality attributes and designing a software architecture around them, creating a work breakdown structure, identifying cost estimates for development, implementing, creating a test plan, and rigorously testing everything to ensure both functional and nonfunctional requirements are satisfied, solving the customer’s problem on schedule, at a low cost, and at a sufficient enough quality. What is not solved is producing high quality software at a low cost and timeframe. Software Engineering is not “mostly” solved. People are just hacking slop together, everything is fragilely bandaged together and barely works, and it costs a fortune to develop. Reusable software is largely a failure and everything is slow and lags like crazy, using an absurd amount of system resources in the process. Memory leaks, errors, and crashes aren’t uncommon. There is a ton of work to do still.

Yeah, good thing we're able to transcribe videos trivially now

@gauthampai @samhogan Many have been looking into this already github.com/anomalyco/open…

@samhogan How easy is it to integrate this in an existing harness, say OpenCode?

RLMs pretty much solved context btw You can shove tens of millions of tokens into a good RLM harness and it just works. I’m spending all my free time here.

@LaurenIpsu31127 @ryanlpeterman Ask your favorite AI about Curry - Howard

@ryanlpeterman How could type signature be more important than the actual code ?

Boris Cherny (Creator of Claude Code): "The one technical book I would recommend to everyone that has had the greatest impact on me as an engineer is functional programming in Scala. You're probably never going to use Scala day today, but the way it teaches you to think about coding problems is just such a change from the way that most people were in coding, either practically or in school. It's just. It's incredible. It's going to completely change the way that you code now. I think in types, when I code, the thing that matters in your code the most is the type signatures. This is more important than the code itself." @bcherny

The Linux kernel AI guidelines are the first sane that I read. It is not a coincidence. Where high level work is done, high level work is pretended, regardless of the tools. github.com/torvalds/linux…

@xoofx @lucasmeijer opencode does this

Afaik, none of the coding agents (e.g. via codex, copilot cli server) support that feature. They only support when a session starts in a specific folder (they concatenate AGENTS.md from there and up) but not when interacting during a session with folders. It would require injecting AGENTS.md in the middle of a session, which is technically possible, but not great/efficient from a caching/cost perspective with model providers.

Huh, pi does not auto-read AGENTS.md files in subdirectories, when the agent reads / writes anything in that subdirectory? I always assumed all harnasses would do this.

@mandubian Same here, though admittedly I'm biased towards OSS and being able to pick models and providers so I just don't have as much direct experience with Claude Code as with Opencode

Am I the only person finding OpenCode better than Claude Code ?

You'd think this would be unnecessary but I just had to add this to AGENTS.md: "Avoid breaking parametricity"

Writing a GUI app Rust atm... AT-SPI MCP servers are a must. Wonder why projects like github.com/dijdzv/egui-mcp aren't more popular?

@geoff_l @StephenPiment davidoks.blog/p/why-the-atm-…

@StephenPiment the number of bank branches increased after automated tellers

It’s easy to dunk on Geoffrey Hinton for his 2016 declaration that it was “completely obvious” that radiologists would have no jobs within 5 years, while in fact, the number of radiologists has grown. But this prediction was more than a simple mistake. It’s a synedoche for the entire discourse of AI timelines and doom.

@GergelyOrosz This is prime /r/LinkedInLunatics material

Congrats on having fun and building a vibe coded WYSIWYG editor Patiently waiting for when they’ll realize things like permissions, tagging, backups+disaster recovery, search, exports, tables, mobile app, integrations w Slack+Linear+others need to be built… 🍿

If you can't or don't want to multitask I have bad news for you...