d4rkp4ttern
Joined 5 years ago
Joined 5 years ago
I got annoyed by various UI and other things in tools like VoiceInk, Handy etc and Claude-Coded my own CLI dictation tool called VoxType that uses parakeet-mlx:
https://pchalasani.github.io/claude-code-tools/tools/voxtype...
Install this skill for your coding agent and let it help you set it up, there are many config options:
npx skills add pchalasani/claude-code-tools -s voxtype-install -g
Or if you must do it yourself, uv tool install voxtype
This is just an example of where we are today with software today: people building their own tools, and not bothering to market it (or perhaps I'm contracting myself here ;).Why is this?
Why couldn’t whatever went into post-training these voice models be applied to the text-gen models to get rid of AI smells?
Could we set up a pipeline that leverages the voice models to clean up text that reeks of AI ?
Why is it that the voice models in Claude and ChatGPT have a perfectly normal style with barely any "AI smell", while the writing models are so obviously recognizable as AI?
The answer is likely that models underlying the voice modes are (post) trained differently. If so, then why can't the writing model be similarly trained? Presumably they haven't found a way to train them to be both "smart" (i.e. solve tasks etc) and pleasant to talk to?
E.g I’m quite pleased to see most frontier-level models are very competent setting up agent systems using the Langroid framework, in development since Apr 2023:
Quoting from Wikipedia: https://en.wikipedia.org/wiki/Logic_Theorist
“Logic Theorist is a computer program completed in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.[3] [1] https://press.stripe.com/the-dream-machine”
Amusing and amazing to see this in the context of today’s Erdos-slaying LLMs.
https://pchalasani.github.io/claude-code-tools/tools/aichat/...
Quoting from Wikipedia:
https://en.wikipedia.org/wiki/Logic_Theorist
Logic Theorist is a computer program completed in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.[3]
Opus-5 is practically unusable (for complex tasks) in this sense - its updates are voluminous, and dense with cryptic language (there are numerous reddit threads complaining about this, so it's not just me). I often have to ask it to re-state concisely in plain terms.
For a fairly gnarly task, after fighting with with Claude-Code + Opus-5, I ported my session to Codex + GPT-5.6-sol, and it was like a breath of fresh air.
Arguably a key aspect of intelligence is concise, clear communication, and current benchmarks miss that, at least as far as I'm aware. I would think some arena-type benchmarks where humans rate responses would measure this, though I'm not sure which those are.
Building:
Claude-Code-tools: productivity tools for CLI agents. https://pchalasani.github.io/claude-code-tools/
Langroid: LLM Multi-Agent Framework https://github.com/langroid/langroid
BTech IIT/CS, PhD CMU/ML.
Ex: Los Alamos, HBK, Goldman Sachs, WorldQuant, Yahoo, MediaMath