namjh

9 ms·

1.
Why the "Math Mafia" is doing well(nitter.meowing.monster)
1 points by namjh 2d ago|0 comments
2.
by namjh 13d ago
Something off in my mind: how did the agent access to Tor network if the traffic outgoing was monitored and intercepted to only allow read-only access to web(I assume this is an MITM L7 proxy that only allows GET methods and specific hosts)
3.
by namjh 28d ago
OpenRouter is great business I agree, but I'm not still convinced how the integrity of providers' models is ensured. In other words, can't the provider serve DSv4 flash advertising it as DSv4 Pro? I'm aware that OpenRout
4.
by namjh 1mo ago
Nice article, and I'd like to mention an additional topic that would give the readers some impression: Fiat-Shamir transformation. The interactive process between the prover and verifier can be transformed into a non-interactive one wi
5.
by namjh 1mo ago
In that way the autoregressive nature of LLM won't let itself "plan" to reason with the intended budget. It doesn't "look ahead".
6.
by namjh 1mo ago
I don't use Claude for my daily work anymore(due to OAuth restrictions on third party agents), but one theory I saw in another community why Opus 5 is so bad even though benchmark scores were good, is that Anthropic's internal usa
7.
Samsung Browser for Desktop(browser.samsung.com)
3 points by namjh 1mo ago|0 comments
8.
Polynomial-Time Quantum Algorithm Proposed for Lattice-Based Cryptography [pdf](archive.cr.yp.to)
5 points by namjh 1mo ago|3 comments
9.
by namjh 4mo ago
As a South Korean I'm lowkey surprised that most reactions posted here is describing the detention experience to be some kind of human rights abuse. Most Koreans debating on Internet demand severe punishment so criminals be afraid of g
10.
by namjh 10mo ago
Yes we do have[^1] but unfortunately it looks like not checking the integrity, just reachability. [1]: https://downdetectorsdowndetectorsdowndetector.com/
11.
by namjh 2y ago
Amazed that Safari does not support WebGPU even with the latest release. Opened Chrome and it works. Very cool demo!
12.
by namjh 2y ago
> Consequently, this also means you cannot define two error variants from the same source type. Considering you are performing some I/O operations, you won't know whether an error is generated in the write path or the read path
13.
by namjh 2y ago
Anyone who needs to handle FFI in Rust, should read the FFI chapter in Rustonomicon: https://doc.rust-lang.org/nomicon/ffi.html Unsafe Rust is indeed very hard to write correctly. Rustonomicon is a good start to learn
14.
by namjh 2y ago
There was an NFT section in the claim form so certainly they are aware of but I'm not sure it's still open
15.
by namjh 2y ago
Big kudos to Rust compiler devs about their sophisticated type system and its kind (and highly intelligent) help messages. A little concern is that AFAIK its complexity in type systems and other static analysis things require deep domain kn
16.
by namjh 2y ago
That's because the code triggering compilation error is using reference. If you use Rc or Arc (which pays runtime cost) there should be no lifetime at all. Albeit I admit there somewhat exists a community sentiment like "if you us
17.
by namjh 2y ago
IMHO the mentioned examples of complexity like multiple type variables and lifetimes with bounds are for who "really" wants compile-time contracts. These are mostly opt-in so higher level use cases(like writing backend business lo
18.
by namjh 2y ago
Do we have a better method of verifying compilation output than just re-executing the compiler with same source, than comparing the output? TEE attestation could be a thing(albeit it could be a "trusted" third party which occasion
19.
by namjh 2y ago
Albeit 1.6PB/day may be somewhat exaggerated, comparing Binance to Ethereum needs much more consideration including: - Ethereum's transaction throughput is normally 12~20tx/sec so there cannot be a "high-frequency trades
20.
by namjh 2y ago
Interesting project and kind of tangential topic, will JIT compilers still be widely adopted given they are considered a critical attack vector when it misbehaves? I wonder if there is an effort to formally verify its safety or do a complet
21.
by namjh 2y ago
Great work! I really enjoyed the interactivity. Actually I already was aware of the concept of zero-knowledge proof from the wonderful article by ZCash(which is a privacy-oriented cryptocurrency) core developer Matthew Green, worth to check
22.
by namjh 2y ago
In reality, the entire map should be sent first to the verifier (with colors hid behind the post-it) so if it was a bogus randomly colored map, you may find two adjacent points having same color if you try extremely many(think hundreds or t
23.
by namjh 3y ago
Am I the only one just seeing a blank page? Proxying via archive.is did not help. Edit: after some googling I found https://lists.freebsd.org/archives/freebsd-hackers/2024-Janu... but I couldn't read the whol
24.
by namjh 3y ago
> The problem is that in the ecosystem we are building the prevailing assumption is that anything async must also be Send, which means we end up using Send primitives even in non-Send contexts, which is always a waste. Honestly I don&#x2
25.
by namjh 3y ago
> Making things thread safe for runtime-agnostic utilities like WebSocket is yet another price we pay for making everything multi-threaded by default. The standard way of doing what I'm doing in my code above would be to spawn one o
26.
by namjh 3y ago
Might be related: https://arxiv.org/abs/2211.16421 It's a paper about directly learning via JPEG encodings which works well with visusal transformers' patch mechanism.
27.
by namjh 3y ago
When I was a newbie for Rust, I was encouraged to use CLion with the Rust plugin. What's the difference between CLion + Rust and IDEA + Rust?
28.
by namjh 3y ago
Wow, if I were you, I would never think of analyzing the rustc source code. Great job!