like this
like this
Ben Weinstein-Raun likes this.
like this
The other downside:
the delimited continuations in OCaml must be used linearly – every captured continuation must be resumed either with a continue or discontinue exactly once. Attempting to use a continuation more than once raises a Continuation_already_resumed exception.
It is left to the user to ensure that the captured continuations are resumed at least once. Not resuming continuations will leak the memory allocated for the fibers as well as any resources that the suspended computation may hold.
whereas I think Koka ensures things don't leak and also lets you resume multiple times, so you can do things like this: github.com/koka-lang/koka/blob…
like this
Apparently I was wrong about the standard library not having a sort function - it's just undocumented AFAICT! github.com/TimWhiting/advent-2…
Oh, I see, it's in the community std library: github.com/koka-community/std/…
advent-2024/day1.kk at main · TimWhiting/advent-2024
Contribute to TimWhiting/advent-2024 development by creating an account on GitHub.GitHub
Ben Weinstein-Raun likes this.
:o
However, I should mention that I may be hallucinating these specific book titles and dates since I don't have access to a current book database.
- Claude Sonnet 3.6
like this
Ben Weinstein-Raun likes this.
I think web-of-trust is underused for spam and abuse prevention.
e.g. there could be a pretty simple "endorse" button for each account, which is basically saying "I vouch that this person is a real human and not a troll/spammer". Webs/chains of endorsement could be used to prove that someone ought to be able to interact with you. And for any given active interaction attempt ("react", "friend request", "tag"), there could be an opportunity to mark it as "spam", and accounts with lots of spam could become untrusted, and accounts that endorse lots of spam accounts could become untrusted as well.
In principle you could even implement this in an entirely decentralized way with some public-key crypto, though it might be too expensive in practice.
like this
:o vlang looks... very very cool to me. I am surprised that it's more than 5 years old, since it seems to offer many things that I've been wanting from a programming language and periodically searching for without luck:
- Sum types
- interfaces/traits/similar
- generics
- Reasonably fast at runtime (roughly on par with e.g. Go, from what I can tell)
- optional GC
- cares about development time (e.g. compilation times are fast)
- cares about various kinds of safety (not as much as Rust, more than Zig). I think there are some substantial tradeoffs here around what happens if you avoid using the GC, since I think there's no borrow checking; e.g. does the stdlib have types that grow and invalidate your references?
- extremely good cross-platform support (cross-compile GUI libraries for ~any platform including mobile, except that you can only build for macOS from macOS)
Basically it seems like they've added the ~3 features whose lack has made Go unpleasant for me when I've tried to use it.
Daniel Ziegler likes this.
I think one of the key helpful things about my OCaml experience was learning about how much typeclass stuff can or can't be replaced with other mechanisms (e.g. making it convenient to locally control namespaces so that you can easily specify "I want X from module Y" instead of having it be type-driven).
It both lets you notice when you shouldn't (or at least needn't) be using ad-hoc polymorphism but also when you really do need it (e.g. OCaml I think would struggle to properly replicate Traversable and some other higher-order-polymorphism things).
Ben Weinstein-Raun likes this.
@Daniel Filan apparently the "learning ancient Latin and Greek involves example texts about daily life heavily involving slaves" thing dates at least back to ancient Roman schools for learning Greek.
Daniel Filan likes this.
Ben Weinstein-Raun likes this.
like this
like this
don't like this
Jeez 😢.
A few days ago we found an open duffel bag with a bunch of clothes strewn around it in front of our door (also in Berkeley). My assumption is that it was stolen and everything valuable was removed before it was discarded. Sadly I couldn't find any info about the owner, so we couldn't even return the remaining clothes.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun doesn't like this.
Ahhh wow. That sucks. I'm sorry you have to buy all your clothing again, that sounds really annoying.
A few years ago I went to a clothing swap. Someone brought a unique red and black scarf from overseas. It was lightweight and really pretty. I gave it to my partner (at the time) as soon as I got it. They had it in their backpack, and they left that backpack in their car for a few minutes while grabbing food from Butcher's Son. That was enough time for it to get stolen. Memorably disappointing.
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun doesn't like this.
Does anyone know how to productively/supportively receive "venting"-shaped communication, when you don't want to reinforce or implicitly endorse the frame or set or assumptions that the venting is based in?
I feel like I have this dilemma a lot of the time: like, someone wants to share something that they're angry or upset or annoyed about, and clearly wants me to be entirely on their side about the thing, and I want to emotionally support them, understand where they're coming from, and help them process and/or strategize.
But honestly about 80% of the time, especially if it's someone who I'm not extremely close to, I find it really hard to straightforwardly do those things because I feel triggered about the context somehow, either because it seems like it's assuming things I don't believe, or because I feel attacked in some way, e.g. because I often have substantial sympathy toward the target of the anger or annoyance, as well as toward my friend.
I wish I knew what to do in these situations.
like this
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun likes this.
like this
like this
like this
Ben Weinstein-Raun likes this.
HomeAssistant. Wow. How had I not heard of this before this year?
It's allegedly an open source home automation system, but I keep running into ways that it's actually way better than that. You can connect it to just about anything: Sure, air conditioning and lighting and smart locks and all the other home automation stuff. But also fitbit, mattress coolers, various internet data sources; you can use it to set up a custom ChatGPT-powered Google Home replacement (finally!).
And it's all so polished! Like, yes you need to be a level-1 technical person to set it up, and to use the more advanced features, but the flows are so reasonable and reliable. I'm genuinely kinda shocked.
like this
Alex Altair likes this.
Misophonia has become a serious problem in my life. There's a person, who is totally great, and who is friends with all my friends and gets invited to everything I'm invited to, that I cannot be around for long periods because when they laugh my brain instantly jumps to an emotion not too far from blind rage.
I don't know what to do about this; it's very intense and basically preventing me from doing most social activities, even things in my own house.
kip likes this.
Ben Weinstein-Raun likes this.
Sorry to hear it, this sounds very inconvenient and also socially very difficult to approach
My misophonia feelings have varied over the years FWIW. Certain mouth sounds bothered me a few years ago, then they didn't stand out again til a few weeks ago. But my thing has always been much milder than the thing you're describing.
Have you tried loop earplugs? I think they say they can help with misophonia, and my friend with more widespread misophonia said they help a bit. Idk if they'd help with someone's laugh though.
Ben Weinstein-Raun likes this.
I spent the whole weekend building this... Err... "Portable" directional 2m #hamradio antenna with @Jen Blight, and it was pretty great.
(It's portable in the sense that it only weighs about 2lbs, and can be taken apart to fit in a backpack. I hope to make substantially more portable ones in the future).
The elements are made from 0.5" PEX irrigation tubing (think hula hoop material), wrapped in copper-coated fabric and copper tape, with a layer of clear "repair" tape to prevent tarnishing, while preserving the mad wizard staff vibes.
Each tube is connected to itself using Anderson powerpole connectors, so they can be easily unplugged, and twisted into a smaller footprint for travel.
The boom is a fiberglass driveway marker, and the mast is a telescoping fiberglass pole.
I don't yet know how well the antenna performs, and as you might be able to see from the VNA, it needs a little tuning. But my radio didn't emit any smoke when I transmitted using it! And the signal made it clearly to its intended target (who was about 30ft away).
like this
Update: I definitely see a fair chunk of gain! Not enough to communicate with Jen all the way in SF from my back yard, but my field strength meter shows ~40 units when my standard whip antenna only gets ~10. I'm not sure how to interpret this, but if it's roughly proportional to power, I think this implies roughly 6dBd / 8dBi? Also as far as I can tell the front/back ratio is excellent; saw barely any movement in the meter when placed behind the antenna.
I'm pleased with this as a first attempt!
Daniel Filan likes this.
I'm currently using my 64-core Linux desktop to run a genetic algorithm to optimize my design for an emergency #hamradio antenna. About an hour ago I submitted a patch to the (Haskell) codebase of the optimizer to allow it to support curved wires, which I needed because my design is made of four circular hoops. Despite being a fairly low activity project, the PR was merged within about 10 minutes, which felt awesome.
Am I cool yet? How many more layers of nerd do I have to add before I'm cool?
like this
Ben Weinstein-Raun likes this.
While researching, I've seen a few similar designs with several different names; "circular quad beam", "cylindrical quad", "E-Z-O" etc.
I'm very new at this so I don't have as much equipment as I'd like for testing this stuff. Just ordered a cheap field strength meter, so hopefully will be able to do better than the "can you hear me now?" test.
Seriously interesting project. I've used the optimiser in 4NEC2 but it only has preset things you can choose to optimise. Being able to use a Python script as an objective function would be so much nicer 🙂
Anyway looking forward to hearing about what you end up with ...
Ben Weinstein-Raun likes this.
Daniel Filan likes this.
Trying a couple different materials for my "emergency kit highly directional #hamradio antenna":
- Stainless steel spring-crafting wire (idea credit: @flammifer@superstimul.us) isn't the best choice of antenna material or diameter, but it is extremely portable: I'd add connectors so I could unplug the ends and twist the wire up, to have it fit in about one square foot.
- PEX tubing is much lighter than it looks, is much sturdier and harder to accidentally deform, and covering it in copper foil tape should produce an excellent antenna. But it would be much harder to fold a PEX antenna down into an emergency kit sized package.
I think I'm just going to make both and compare them.
like this
Jen Blight likes this.
Maybe you can start in Zone 1/2 and stop in Zone 5/6 or vice versa, but you cannot get off in Zones 3/4?
This made more sense when I thought that Zones 3/4 would be the central ones but obviously no, 1 is central and 6 is furthest out, so ???
Do you get some tax or some premium for living very-far-out from the centre as opposed to kinda far out?
like this
Oh my, that dwarf mood is the same thing that exists in the webfic Worth The Candle. A blind focus descends on someone randomly ('forge frenzy') and they create a unique magical item, to the exclusion of food and sleep. In WtC, such magical items are called entads, referring to magical artefacts that are created in this way.
So either Alexander Wales (author) played Dwarf Fortress, or it's a wider trope that both are drawing from.
OK I did a google and I found the author saying in an AMA that he wasn't inspired by Dwarf Fortress:
I have never played Dwarf Fortress, so no. The closest inspiration I can think of is one of the Drizzt books, where Wulfgar gets the mythical warhammer Aegis-fang made for him by his adoptive dwarf father Bruenor Battlehammer. It's been probably twenty years since I read the book, but the chapter where it got forged really stuck with me. Forge frenzy is kind of that, amped up, with worse materials.
Entad
An Entad is a magic item, created by means of a forge frenzy. Conceptually they tend to be most similar to magic items as seen in Dungeons and Dragons.Contributors to Worth the Candle Wiki (Fandom, Inc.)
Ben Weinstein-Raun likes this.
like this
I tend to have "strange moods" that last about 6-8 weeks at work, roughly every 1.5 years.
Over the last 7 years at my current job, only two of these have produced anything useful, but they've probably been about as valuable as everything else I've done combined. One weird pattern is that the valuable ones made the least sense up front – like "rewrite key data pipelines in a language none of us have heard of" or "move a bunch of stuff from one piece of infrastructure to a seemingly identical piece of infrastructure." The ones that seemed to make sense up front, on the other hand, never amounted to anything. It's gotten to the point where my cofounders actively encourage me to work on things that don't make sense!
Ben Weinstein-Raun likes this.
Another cool #hamradio fact is that, since right now we're near a maximum in the solar cycle, around dusk and dawn you can basically communicate directly with any place on the planet. To communicate with daytime places, you use the 10m band, and to communicate with nighttime places, you use the 40m band. The pink speech bubbles on this map show people who reported hearing my 10m signal in the last hour. If I switched to transmitting on 40m, you'd see a similar set of speech bubbles but going east instead of west.
When the solar cycle is in a trough, only the nighttime signals get through.
like this
reshared this
Ben Weinstein-Raun likes this.
A slightly horrifying / cool thing I learned from doing #hamradio and in particular the FT8 mode:
Every 15 seconds, thousands of computers let out a wavering, wailing tone into the void. Then there's 2 seconds of silence. And then they do it again. Since they're doing this by sort-of "pretending" to be sending audio signals, you can listen to it: soundcloud.com/vartchcodpiece/…
It sounds kinda like a mashup of whalesong and digital ghostly wailing. Wailsong, I guess.
What are they saying to each other, you ask? They're basically having the same conversation over and over again. I'll tell you how it goes:
"Hi, anybody there? I'm Alice and I live in Appalachia."
"Hi Alice, I'm Bob and I live in Bermuda."
"Hi Bob, I'm Alice and I hear you really clearly."
"Hi Alice, I'm Bob and I hear you not-so-clearly."
"Hi Bob, I'm Alice and goodbye!"
"Hi Alice, I'm Bob and goodbye!"
FT8 - 3.573 Khz - 80m
FT8 or Franke & Taylor 8 is a form of digital communication used primarily by amateur radio operators to communicate on amateur radio bands with a majority of traffic occurring on the HF amateur bandsSoundCloud
like this
like this
like this
Ben Millwood likes this.
like this
like this
like this
Some #hamradio updates:
- Because US amateur radio licenses are public and include addresses, you can see a map of everyone with a license. It's way denser than I would have expected in Berkeley:
And hey, there's @Daniel Filan with his fancy Extra-class license a bit further down on the map!
- Today I managed to hear my first trans-pacific signal, from Nauru (a tiny island country 5,000 miles from here). Apparently it's what's called a "DXpedition", where a group of radio amateurs go on holiday in order to help other amateurs check "rare" countries off their lists. Unfortunately from their website, it looks like they're transmitting with more than ten times as much power as I have (or at least they brought equipment for broadcasting at that power level), so this isn't much evidence about whether I'll be able to have a full conversation with them or not.
like this
like this
like this
Chana likes this.
I mean, sure, but my mind unfairly translates that section into "yeah, you're right, but I can't be bothered to actually change my mind just because of something like that. Don't @ me."
He points out that many popular views are self-defeating, and is like "well surely all these self-defeating views can't be wrong!" But, like, yes they can? And also this is an especially apt case, since the question is directly about what-to-believe! You're not even really going up a meta level.
Ben Millwood likes this.
Yeah I don't necessarily buy his counterargument either, just wanted to point out that it has been discussed :P
I guess in fact if you believe in epistemic modesty, deferring to the fact that most people don't believe in it doesn't actually fix your problem, because that tells you to not defer and follow your own beliefs, but then your own beliefs tell you to defer again. It's not just that it recommends that you don't use it, it's actively paradoxical.
I think you and I probably disagree about how much it matters to have an inconsistent / seemingly arbitrary "do epistemic modesty unless it's paradoxical, then don't" rule. I think I can make it sound more reasonable if it's something like "it's surprising if you alone are right while a large number of relevant experts are wrong, so usually reject this thesis, but in some cases this rejection is even more surprising / obviously incorrect, so in that case you have to stick with your beliefs".
Ben Weinstein-Raun likes this.
Daylio (popular mood tracking app; I've been trying it for about two weeks) is pretty nice. It feels wholesome to spend a couple minutes reflecting on my day in a kinda structured way, even though so far I haven't really gotten any insight out of it.
My guess is that it feels healthy for some reason like, if I'm spending a little metacognition on (nonjudgmentally) remembering my day, it feels clearer that I care about myself, and maybe that I'm not trying to erase parts of my experience.
I've been a little surprised to notice that most days have been "good" over those two weeks. No "rad" days yet, but also only two "meh" days, and no "bad" or "awful" days. I would have expected that my modal day was "meh". I might just have been lucky recently, though.
like this
David Mears likes this.
About two years ago I got a ham radio license. I haven't done anything with it so far, but I just ordered my first HF radio transceiver, and materials for a ~100ft temporary antenna in my back yard (I'm extremely lucky in that my new house has a 120ft tree in the back that I can lift a wire into).
We're approaching a peak in the solar cycle, which means that over the next year or so it will be unusually possible to communicate over extremely long distances. You can look at dxmaps.com/spots/mapg.php (especially the "10m" and "40m" tabs) to see real-time examples of the kind of distances I'm talking about: In the evenings, if my setup works well, I'm expecting I'll be able to have conversations with people in Japan, Australia, and New Zealand, without any intermediate infrastructure at all. This is such a wild thing to be able to do; I'm really excited.
like this
Ben Weinstein-Raun tagged Ben Weinstein-Raun's status with #hamradio
About two years ago I got a ham radio license. I haven't done anything with it so far, but I just ordered my first HF radio transceiver, and materials for a ~100ft temporary antenna in my back yard (I'm extremely lucky in that my new house has a 120ft tree in the back that I can lift a wire into).We're approaching a peak in the solar cycle, which means that over the next year or so it will be unusually possible to communicate over extremely long distances. You can look at dxmaps.com/spots/mapg.php (especially the "10m" and "40m" tabs) to see real-time examples of the kind of distances I'm talking about: In the evenings, if my setup works well, I'm expecting I'll be able to have conversations with people in Japan, Australia, and New Zealand, without any intermediate infrastructure at all. This is such a wild thing to be able to do; I'm really excited.
kip
in reply to Ben Weinstein-Raun • • •kip
in reply to kip • • •Amber Dawn
in reply to kip • • •I'm torn because a surprise $3000 is a lot to ask people, but also, equally, did *they* never get together and be like '...who is currently paying for our Internet?'
(I guess maybe everyone assumed that some other current housemate was paying. But don't people share expenses like this?)
Ben Weinstein-Raun likes this.
Ben Weinstein-Raun
in reply to Amber Dawn • •Gina Stuessy
in reply to Ben Weinstein-Raun • • •Ben Weinstein-Raun
in reply to Ben Weinstein-Raun • •Ben Millwood
in reply to Ben Weinstein-Raun • • •if $3000 is too much to ask them to pay you back, surely they should at least pay you the maximal amount that isn't too much :P
minimally you could be like "I don't think it's fair for me to charge you the full amount but if you could think about what seems affordable / reasonable to you and pay me that I would be grateful"
although tbh I think it kind of is fair to at least suggest they might pay the full amount, even if you don't want to insist on it
like this
Daniel Filan, Ben Weinstein-Raun and Daniel Ziegler like this.
Ben Millwood
in reply to Ben Weinstein-Raun • • •like this
Ben Weinstein-Raun and Amber Dawn like this.