jvilk

5 ms·

1.
by jvilk 2y ago
Yeah, I had the same experience in my area. It's so strange to see so many people (online, and locally) strongly assert that Costco has the cheapest price on many goods. It's a strangely pervasive notion. We thought that we must b
2.
by jvilk 5y ago
What do you mean? Nearly every native English speaker who works with Coq pronounces it "cock" (from experience at POPL, PLDI, and other PL conferences). Personally, I'm very happy that they are changing the name.
3.
by jvilk 7y ago
I wrote a tool that may be useful here; it generates a TypeScript definition file and runtime type checking logic given examples of the objects you want to accept. https://jvilk.com/MakeTypes/
4.
by jvilk 7y ago
> I'd bet that anyone with a PhD could have made more money with a masters degree and a switch to industry. This is common knowledge for those pursuing CS PhDs. You don't do it for the money. If you only care about money, a mas
5.
by jvilk 8y ago
You can capture a heap snapshot in most browsers now using development tools. However, even a blank webpage (about:blank) has tens of thousands of objects allocated for the default JavaScript/DOM APIs. It's challenging to manually
6.
by jvilk 8y ago
I recently wrote an automatic memory leak detector and debugger, which makes this a lot easier (imo) [0]. You write a short input script that drives the UI in some loop, it looks for growing things (objects, arrays, event listener lists, DO
7.
by jvilk 8y ago
You're right; when it is running in the browser, isomorphic-git does not have access to the operating system's file system. Instead, it uses BrowserFS [1], which emulates a file system abstraction on top of arbitrary storage backe
8.
by jvilk 9y ago
Well, this is useful! I recently built BLeak [0], an automatic memory leak debugger for the client-side of web apps, which consumes heap snapshots during the automatic leak debugging process. I had to work around the DOM limitations of V8 h
9.
by jvilk 9y ago
There are meal recipe subscription services that do exactly that. I've been a subscriber to CookSmarts for a few years now, and love it! https://www.cooksmarts.com/weekly-meal-plan-service/ I pay a low monthly fee
10.
by jvilk 9y ago
Our lab addressed some of the issues with Stabilizer [0], which "eliminates measurement bias by comprehensively and repeatedly randomizing the placement of functions, stack frames, and heap objects in memory". [0] http:/&#x2
11.
by jvilk 9y ago
During undergrad, I wrote up all applicable college assignments using LaTeX for ~3 years. I recommend it if you want the ability to skillfully typeset math or if you plan to attend graduate school. Pros: - Transcribing from paper often reve
12.
by jvilk 10y ago
I wrote a library and command line tool that generates TypeScript types for JSON objects from samples. It can also generate "proxy" objects that typecheck JSON objects at runtime, so you can code against JSON services without fear
13.
Show HN: Generate TypeScript Types from JSON Samples(jvilk.com)
5 points by jvilk 10y ago|1 comments
14.
by jvilk 10y ago
To better explain from my previous comment, the use case is that you can take a Java program and run it in the browser with no modifications. So, if you have a legacy program or library and rewriting it would be a large undertaking, you can
15.
by jvilk 10y ago
Performance is 24-40x over the HotSpot (Oracle Java) interpreter on compute-intensive benchmarks. The primary use case is for non-compute intensive code. http://www.codemoo.com/ uses it to teach students basic Java in a gam
16.
by jvilk 10y ago
Thanks, rektide! Streams support haven't been added since a) there hasn't appeared to be great demand from folks using the library, and b) I haven't needed it for any project at all. Feel free to leave comments on the issue i
17.
by jvilk 10y ago
Here's the only thing I could easily find via Google [0]: "The basic design right now is that we draw every pixel of every frame, but there's a lot of overdraw when things overlap. This shows up in the moiré demo where there&
18.
by jvilk 10y ago
You mean this [0]? I have not implemented it, but it might be possible to do... [0] https://docs.oracle.com/javase/7/docs/api/java/nio/MappedByt...
19.
by jvilk 10y ago
It would require a complete rewrite; I commented previously [0] describing how WebAssembly seems inappropriate for Doppio, and also discussed similar thoughts about SharedArrayBuffer [1]. Also, the main source of slowness is due to the fact
20.
by jvilk 10y ago
Yes; the paper mentions CodeMoo.com, which the University of Illinois created independently of us to teach basic programming skills to kids [0]. The file system component is readily used by the Internet Archive for their MS-DOS collection [
21.
by jvilk 10y ago
It's better if you are writing new code for the web and want to use a different language, but Doppio is better if you need compatibility with existing JVM code. The goals are different.
22.
by jvilk 10y ago
ISC is the default license for NPM modules when you `npm init`, so I am not sure if that's their actual license. Doppio itself is under the MIT license.
23.
by jvilk 10y ago
The Doppio authors (me) are completely uninvolved; this is an independent effort! This project makes it a bit easier to integrate Doppio and use it out-of-the-box. I suspect the assertion failure is caused by some of their modifications to
24.
by jvilk 10y ago
Yes, there is a good reason: Security exploits! Fortunately, Doppio requires no plugins, and is written in 100% JavaScript. Crisis averted! Also, more languages than just Java run on the JVM; Doppio can run Scala, Clojure, and other JVM lan
25.
by jvilk 10y ago
And Scala devs don't need to learn Scala.js; Doppio runs Clojure and Scala. :) (Joking; both of those projects are pretty great, and have different goals from Doppio.) (Also, Scala in Doppio is... uh... quite slow. As you may imagine,
26.
by jvilk 10y ago
Interesting! A cursory glance at the source code looks like they are doing some form of stack splitting at synchronization points, denoted by method annotations. Note that they reimplement the class library and eschew compatibility with tra
27.
by jvilk 10y ago
Oh, nice! I'll take a look at that when I next get the chance. I assumed that Closure's Long library, which is based on GWT's Long implementation, would be well-optimized, and never looked into an alternative.
28.
by jvilk 10y ago
Thanks! I hope Doppio can become useful to many more people. :) There is a proposal for value types [0] that Niko Matsakis [1] and Brendan Eich [2] talked about a couple of years back and could be used to implement 64-bit numbers in JS, but
29.
by jvilk 10y ago
And here's a video presentation of John Vilk delivering his PLDI 2014 talk at Microsoft Research. This one has audio! :) http://research.microsoft.com/apps/video/default.aspx?id=238...
30.
by jvilk 10y ago
Well, if we represented objects with a blob of bytes, we would have to implement our own garbage collector and manage our own heap, as object references would just be a pointer that points into an array somewhere. For interop with JavaScrip

More ›