sklogic

63 ms·

631.
by sklogic 11y ago
> What about Lisps then? That's what I'm using at the moment, but I'm really missing the strict typing. It's often hard to debug even the simple passes if they're constructing invalid trees. A type system would h
632.
by sklogic 11y ago
Exactly, the best compilation technique involves dozens of small passes, ideally with a new AST after every pass. And rewriting the whole thing so many times is very error-prone and clumsy in general. If you add a new variant to the first A
633.
by sklogic 11y ago
I think I found a relatively sane solution to the expression problem, which employs quite a weird type system. The trick is to use a permissive (nearly "dynamic") first typing pass, using a "weak set" unification (a spec
634.
by sklogic 11y ago
Yes, it looks much better than an ad hoc ML. As I said, tricks like Scrap Your Boilerplate are very useful, although they're still not as dense as Nanopass. If a straightforward, depth-first visitor is relatively easy to infer, more co
635.
by sklogic 11y ago
MLs are way much better than the average blubs for writing compilers, but yet they still have some issues. The worst is the amount of a boilerplate code needed to implement even the smallest pass over an AST. Say, you want to visit and rewr
636.
by sklogic 11y ago
> when one wants to understand how scientific progress is made Kuhn covered it in full. Nothing more to be said on this subject. > the particular perspoectives of the subjects Which is perfectly covered by well-grounded, tested and en
637.
by sklogic 11y ago
> knowledge that reflects the particular perspectives of the subject I.e., a typical postmodernism. Not anywhere near any real science.
638.
by sklogic 11y ago
"Feminist science " is an oxymoron.
639.
by sklogic 11y ago
Why Popper is not on the list?
640.
by sklogic 11y ago
The boundary of the dragon curve got a fractional dimension, therefore it qualifies.
641.
by sklogic 11y ago
In the most classical meaning, "fractal" stands for "an object with a fractional fractal dimension". Since there is a clear cut on the level of details, the fractal dimension of this image is integer (i.e., precisely 2).
642.
by sklogic 11y ago
I hope that there won't even be such a profession as programming. Coding must become a basic part of the general literacy, and almost all the professions must include a degree of coding. Programmers should disappear just like scribes d
643.
by sklogic 11y ago
I wonder what degree of a butt-burn will this guy get from a typical Haskell or ML code.
644.
by sklogic 11y ago
> I'm sure there'll be edge cases where it won't work and we'll need other options. This is exactly the unfortunate attitude of most of the mobile apps developers. Exactly the reason why I can't use most of the a
645.
by sklogic 11y ago
Yes, today it would not really matter. But in the early 90s we knew what to do with such a massively parallel architecture - see https://en.wikipedia.org/wiki/Transputer and https://en.wikipedia.org/wik
646.
by sklogic 11y ago
> but they'll both be solved by network improvements We won't ever have a 100% coverage (with a free roaming and all that). It's impossible. > Underground metro systems will need cell towers You'd have to wait few
647.
by sklogic 11y ago
Dare to say the same thing from the Tube (or simply from a tunnel)?
648.
by sklogic 11y ago
How many embedded applications really do need any OS at all?
649.
by sklogic 11y ago
Moore's law held faithfully for decades. Not any more.
650.
by sklogic 11y ago
Ferranti Pegasus used the same (and it's still up and running!): http://www.sciencemuseum.org.uk/images/I039/10307498.aspx
651.
by sklogic 11y ago
A language, and especially a low level language, often jumps in front of your nice abstractions and obstructs them with all the unworthy low level details and its exposed bare guts. Techniques for eliminating this leaky abstraction are impo
652.
by sklogic 11y ago
> more practicality in CS curriculum Rename it to SE first and stop pretending it's a "science". Or, alternatively, accept that it's really a science and stop moaning about the careers in the industry. There'll b
653.
by sklogic 11y ago
> All the evidence shows that programming requires a high level of aptitude that only a small percentage of the population possess. No such evidence, at least not in any respectful sources. > will do nothing to help the skills shor
654.
by sklogic 11y ago
They're using it for scripting, not for the core code, although there is a lot of Lisp code there. https://en.wikipedia.org/wiki/Cadence_SKILL And, yes, it's about a time for the monolithic distros to die.
655.
by sklogic 11y ago
They already wrote all of their GUI in a nice and compact Tcl. Still such a bloat. Cadence is using Lisp extensively, and their distributions are also not very small and are hard to maintain.
656.
by sklogic 11y ago
Cell libraries would still be incompatible. Your only possible portable layer is still RTL (with a lot of effort), exactly the same thing as with entirely closed toolchains.
657.
by sklogic 11y ago
You must register with ARM in order to get it (it's free, AFAIR). http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc....
658.
by sklogic 11y ago
You need a synthesis tool - and there are open source alternatives. You need a cell library - a direct derivative of knowing a bitstream format. You need a place and route tool - as soon as format is known such tools would appear (as it hap
659.
by sklogic 11y ago
Luckily, there is an ARMARM, which can be parsed and translated into a plausible compiler backend automatically. Pity that FPGA vendors do not have a similarly regular documentation format.
660.
by sklogic 11y ago
If they want to keep the bitstream format closed for some deranged IP reason - ok, fine. Just document all the cells (they do it to an extend anyway) and provide a readable format for a placed and routed layout. This way the entire toolchai

More ›