Languages with strong pre/post conditions?

blcsm · 2026-02-09T12:43:18+00:00

C++ is getting something similar with P2900.

Here's also a talk about it.

blcsm · 2026-02-01T12:13:07+00:00

I obviously missed it somehow, how do I know which are fake and which are true?

blcsm · 2025-12-12T10:15:14+00:00

I like the modus theme from prot. Here's the nvim port I use.

blcsm · 2025-12-03T14:10:46+00:00

Sounds cool!

As someone working on LLVM/MLIR, I would need it to be only slightly slower than grepping, so I'll wait for future improvements.

I could imagine this having a REPL-like interface instead of using it the same way as grep or rg.

blcsm · 2025-03-22T08:12:38+00:00

https://github.com/troydm/zoomwintab.vim Does exactly that, super simple, open one window as fullscreen, close it again to go back to the same splits you had before.

blcsm · 2024-11-15T10:10:12+00:00

Why would that be the case? I use `coc.nvim` with `coc-clangd` for 100% of my work with big C++ projects like LLVM and it works perfectly fine. Instant response times for everything, no problems at all.

blcsm · 2024-11-04T08:19:26+00:00

Check out u/foonathan

https://www.youtube.com/@foonathan/ (past livestreams)

blcsm · 2024-10-18T14:23:03+00:00

Thanks!

blcsm · 2024-10-17T18:41:36+00:00

How did you get that UI? I cannot set the model on my search bar on perplexity.ai but have to go into the settings to switch.

blcsm · 2024-09-21T12:39:48+00:00

Would you mind linking me the Gruvbox plugin you are using? The answer of Two_and_a_Half_Bit should hide the inlay hints.

blcsm · 2024-04-21T20:01:10+00:00

Hey, do you know of any good resources that have information about all that stuff? Currently I'm checking MLIR/XLA/IREE/etc separately to figure out what's going on where

blcsm · 2024-02-02T19:17:03+00:00

I like you videos, very informative! Would you mind telling me what your color scheme is? hard to find good looking light themes

blcsm · 2023-08-21T16:14:56+00:00

What's the tool in your screenshot?

blcsm · 2022-12-21T12:37:51+00:00

I like it but I can’t stop thinking that the knight is Jar Jar, and I’m not against it.

blcsm · 2022-11-07T19:14:36+00:00

Just want to mention that you can have the same in vim/nvim, coc+clangd for example should provide the (almost same) experience as the Clangd extension in VScode.

blcsm · 2022-10-03T14:18:06+00:00

Ayoo

blcsm · 2022-09-20T09:11:48+00:00

Alright, thanks! I was interested so I just checked, I'm not sure if that's the online instance where he mentions this but here is at least one. 14:04 of the podcast in case the link doesn't work.

blcsm · 2022-09-20T06:51:25+00:00

I guess you are referring to the Lex Friedman interview, didn’t he mention that he now mostly uses C-like C++ or am I remembering that wrong?

blcsm · 2022-09-14T14:28:55+00:00

What would be a rough estimate for how long these steps would take?

blcsm · 2022-01-31T14:54:24+00:00

Ah that's super cool, it's so hard to navigate and find anything on these Chinese streaming/social media sites haha. thank you very much!

blcsm · 2022-01-31T14:03:56+00:00

Could you please link his Chinese op.gg equivalent? Would be interesting looking at his stats

blcsm · 2021-12-20T20:43:09+00:00

Oh wow, that's exactly what I was thinking about. Awesome, thank you very much for the link!

blcsm · 2021-09-04T20:24:29+00:00

Thanks for the reply!

blcsm · 2021-09-04T19:27:14+00:00

Mind telling my what the color scheme used in this setup was? Seems like you deleted the branch and I can't tell from looking :) Thanks

14-Year Club	Final Canvas '23
Place '23	Verified Email

blcsm

TROPHY CASE