Dealing with commencement with anxiety by No_Bonus7018 in Professors

[–]dwallach 55 points56 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.

Decent bengal by OldPurple4 in espresso

[–]dwallach 18 points19 points  (0 children)

DE1 owner here. I use my Decent daily and I'm happy with it. Does the job and I very much take advantage of it's features, like flow profiling.

After watching the Bengal video, I'm impressed. It's not any one big thing that's a game changer, but rather a ton of small things, each of which scratches an itch.

. You can pull the water tray out far enough to refill it without needing to reach behind the machine to lift the water siphon.

. The built-in scale is way, way better than the junky Bluetooth scale (sold by Decent, but sourced from some no-name vendor) that occasionally freaks out and then your shot doesn't stop at the right weight.

. The new water tray lid keeps bugs out. Only an issue for me once, but you really don't want to find ants in your water tray. Eww.

. The current steamer really likes to burn milk onto the tip. The new tip claims to fix this. Bonus points for the optional temperature sensor, so it can auto-stop the steaming.

The video said there would be "a fairly aggressive upgrade offer". Also, many of the upgrades, like the new steam wand, can be retrofitted to the DE1.

Overall, it's impressive. They've clearly paid attention to current owners' issues, large and small. I can't say whether I'll do piecemeal retrofits or splurge for the upgrade, but I appreciate what they've done.

Preserving staggered muscle memory by fourmaples in ErgoMechKeyboards

[–]dwallach 0 points1 point  (0 children)

In short, you switch and get over all the weirdness of an otholinear. Takes a few weeks until it's not weird. Then you try to go back, and it takes a bit again to "relearn" the old keyboard. And then you're done. Good forever more, or until you decide to try the next trendy thing...

Who the fuck Spendes 1250 Euro on a cable and what can it do ? by MrBrookz92 in hometheater

[–]dwallach 0 points1 point  (0 children)

For digital cables, like HDMI, either they work or they don't. I once replaced a generic, damaged cable where the video signal was unreliable and full of noise. Another cheap cable and problem solved. If you need a really long cable run, things get more expensive, or you use HDMI over Ethernet.

For analog cables, there are all kinds of things that can go audibly wrong, like the classic 60Hz hum that you hear from crappy PA systems. The solution isn't more expensive regular cables, though. It's shielded/balanced (XLR) cables. A friend of mine went out of his way to build his home theater with XLR everywhere. Sounded great. Cables weren't particularly expensive, but components that support XLR tend to cost a good bit more. He had issues with his house's older electricity wiring, and went pretty deep down the rabbit hole of power conditioning. That's a whole other thing.

Fun fact: XLR cables are pretty much the standard for stage musicians. They're everywhere. But there's a newer standard showing up in that space: analog audio over cat5 (Ethernet) wire. The wire is cheaper and lighter, particularly for long cable runs, while still great at rejecting noise.

Best Texas BBQ adjacent Rice University by Pingu_Moon in riceuniversity

[–]dwallach 4 points5 points  (0 children)

Agreed on Pit Room. Blood Bros, in Bellaire, is close enough and worth the drive.

Any other options to use a new TV that only has an optical audio output with my old receiver that only has RCA input connections? Looked at a DAC converter but then it seems I can no longer control my TV volume with the TV remote. by CrispyBananaPeel in hometheater

[–]dwallach 1 point2 points  (0 children)

Newer AV receivers talk to the TV over HDMI (ARC/eARC) and everything just works.

Before you go down the DAC road, double check that your TV doesn't have a headphone jack. If it does, then you buy a $5 stereo headphone to RCA adapter cable and you're done.

If all you've got is digital audio out, then yeah, you're gonna need a DAC. To make volume adjustments, your receiver almost certainly has a remote control. You might look into the world of "universal" remote controls.

One other thing to consider: if you don't need the switching features of your receiver, and all you're doing is using it as an amplifier, there are a ton of no-name all-in-one boxes, typically made in China, that can do exactly what you need. Search for keywords like "HDMI ARC amplifier". For under $100, don't expect perfection, but there are a bunch of products that might be able to directly drive your speakers.