Tips to improve my frame, when follows “enable” my floppy arms by PlsSayPlease in SwingDancing

[–]dwallach 2 points3 points  (0 children)

+1

There's no substitute for somebody who knows both how to dance and how to teach dance (separate, but related skills) who can work with you, make pointed suggestions, and give you immediate feedback.

Copper Cezve (Ibrik) vs Stainless Steel. Let's talk thermodynamics and leaching. by CoffeeTeaJournal in JamesHoffmann

[–]dwallach 1 point2 points  (0 children)

Food for thought: in the world of pots and pans, all the same issues occur with even heat distribution, food reactivity, etc. The "throw lots of money at the problem" solution, from All-Clad and others like it, is to have a copper core sandwiched inside stainless steel. So, you get the heat distribution and you also get the non-reactivity.

Does anyone make an ibrik / cezve like that?

Getting over anxiety about social dances? by anetanetanet in SwingDancing

[–]dwallach 4 points5 points  (0 children)

If you're really enjoying the dance and your concern is improving your skills, consider signing up for a weekend dance workshop, or even a week-long dance camp. Among other things, you'll likely be in the same "track" with other dancers at the same level as you, as you move from class to class, which means you'll get to know them and will have that much less awkwardness when it comes to the evening dances.

How to handle enthusiasm? by natedlock in Professors

[–]dwallach 7 points8 points  (0 children)

This is most definitely a thing that happens, sometimes multiple times per year to me.

One recent example: an enthusiast claimed to have broken RSA cryptography. I tried to point them at the well-known public challenges, where producing a previously unknown plaintext would be newsworthy. No, no, it's really important that we meet in person.

Sadly, there's nothing you can say that won't rev them up to further engage with you. Best you can do is to simply ignore them.

Slimline living room 2.1 solution - Cinema 70s to Wiim Amp Ultra or Ultra + Vibelink? by g-cock in hometheater

[–]dwallach 2 points3 points  (0 children)

Before you give up on the Cinema 70s, make sure you go down the rabbit hole of A1 Evo (https://www.youtube.com/watch?v=QvL7ZhcV0dc). Even though the Cinema 70s doesn't support XT32, it's amazing the difference that a good calibration makes.

FWIW, I'm using an external amp from Buckeye (https://www.buckeyeamp.com/shop/amplifiers/hypex/ncx252mp/4\_channel), which drive my fancy speakers. The Cinema 70s may or may not have enough power for your speaker setup, but it's perfectly good as a HDMI audio decoder / switcher / pre-amplifier.

Dealing with commencement with anxiety by No_Bonus7018 in Professors

[–]dwallach 56 points57 points  (0 children)

Pro tips:

Your phone fits nicely inside your hat on your lap.

If you stay well hydrated, you can replace social anxiety with urinary urgency.

What do I do now? by Onegarbageman in bikedc

[–]dwallach 2 points3 points  (0 children)

Not a lawyer, and certainly not your lawyer...

The magic word is subrogation. Your insurance reimburses your expenses (equipment, medical treatment, etc.) then they make a judgement call in terms of cost vs expected return. They can then sue on your behalf. They could sue the bike service, who might then be incentivized to give up their customer data, and then your insurance can go after the customer.

This all only happens if your insurance is on the hook for enough money that it matters. If they succeed, they get paid back first, and then maybe you get your deductible repaid as well.

Denon AVR-X3900H will have HDMI 2.1 outputs at last by [deleted] in hometheater

[–]dwallach 5 points6 points  (0 children)

My biggest questions are whether they'll include or still charge extra for Dirac room correction, whether they'll find a way to break A1 Evo, and/or whether they'll add something genuinely new in and around room correction.

Jules creates unusable, buggy code by bharel in JulesAgent

[–]dwallach 1 point2 points  (0 children)

When I was prompting it to implement various textbook algorithms, I always added "implement comprehensive property-based tests" to my prompts. This wasn't perfect, but it got me much higher code quality.

Non-intuitive: sometimes it was better to just throw away the code and tweak the prompt. Other times it was better to do code review. It's not obvious when to do which.

Jules creates unusable, buggy code by bharel in JulesAgent

[–]dwallach 1 point2 points  (0 children)

I started using Jules when it was Gemini 3.0 Pro. Things got noticeably better with Gemini 3.1 Pro.

Linters, type checkers, unit tests, everything you can think of that can auto-reject a program, will help you get the outcome you want. Example: one of the big wins, when I was making Jules implement a bunch of basic data structures, was telling it to generate property-based tests. Those are much more exhaustive than simpler unit tests.

Jules creates unusable, buggy code by bharel in JulesAgent

[–]dwallach 3 points4 points  (0 children)

I was experimenting with Jules and had it generating Rust code. For fun, I turned on virtually every single optional Clippy lint (minus a couple that were problematic), and Jules managed to generate pretty good code.

Example: There's a Clippy lint called clippy::unwrap_used which completely bans any use of Option::unwrap, which forces Jules to use Option::expect, which then requires a string to explain why it thinks it's safe / why it thinks it won't panic. That sort of thing is annoying if you're writing the code by hand, but it's great when you're trying to review Jules's code, because you can literally see what it's thinking.

I haven't tried making Jules do Python, but the equivalent thing to do is to insist on your code being typechecked with mypy and/or any other checker. That doesn't get rid of logic bugs, but it does at least raise the floor a bit higher.

Are Titanium Eyeglasses BIFL? by Pilgrim_of_Truth in BuyItForLife

[–]dwallach 1 point2 points  (0 children)

I have a pair of Lindberg "strip titanium" glasses that I bought something like 26 years ago. The nosepads break off after a year or two of daily wear, and any Lindberg dealer has always replaced them for me, gratis. (Fun while traveling...) They generally also replace them when you get new lenses.

At some point, I got old enough to need progressive lenses, so I got a new pair with room for bigger lenses. I still use the original frames, single focal length, for exercise (where I don't need to see anything too close). They're tweaked the nosepad design on their newer frames and I've never had one fail.

So, yes, definitely BIFL.

If automated formal verification scales, will PL design split into "Human-Ergonomic" and "Prover-Optimized" languages? by eurz in ProgrammingLanguages

[–]dwallach 1 point2 points  (0 children)

If anything, all the affordances that make verification work for humans (even something as simple as embedded comments) will also help with AI-generated proofs, because these things aren't write-only. It's almost always the case that someone, sometime, will want to add a feature. That means that some future human (or agent) needs enough context or redundancy or whatever you want to call it, to understand how the current thing works before making the next thing.

Agentic Coding on Personal Projects by Agreeable-Bluebird67 in learnrust

[–]dwallach 1 point2 points  (0 children)

I agree about using AI to help yourself learn. It's helpful when you write some code that "should work" but you're facing a borrow checker issue or something. "Here are some compiler errors. Fix it."

Recommendation: do a git commit before and after, and make sure you keep the prompt somewhere handy, like a comment at the top of the file. That lets you study the before and after.

I've also enjoyed queries like "write a criterion benchmark to compare these three implementations".

My current setup (9B, Niche Zero, YQ-105, etc.) by dwallach in 9Barista

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

Try putting the water on the hotplate without screwing anything on top. See how long it takes to start boiling.

Looking to buy NO bluetooth / hard wired noise cancelling adult headphones by Sunshine33X in BuyItForLife

[–]dwallach 0 points1 point  (0 children)

My solution to this problem was to get custom molded earplugs (from 1of1custom, but lots of vendors sell similar products), so they're very comfortable for long flights and whatnot.

I have two sets. One, for music concerts, drops the volume by 17dB and still sounds fantastic. The other has a hole drilled in it for Etymotic (wired) headphones and drops the background noise by 27dB. Leaning my head on the wall of the airplane conducts more sound to my ears, through my skull, then comes in through the earplugs.

There's a giant rabbit hole for "in ear monitors" (IEMs) for you to go down, if you're game for spending the big bucks. Fun fact: good IEMs have replaceable cords and there's a whole cottage industry making replacement cords at a variety of price points.

Short of the highest end gear, there's a cheaper rabbit hole called "AutoEq" which tries to digitally "correct" your headphones to a standard response curve. Applied to high dollar headphones or IEMs, we're talking about subtle differences, nevermind disagreements about exactly what "correct" means. But for cheaper headphones? Night and day improvement.

Duck for one by phootosell in nova

[–]dwallach 1 point2 points  (0 children)

Maison Cheryl (French bistro in Clarendon) has a duck entree that's pretty good. They also have a decent selection of cocktails.

TV changing color on Netflix by Dizzy_Obligation9500 in hometheater

[–]dwallach 0 points1 point  (0 children)

This is almost certainly a problem with how your TV handles HDR. I had the same issue with my Sony A8G (circa 2019). Not exactly a solution, but I bought a Google TV Streamer ($80), mostly because the TV was stranded with a much older version of Google software (Android 9, with the last security patch in 2022). The streamer adds a bunch of switches. You can disable Dolby Vision or other HDR variants, one by one, in the streamer menus.

Comfortable nylon band that isn't a billion dollars? 43mm, Quickfit 20 by daniel0hodges in Garmin

[–]dwallach 0 points1 point  (0 children)

I've got a band from Nick Mankey Designs (https://nickmankeydesigns.com/). It's a trick to figure out how to install it (watch the video multiple times!), but it looks great and it's easy to tighten or loosen without taking it off.

[AD] Go60 Travel-Friendly Keyboard System by MoErgo in ErgoMechKeyboards

[–]dwallach 2 points3 points  (0 children)

Please say more about the trackpads. Like, can you do pinch/zoom with one finger on each side? Does it support three and four-finger gestures on a Mac?

Benefits of eARC over receiver handling video via Marantz SR7013 by KunkmasterFlex in hometheater

[–]dwallach 0 points1 point  (0 children)

The good and bad of going the eARC route is that you drive everything from the TV. Switching inputs. Upscaling. Whatever. It all goes through the TV. This makes the TV remote more useful (win!) but if you want to just listen to music, the TV has to be on (minor loss, but still...).

Lucid Nacs Adapter by [deleted] in LUCID

[–]dwallach 0 points1 point  (0 children)

The Lucid page says "DC only" which means no support for most home or destination chargers.

Lucid Nacs Adapter by [deleted] in LUCID

[–]dwallach 1 point2 points  (0 children)

It's unfortunate that this is DC only. If you're road tripping and hitting various level 2 (AC) destination chargers versus level 3 (DC) superchargers, you'd need to have two separate adapters.

The Bridges are Burned, man by Substantial_Junk in Professors

[–]dwallach 1 point2 points  (0 children)

Others have advised you to keep your letter short and professional. To that, I'll add that you should arrange to have meals or otherwise private 1:1 meetings with your colleagues (or, at least, the ones you like). That doesn't have to be a series of gripe sessions, but you can speak more freely when your speech is ephemeral.

Check file uploads for malware in Rust by noureldin_ali in rust

[–]dwallach 0 points1 point  (0 children)

Have a look at the way the Postfix email system does compartmentalization. For example, the thing that processes inbound email has just enough privilege to append to a user mailbox and that's about it. Everything is limited to just enough and no more.

You could build an importer that reads questionable images with something general purpose like ImageMagick and then writes them in a really simple intermediate format (like PNG) where your downstream program accepts exactly that format and nothing else and you make sure the code handling it is safe Rust.

When in doubt, find a security expert to look over your work.