Nehal Hasnayeen
@Hasnayeen
In search of token, lot's of token!!!
@iluminar- Bangladesh
- hasnayeen.com
- github.com/Hasnayeen
- Joined October 2026
Commit activity
152 commits in the last 30 days
longest streak 8 dayscurrent 3
3,861 XPMaximum rank (UID 0)
Pinned
Yesterday
Tue, Nov 3
run this in your agent "find all of the implicit state machines in my app" and then make them explicit. found quite a few in my app
https://x.com/steveruizok/status/2116552016218710389?s=20
X (formerly Twitter)Steve Ruiz (@steveruizok) on Xgood prompt "find all of the implicit state machines in my app"
Mon, Nov 2
no need for using heavy TLC to check TLA+ , this one run in the browser https://github.com/aidenybai/tla-ts
GitHubGitHub - aidenybai/tla-ts: A TLA+ interpreter and model checker in TypeScriptA TLA+ interpreter and model checker in TypeScript - aidenybai/tla-ts
FSM, Flying spaghetti monster .. oops I mean Finite state machine has been achieved internally
this is an excellent post in terms of both content & aesthetics
https://burcs.dev/notes/nobody-knows-anything/
burcs.devNobody knows anything…Every week there’s a new way you’re supposed to work with agents. You’re not behind: pick a model, prompt it, and ship.
while I agree just because you can now with ai you shouldn't rebuild every app you use for yourself, but if it's something you use daily & depend on it for your work then there is no better time to build software that works exactly how you'd like it to work. "Era of personal…
Fri, Oct 30
I've a question for builder, feature creep used to be a thing, is it still a concern in ai era? I don't think it is except it should not de-prioritize your core capability. what you guys think?
I feel it is way easier today to have feature creep - because of AI.. Before AI, I would hold back features because of the extra work involved or because I did not think of it initially. Today these new ideas/features become known at the deep PRD stage where I decide scope. Be…
"era of personal software"
no better time to build app that do exactly like how you want it to do
Thu, Oct 29
Sat, Oct 24
@younes-io I see you're the author of https://github.com/younes-io/tla so I guess you're the person who can answer this. how to verify rust implementation of TLA+ spec?
GitHubGitHub - younes-io/tla: TLA+ CLI for linting, formatting, and TLC checksTLA+ CLI for linting, formatting, and TLC checks - younes-io/tla
i think what you're looking for is conformance checking, but
tla only works on the spec itself (lint, format, run TLC). it doesn't read Rust code.
TLA+ has no built-in way to check code against a spec. the usual options:
- trace validation: log state changes from your Rust…Thu, Oct 22
anybody tired yet, farming looks more enticing each passing day
https://www.phoronix.com/news/LKML-New-Trend-Vulnerabilities
phoronix.comSeveral Linux Kernel Vulnerabilities Accidentally Posted To Public Kernel Mailing ListSeemingly as an accident, overnight several new Linux kernel vulnerability reports were posted to the public Linux kernel mailing list rather than the private security mailing list
Wed, Oct 21
Tue, Oct 20
anybody else disable
application-info tool on laravel-boost. it's useless and called every single chat (as per laravel-boost instruction) and cost huge amount of token (in some project 20K token).or another option is replace starred on sidebar with pastels
We removed bookmarks. They weren't used all that much, and we already have a way of knowing which commits you liked: stars.
So the "saved" section has been replaced by "starred", and shows everything you ever starred before. If you had bookmarks, they were converted to stars as…
@paulinevos @nunomaduro was just checking latest timeline & looks like it has become @tom personal chatspace lol, 90% commits are just people talking to tom