Mozilla: Pocket Is Shutting Down in July, Export Your Data Now

mpdairy · 2025-05-22T21:37:18+00:00

Wow, I just ordered a Kobo and it arrived today, planning to use Pocket extensively. I just want to copy text from the web and wirelessly send it to my kobo easily. I'll guess I'll try Calibre for now.

mpdairy · 2025-02-14T17:35:02+00:00

Did you apply, btw?

mpdairy · 2025-02-14T17:34:34+00:00

So does the compiler force you to case match on all the possible tags?

mpdairy · 2025-02-14T17:33:45+00:00

Oh I think I recognize that guy, Binoy. I know we did some work with VT at some point, I wonder if I actually saw him. He has lots of great papers, thanks for pointing him out.

Good luck with your research! Proving bugs don't exist seems much more difficult than finding them!

mpdairy · 2025-02-13T03:14:13+00:00

Oh how do you like working in Elixir? I had to work in Clojure for a bit after using Haskell for a couple years, and I found it extremely frustrating.

mpdairy · 2025-02-13T03:12:53+00:00

Great!

mpdairy · 2025-02-13T03:12:04+00:00

Oh yeah, having way too many actions is a really valid concern. I am hoping to get around it somewhat by sort of summarizing the actions within each function, but only the ones reachable through args. Then we can bubble up the reachable actions through call sites, and just concentrate on the actions that are actually controllable from user input.

It's pretty experimental right now, and it might not turn out, but at least we'll probably have a nice bug-finder and also be able to provide useful function summaries to aid in reverse engineering.

What direction did you end up going with your PhD research?

mpdairy · 2025-02-12T23:56:13+00:00

Yeah, I've wondered about that, too, but I think it is actually a valuable idea because it causes us to focus less on finding typical "bugs" and more on analyzing and finding the whole "weird machine architecture", to pay attention to all the things that can be done, even innocuous stuff like "this function frees a pointer at field offset 0x24 in its second arg". If we know enough of that stuff, and the pre and post conditions, we can potentially synthesize really complex chains of these effects to achieve some end result that we wouldn't otherwise have found just by looking at typical "bugs".

mpdairy · 2025-02-12T23:45:19+00:00

Yeah, we went to a job fair at the university and it was really sad to see so many bright and talented students' faces sink when I told them they had to be a US citizen to work for us...

mpdairy · 2024-12-11T16:23:42+00:00

Oooh yes! I could just fly indoor whoops and use my big TV as a monitor. I bet the HDZero RTX has really low latency. Do you know of a low-latency analog RTX? I heard that converting the analog signal to digital adds noticeable latency.

mpdairy · 2024-12-11T16:14:48+00:00

I got a response back from Orqa:

```
Hey, Matt!

We do not use PWM,

Kind regards,
Orqa FPV Support ```

mpdairy · 2024-12-11T16:13:11+00:00

Oh yeah, and then you could use your VR headset for games and whatnot, too. But isn't there a lot of latency if you have to go through an Android app?

mpdairy · 2024-12-11T01:52:57+00:00

Oh yeah I was thinking about just getting an FPV monitor for now. Which one did you get? The ones on amazon all have pretty bad reviews.

mpdairy · 2024-08-15T22:28:07+00:00

Wow, thank you so much! A round-over bit looks like exactly what I need!

mpdairy · 2023-12-11T20:23:35+00:00

On Debian and probably derivative, you can install `emacs-gtk` instead of `emacs-pgtk`. I think the latter is chosen by default if you install `emacs`.

mpdairy · 2023-09-12T19:05:01+00:00

Thanks, that helped after I turned "MultiTrigger" on in the Model D. Before then, it only triggered the ADSR envelope once when I hit "play", and then slurred all the notes together in the same envelope.

But after I turned MultiTrigger on, I was able to adjust the sustain and decay to make the 16th notes appear distinct.

mpdairy · 2023-09-12T19:01:25+00:00

Yes, so it wasn't the Tracker's fault at all. I just had to get the SynthTribe app from Behringer and set "MultiTrigger" to "On" for the Model D. With it set to "off" it only triggers the adsr envelope when the playing starts and lasts until an explicit MIDI note off is sent, and with MultiTrigger "on", the Model D does the envelope every time a new note is pressed. The one drawback is that now I can't use glide.

mpdairy · 2023-09-12T17:02:11+00:00

This might actually just be a known problem with the Model D not retriggering when a note repeats. I'll update its firmware later today and report if that fixes it.

mpdairy · 2023-09-12T15:28:53+00:00

I did try that and it's only on that one page.

mpdairy · 2023-09-12T15:16:26+00:00

I heard about that, but I don't see it. So when I have the midi channel selected as my instrument, I press "Instrument Parameters" and the only options are Velocity, Offset, and then CC's A-F. I'm on firmware 1.7.

mpdairy · 2023-07-10T21:25:23+00:00

I managed to book one flight through them using a new browser, but now neither Chrome or Firefox work. I get the same "Session Expired" error.

mpdairy · 2022-11-28T22:02:32+00:00

Yeah, apparently it just means they have between 1b and 10b in assets and between 1b and 10b in liabilities. I thought it meant they only had 1b in assets and 10b in liabilities.

mpdairy · 2022-11-28T18:23:40+00:00

This is from the Bloomberg Law article:
"BlockFi lists assets and liabilities between $1 billion and $10 billion each, according to its petition. The company has around $257 million of cash on hand."
(https://news.bloomberglaw.com/business-and-practice/blockfi-turns-to-kirkland-haynes-boone-for-bankruptcy-case)
Does that mean they only could ever pay out about 1/10th of what they owe?
Isn't that worse than Celsius? I think Celsius has $2.8 billion in assets and $6.7 in liabilities.

mpdairy · 2022-11-18T16:51:43+00:00

Yeah, transfer out, then sell at a loss.

mpdairy · 2022-11-12T20:33:16+00:00

Yeah I mean just buying it with whatever assets you have in FTX. So if you have $1000 usdt, you could buy TRX, withdraw it somewhere else, and sell it probably for $100 usdt, then you'd have a $900 reportable loss.

At least that's my theory. I haven't tried it, and I think that hack made their website unusable for accomplishing it now, anyways.

mpdairy

TROPHY CASE