kxyvr

49 ms·

331.
by kxyvr 10y ago
That'd be great, but I think the hard part about sharing representations is that many of the proof tools are based on different underlying type theories, which make it hard to go back and forth. For example Coq is based on the calculu
332.
by kxyvr 10y ago
I work professionally as an applied mathematician and I'd love if more people were to embrace proof assistant tools. That being said, I've worked with Coq a fair amount in the past and I find it really hard to prove things rela
333.
by kxyvr 10y ago
If anyone want another concrete example of a tagless interpreter in OCaml, I wrote one on SO awhile back: https://stackoverflow.com/questions/22676975/simple-lambda-c... Candidly, I find them a pain to write, but
334.
by kxyvr 10y ago
Sometimes, yes. Other times, no. If you're using an explicit integrator like a Runge–Kutta method such as RK4, then the answer is yes and the algorithms map pretty well onto a GPU. In that way, GPUs have been a huge boon to the scie
335.
by kxyvr 10y ago
I've thought about getting a Pyra and then trying to use it for regular phone calls as well. What's not clear to me is what the landscape is for telephone software running on Linux that directly accesses the sim card. Does anyon
336.
by kxyvr 10y ago
In my experience, pretty well modulo a couple of things. First, and we might as well get this out of the way now, it helps if you're light skinned because, frankly, many Norwegians are still pretty xenophobic and racist. It's si
337.
by kxyvr 10y ago
Yes, you are correct. To me, it's kind of like health benefits. You sort of take it for granted until you work for yourself and realize that you have to pay it. Mostly, the two big expenses that I see other small businesses not corr
338.
by kxyvr 10y ago
Not really. It depends on a number of factors, which I'll try to recall and ballpark here. For reference, I've lived and done business in both countries as a small business. Though, I've very much an American perspective.
339.
by kxyvr 10y ago
Though, candidly, OCaml has historically been a pain to deploy on Windows outside of some very Cygwin specific setups. The OCaml group has made a lot of improvement as of late, but so has F# on Linux.
340.
by kxyvr 10y ago
Alright, so I write scientific computing software professionally and, candidly, I find it easier to write efficient software using functional languages than object oriented because of what the languages encourage. For example, say we were
341.
by kxyvr 10y ago
Depending on how neurotic you want to get, Andrew Appel spent years working on SML and other functional programming language compilers and has written a few books about how to do it well. Namely, Compiling with Continuations: http:/&
342.
by kxyvr 10y ago
I'm glad there's more free material online for optimization modeling and algorithms. Personally, here's my favorite list for algorithms and modeling for optimization: For learning the simplex method, Linear Programming by Va
343.
by kxyvr 10y ago
From what I can tell skimming their papers, no. Their technique really is based on solving a PDE to fill in the gaps in the image. Neat idea and I'm a little surprised that it works so well. Compressed sensing relies on an equivalen
344.
by kxyvr 11y ago
The best presentation that I've ever seen on what a Kalman filter really is comes from a SIAM Review article, "A Fresh Look at the Kalman Filter" by Jeffrey Humpherys, Preston Redd, and Jeremy West http://epubs.sia
345.
by kxyvr 11y ago
Can anyone recommend a CalDAV based calendar program that either integrates into or works well along side Mutt? I've tried khal and it works alright, but I recall it being a little wonky with timezones.
346.
by kxyvr 11y ago
Thanks for the link to Ramshaw's other paper. I'd not seen that before and I think it'll be very helpful for some work that I occasionally toy with. As a side note to the parent comment, things like blossoms, polar forms, an
347.
by kxyvr 11y ago
Neat site. Unless I missed it, I didn't see a discussion of blossoms, which I've found to be a very nice tool when dealing with Bezier curves. There's a great paper called, "Blossoming : a connect-the-dots approach to
348.
by kxyvr 11y ago
Thanks for the reference as I've not tried that. Unfortunately, that project just failed to install for me, but I put in a bug report for the maintainer. Ideally, there'd be an official Windows port and installer that doesn'
349.
by kxyvr 11y ago
For me, this has been the central issue for not moving many of my projects to OCaml. OPAM sort of works on Windows, but most of the packages I tried to pull broke and fixing them was difficult. Making OPAM work seamlessly on Windows would
350.
by kxyvr 11y ago
Unless I'm mistaken, I believe the number is $10,000 over any part of the calendar year: https://www.irs.gov/Businesses/Small-Businesses-%26-Self-Emp... This used to be self reported on form TD F 90-22.1, which ha
351.
by kxyvr 11y ago
Well, crap, you're right. The other comment screwed me up. Apologies!
352.
by kxyvr 11y ago
The short answer is no, for a couple of reasons. First, you have to distinguish whether you want the antiderivative or the integral. In the first case, the problem with finding the antiderivative is that it's not unique. For example
353.
by kxyvr 11y ago
I'm a little late to the party, but hopefully this'll explain. Basically, you have to be careful about what it means to scale or not scale. If all you want is a derivative with respect to a single variable, forward mode scales ju
354.
by kxyvr 11y ago
At this point, I don't think it'll help you, but about a decade ago, COIN-OR was put together to partially provide an organization that helps give academics a place to peer review and receive credit for the codes they generate ( h
355.
by kxyvr 11y ago
When you say that you can do arbitrary precision linear algebra, do you control the scalar type or is the code templated on it? Basically, can we run the factorizations over arbitrary scalar types, which allows things like automatic differ
356.
by kxyvr 11y ago
Thanks for tip on the links! I screwed up my front page template, but it should be fixed and percolating through CloudFront. Thanks again!
357.
by kxyvr 11y ago
I'll second these comments about Hugo. I use it with my business website ( http://www.optimojoe.com/ ) and have been extremely happy. As a couple more comments: - Grab the repo https://github.com/spf13&
358.
by kxyvr 11y ago
I've used them for six years on a paid (enhanced) account and they've been very reliable for me. I've never noticed any downtimes and I appreciate how fast their web portal is when I need to mess with my configuration. Ther
359.
by kxyvr 11y ago
To expand on this for people who don't freelance or consult, technically the brackets are graduated, but figure on 25% for federal income tax and 15.3% for FICA. Texas does not charge state income tax, so the total is about 40% gone o
360.
by kxyvr 11y ago
In case anyone is interested, Michael Bader has a book called "Space-Filling Curves: An Introduction with Applications in Scientific Computing" that talks about this: https://books.google.com/books?id=zmMBMFbia-0C

More ›