LolWolf

6 ms·

31.
by LolWolf 9mo ago
it’s an interferometer with like 5cm arms made for 3 bucks, it’s not made to be anything other than a basic demonstration !
32.
by LolWolf 9mo ago
ah I see! Yes this is very cool (hope you make it open source :) but have you taken a peek at the openflexure project? They make a fully motorized 3-axis microscope that is 3d printed and relatively inexpensive (parts+motors+electronics - P
33.
by LolWolf 9mo ago
yes ! but it also assumes you have: a good optical breadboard + bench + dampeners, a beautiful set of lenses, all sorts of nice lasers and kinematic mounts and linear stages etc etc so yes, we _also_ (back in my phd lab) built equipment in
34.
by LolWolf 9mo ago
thank you! and ha, that one requires a little more fancy equipment :)
35.
by LolWolf 9mo ago
oops! ran out of netlify credits. should be good now !
36.
by LolWolf 9mo ago
yeah, even breathing nearby this thing (or putting a soldering iron near the paths) will show a visible change!
37.
by LolWolf 9mo ago
yeah I cheated a little bit, but > Ok, time to confess: I did cheat a little in calling it the “cheapest” Michelson interferometer, since technically even this beam splitter is like 16 USD, but it is very possible to use a microscope sli
38.
by LolWolf 9mo ago
Yes! Michelson interferometers are an amazing first lab experiment since it teaches you the basics of a bunch more techniques which are handy in more advanced experiments, while still having a satisfying outcome when done correctly (which i
39.
by LolWolf 9mo ago
Hopefully you enjoyed the post then! I think there's just such a huge middle ground that's missing (for funny historical reasons[1]) between "children's toy" and "lab-grade equipment" especially in optics,
40.
by LolWolf 9mo ago
ha, thanks! that one has uhh substantially less drift for what it's worth, but reprinting in more stable material would help that a ton (and still be quite cheap!)
41.
by LolWolf 9mo ago
what type of details would you like to see? happy to add more if helpful!
42.
by LolWolf 9mo ago
Thanks ! Still need to upload it to Printables etc. Maybe this will finally get my ass a bit more into gear.
43.
by LolWolf 9mo ago
thanks !
44.
by LolWolf 9mo ago
Oh absolutely! I would not actually use this for uhhh, repeatable measurements over any extended period of time! (If that were the case, I'd recommend re-printing it in a slightly more stable material, or just CNC milling the mounts ou
45.
by LolWolf 9mo ago
For sure! I didn't _quite_ want to get into the mechanics of it (assuming anyone who is interested would just take a peek at the wikipedia or any YT video). But yes :)
46.
The likely cheapest home-made Michelson interferometer(guille.site)
123 points by LolWolf 9mo ago|71 comments
47.
by LolWolf 1y ago
For sure, I think it’d be fun to show it can be done under 5k or so, which would be close ish. Can probably get older equipment from university surplus, but yeah, these are the “things that need to get figured out” :)
48.
by LolWolf 1y ago
Do you have a write up somewhere? If not, it would be amazing if you wrote one! I was planning on doing a similar thing (also with saliva) once I finished moving in and had a bit more time after conferences. (But, of course, I’d have to go
49.
by LolWolf 1y ago
ok I think I see where you’re going, though many (if not most) of the special cases and properties here seem to be essentially a consequence of each of these systems. I’ll take a peek at the algorithm which I did admittedly skip, but curiou
50.
by LolWolf 1y ago
Hmm, how does this compare to things like https://github.com/cjdoris/LogarithmicNumbers.jl or https://github.com/cjdoris/HugeNumbers.jl (Apart from the PyTorch impl) In particular, it feels like s
51.
Throwing Darts in Latent Space(guille.site)
3 points by LolWolf 1y ago|0 comments
52.
Hamilton–Jacobi–Bellman is just linear duality(guille.site)
3 points by LolWolf 1y ago|0 comments
53.
by LolWolf 1y ago
No, I don't believe that a citation is the same as peer review, it is, as I understand it from the post you're replying to, an observation that other people have looked at it. (Indeed, if you actually go through and _read_ this pa
54.
by LolWolf 1y ago
Not to completely plug my own work here, but I also wrote about this for a slightly more mathematical audience (and uhh, a much shorter post): "There are exponentially many vectors with small inner product" https://lmao
55.
by LolWolf 1y ago
What? Yes it is! This is exactly how peer review works! People look at the paper, read it, and then reproduce it, poke holes, etc. Peer review has nothing to do with "being published in some fancy-looking formatted PDF in some journa
56.
The (sometimes rocky) road to a paper(lmao.bearblog.dev)
3 points by LolWolf 1y ago|0 comments
57.
by LolWolf 1y ago
> it's some sort of oldschool model like random forests It is a simple model, I think it's just a little dense NN with some hand-picked features. ( https://github.com/acornprover/acorn/blob/master&
58.
by LolWolf 1y ago
It is definitely less fleshed out since the project is very new (I think the first usable instance is like beginning of this year!) whereas afaik Lean 4's mathlib was ported from Lean 3 which has been around for at least 8 years and ha
59.
by LolWolf 1y ago
It's neat stuff imo!
60.
Acorn and the future of (AI?) theorem proving(lmao.bearblog.dev)
31 points by LolWolf 1y ago|6 comments

More ›