@rl_dane @hobbs @thestrangelet @rav3ndust
which is funny cuz I'm super depressed and unmotivated
But, before disenchantment: chop tree, stoke fire. After disenchantment: chop tree, stoke fire.
pixx
@pixx@merveilles.town
I don't know who I am, and neither do you.
0
Followers
0
Following
Joined May 27, 2023
Personal site (WIP):
Posts
@dansinker
I was in Chillocothe, Ohio a few years ago. A friend told me that there was no way there could be train lines there
Then I was in a free-to-the-public bus and the driver was pointing out the train lines that used to run in there, "shame they got shut down."
I was in Chillocothe, Ohio a few years ago. A friend told me that there was no way there could be train lines there
Then I was in a free-to-the-public bus and the driver was pointing out the train lines that used to run in there, "shame they got shut down."
0
0
0
@ZachWeinersmith It would be really funny if the challenge was actually relating to the shape of the message and not the binary contents
0
0
0
0
0
0
@khm @davep Ah, but they did so under coercion, whereas OP said
> democratic enough to have rid ourselves of weapons of mass destruction
> democratic enough
I'm curious what OP thinks about a circumstance where a nation votes, in a direct referendum, to build more nukes? 😂
"Democratic" and "did awful things" often go hand in hand lol
> democratic enough to have rid ourselves of weapons of mass destruction
> democratic enough
I'm curious what OP thinks about a circumstance where a nation votes, in a direct referendum, to build more nukes? 😂
"Democratic" and "did awful things" often go hand in hand lol
0
4
0
Working on an old abandoned code base where i can't talk to the authors and it takes hours to figure out some of the bullshit it's pulling off, i can definitely see the appeal for a tool that can quickly read over the code and check my inferences on e.g. memory flow and ownership patterns
Nowadays, people would obviously default to either LLMs for that or for arguing that humans should do it because the other people are saying LLMs and fuck that
But what I'm more interested in: there's plenty of static analysis tools for checking code you wrote. Is there any prior art in deterministic static analysis tools that help _read code_ by other people?
Dataflow and control flow analysis are super commonly used in compiler optimization. Are there any tools out there that do dataflow analysis and then, say, can look at a variable and show all _possible references_ and relevant code?
E.g. this Foo* is passed to foo(), so it can be f there, which might call bar, and ...)
Or "this code allocates Bar, here's the entire possible relevant code for what might happen to that across this 100kloc project, here's every function in every file that might use _that specific value_, and an explanation of how it gets there"
Nowadays, people would obviously default to either LLMs for that or for arguing that humans should do it because the other people are saying LLMs and fuck that
But what I'm more interested in: there's plenty of static analysis tools for checking code you wrote. Is there any prior art in deterministic static analysis tools that help _read code_ by other people?
Dataflow and control flow analysis are super commonly used in compiler optimization. Are there any tools out there that do dataflow analysis and then, say, can look at a variable and show all _possible references_ and relevant code?
E.g. this Foo* is passed to foo(), so it can be f there, which might call bar, and ...)
Or "this code allocates Bar, here's the entire possible relevant code for what might happen to that across this 100kloc project, here's every function in every file that might use _that specific value_, and an explanation of how it gets there"
0
0
0
I wonder how many other times a diesel engine has been used to charge sodium cells?
Mnt reform
...On a stick^W train!
Mnt reform
...On a stick^W train!
0
0
0
0
0
0