nponeccop

6 ms·

1.
4M cases of “Ouput” typo on GitHub(github.com)
1 points by nponeccop 4y ago|1 comments
2.
by nponeccop 4y ago
I wonder if there are other such typos
3.
Build minimal containers/chroots using strace(github.com)
2 points by nponeccop 11y ago|0 comments
4.
FIX protocol (co)parser in Haskell(github.com)
1 points by nponeccop 14y ago|0 comments
5.
by nponeccop 15y ago
I mean high-performance implementations. Techniques to (statically) compile prototypes into efficient code were developed, but they are largely irrelevant to Javascript. High-performance modern implementations of JS rely on tracing JIT.
6.
by nponeccop 15y ago
My point is that 2x slowdown is critical for many systems - embedded, gamedev, HPC, systems software. Controlled measurement of slow-down and heap slack caused by GC is beyond capabilities of most embedded devs. Academia provided us with so
7.
by nponeccop 15y ago
Can modern garbage collectors deal with almost full heaps? There is an urban legend that GC only shows good performance with 50% of memory free, which is certainly unacceptable for microcontrollers. Also, most garbage collectors require box
8.
by nponeccop 15y ago
I wonder what happened to SELF-like object systems (slots, prototypes and all that).
9.
by nponeccop 15y ago
See also Vala, Mercury, Felix and Haxe.
10.
by nponeccop 15y ago
It is not necessary. With software replacement for MMU possible (see Singularity OS), hardly any hardware safety support is a requirement nowadays. TAL is the way to go - AFAIK it is possible to make plain x86 assembly dependently typable b
11.
by nponeccop 15y ago
I'm shamelessly adding my own HNC here :) http://code.google.com/p/inv/ https://github.com/kayuri/HNC/wiki I'm moving to GitHub - so 2 repos. "C++ is an evil language used at early stages of HNC development", so it will go away. See als
12.
by nponeccop 15y ago
LLVM bytecode does not exist after linking - it turns into usual machine code. It is not even a JIT compiler, talk less of an interpreter.
13.
by nponeccop 15y ago
Well, BitC is not too popular either. Another interesting experiment is Sing#/Singularity, which is a successful attempt to get IO performance of FreeBSD despite designing whole OS in modified dependently-typed C# with usual JIT and garbage
14.
by nponeccop 15y ago
Yeah, I have the same story. I have long wanted a "mutable" type system for my HNC project ( https://github.com/kayuri/HNC/wiki , http://code.google.com/p/inv/ ) - it was here on HackerNews about 1 year ago but got little to no interest.
15.
by nponeccop 15y ago
What about Cyclone?
16.
by nponeccop 15y ago
Looks like you have never took academia papers seriously :)
17.
by nponeccop 15y ago
The dissertation says it's Deca. DecaC stands for Deca Compiler.
18.
by nponeccop 15y ago
The type system looks novel, but it doesn't provide controlled effects or safety as the system for Disciple language described in the "Type inference and optimization in impure world" paper. So it doesn't qualify as 'awesome' IMO
19.
by nponeccop 15y ago
If you read the dissertation, it turns out that variables are captured by value. But even if they are captured by reference - solutions are possible such as the one in C++11. The decac doesn't provide more memory safety than C, so there are
20.
Deca - a systems language based on modern PL principles(code.google.com)
119 points by nponeccop 15y ago|57 comments
21.
Why Events Are A Bad Idea(citeseerx.ist.psu.edu)
2 points by nponeccop 16y ago|0 comments
22.
HN language for migration from C++(code.google.com)
3 points by nponeccop 16y ago|0 comments