h-bradio
Joined 3 years ago
Karma
19
Submissions
9
Member since
Apr 21
Recent submissions
Comment · 1 year ago
Comment · 1 year ago
This is a fun little set of commands to run live-captioning on my Macbook! Nothing serious.
A tutorial and demo video are in the link.
I saw a post on HN that introduced me to Whisper.cpp. I’ve been excited to see so many AI tools start to support my M3 Macbook/Metal/whatever so I can put my 96GB of memory to use.
I don’t have the timing windows tuned perfectly. Feel free to play with it!
Comment · 1 year ago
Here is how my prompt ended up! https://gist.github.com/hbradio/2f504c3fdb6f7113181b2d8c6862...
I just asked an LLM to make it similar to a working Qwen prompt.
To make the LLMs able to use tools, I had to configure them in the Zed settings like this: https://gist.github.com/hbradio/fa4b456658a8d250e6ccc69ae9b3...
Also, I had to go into LM Studio and increase the max context size for each model I wanted to use in Zed. Otherwise it gives a parsing error on the response. I set it to the max allowable value.
I start LM Studio, start the LM Studio server, then go to Zeds AI config and tell it to connect to LM Studio. I put it in Agent mode, and it seems to work!
I don't know much about temperature, and I didn't use any other system prompt.
Good luck!
Comment · 1 year ago
Thanks so much for this!
I updated LM Studio, and it picked up the mlx-lm update required.
After a small tweak to tool-calling in the prompt, it works great with Zed!
Comment · 1 year ago
OP here! Going into it, I definitely agreed and thought that easily fact-checkable claims would be the minority.
But as I worked, I found that many of his claims were "this paper says this". So checking the claim was as simple as checking "does the paper he's citing say what he says it does?"
You can see them here: https://fact-check.brady.fyi/documents/3f744445-0703-4baf-89...
Comment · 1 year ago
OP here! Thanks for calling out this important point.
As I fact-checked each claim, I was surprised at how many of the checks were "does the paper he's citing say what he says it does?"
You can see them here: https://fact-check.brady.fyi/documents/3f744445-0703-4baf-89...
Comment · 1 year ago
OP here -- thanks for your reply!
You're exactly right! I included the NYT/PolitiFact graph at the top as an example of that problem.
In the second half of the post, I propose what I think could work a little better (sampling comparable speeches and fact-checking the entire text).
(Please focus on his discussion of PE licensure, not on what developers should call themselves)
He says some software can be designed in our usual way: informal, fast, iterative, democratized, agile. But more and more software needs to be designed like a PE designing a public bridge: carefully, to stand strong for 100 years.