Building Voice AI Mock Interviewer. a real time Voice AI simulator for technical interviews. https://teapaw.org/t.co/YEaZN89EHE
Joined December 2013
- Tweets6K
- Following465
- Followers129
- Likes48.8K
Hit your Codex limit? Switch to an API key and back in one command.
New in devx-mux (open-source CLI for running Codex + Grok reviews side by side):
mux codex-auth api
mux codex-auth sub
Only auth.json changes. Works for the app and CLI.
github.com/tomer-ben-david/d…
Add formal verification to your code review guidelines:
Here is a prompt for you:
"State the property that must hold and enforce it at its owner using types, constraints, and behavior tests. Consider property based testing for broad input spaces, and formal verification or
model checking for critical logic with a precise specification. Formal verification claims must identify the checked property, assumptions, implementation revision, and reproducible checker result. Review the specification independently;
Bridging the CLI to Desktop Gap in my AI Workflow
If you are running commandline AI agents but still find yourself bouncing back to desktop chat windows to orchestrate your development workflow, this one is for you.
github.com/tomer-ben-david/d…
Tested - working well - grok-bot-cli
github.com/ScriptedAlchemy/g…
TomerTheSecond retweeted
Download 698-page PDF >> Everything You Always Wanted To Know About Mathematics*
(*But didn’t even know to ask)
A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs ➡️ math.cmu.edu/~jmackey/151_12…
If you use frontier for all work, you are wasting money. Its like driving a F1 car to pick up groceries.
Cursor (use soley with grok) - honest, orchestrate, review, opinions, the most unbiased model i can find.
Codex - Super critical things I must trust like sensitive deployment, sensitive code changes, reviews.
I went through it all.
talk to ai. specs. epics. tickets. IDE's, cli's, tmux, codex, glm, cursor, claude code, copilot, whatever.
The bottom line as of today, I still have to read the code. I prefer to iterate alongside with it.
No matter how many upfront guidance etc, it will stray away. you have to hold its hands - unless its a hobby project you really dont care how its built.