poorlyknit

This is a cheap overgeneralization.

What can we do to make rent-seeking hurt society less? Imo we should start by decoupling money from power. Right now, people are forced to participate in the rent-seekers game because his wealth implies power over them.

poorlyknit

2 jaar geledendiscuss

A zipcode should be plenty and grocery websites do that already.

poorlyknit

2 jaar geledendiscuss

Very cool :) I got a good enough score in the basic scenario by playing around a bit but it would be cool if you could link some kind of tutorial (e.g. to a digital PID video or something like that).

poorlyknit

2 jaar geledendiscuss

The fact that it happens

    1) at/around powers of two
    2) regardless whether using GC or preallocating

makes me think its got to do with cache sizes. For example, the M2 macbook has around 16MiB of cache, which gives you approximately 2 million ~ 2^20 nodes where each node has a 64 bit number and a 64 bit pointer.

The jumps in your measurements could be related to the cache hierarchy. On Linux (probably macOS too) you should be able to run "perf stat ./mergesort" to show you the hitrate of your CPU's caches.

I'd be interested in a follow-up post :)

poorlyknit

2 jaar geledendiscuss

Elm comes to mind. Mentioned a bunch on HN but you probably wouldn't call it widely used...

poorlyknit

2 jaar geledendiscuss

Well no, obviously. Nix has not solved the rice theorem. But you'll have this problem whether you're using BuildKit or Nix. Difference is with Nix the final image only contains your explicitly stated dependencies. I.e. no apt, no Python, no Perl, no cacerts unless you explicitly include them.

poorlyknit

2 jaar geledendiscuss

Like it or not, team dynamics are a part of engineering.

poorlyknit

2 jaar geledendiscuss

Not OP, but I think it's a valid approach.

You gain: Model consistency guaranteed by the database, your backend basically only acts as an external API for the database.

You lose: Modularity, makes it harder to swap out databases. Also, you have to write SQL for business logic which many developers are bad at or dislike or both.

I've seen a system running on this approach for ten years and it survived three generations of developers programming against this API. There's Python wx frontends, web frontends, Rust software, Java software, C software, etc. They all use the same database procedures for manipulating the model so it stays consistent. Postgres is (kinda, not very) heavy for small projects but it scales for medium up to large-ish projects (where it still scales but not as trivially). One downside I've seen in this project is that some developers were afraid to change the SQL procedures so they started to work around them instead of adding new ones or changing the existing ones. So in addition to your regular work horse programming language you also have to be pretty good at SQL.

poorlyknit

2 jaar geledendiscuss

IMO the Python version provides more information about the final state of res than the Go version at a glance: It's a list, len(res) <= len(foo), every element is an element of foo and they appear in the same order.

The Go version may contain some typo or other that simply sets result to the empty list.

I'd argue that having idioms like list comprehension allows you to skim code faster, because you can skip over them (ah! we're simply shrinking foo a bit) instead of having to make sure that the loop doesn't do anything but append.

This even goes both ways: do-notation in Haskell can make code harder to skim because you have to consider what monad you're currently in as it reassigns the meaning of "<-" (I say this as a big Haskell fan).

At the same time I've seen too much Go code that does err != nil style checking and misses a break or return statement afterwards :(

poorlyknit

2 jaar geledendiscuss

Effect systems spring to mind but they're rather esoteric (in the Java world).

poorlyknit

2 jaar geledendiscuss

Try using it for concrete problems you have today, start small. I used it to write a small calorie counting web app and some other tiny projects and picked it up that way.

poorlyknit

2 jaar geledendiscuss

There's no null in Haskell to check for. Go check it out!

poorlyknit

2 jaar geledendiscuss

This would be even more palatable if it involved some more design patterns.

poorlyknit

2 jaar geledendiscuss

Does that change anything though?

poorlyknit

2 jaar geledendiscuss

If you haven't already, read "Gödel, Escher, Bach". It sounds like you would enjoy it. For me its more of a "pick it up somewhere in the middle and get inspired" than "front-to-back" title but iirc it considers the halting problem and the incompleteness theorem to be two sides of the same coin.

ISBN is 3423300175.

poorlyknit

2 jaar geledendiscuss

Would you mind expanding that? I always assumed that renting, lending or buying anything constitutes a contract technically.

poorlyknit

2 jaar geledendiscuss

Except that you're not allowed to take out a mortgage and denied credit if you're poor, which means you're stuck spending your money for necessities and therefore being poor. The system works great for people who (or whose family, circle, etc.) are already not poor.

poorlyknit

2 jaar geledendiscuss

This attitude is how we get stuff like the GTA V O(n^2) JSON deserialization bug. I get it, nobody is implementing quicksort on a day-to-day basis, but being taught the ideas behind these algorithms is important for building mental models.

poorlyknit

2 jaar geledendiscuss

They have an interesting idea of "achieved":

> Currently, only NVIDIA v100 GPU simulation is supported, and all GPUs mentioned later in this post are simulated v100s.

So unless they can reproduce this on a real cluster cluster of V100s, it should probably be taken with a grain of salt. What I'm missing in the simulation is an accurate account of how the host-device barrier is sped up using this system. Reading the headline I was hoping they'd be using NVIDIA GPUDirect for accessing the storage directly from the devices but I believe you'd need very custom CUDA for that...

comments