BruceIV

5 ms·

1.
by BruceIV 8y ago
You can do this sort of search in Firefox as well. Right click on pretty much any search box, then click "Add a Keyword for this Search..." You'll get an add-bookmark dialog that you can put a keyword into (e.g. "w"
2.
by BruceIV 8y ago
The initial implementation was finished in '03, and we revived the project somewhere around '15, so your guess about a research project that was recently taken back up is correct. We intend to write a "proper compiler" a
3.
by BruceIV 8y ago
[on the Cforall team] we actually take advantage of this same VLA idiom for temporary storage for polymorphic variables. Fun fact from when we switched our implementation to use VLAs: if you call alloca() for stack memory instead, it doesn&
4.
by BruceIV 8y ago
A polymorphic function is one that can operate on different types[1]. You would maybe be familiar with them as template functions in C++, though where C++ compiles different versions of the template functions based on the parameters, we pas
5.
by BruceIV 8y ago
[on the Cforall team] FWIW, the Go docs are somewhat ambivalent on the OO nature of Go[1]. Along similar lines, our main objections to object-orientation are that, in "traditional" implementations like C++ or Java, it tightly coup
6.
by BruceIV 8y ago
[on the team] It helps if you use the official ASCII spelling, Cforall -- a DuckDuckGo search for "Cforall" in private browsing mode pulled up our homepage first result. (I have no idea who the OP for this thread is, they're
7.
by BruceIV 8y ago
It's maybe not quite what you're looking for, but Cforall's polymorphic functions can eliminate nearly-all the unsafety of void-pointer-based polymorphism at little-to-no extra runtime cost (in fact, microbenchmarks in our as
8.
by BruceIV 8y ago
Transpiles-to-(GNU-)C -- it was first written before LLVM, if we were starting the project today it would likely be a Clang fork.
9.
by BruceIV 8y ago
[On the Cforall team] For what it's worth, one of the features Cforall adds to C is RAII. The exception implementation isn't done yet, but it's waiting on (limited) run-time type information, it already respects RAII.
10.
by BruceIV 8y ago
[also a CS 343 TA] I personally agree with you -- if it were up to me I'd refactor CS 343 into a pair of courses, maybe focusing on high-level concurrency constructs with a follow-up course on building that sort of runtime system.
11.
by BruceIV 8y ago
[on the Cforall team -- also a CS 343 TA] We've incorporated the main uC++ feature set into Cforall, but are still using uC++ for 343; maybe in another couple years when Cforall is stabilized a bit we'll give it to the students.
12.
by BruceIV 8y ago
[on the Cforall team] One of our Master's students has incorporated the majority of the uC++ features into Cforall as well, with some neat extensions for multi-monitor locking in a way that doesn't introduce synchronization deadlo
13.
by BruceIV 8y ago
[on the Cforall team] It broadly matches our other operator-overloading syntax, where the ?'s show where the arguments go, e.g. ?+? for binary addition, ?++ for postincrement and ++? for preincrement. For something as common as constru
14.
by BruceIV 8y ago
IIRC [not the team lead] they approached us when they were looking for modernization options for their existing C codebases. From there it went through the usual university-corporate research partnership process. Zig looks neat, BTW.
15.
by BruceIV 8y ago
Most programming languages do an initial period of internal development before a public release. When I started on the project ~3 years ago, it took me about 2 weeks to work around the (then current) set of compiler bugs to make a 100-line
16.
by BruceIV 8y ago
[actually on the Cforall team] This is basically our pitch -- the last 30 years of language design features applied to a language that is not only source-compatible with C (like C++), but actually maintains the procedural paradigm of C (unl
17.
by BruceIV 8y ago
[actually on the Cforall team] Huawei has funded the project for the past couple years, the web server is just our university research group's web host, which we didn't expect to get this much traffic on (it wasn't one of us
18.
by BruceIV 8y ago
I'm actually on the Cforall team -- we've been running fairly low-profile for the moment (it wasn't one of us that posted the homepage to HN), but plan on making a beta release of the compiler and stdlib sometime this summer.
19.
by BruceIV 11y ago
A thousand times this; I've been working on compiler-y things in C++ for the past couple years, and I am firmly convinced that the visitor pattern is a truly inadequate way to attempt to compensate for the lack of a proper destructurin
20.
by BruceIV 11y ago
There's some really good YA genre fiction out there, but I think one of the defining aspects of the genre is it's written about teenage protagonists with a number of very teenage problems, which I find increasingly tedious the fur
21.
by BruceIV 12y ago
I've been working on a derivative parser for PEGs; it's not quite working yet, but the inherent lack of ambiguity in PEGs is helpful to the time bounds there (I think I can make it worst case cubic, and linear in a lot of common c
22.
by BruceIV 12y ago
As the original article points out multiple times, recursive descent can take exponential time, even for an unambiguous grammar.
23.
by BruceIV 12y ago
Even if there's no publicly published code, any credible CS researcher will give you access to their code and tests for research purposes if you ask (excepting the rare case where they include someone else's IP), for exactly this
24.
by BruceIV 12y ago
The author said the PLDI 2008 paper and the ESOP 2013 papers.
25.
by BruceIV 12y ago
Interesting post, but what the author doesn't seem to realize is that even though he isn't doing much generic programming, someone needs to be able to do it to write the libraries he needs to use. The proposed approach is dece
26.
by BruceIV 12y ago
Odd that an article so nit-pickily concerned with the accuracy of the mathematics of Turing's work would over-generalize the actual computation he proved to be impossible, which was deciding if an arbitrary algorithm terminates on all
27.
by BruceIV 12y ago
`gcc -E foo.c` will just run the pre-processor and print to stdout (including expanding all the `#include`s, so it's a bit verbose).
28.
by BruceIV 12y ago
I've got an Asus Memopad FHD 10 that's running Intel; it was about $30 cheaper than anything similarly specced last Christmas, and I've been generally pleased with it (although system updates tend to break Hangouts for a bit,
29.
by BruceIV 12y ago
Thanks; it's just a present irritant because the Hangouts client for iPad is presently broken (no video), and Skype doesn't support video conference calls in their tablet clients, so I don't have a free cross-platform multi-w
30.
by BruceIV 12y ago
I'll believe it when I see it; I'm still waiting for the promised open-source release of the Facetime protocol.

More ›