Shayan Banerjee

Parsing the universe as Pancomputationalist. Dad, the good guy, unbound Curiosity. Solving easy, hard, extremely hard problems using Computers. UG at IISc '16.

[Jeffrey Emanuel @doodlestein]

When you see the doctors coming out in hordes to confidently argue against new scanning technologies powered by advanced math and statistics, just remember that the vast majority of them are borderline innumerate and can’t even understand what p-values are:

[Shayan Banerjee @quant_street]

@intellectronica which harness is this?

[Shayan Banerjee @quant_street]

@AlexFinn How are you able to run it 24*7 for a task? Is it cron type driver?

[Shayan Banerjee @quant_street]

@ollama how do we set the thinking to "Max" in codex or hermes? Can we have a better docs on this than we have now?

[Janhavi Nilekani @JanhaviNilekani]

TFR is <=1.5 in states with 581 million Indians. I argue that since many families will opt to be child free or have one kid, we should support those who want large families. TFR is currently dropping among all sub groups, those who use public schools and hospitals, those who use private facilities, rural and urban areas, etc.

[Shayan Banerjee @quant_street]

@soumitrashukla9 any proof we can verify? though I trust vibes too!

[Shayan Banerjee @quant_street]

@wshxnv @thsottiaux Bro take it easy people are using these things with claude, grok, perplexity and everything for months. It's just a simple MCP connector. Coding does increase the utility but it will also cause load to servers which are already in scarcity.

[Shayan Banerjee @quant_street]

@rispbee @jonathan_wilke Next evolution is video and immersion which solves this and also exposes the total computing power of the computers

[Shayan Banerjee @quant_street]

To put it simply, GUI doesn't expose the full potential of computers and computing. It's like riding a superbike but with bicycle paddles.

Out of last 22 years of my computer use, atleast 18 years of that is only CLI and minimal mouse and clicks for browsers. I'm happy browsers being replaced as intermediary to information by AI enabled tooling. Once in a while I do have to use windows in VM for one of tasks.

[Shayan Banerjee @quant_street]

@rispbee @jonathan_wilke AI voice mode will solve that for everyone, others found their way with keyboards.

[jason @jxnlco]

i fucking love computers

[Shayan Banerjee @quant_street]

@Alex2077207711 @wshxnv Yes exactly! Pro models can't connect to these MCPs and for others it's just fetch/write except enterprise account I guess.

[Shayan Banerjee @quant_street]

@wshxnv @rebel0x0 In codexpro which basically installs like a app/connector can't use pro models, how do you handle that in devspace?

[Shayan Banerjee @quant_street]

Seriously very useful tech. I’ve experimented with these ideas as a hobby with friends as a Professor at IISc was into these knee deep inspiring us, almost a decade ago!
Converting natural-language corpora into formal claims / typed ASTs / FOL or propositional representations, then checking them with deterministic systems like SMT solvers, Z3, Prolog, etc.

In my experiments I have found you can to a large extent make things formally verifiable, but yet a lot of probabilistic elements still remains and I think this is mathematically impossible to reduce, we proved it, I think using Turing machine/Church encoding like constructs, though don't quote me on that. There is no point pretending every domain can be fully reduced to deterministic proof.

[Shayan Banerjee @quant_street]

@jxnlco It would be interesting to have it properly, right now I believe Codex is overfit for gpt models, so glm doesn't work upto it's full potential, it stops too early.

[Shayan Banerjee @quant_street]

@thsottiaux I have received the email but the codex app UI still doesn't have the reset button, anyone else?

[Shayan Banerjee @quant_street]

@FilipBaturan @thsottiaux The protocol used for compaction, tool calls and other harness related things are not the open source standard things

[Shayan Banerjee @quant_street]

@jxnlco Can we all get a Codex reset given your 100k?

[Shayan Banerjee @quant_street]

@StudentOffersHQ is there a cli version?