skyde (u/skyde) - Readit News

skyde commented on Apple's MLX adding CUDA support github.com/ml-explore/mlx... · Posted by u/nsagent

nerdsniper · 8 months ago

Edit: I had the details of the Google v Oracle case wrong. SCOTUS found that re-implementing an API does not infringe copyright. I was remembering the first and second appellate rulings.

Also apparently this is not a re-implementation of CUDA.

skyde · 8 months ago

this is CUDA backend to MLX not MLX backend for CUDA!

skyde commented on Math Academy pulled me out of the Valley of Despair mikelikejordan.bearblog.d... · Posted by u/gmays

tippytippytango · a year ago

Yep, we all have to hit the wall and that’s where we find out what we’re made of. It can be a valuable experience with the right people around to help.

skyde · a year ago

Can you give more detail on what you mean by it can be a valuable experience with the right people around to help.

My son (7 years old) is gifted in Math and as a parent I find it extremely hard to decide how much I should push him (register him to math competition, weekend math club ...) and how much I should just let him get 100% on exam and not accelerate the learning.

skyde commented on Does X cause Y? An in-depth evidence review (2021) cold-takes.com/does-x-cau... · Posted by u/l0b0

skyde · a year ago

is it only me or this completely miss all the recent research on causal inference using causal graphical model ?

skyde commented on Desmos Animated Graphing Calculator desmos.com/... · Posted by u/sonicrocketman

skyde · a year ago

Des os is the best graphic calculator ever built. And its amazing it has un directly in your browser or without internet on your phone.

Just wish it was open source :-)

Anyone know of an open source library like 3blue1brown Manim library that can work run client side in the web browser like Desmos ?

skyde commented on The era of open voice assistants home-assistant.io/blog/20... · Posted by u/_Microft

skyde · a year ago

how does this compare to ESP32-S3-BOX-3B ?

skyde commented on Math is still catching up to the genius of Ramanujan quantamagazine.org/sriniv... · Posted by u/philiplu

babyent · a year ago

That was a fun read.

What really stuck out to me was how R failed in a bunch of other subjects except math because he wasn’t interested in them.

I know society and norms expect students to learn all these other subjects.

But what if those just aren’t interesting to someone?

I wonder how many geniuses we skip on because doing the chores of homework and getting through boring classes is busywork and memorization for the sake of getting an A.

Meanwhile, hardly anyone actually remembers anything about those topics and even the best students mostly go on to achieve only above average things.

My class valedictorian went on to become a doctor and while that is certainly impressive to me, there are many doctors and he practices (like almost every other doctor) and isn’t pushing the boundaries of medical science. I feel terrible writing that because I’m certainly not as smart as him, but R is just so impressive and I’m glad he got his lucky break.

People like R would be lost in the sea of averages because their genius would be kept shut by norms.

Almost every extraordinary person I read about seems like they were 1 step away from being forgotten, and got some huge universal break that boosted them.

skyde · a year ago

Thanks a lot for writing that. I agree 100% with you.

But I always wondered how polymath like Leonard davinci and Isaac newton that are excellent in many area are possible.

skyde commented on Students paid thousands for a Caltech boot camp that Caltech didn't teach nytimes.com/2024/09/29/us... · Posted by u/goldfishgold

skyde · a year ago

Is MIT class also taught by outsourced instructor instead of MIT instructor?

skyde commented on Distributed Locks with Redis (2014) redis.io/docs/latest/deve... · Posted by u/thenewwazoo

silverwind · 2 years ago

Redis can achieve the same with `redis-sentinel` and `min-replicas-to-write`.

skyde · 2 years ago

Redis Sentinel provides high availability and monitoring for Redis, but it does not guarantee strong consistency.

Linearizability requires that once a write is acknowledged, all subsequent reads should reflect that write.

if min-replicas-to-write is set to the number of Redis replica then if a single node goes down you won't be able to do any write (take lock or release lock).

if min-replicas-to-write is set to any number smaller than the total number or Redis replica some replica could still be lagging because of Asynchronous replication.

Also when a replica acknowledges a write in Redis, it means that the write has been received and logged by the replica, but it doesn’t necessarily mean that the write has been fully processed and applied to the data set.

This mean reading from replica that acknowledges a write from master might still return the Old value for the Key.

skyde commented on Distributed Locks with Redis (2014) redis.io/docs/latest/deve... · Posted by u/thenewwazoo

skyde · 2 years ago

Redis is a very bad store for a distributed lock but Postgres is only slightly better.

What you truly need is something like ZooKeeper and etcd that are designed to achieve distributed consensus using algorithms like Paxos or Raft.

This ensures strong consistency and reliability in a distributed system, making them ideal for tasks like leader election, configuration management, and lease management where consistency across nodes is critical.

skyde · 2 years ago

Paxos and Raft are consensus algorithms that provide certain guarantees and capabilities that a master-slave system with synchronous replication, such as PostgreSQL, cannot offer.

These algorithms ensure that a majority of nodes (a quorum) must agree on any proposed chAnge. This agreement guarantees that once a decision is made (e.g., to commit a transaction), it is final and consistent across all nodes. This strong consistency is critical in distributed systems to avoid split-brain scenarios.

This is easily caused by :

1-network partition

2-latency issues.

3-Async failover (2 nodes think they are the master)

4-replica lag (some but not all replica acknowledged the write) while master send confirmation to client

skyde commented on Distributed Locks with Redis (2014) redis.io/docs/latest/deve... · Posted by u/thenewwazoo

awinter-py · 2 years ago

redis is the easiest-to-host lock server and that's worth the risk in some applications (depending on consequence of errors obv)

inspiring + slightly terrifying that rather than a single server-side implementation, every client is responsible for its own implementation

if postgres provided fast kv cache and a lock primitive it would own

skyde · 2 years ago

Redis is a very bad store for a distributed lock but Postgres is only slightly better.

What you truly need is something like ZooKeeper and etcd that are designed to achieve distributed consensus using algorithms like Paxos or Raft.

This ensures strong consistency and reliability in a distributed system, making them ideal for tasks like leader election, configuration management, and lease management where consistency across nodes is critical.