I had a colleague I really enjoyed talking to. Until all the AI hype and them getting into that bandwagon. Now whenever I ask something I get a huge markdown response with unaligned ascii table or being told to ask <llm…
At my current team at a “bigcorp” I have noticed a similar pattern. We use aws not because it’s efficient in any way. We use it because we don’t want to deal with slow procurement process. It kills all the momentum.
The proof is good enough though. Even if the code was written by author, not bothering to remove co-signed-by part from the commit message (assuming author did indeed wrote it by himself) let alone not writing their own…
Let me clear my cache after logging in twice to get the OOM fixed so I can finally login to show you what’s wrong with it over a teams call and hope it doesn’t logout and reload randomly during the call.
Are you planning on releasing the server as a standalone application? Or it will be source available client + proprietary server? I've checked Noor, which looks to have a nice UX and functionalities I'd like to see…
I find the whole idea of context window inefficient. The model that knows more than anyone could, can’t hold a memory of a codebase? I know it’s a limitation of the transformer design, but I find it quite disappointing…
> Which probably means we are all going to start to be more like airline pilots: Airline pilots are still employed because of regulations. The industry is heavily regulated and the regulations move very slowly because…
used to be. they're becoming microslop 2.0
All aws is selling a web gui on top of free software. You still have to know ins and outs of the software to manage it properly. Heck their support is shit too. I have talked to them to figure out an issue on their own…
I think author has a point when he didn’t needed all those extra features. But then they did made a bad choice for paying for loom. They could have just learned (or used llm) to make a bash script to use ffmpeg for…
Tailwind is just bootstrap with marketing budget
Any plans for adding algebraic data types (aka rust enums)?
In the article it's mentioned. They have built robotic stuff to clear rubble for example.
I think as long as we don't integrate formal verification into the programs themselves, it's not going to become mainstream. Especially now you got two different pieces you need to maintain and keep in sync (whether…
I had a colleague I really enjoyed talking to. Until all the AI hype and them getting into that bandwagon. Now whenever I ask something I get a huge markdown response with unaligned ascii table or being told to ask <llm…
At my current team at a “bigcorp” I have noticed a similar pattern. We use aws not because it’s efficient in any way. We use it because we don’t want to deal with slow procurement process. It kills all the momentum.
The proof is good enough though. Even if the code was written by author, not bothering to remove co-signed-by part from the commit message (assuming author did indeed wrote it by himself) let alone not writing their own…
Let me clear my cache after logging in twice to get the OOM fixed so I can finally login to show you what’s wrong with it over a teams call and hope it doesn’t logout and reload randomly during the call.
Are you planning on releasing the server as a standalone application? Or it will be source available client + proprietary server? I've checked Noor, which looks to have a nice UX and functionalities I'd like to see…
I find the whole idea of context window inefficient. The model that knows more than anyone could, can’t hold a memory of a codebase? I know it’s a limitation of the transformer design, but I find it quite disappointing…
> Which probably means we are all going to start to be more like airline pilots: Airline pilots are still employed because of regulations. The industry is heavily regulated and the regulations move very slowly because…
used to be. they're becoming microslop 2.0
All aws is selling a web gui on top of free software. You still have to know ins and outs of the software to manage it properly. Heck their support is shit too. I have talked to them to figure out an issue on their own…
I think author has a point when he didn’t needed all those extra features. But then they did made a bad choice for paying for loom. They could have just learned (or used llm) to make a bash script to use ffmpeg for…
Tailwind is just bootstrap with marketing budget
Any plans for adding algebraic data types (aka rust enums)?
In the article it's mentioned. They have built robotic stuff to clear rubble for example.
I think as long as we don't integrate formal verification into the programs themselves, it's not going to become mainstream. Especially now you got two different pieces you need to maintain and keep in sync (whether…