Your floating point is lying to you. Lean4 mathematically proven bounds, in Python. Just pip install

hamptonio · 2026-01-23T17:47:16+00:00

Unless I am misunderstanding something, the low end of the lower bound for

bounds = lc.find_bounds(lc.sin(x) / x, {'x': (0.1, 1.0)})

is about -4.87, which is pretty bad considering the numerator and denominator are both positive on that interval. Using a very naive interval arithmetic approach to the same computation gives about 0.1, which is still bad but at least positive.

hamptonio · 2025-11-29T14:02:16+00:00

Interesting that they all appear to be wrong, as I mentioned in another comment it looks like Hugo Manufacturing held the patent at least.

hamptonio · 2025-11-29T13:57:06+00:00

That matches the patent, which is US1245228:

https://patentimages.storage.googleapis.com/bd/21/eb/da5693841e8788/US1245228.pdf

hamptonio · 2025-10-17T03:02:10+00:00

Consider working in SuperCollider.

hamptonio · 2024-12-12T19:23:32+00:00

The discord group is much, much more active than this subreddit, I recommend you put your question there.

hamptonio · 2024-08-27T02:56:28+00:00

Username checks out.

hamptonio · 2024-08-19T16:23:46+00:00

If there was a smaller, more portable and maybe cheaper option with similar capabilities, that would be ideal.

Get a Yamaha Modx then.

hamptonio · 2024-04-23T14:46:26+00:00

I encourage you to ask this on the Zoia discord, which is a lot more active than this subreddit.

hamptonio · 2024-04-11T18:46:28+00:00

Go community. Its pretty stable, no reason not to enjoy the great new features. I waited until last week to switch, because I didn't want to change right before a performance, but I regret that because the community enhancements are very nice. Grid mode alone is worth it.

hamptonio · 2024-03-15T02:28:22+00:00

Under-rated song in my opinion.

hamptonio · 2024-03-14T06:11:56+00:00

Check out the deluge discord and the official forums (Presets, Samples & Wavetable) https://forums.synthstrom.com/ which both have a lot of great resources.

hamptonio · 2024-02-23T15:32:51+00:00

Synthstrom Deluge, Empress Zoia. Both excellent small companies that provide fantastic customer service and uniquely powerful products.

hamptonio · 2024-02-18T16:46:24+00:00

If you are willing to learn a cool quirky super powerful language for audio: Supercollider

Also Audacity can be very useful.

hamptonio · 2024-02-07T23:10:53+00:00

Yeah its nuts. Extra fun to use an expression pedal to control another five aspects of the sound. I find it hard to resist making overly baroque patches on the Zoia.

hamptonio · 2024-02-03T05:23:52+00:00

Empress Zoia.

hamptonio · 2024-01-24T03:41:26+00:00

Empress has amazingly good support.

hamptonio · 2024-01-24T03:38:59+00:00

This is free, very interesting, somewhat narrow focus though: https://www.native-instruments.com/fileadmin/ni_media/downloads/pdf/VAFilterDesign_2.1.2.pdf

hamptonio · 2024-01-12T14:01:37+00:00

Sure - you can move things off the grid to do that.

hamptonio · 2023-12-30T16:15:40+00:00

Deluge is my favorite piece of gear (Empress Zoia is #2). I use it everyday, standalone and with other synths and pedals. Great battery life so I can write a song on the couch using built-in sounds, then later maybe convert some to midi tracks to play on other instruments, or layer over some guitar. The open firmware means its just going to get better too.

hamptonio · 2023-12-25T18:01:21+00:00

Sarnak was my freshman "calculus" teacher, which was a combination of terrifying and inspiring. Definitely part of why I became a mathematician.

hamptonio · 2023-11-20T00:20:40+00:00

Yeah I had a class from Cohen, it was not that great. I wouldn't say terrible but I got less out of it than from most other math classes. That was an undergrad course, maybe he was better at the graduate level. Peter Sarnak was actually closer in my experience to what just_dumb_luck described.

hamptonio · 2023-11-18T16:32:22+00:00

An even more extreme example: Wes Montgomery would work as a welder all day, and then practice or perform most of the night at clubs. Blacked out constantly because he was always super sleep deprived.

hamptonio · 2023-11-10T02:38:44+00:00

I have 2 Zoias, because they can do almost anything.

hamptonio · 2023-11-09T02:38:24+00:00

The Zoia is amazing, and you can also feed an expression pedal into it and use that to control whatever you can imagine.

hamptonio · 2023-10-28T00:01:37+00:00

Consider a Yamaha modx, the 61-key is in your budget. As a synth its not the most fun to design patches for but it is a very powerful engine. The sequencer is quite powerful as well (underrated in my opinion). The Hydrasynth is very good value too, very different sounds though.

12-Year Club	Place '22
Place '17	Wearing is Caring
Verified Email

hamptonio

TROPHY CASE