jvilk
Joined 14 years ago
Karma
310
Submissions
90
Member since
Sep 21
Recent submissions
Comment · 2 years 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 be missing something!
Sure, some specific items are always cheap -- like the rotisserie chicken. But outside of those few things, you really have to look for actual savings, and that's true even of baby products which so many in our area seem to get at Costco. In many cases, we would be buying something in bulk for more money than at Winco or Kroger.
Shopping there is also rather disorienting... many times an item we bought one week would be gone the next. Or items would unpredictably shift locations.
As some commenters have identified, there may be specific items you want that are in fact cheaper at Costco. And I only have personal experience from my area, which is not a big city and has cheaper local grocery prices than a more urban area. My main point is: if you've been shopping at Costco assuming you are getting a good deal, you might want to double check against other stores!
Comment · 5 years 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.
Comment · 6 years 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.
Comment · 6 years 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 master's degree is what you want.
Comment · 8 years 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 grok a JavaScript heap.
Comment · 8 years 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, DOM node lists...), and then collects stack traces to find the code that grew them. While it won't find all of the leaks, I was able to eliminate an average of 94% of the live heap growth I observed in 5 web applications (which found new memory leaks in Google Analytics, AngularJS, Google Maps, etc).
More information about the technique can be found in a PLDI paper (which I presented last week :D ), which I tried to write clearly so that it is accessible to a technical audience (i.e., non-academics) [1].
[0] http://bleak-detector.org/
[1] https://dl.acm.org/citation.cfm?doid=3192366.3192376 (shouldn't be paywalled, but if it is, it's also available at [0])
Comment · 8 years 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 backends. It supports IndexedDB, localStorage, and Dropbox, among others. (Disclaimer: I am the author of BrowserFS.)
Comment · 8 years 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 heap snapshots by building a JavaScript 'mirror' of DOM state that I could examine in the snapshots [1]. Perhaps I'll be able to strip out that logic and rely on the improved snapshots!
[0] http://plasma-umass.org/BLeak/
[1] Discussed in Section 5.3.2 of the preprint of our PLDI 2018 paper: https://github.com/plasma-umass/BLeak/raw/master/paper.pdf
Comment · 8 years 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 for four recipes a week and have access to the archives if I don't like some of the recipes. I like to jokingly call it 'Netflix for meal recipes'. Each recipe has a vegetarian, paleo, and gluten free variant, and it creates a shopping list for your week. You can get a free trial if you want to see what it's like.
Recipes specify what you can prepare ahead of time (so you could do most of your prep for the week in one go), and contain embedded videos showing how to do some of the prep steps if you are inexperienced.
I will note that I simplify some of the meals. For example, some recipes contain salads and specify how to make a particular salad dressing from scratch, but I opt to use prepackaged salad dressing to save time. Other recipes specify expensive items, like capers, that I skip.
I also have lost weight eating these recipes in the portions specified, which has been quite nice.
(Note: I'm not affiliated in any way with CookSmarts; I'm just a super happy customer!)
Comment · 9 years 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://plasma.cs.umass.edu/emery/stabilizer.html "Stabilizer: Statistically Sound Performance Evaluation" by Charlie Curtsinger and Emery Berger, ASPLOS 2013
Comment · 9 years 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 revealed problems with my solutions
- Easy to modify / improve solutions once typeset
- Easier for me and the graders to read (I have bad handwriting)
Cons:
- Steep learning curve (first assignment took me many hours to complete, but provided the template for future assignments)
- Painful to edit sequences of equations if you are explicitly showing your work
Comment · 9 years 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!
The use cases include:
* (Types) Generating quick-and-dirty TypeScript types for a web service or other JSON service you are coding against using response samples in its documentation.
* (Proxies) Ensuring that your code fails reliably when a service returns a JSON object with data that you do not expect. (Otherwise, your code may chug on with an undefined value and fail in a weird place!)
The generated proxies are also useful for non-TypeScript code when compiled to plain ole JavaScript.
To generate types from samples, I adapted the technique used in the F# Data library, which is described in the following paper:
https://dl.acm.org/citation.cfm?id=2908115
Let me know what you think! In addition to the linked demo, the code is on GitHub:
https://github.com/jvilk/maketypes
And there's an NPM package that contains a command line tool:
Comment · 9 years 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 run it in DoppioJVM.
Comment · 9 years 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 game format.
https://jvilk.com/