sklogic

24 ms·

211.
by sklogic 10y ago
It is a sort of a typed DSL hosted on top of an untyped language.
212.
by sklogic 10y ago
Yet it is something I know firsthand. I also know how hard it is to convince people to try this approach. There is a lot of lies people believe in: that compiler construction is hard, that macros are hard to debug, that DSLs are only suitab
213.
by sklogic 10y ago
Shen was opensourced some time ago, under a BSD-style license: https://github.com/Shen-Language/shen-sources/blob/master/BS...
214.
by sklogic 10y ago
> What makes this possible? Take a look at what kind of power DSLs can give you: http://www.moserware.com/2008/04/towards-moores-law-software... If you use this methodology consistently, all of your code (inc
215.
by sklogic 10y ago
Yes, macros are not hard to get - they're far simpler than anything else imaginable. No, they are necessary. There is no better way of doing things than macros.
216.
by sklogic 10y ago
It was fairly trivial to foresee the requirements. I was ranting about how stupid html is back in 1993. If things were done the Lisp way back then, we would not have seen any of this "changing environment" epic circus.
217.
by sklogic 10y ago
Pretty much everything in the enterprise. It simply should not exist. All that CRUD stuff (that should have been automated long ago, it does not deserve all the boilerplate), everything Java, everything that is going on now in the Web. It
218.
by sklogic 10y ago
Mind naming a single point where the "tech world" outpaced the Lisp heritage?
219.
by sklogic 10y ago
> practical argument If you want to increase your productivity in orders of magnitude, if you want to be able to complete projects on your own that otherwise large teams would struggle to do, you must learn Lisp or any other meta-langu
220.
by sklogic 10y ago
Want to see a real killer example? Look no further than the Nanopass framework. It outhaskells Haskell and outmls MLs. It solves the expression problem they struggle with. It makes compiler construction laughably trivial.
221.
by sklogic 10y ago
Why? It's from "character", you do not want it charred.
222.
by sklogic 10y ago
HPC included. A whole lot of simulations fits well into a fixed point.
223.
by sklogic 10y ago
It is the other way around. IP routing was inspired by the emergent behaviour of the ant farms.
224.
by sklogic 10y ago
Yet, a lot of stuff beyond crypto depends solely on an integer performance + memory bandwidth. Graphics included. 2D image processing is better done in integer or a fixed point.
225.
by sklogic 10y ago
There is a lot of applications beyond crypto that depend on an integer performance. Even in graphics, not just scientific/engineering compute.
226.
by sklogic 10y ago
Maybe. But he obviously feels miserable doing this. What's the point of being miserable while there is a lot of much more fun things to do?
227.
by sklogic 10y ago
And why exactly you're wasting your skills on something as pitiful as this? There is a lot of work out there for people who can build complex solutions from the first principles.
228.
by sklogic 10y ago
Source code or IR or whatever else would always be needed, I'm afraid, with a late (and, likely, unpredictable) compilation. Passing an image of a different format may trigger a dynamic shader (or OpenCL kernel) recompilation on some G
229.
by sklogic 10y ago
You're not building any distinct conductive "wires" in a cell - each wire is a global chemical signal, therefore there is a hard limit on how many of those you can put into a single cell. And, behavioural is not supported (i.
230.
by sklogic 10y ago
> Because if this is not revolutionary, I don't know, what else deserves the term ... DNA computing was known and well-developed from around the late 90s. This work only adds a tiny layer of abstraction to simplify building circuits
231.
by sklogic 10y ago
There is a reason proprietary backends would always be necessary. Hardware companies are very touchy about the patents, and not publishing an ISA-related work may often be the only way to protect from the trolls. Such companies would often
232.
by sklogic 10y ago
The other side of this approach is that when the mainline developers do not have much love to a particular platform, it is dropped altogether with little to no remorse - see the fate of Microblaze support, or even the good ol' C backen
233.
by sklogic 10y ago
VPU is not a GPU, it was designed for stuff like video decoding. It is just a simple RISC with some SIMD instructions. QPU is a different beast, in VC4 it cannot even run arbitraty C code. In VC5 it can, but inefficiently.
234.
by sklogic 10y ago
You meant VPU, not GPU? The GPU is fully open.
235.
by sklogic 10y ago
My perception might be skewed, of course. In the broad range of practical areas I worked in I rarely came across any data-driven papers. Mind giving some examples?
236.
by sklogic 10y ago
What percentage of the CS research based on any data at all? It is mostly purely theoretical. Still, it would be nice if they published their proofs as a Coq code.
237.
by sklogic 10y ago
When did you see a local context two millions lines long? I never seen a code with long local variable names that was not awful. And it is not about typing. Long names harm reading in the first place.
238.
by sklogic 10y ago
> but I've never seen them actually used on anything but the simplest data structures and algorithms Take a look at a typical performance-oriented GPU coding, cache is the major analysis parameter there. Data structures are mostly
239.
by sklogic 10y ago
No, I am pointing out that the type is fully explicit here and not "inferred" from anything.
240.
by sklogic 10y ago
Ok. Then in 'struct _abc x;' we also have a type inference. And in any sub-expression there is also a "type inference". Although I think this kind of twisting the common term definitions is totally pointless. "Type

More ›