The Linux kernel can be configured at build time to expose its own headers as /proc/kheaders.tar.xz. Not sure if distribution kernels generally have this option enabled or not.
This is pretty much how clojure atoms [0] work. It's basically a Clojure wrapper around a Java AtomicReference, but Clojure's immutable data structures make an atomic reference type really useful because it is very…
The problem is that the condition is parsed as (user=671156 AND permission=16 AND org=101) OR 102 The right way is to use something like org IN (101, 102)
Some years ago I worked at a technology-oriented summer camp where I personally taught several bright young children to program. Minecraft mods were an incredibly popular project and a big driver of interest for many of…
This sounds like sort of reasonably OK layman's explanation of Weak DH https://weakdh.org/
In Clojure unresolved names are a compile failure, and Spec would not be involved. Spec is just a nice library for writing runtime assertions about data. An example would be calling a third-party API and then validating…
Wow, I really can't imagine an acquisition that I would less rather learn about than FB hypothetically buying reddit. Considering how FB has all the money in the world it is probably wise to start editing/deleting all…
To expand on the debugging bit, Datomic knows and can tell you the exact transaction responsible for every piece of data in the database. You can also see the complete state of the DB as of any transaction, but the…
I think the strongest point in the article is this: "After the next breakthrough [in AI], we still won’t know how many more breakthroughs are needed, leaving us in pretty much the same epistemic state as before." That…
Paredit is great but it is not the same as AST editing, it even describes itself as a 'cheesy imitation,' see https://github.com/takeoutweight/paredit/blob/master/CREDITS
Isn't this what IncrediBuild does on Windows?
I am playing around with an idea like this for editing Clojure in Emacs with cider-mode. You have to manually build the 'thread' that such a code unravel-er would return, but then you can read and edit functions from…
A guideline like "three arguments to a function" says nothing about the type of those three arguments. You are right that there are many jobs that require 8 or more pieces of information, but often those parameters can…
I think that Google's TPUs (Tensor Processing Unit) use Altera FPGAs (speculation based on [1]). I'm sure there's some degree of collaboration if Google is filling cabinets with high-end FPGAs. [1]…
My point is that they far over-prioritized fuel economy. If you actually drive like that you will be spending a lot more time changing gears than necessary, and that almost any acceleration will require a downshift. I…
>gear-shift indicator in the dash. My VW has this. It's useless, I never look at it. It is very simple and clearly intended only to give the best results on the controlled gas mileage testing - I believe that if a…
There's probably no reason to restrict the computer the below human pro players (200-300 APM). My guess is the engine just wasn't designed with superhuman APM in mind and could be exploited. If that's the case then the…
I have seen this reported as a rumour with circumstantial evidence to back it up (why would they release a brand-new flagship product with a 2-year-old chip). Has it been confirmed anywhere yet?
Well, a lot of the papers published in the field present results like "We designed a neural net to perform <task> and achieved X% accuracy." The design of the net is novel and interesting enough to merit its own…
Quick, name three uses for this technology that aren't annoying advertisements!
Have any of Altman's critics taken a step back and realized that they are telling him that he is morally obligated to terminate a productive business relationship over political differences? Are they suggesting that…
I thought your thesis was that there was no actual collusion between politicians and the media, just aligned incentives. I agree with your point about the incentives, but don't you agree that this email shows that there…
It's not in an obvious place, and for some reason it's not listed on their YouTube channel, but they do have a timelapse video showing the logo from the main video being cut from start to finish.…
I agree that 5x10 is small and hard to read, but what use would a bitmapped font have for subpixel rendering?
Re: #3, I think when Reddit first implemented comment tree collapsing they also put the button on the right, but I saw a thread where someone pointed out that since the length of usernames is variable, putting the…
The Linux kernel can be configured at build time to expose its own headers as /proc/kheaders.tar.xz. Not sure if distribution kernels generally have this option enabled or not.
This is pretty much how clojure atoms [0] work. It's basically a Clojure wrapper around a Java AtomicReference, but Clojure's immutable data structures make an atomic reference type really useful because it is very…
The problem is that the condition is parsed as (user=671156 AND permission=16 AND org=101) OR 102 The right way is to use something like org IN (101, 102)
Some years ago I worked at a technology-oriented summer camp where I personally taught several bright young children to program. Minecraft mods were an incredibly popular project and a big driver of interest for many of…
This sounds like sort of reasonably OK layman's explanation of Weak DH https://weakdh.org/
In Clojure unresolved names are a compile failure, and Spec would not be involved. Spec is just a nice library for writing runtime assertions about data. An example would be calling a third-party API and then validating…
Wow, I really can't imagine an acquisition that I would less rather learn about than FB hypothetically buying reddit. Considering how FB has all the money in the world it is probably wise to start editing/deleting all…
To expand on the debugging bit, Datomic knows and can tell you the exact transaction responsible for every piece of data in the database. You can also see the complete state of the DB as of any transaction, but the…
I think the strongest point in the article is this: "After the next breakthrough [in AI], we still won’t know how many more breakthroughs are needed, leaving us in pretty much the same epistemic state as before." That…
Paredit is great but it is not the same as AST editing, it even describes itself as a 'cheesy imitation,' see https://github.com/takeoutweight/paredit/blob/master/CREDITS
Isn't this what IncrediBuild does on Windows?
I am playing around with an idea like this for editing Clojure in Emacs with cider-mode. You have to manually build the 'thread' that such a code unravel-er would return, but then you can read and edit functions from…
A guideline like "three arguments to a function" says nothing about the type of those three arguments. You are right that there are many jobs that require 8 or more pieces of information, but often those parameters can…
I think that Google's TPUs (Tensor Processing Unit) use Altera FPGAs (speculation based on [1]). I'm sure there's some degree of collaboration if Google is filling cabinets with high-end FPGAs. [1]…
My point is that they far over-prioritized fuel economy. If you actually drive like that you will be spending a lot more time changing gears than necessary, and that almost any acceleration will require a downshift. I…
>gear-shift indicator in the dash. My VW has this. It's useless, I never look at it. It is very simple and clearly intended only to give the best results on the controlled gas mileage testing - I believe that if a…
There's probably no reason to restrict the computer the below human pro players (200-300 APM). My guess is the engine just wasn't designed with superhuman APM in mind and could be exploited. If that's the case then the…
I have seen this reported as a rumour with circumstantial evidence to back it up (why would they release a brand-new flagship product with a 2-year-old chip). Has it been confirmed anywhere yet?
Well, a lot of the papers published in the field present results like "We designed a neural net to perform <task> and achieved X% accuracy." The design of the net is novel and interesting enough to merit its own…
Quick, name three uses for this technology that aren't annoying advertisements!
Have any of Altman's critics taken a step back and realized that they are telling him that he is morally obligated to terminate a productive business relationship over political differences? Are they suggesting that…
I thought your thesis was that there was no actual collusion between politicians and the media, just aligned incentives. I agree with your point about the incentives, but don't you agree that this email shows that there…
It's not in an obvious place, and for some reason it's not listed on their YouTube channel, but they do have a timelapse video showing the logo from the main video being cut from start to finish.…
I agree that 5x10 is small and hard to read, but what use would a bitmapped font have for subpixel rendering?
Re: #3, I think when Reddit first implemented comment tree collapsing they also put the button on the right, but I saw a thread where someone pointed out that since the length of usernames is variable, putting the…