HackerTrans
トップ新着トレンドコメント過去質問紹介求人

dovin

no profile record

投稿

Cheap code means formal verification is reasonable now

antfly.io
7 ポイント·投稿者 dovin·2 か月前·1 コメント

コメント

dovin
·2 か月前·議論
I fed it my most-read blog post and asked it to identify me and it confidently asserted it was written by Kelsey Piper. Maybe some writers just take outsized importance in Opus' "mind".
dovin
·7 か月前·議論
This has been my experience also, so far. I like a lot about this and want to start using it, but beyond the initial awkwardness of key bindings feeling wrong, it just seems a bit too early for me. For example, most of the agents I tried to get working on my Arch system failed to connect, only Claude Code and Vibe worked. Most worked on MacOS (except Codex, even though it's installed on my system). But I need to be able to set the agent into Bypass Permissions mode, and when I do, I'm still constantly prompted with permissions checks. There also seem to be weird errors caused by fish shell. I'd also really like to be able to define my own custom agents (eg one use case I'd like is to be able to launch Claude Code but swapping out the Anthropic endpoint for OpenRouter's so I can try new models using CC's agent harness).

It's possible this is just part of the learning curve, but it is making me think I'll have to come back to this project in a month or two to see if there are fewer pain points. Great work so far though.
dovin
·10 か月前·議論
Location: Portland, OR

Remote: yes

Willing to relocate: yes, to SF, NYC, or Seattle

Technologies and tools: Python, TypeScript, AWS (+ a few certs), React, llama.cpp, HIPAA + EMR/EHR experience, know enough to be dangerous in a wetlab

https://drive.google.com/file/d/1T_t6Gkib3DCQ1oryyH0oc11XifM...

Email: see resume

Hey there! I'm Rowan. I've built and led software teams (at a molecular diagnostics lab and for a political advocacy project), built an award-winning synthetic bio video game, and have worked with startups and major research groups like at Stanford Health. Recent work of mine: published a survey of semantic search engines for science, building out python client for the vector database Antfly.
dovin
·昨年·議論
Location: Portland, OR

Remote: yes

Willing to relocate: yes, to SF, NYC, Seattle, Berlin, London, and possibly other EU cities

Technologies and tools: Python, TypeScript, AWS (+ a few certs), React, llama.cpp, MCP, HIPAA certified, experience with HL7 and EMR/EHR, competent in a wetlab

https://drive.google.com/file/d/1T_t6Gkib3DCQ1oryyH0oc11XifM...

Email: see resume

Hey there! I'm Rowan. I've built and led software teams (at a molecular diagnostics lab and for a political advocacy project), built an award-winning synthetic bio video game, and have worked with startups and major research groups like at Stanford Health. Recent work of mine: published a survey of semantic search engines for science.