lmeyerov

183 ms·

1741.
by lmeyerov 13y ago
You might enjoy a new hardware description DSL from our lab: https://chisel.eecs.berkeley.edu/ :)
1742.
by lmeyerov 13y ago
Z3 is about "satisfiability modulo theories", which basically means a SAT solver with smart extensions for things like floating point arithmetic that would otherwise die under a naive encoding. It's used for program verificat
1743.
by lmeyerov 13y ago
Ur/Web uses dependent types (Ur) to build statically checked web libraries that prevent common bugs such as malformed or stale links. The exciting part (IMO) is that the 'row types' allow encoding your database schema in the
1744.
by lmeyerov 13y ago
A labmate did some great work similar to Continuum's wrapper and has been continuing on now at NVIDIA: http://copperhead.github.io/ . He basically identified an ML-like subset of Python (sort of like asm.js vs js) and
1745.
by lmeyerov 13y ago
GRAPHISTRY * Big data visualization-as-a-service, San Francisco. * Launching in 3 months and actively collecting customers & funding. WHAT: The "D3 of big data visualization" built on top of our breakthrough performa
1746.
by lmeyerov 13y ago
No, based on the data, the more reasonable hypothesis is that WordPress is killing PHP: http://www.google.com/trends/explore?q=wordpress%2C+php#q=wo...
1747.
by lmeyerov 13y ago
Big data visualization-as-a-service, San Francisco. Launching in 4 months. What -- The "D3 of big data visualization" built on top of our breakthrough performance technology: http://sc-lang.com Us -- A pair of award-w
1748.
by lmeyerov 13y ago
We originally built FTL to help formalize and automatically parallelize CSS. (Results of that work are going into Mozilla's Servo browser.) That includes constructs for both declarative layout and declarative parallelization. Our PPOPP
1749.
by lmeyerov 13y ago
Ah, interesting. OpenCL/WebCL solve this problem, so I think the question is portability. Will compute shaders be landing in most WebGL implementations? WebGL seems generally limited to OpenGL ES, so I had only explored BrookGPU-style
1750.
by lmeyerov 13y ago
Yeah, WebCL->WebGL buffer sharing is a big deal: having to copy the data from GPU->CPU->GPU for the layout->rendering hand-off is a ~5-10ms hit on the animation loop. Luckily, the Safari version of WebCL we use has integrated bu
1751.
by lmeyerov 13y ago
I talked to Jeff recently -- they're doing cool stuff with immens. AFAICT, Superconductor does a couple of things differently. First, it is DSLs for making new visualizations, not running analytics within ones they've prebuilt. Se
1752.
by lmeyerov 13y ago
... and perhaps more important for HN, we're also thinking about going full-time on the project by building some services on top of it. I'd love to hear if anyone would be interested in: -- web-based data visualization on mobile t
1753.
by lmeyerov 13y ago
Language creator here (didn't expect to see this!). Spot on about WebCL not being widely deployed yet, which means code generating it is mostly for kiosk etc. purposes. For more immediate deployment, I have most of an alternative codeg
1754.
by lmeyerov 14y ago
We've been working on it ;-) Zoom into the render of Wikipedia.org on page 8: http://eecs.berkeley.edu/~lmeyerov/projects/pbrowser/pubfile... . The real story is that we're trying to get CSS etc. running on a GPU so you can use high-level