DevelopingElk

7 ms·

1.
by DevelopingElk 3mo ago
CPS is a way of embedding imperative computation into an FP language. I think they built a mini compiler for their binary relation language, which is then Jitted by Julia.
2.
by DevelopingElk 4mo ago
Russian one time pads were frequently broken. How? They were inconvenient to distribute, so people reused them. Symmetric cryptography is safer because one key can easily protect as much data as you need.
3.
by DevelopingElk 4mo ago
One of the data center's cooling loops broke.
4.
by DevelopingElk 4mo ago
I ran into this problem where I wanted to generate balanced trees for test cases, and I decided to crack it with math. Let X = the number of remaining open parenthesis required to reach your target length, and Y = the number of remaining cl
5.
by DevelopingElk 5mo ago
His claim is that we exp-minus-log cannot compute the root of an arbitrary quintic. If you consider the root of an arbitrary quintic "elementary" the exp-minus-log can't represent all elementary functions. I think it really
6.
by DevelopingElk 5mo ago
According to the article “This work effectively rules out explanations of the Hubble tension that rely on a single overlooked error in local distance measurements". So any systemic errors would need to affect multiple measurement types
7.
by DevelopingElk 5mo ago
Good? Bad? Doesn't matter as long as you had fun. Have you tested this GCs performance? Sometimes a baby GC can be fast enough.
8.
by DevelopingElk 6mo ago
The issue with Regex for parsing is it can't handle balanced parentheses. https://en.wikipedia.org/wiki/Regular_expression . More generally, they can't handle nested structure. Context free grammars are the mo
9.
by DevelopingElk 6mo ago
I'm fairly sure this was human written.
10.
by DevelopingElk 6mo ago
Rust's discussion boards has an idea of "keyword generics" for expressing some of these concepts. The idea is that a function can be generic over const, async or some other keyworded effect. I like this description. It shows
11.
by DevelopingElk 6mo ago
Yours might go a little less into the details, but its really clear and I like the diagrams and explanation around glitch hazards. Please do follow up on your tangents if you have time.
12.
by DevelopingElk 6mo ago
I have commented once or twice on articles being AI generated. I don't put them when I think the writer used AI to clean up some text. I added them when there are paragraphs of meaningless or incorrect content. Formats, name collisions
13.
by DevelopingElk 7mo ago
This is written by an LLM account. My guess is this article was created with some human guidance too, but the profile shows LLM patterns.
14.
by DevelopingElk 7mo ago
The start of the article is good, but it starts to sound like LLM staring at the "Why this maps to Genetic Algorithms?" section. Is that the case?
15.
by DevelopingElk 7mo ago
By the definition of a cryptographically secure PRNG, no. They, with overwhelming probability, produce results indistinguishable from truly random numbers no matter what procedure you use to tell them apart.
16.
by DevelopingElk 8mo ago
I worked on a team deploying a service to European Sovereign Cloud (ESC). Disclaimer - I am a low level SDE and all opinions are my own. AWS has set up proper boundaries between ESC and global AWS. Since I'm based out of the US I can&#
17.
by DevelopingElk 10mo ago
The consequence of Noether's theorem is that if a system is time symmetric then energy is conserved. On a global perspective, the universe isn't time symmetric. It has a beginning and an expansion through time. This isn't rev
18.
by DevelopingElk 10mo ago
RL before LLMs can very much learn new behaviors. Take a look at AlphaGo for that. It can also learn to drive in simulated environments. RL in LLMs is not learning the same way, so it can't create it's own behaviors.
19.
by DevelopingElk 10mo ago
Oof, I think that you are right. The issue with Futurelock is a failure of liveness, where the Future holding the lock doesn't get polled. tokio::join! would keep it alive and therefore my suggestion would mistakenly panic. Yeah, the t
20.
by DevelopingElk 10mo ago
Disclaimer - I'm not a Tokio dev so what I say may be very wrong. Some definitions: Future = a structure with a method poll(self: Pin<&mut Self>, ...) -> Poll<Self::Output>; Futures are often composed of other
21.
by DevelopingElk 10mo ago
It is well known that Rust's async model can lead to deadlocks. However, in the futurelock case I have come around to blaming the Async Locks. The issues is that they are not "fair" in that they don't poll the future hol
22.
by DevelopingElk 11mo ago
I would say, though, that for most programs any one of the most popular languages would do the trick. By this I mean Java, Go, C#. Javascript, Python, C++. All of those are general purpose multi-paradigm languages that you can code almost a
23.
by DevelopingElk 11mo ago
My view of this is that its closer to the basic 2 lock Deadlock. Thread 1 acquires A. Thread 2 acquires B. Thread 1 tries to acquire B. Thread 2 tries to acquire A. In this case, the role "A" is being played by the front of the M
24.
by DevelopingElk 11mo ago
DynamoDB is working on going cellular which should help. Some parts are already cellular, and others like DNS are in progress. https://docs.aws.amazon.com/wellarchitected/latest/reducing-...
25.
by DevelopingElk 11mo ago
The start is good, but later paragraphs appear to be mostly LLM.
26.
by DevelopingElk 11mo ago
Video processing is one of those things that need caution when doing serverlessly. This solution makes sense, especially because S3s durability guarantees aren't needed.
27.
by DevelopingElk 11mo ago
TLDR - this RNG is completely and totally broken. First, I don't think the error term is contributing much to the solution. It almost never affects the high bit. In addition, it isn't fed back into updating the secret vectors, so
28.
by DevelopingElk 11mo ago
AWS, for the ultimate backup, relies on a phone call bridge on the public phone network.
29.
by DevelopingElk 11mo ago
For DynamoDB, I'm not sure but I think its covered. https://aws.amazon.com/dynamodb/sla/ . "An "Error" is any Request that returns a 500 or 503 error code, as described in DynamoDB". There
30.
by DevelopingElk 11mo ago
My guess is that for IAM it has to do with consistency and security. You don't want regions disagreeing on what operations are authorized. I'm sure the data store could be distributed, but there might be some bad latency tradeoffs

More ›