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

amkkma

no profile record

投稿

CosineAI coding agent tops software engineering bench

twitter.com
1 ポイント·投稿者 amkkma·2 年前·0 コメント

Task Management for Tech Startup

1 ポイント·投稿者 amkkma·3 年前·3 コメント

Musings on long Covid and the epistemology of medicine

imaginativeclinician.substack.com
1 ポイント·投稿者 amkkma·3 年前·1 コメント

Formal specifications and static checking of interfaces in Julia

github.com
4 ポイント·投稿者 amkkma·3 年前·0 コメント

Composable static typing, proofs and formal verification for Julia

github.com
2 ポイント·投稿者 amkkma·3 年前·0 コメント

コメント

amkkma
·昨年·議論
yea exactly
amkkma
·2 年前·議論
Based on this, what is the outlook for software dev generally, and junior and mid level devs?
amkkma
·2 年前·議論
Great. They also have other blog posts with product roadmap and research directions https://www.cursor.com/blog/problems-2024 you should look at, and an AI engineer conference talk which goes into their vision: https://youtu.be/6g28WpZbF1I?si=MkHgxMDMjxxOHtcZ
amkkma
·2 年前·議論
Hey! I really see the power in Zed and the extensibility and simplicity. Great approach.

I posted this above, but want you to see it:

Two areas where I think Zed might fall behind: Cursor Tab is REALLY good and probably requires some finetuning/ML chops and some boutique training data.

For composer, there's going to be more use of "shadow workspace" https://www.cursor.com/blog/shadow-workspace to create an agentic feedback loop/ objective function for codegen, along with an ability to navigate the language server and look up definitions and just generally have full context like an engineer

Also, cursor has a model agnostic apply model, whereas you all are leaning on claude.

Any plans to address this from the core team or more of a community thing? I think some of this might be a heavy lift

I really like the shared context idea, and the transparency and building primitives for an ecosystem
amkkma
·2 年前·議論
Two areas where I think Zed might fall behind: Cursor Tab is REALLY good and probably requires some finetuning/ML chops and some boutique training data.

For composer, there's going to be more use of "shadow workspace" https://www.cursor.com/blog/shadow-workspace to create an agentic feedback loop/ objective function for codegen along with an ability to navigate the language server and look up definitions and just generally have full context like an engineer. Are there plans for the same in zed?

Also, cursor has a model agnostic apply model, whereas you all are leaning on claude.
amkkma
·2 年前·議論
I think Zed is starting with a more transparent elegant foundations and then they'll build in more optional magic from there. For example, they're working on automatic codebase RAG
amkkma
·2 年前·議論
Anyone know how the hardware compares to the latest mac laptops for running LLMs locally? (compute and vram, shared or otherwise)
amkkma
·2 年前·議論
I didn't realize they had that option. In general, I still find absurdity in what an NP can do vs an unmatched doctor. That's entirely incoherent.

Also, it's laudable what rads is doing, but didn't the AMA lobby for less residency spots?
amkkma
·2 年前·議論
You can't legally practice as a primary care physician without one year of internship, after which you get unrestricted licensed. If you're unmatched, no internship. Is that not correct?
amkkma
·2 年前·議論
Don't forget ten years of schooling to be bad at formal methods to step out of that decision tree:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9237793/ https://blogs.cornell.edu/info2040/2014/11/12/doctors-dont-k... https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3016704/ https://www.overcomingbias.com/p/doctor-there-arhtml

And many more.

go to r/residency or other doctor forums if you want to see the most repugnant combination of dunning kruger and condescension
amkkma
·2 年前·議論
Why have residency spots shrunk per capita? Why do unmatched grads have to work at mcdonalds but NP's and PA's can practice with more latitude than some residents?

(serious questions)
amkkma
·3 年前·議論
Good point
amkkma
·3 年前·議論
Sorry. I have a brilliant, extremely driven friend who did undergrad at an ivy. After getting covid, She had to drop out of her grad school program and her new life is a shell compared to what it used to be like. 2 years later, and there's a tiny fraction of improvement which she attributes to extreme rest. I forward her literature about emerging LC treatments and mechanisms of which her physicians are laughably ignorant.

It's a sad state of affairs.
amkkma
·3 年前·議論
Do you know the rate of long term sequalae for flu and how it compares to covid?
amkkma
·3 年前·議論
"nonsense"
amkkma
·3 年前·議論
But it's still not comparable to GPT 4, nor will it likely be for some time at least. And by the time we have GPT 4 class open source models, I'd imagine there'd be significant advancements in closed source models, such as inference time symbolic reasoning using MCTS, something google is working on for gemini...or just bigger/better architectures, data etc
amkkma
·3 年前·議論
What about LMQL?