arjvik

5 ms·

1.
by arjvik 6d ago
Sadly, as ideal as this seems, Lean has a history of kernel bugs that allow one to prove False. It's unlikely to be the case here as instead of hillclimbing a Lean proof for validity it appears the proof was first constructed in Englis
2.
by arjvik 7d ago
2 business days is a lot more strict than credit cards, which at the very least would not blink an eye at 2 weeks.
3.
by arjvik 13d ago
This is not exactly perfectly fair - appears that the first player wins 11/27 times and the other two win 8/27 each.
4.
by arjvik 27d ago
This makes sense, and I guess as someone who’s never written Windows software I didn’t realize it was a leaky abstraction!
5.
by arjvik 29d ago
Mapping parts of files into executable memory, and then executing them, had better be bulletproof! Exploiting this seems like a direct path to RCE, and it's likely that this sort of library is used by privileged code. Purely academical
6.
by arjvik 29d ago
> Sofas → Swedish place names Looks like some of these place names have been overpowered in search results by their named-for sofa counterparts! When searching Finnala, Sweden, I essentially only get search results for the sofa, and even
7.
by arjvik 1mo ago
Arguably the lower level abstractions are more interesting too! how exactly Windows does ring-0 is less interesting than writing your own ring-0! And unless you care about writing driver-level software for Windows or contributing to the ker
8.
by arjvik 1mo ago
I think you just invented blockchain DNS (e.g. https://handshake.org/ ) without the byzantine tolerance.
9.
by arjvik 1mo ago
Shortest-Path (Djikstra's) is in P :)
10.
by arjvik 1mo ago
Sadly doesn't look turing complete (yet) :(
11.
by arjvik 2mo ago
The way I've learned to read it is int v; means that `v` is an `int`. int *w; means that `*w` is an `int`, meaning `w` is a pointer to an `int`. int *y[5] (note that `◌[]` has higher precedence than `*◌`, so
12.
by arjvik 2mo ago
On your side here! The clutch (and the potential to money shift your transmission) is _fun_, but not the reason that I want a stick shift - when pushing a car beyond normal limits just having control of when it shifts is enough. That being
13.
by arjvik 3mo ago
understand? It's really easy to understand that everything is typed as Any/Object/whatever upper bound type your statically-typed language of choice uses. Desiring something better does not mean a lack of understanding of the
14.
by arjvik 4mo ago
ooc, would you claim its the responsibility of the security researcher to remove the webshell, or the company's as soon as they were notified? was it publically discoverable and exploitable or was there some form of protection?
15.
by arjvik 4mo ago
in tech, we (frequently are expected to) work 5x12!
16.
by arjvik 4mo ago
something something you're paid the amount the market values your work, which in today's job market is an order of magnitude less than the profit you bring the company
17.
by arjvik 4mo ago
I don't have an account but my colleauges do as my company uses the platform. By self-service, do you mean that the SDK generators are now source-available so they can be run by end users locally?
18.
by arjvik 4mo ago
Every object in git (commit, tree, revision of a single file) has a hash that is guaranteed unique within a repository (otherwise many more things than a web UI would break) and likely also globally. I can understand wanting to isolate repo
19.
by arjvik 5mo ago
elaborate on the problem, for those of us that this is not obvious to?
20.
by arjvik 5mo ago
While it would be a hilarious failure mode to encounter, this is actually a good thing! These models already have the skills that humans were using them for, so either by training the models to use subagents or simply inlining the work done
21.
by arjvik 5mo ago
Turns out if we say any word with the same inflection as sit , our dog sits!
22.
by arjvik 6mo ago
Open access typically means authors pay a publication fee, which leads to the same result of the government paying twice and the journal profiting twice.
23.
by arjvik 6mo ago
Almost as if they shouldn't be getting special treatment in the first place!
24.
by arjvik 6mo ago
insertDrakeMeme() nah: Actor-Critic Models ayy: Actor Model In seriousness, huge fan! multi-agent systems are inherently distributed systems, and we've solved the problem of organizing distributed systems before through act
25.
by arjvik 6mo ago
This I didn’t know!
26.
by arjvik 6mo ago
recover()'s semantics make it so that "pointless" use like this can be inlined in a way that changes its semantics, but "correct" use remains unchanged. Yes, maybe some code uses recover() to check if its being call
27.
by arjvik 6mo ago
by future do you mean Future<T> or metaphorical future? :)
28.
by arjvik 6mo ago
hey hey hey the world would be a better place if we all used JAX instead :)
29.
by arjvik 7mo ago
There’s a known fix for SQL injection and no such known fix for prompt injection
30.
by arjvik 7mo ago
Not to take away from this cool project, but its design decisions are incredibly impractical.

More ›