Bnjoroge

10 ms·

211.
by Bnjoroge 2y ago
has warpstream been reviewed?
212.
Why Is ML Runtime Infra So Hard(linghao.io)
1 points by Bnjoroge 2y ago|0 comments
213.
by Bnjoroge 2y ago
how does this compare to lance?
214.
All Applications Are Becoming Distributed Systems(davistreybig.substack.com)
3 points by Bnjoroge 2y ago|1 comments
215.
by Bnjoroge 2y ago
Took them long enough. Glad to see the UK relinquish ownership of these islands
216.
by Bnjoroge 2y ago
The problem is that tacking on to an existing product, while the ideal approach, limits just how creative you can get. I believe this is one of the reasons Cursor had to fork VSCode. Simply being an extension limited the features they could
217.
by Bnjoroge 2y ago
not the same thing at all lmao
218.
by Bnjoroge 2y ago
Eh not sure I agree. Lyft has no presence in Kenya and don't think anyone uses Faras. Bolt has had its fair share of issues that have made it a slinkily option as well. Uber's pretty much the only reasonable option which is why th
219.
by Bnjoroge 2y ago
gotta include the US in this as well lmao
220.
by Bnjoroge 2y ago
Visited CapeTown and Egypt. It's actually a lot cheaper in Kenya, especially for short rides.
221.
by Bnjoroge 2y ago
yup
222.
by Bnjoroge 2y ago
v cool to see more alternatives to cursor popping up
223.
by Bnjoroge 2y ago
how does it compare with dagger?
224.
by Bnjoroge 2y ago
It definitely correlates with Kubernetes pretty well. I read the title and already had a good sense of what the project is about and found the title accurate after reading more.
225.
by Bnjoroge 2y ago
Congrats on the launch! Looks good! What's the plan for commercializing it? code visualization is one of those things that sound incredibly useful for developers but actually really hard to sell/get someone to actually buy it.
226.
Anvil: Building Formally Verified Kubernetes Controllers(github.com)
2 points by Bnjoroge 2y ago|0 comments
227.
by Bnjoroge 2y ago
go time but really anything from changelog
228.
by Bnjoroge 2y ago
really? what's the name?
229.
Storing config in container registries vs. Git(medium.com)
1 points by Bnjoroge 2y ago|0 comments
230.
by Bnjoroge 2y ago
Hmm interesting. Do you think deterministic simulation is a much more accessible approach than verification? Also curious what tooling you think is still missing/not up to par?
231.
by Bnjoroge 2y ago
Didn't take the class, but always felt like his book was too theoretical. I enjoyed "real world cryptography" and supplemented it with Dan's book.
232.
by Bnjoroge 2y ago
just played with it. pretty solid! questions for me, how do you validate the new changes will work without any issues after applying them? the biggest issue I have with most code generators is the feedback loop from suggested code -> tes
233.
by Bnjoroge 3y ago
do you guys support other languages other than python or js/ts?
234.
by Bnjoroge 3y ago
you should look at lance( https://lancedb.github.io/lance/ )
235.
by Bnjoroge 3y ago
folks at https://unikraft.io just released their (closed) beta. seems like there's still interest.
236.
by Bnjoroge 3y ago
meh, lmk when they actually ship something that's not bs
237.
by Bnjoroge 3y ago
definitely shifting to more engineering-focused type of roles so at the very I'd work on swe/infra skills
238.
by Bnjoroge 3y ago
zed's great but they need to prioritise remote ssh like vscode. literally the main way most people do dev
239.
by Bnjoroge 3y ago
big fan of openlayer since rdv!
240.
by Bnjoroge 3y ago
How do you source GPUs given the current GPU shortage? Parntership w Coreweave?

More ›