cv5005

7 ms·

1.
by cv5005 8d ago
I was thinking something along the lines of making a mistake when inputing the initial statement, like you wanted to prove that '2 is even' but what you actually stated was that '3 is odd'. Of course in this simple examp
2.
by cv5005 8d ago
Maybe a naive question, but how does one know that a particular lean proof is actually a proof of what one thinks? Like, ok the logic checks out and it proves something , but there's still the problem of does this logical result actua
3.
by cv5005 3mo ago
Most people in the world wants some form of ethnic cleansing - that's why you get 'ethnic quarters' in most large cities, people generally like to be around their own 'kind'.
4.
by cv5005 3mo ago
Current LLMs don't pass the turing test. Remember, the interrogator is allowed to be hostile, so they would obviously employ all known prompt injections and typical LLM 'gotchas' to figure out who the AI is.
5.
by cv5005 4mo ago
>There's no namespacing feature provided so you're left with the convention of picking a few letters as a prefix and hoping it doesn't overlap and yet is succinct enough to not be annoying. I've been using C on a dail
6.
by cv5005 4mo ago
Chinese film having 100% chinese cast = good. American film having a single white male lead = not good.
7.
by cv5005 4mo ago
Never quite understood why people are so obsessed with meta programming capabilities in a language, be it templates, comptime, macros, whatever. I program mostly in C, if I need 'meta' programming I just write another C program
8.
by cv5005 4mo ago
>One need to write it manually each time in each function where some cleanup is needed. You can structure your code to not need cleanup in every function. The biggest problem with destructors is, how do you handle errors? close() can fai
9.
by cv5005 4mo ago
One reason is that c++ still hasn't gotten 'trivial relocatability' right - i.e being able to memcpy/memmove and not have to call constructors/destructors when growing your vector class.
10.
by cv5005 5mo ago
Yeah I dont think a single current LLM would fool me in a turing test - I would obiously use all kinds of prompt injection techniques, ask about 'dangerous' or controversial topics, ask about random niche facts in varied fields, e
11.
by cv5005 5mo ago
std span is not bounds checked.
12.
by cv5005 6mo ago
Having different types seems wrong to me because endianess issues disappears after serialization, so it would make more sense to slap an annotation on the data field so just the serializer knows how to load/store it.
13.
by cv5005 6mo ago
This was an MFC project, so your old standard win32 common controls that looks the same since 98 or so.
14.
by cv5005 6mo ago
Well it's still a 32 bit program so I guess that helps. Would probably require some porting to make it 64 bit native, but as long as you use the WPARAM, INT_PTR typed and what not correctly it 'should just work'.
15.
by cv5005 6mo ago
I'm an embedded programmer who occassionally needs to write various windows programs to interface with embedded devices (usually via serial port or usb), and I find it a breeze to write native gui programs in pure win32 and c++. Recent
16.
by cv5005 6mo ago
Not a fan of methods. Why should the first argument be so special? And how do you decide which struct should get method if you have a function that operates on two different types?
17.
by cv5005 6mo ago
Eventually it wont need to write any code at all. The end goal for AI is "The Final Software" - no more software needs to be written, you just tell the AI what you actually want done and it does it, no need for it to generate a pr
18.
by cv5005 6mo ago
>Then there's the static initialization order fiasco One of the reasons I hate constructors and destructors. Explicit init()/deinit() functions are much better.
19.
by cv5005 7mo ago
Is it? rust has to ditch llvm to be able to replace c++ - or rewrite llvm in rust.
20.
by cv5005 7mo ago
A good compiler will only do that if the register spilling is more efficient than using more stack varibles, so I don't really see the problem.
21.
by cv5005 7mo ago
Bitwise identical output from a compiler is important for verification to protect against tampering, supply chain attacks, etc.
22.
by cv5005 7mo ago
That's because you need to implement a bunch of gcc-specific behavior that linux relies on. A 100% standards compliant c23 compiler can't compile linux.
23.
by cv5005 8mo ago
My personal threshold for AGI is when an AI can 'sit down' - it doesn't need to have robotic hands, but it needs to only use visual and audio inputs to make its moves - and complete a modern RPG or FPS single player game that
24.
by cv5005 9mo ago
For systems programming the correct way is to have explicit annotations so you can tell the compiler things like: void foo(void *a, void *b, int n) { assume_aligned(a, 16); assume_stride(a, 16); assume_distinct
25.
by cv5005 11mo ago
This data is publically available to anyone in Sweden: Your salary (well, last years taxable income), debts/credit rating, criminal history, address, phone number, which vehicles and properties you own and which company boards you&#x27
26.
by cv5005 11mo ago
You don't have to do int2ptr for mmio or absolute addresses, you can punt that to the linker. extern struct uart UART0; Then place that symbol at address X in your linker script.
27.
by cv5005 11mo ago
>CVE-2025-32463 Looks like a logic bug to me? So rust wouldn't have helped. Those are exactly the kind of bugs you might introduce when you do a rewrite.
28.
by cv5005 1y ago
And if I want a vec(int *)? These token pasting 'generic' macros never work for non-trivial types.
29.
by cv5005 1y ago
Pick an appropriate base type (uintN_t) for a bitset, make an array of those (K * N/4) and write a couple inline functions or macros to set and clear those bits.
30.
by cv5005 1y ago
simd doesnt make much sense as a standard feature/library for a general purpose language. If you're doing simd its because you're doing something particular for a particular machine and you want to leverage platform specifi

More ›