qzzi
Re:F*: A general-purpose proof-oriented programming language
on Sunday August 02, 2026 @10:47AM (#49145161)
I clicked on 2 links on the main page in the Learn F* section...
Re:Cloudflare flags archive.today as "C&C/Botnet"; no longer resolves ...
on Sunday March 22, 2026 @02:46AM (#47475060)
1.1.1.1 is simply a free DNS, 1.1.1.2 blocks malware, and 1.1.1.3 blocks both malware and adult content. It's a service that does exactly what it's supposed to do.
Re:Unlocking Python's Cores:Energy Implications of Removing the GIL
on Monday March 09, 2026 @02:56PM (#47313677)
Simply removing the GIL and running 10,000 threads seems very unlikely.
Re:Anthropic's report smells a lot like bullshit
on Sunday November 16, 2025 @05:41PM (#45949135)
I've been hacking professionally for 30 years and I know what to look for. Anthropic's report is garbage. Period.
Re:Abandonware of the web: do you know that there is an HTML tables API?
on Saturday November 01, 2025 @12:04PM (#45782735)
Compared to what? What gives you all that, and what prevents you from having it with tables?
Re:We rewrote the Ghostty GTK application
on Friday August 15, 2025 @10:53AM (#44913188)
I'm pretty sure they're talking about reference counting that depends on the arguments, not about optional arguments or invalid argument combinations.
Re:Zig's Lovely Syntax
on Sunday August 10, 2025 @09:38PM (#44860048)
C and Python automatically concatenate string literals, and Rust has the concat! macro. There's no problem just writing it in a way that works correctly with any indentation. No need for weird-strings.
" one\n"
" two\n"
" three\n"
Re:EU to ban anonymous crypto accounts and privacy coins by 2027
on Monday May 05, 2025 @06:32AM (#43893511)
They aren't comparing those crimes. You don't get to pick and choose where laws should matter based on whether you personally like the item being banned. Your "bad guys will do it anyway" argument doesn’t hold.
Re:I Like and Use Global Variables
on Monday February 10, 2025 @04:19AM (#42998410)
The point is obviously that the counter is centralized, and it relates to the previous example where is no concurrency. The need for synchronization when sharing data across threads is mentioned just below that.
Re:I Like and Use Global Variables
on Monday February 10, 2025 @04:18AM (#42998398)
In the right place, but maybe at the wrong time. You can expect +1 and always be right, when the value should be +10.
Re:Wild – A Fast Linker for Linux
on Sunday January 26, 2025 @08:38AM (#42830034)
No, the debugger does not get involved in preprocessing. When you write "a = __LINE__;", it expands to "a = 10;" (or whatever number) and is compiled, and the debugger has no knowledge of it. Debugging information, including the mapping of positions in the code to positions in the source, is generated by the compiler and embedded directly into the generated binary or an external file, from which the debugger reads it.
The __LINE__ macro is passed to the debugger only if the program itself outputs its value, and the "debugger" is a human reading that output :)
Re:Wild – A Fast Linker for Linux
on Saturday January 25, 2025 @02:08PM (#42823769)
The __LINE__ macro, like all other macros, is expanded during the preprocessing of the source code and is not handed to the debugger in any way.
Re:Portspoof: Emulate a valid service on all 65535 TCP ports
on Friday December 27, 2024 @06:31AM (#42521417)
This is the place where the listening socket is initialized, and you can see that if the port is 0, it doesn't do anything. Are you observing different behavior?
Re:Updates to the OpenVMS Community Program
on Tuesday March 26, 2024 @03:27PM (#39831830)
It is a commercial product and it is their goodwill to offer licenses for free. They don't have to do it at all, Mr. Entitled.
Re:Show HN: Comma Separated Values (CSV) to Unicode Separated Values (...
on Tuesday March 12, 2024 @03:19PM (#39683679)
> you know any actual tab character in the input is a field separator, and then you can go through the fields to put back the escaped ones
The "\t" in "split" is not a "slash-tee" but an actual tab character and then escape sequences in fields are handled by the "unescape" function.
Re:OpenBSD – pinning all system calls
on Tuesday December 12, 2023 @02:09AM (#38610529)
No.
Re:OpenBSD – pinning all system calls
on Monday December 11, 2023 @10:00PM (#38608796)
I don't know how they define `MAX`, but I'm guessing it's a typical "a>b?a:b". In function `elf_read_pintable` the `npins` is defined as signed int and `sysno` as unsigned int.
So this comparison will be unsigned and will allow to set `npins` to any value, even negative:
npins = MAX(npins, syscalls[i].sysno)
Then `SYS_kbind` seems to be a signed int. So this comparison will be signed and "fix" the negative `npins` to `SYS_kbind`: npins = MAX(npins, SYS_kbind)
And finally the `sysno` index might be out of bounds here: pins[syscalls[i].sysno] = syscalls[i].offset
But maybe I'm completely wrong, I'm not interested in researching it too much.