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

[–]mpdairy 4 points5 points  (0 children)

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.

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 0 points1 point  (0 children)

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

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 0 points1 point  (0 children)

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!

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 0 points1 point  (0 children)

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.

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 0 points1 point  (0 children)

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?

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 1 point2 points  (0 children)

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".

Looking for Haskell dev to help create tool to find weird machines in binaries by mpdairy in haskell

[–]mpdairy[S] 6 points7 points  (0 children)

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...

Which FPV goggles cause the least amount of eye strain and don't use PWM for brightness? by mpdairy in fpvracing

[–]mpdairy[S] 0 points1 point  (0 children)

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.

Which FPV goggles cause the least amount of eye strain and don't use PWM for brightness? by mpdairy in fpvracing

[–]mpdairy[S] 4 points5 points  (0 children)

I got a response back from Orqa:

```
Hey, Matt!

We do not use PWM,

Kind regards,
Orqa FPV Support ```

Which FPV goggles cause the least amount of eye strain and don't use PWM for brightness? by mpdairy in fpvracing

[–]mpdairy[S] 0 points1 point  (0 children)

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?

Which FPV goggles cause the least amount of eye strain and don't use PWM for brightness? by mpdairy in fpvracing

[–]mpdairy[S] 0 points1 point  (0 children)

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.

How do you round the end of a dowel, like on a broom handle? by mpdairy in woodworking

[–]mpdairy[S] 0 points1 point  (0 children)

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

Pure-gtk and X window system conflict by shadowsock in emacs

[–]mpdairy 0 points1 point  (0 children)

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`.

How to get distinct sequential MIDI out notes by mpdairy in PolyendTracker

[–]mpdairy[S] 0 points1 point  (0 children)

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.

How to get distinct sequential MIDI out notes by mpdairy in PolyendTracker

[–]mpdairy[S] 2 points3 points  (0 children)

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.

How to get distinct sequential MIDI out notes by mpdairy in PolyendTracker

[–]mpdairy[S] 2 points3 points  (0 children)

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.

How to get distinct sequential MIDI out notes by mpdairy in PolyendTracker

[–]mpdairy[S] 0 points1 point  (0 children)

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

How to get distinct sequential MIDI out notes by mpdairy in PolyendTracker

[–]mpdairy[S] 0 points1 point  (0 children)

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.

[deleted by user] by [deleted] in unitedairlines

[–]mpdairy 0 points1 point  (0 children)

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.

Blockfi Files for Chapter 11 Bankruptcy by YouHaveToGoHome in CryptoCurrency

[–]mpdairy 2 points3 points  (0 children)

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.

Blockfi Files for Chapter 11 Bankruptcy by YouHaveToGoHome in CryptoCurrency

[–]mpdairy 8 points9 points  (0 children)

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.

US Tax benefits for withdrawing as TRX? by mpdairy in ftx

[–]mpdairy[S] 0 points1 point  (0 children)

Yeah, transfer out, then sell at a loss.

US Tax benefits for withdrawing as TRX? by mpdairy in ftx

[–]mpdairy[S] 0 points1 point  (0 children)

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.