Readit News logoReadit News
philsnow commented on Nginx introduces native support for ACME protocol   blog.nginx.org/blog/nativ... · Posted by u/phickey
ugh123 · 13 days ago
How does something like this work for a fleet of edge services, load balancing in distinct areas, but all share a certificate. Does each nginx instance go through the same protocol/setup steps?
philsnow · 13 days ago
You'd get rate limited pretty hard by Let's Encrypt, but if you're rolling your own acme servers you could do it this way.

If you wanted to use LE though, you could use a more "traditional" cert renewal process somewhere out-of-band, and then provision the resulting keys/certs through whatever coordination thing you contrive (and HUP the nginxs)

philsnow commented on Representing Python notebooks as dataflow graphs   marimo.io/blog/dataflow... · Posted by u/akshayka
philsnow · 17 days ago
As an outsider to the whole notebook ecosystem, I am absolutely gobsmacked that the representation of the notebook makes it possible to have out-of-date intermediate results. Haven't they been around for like 10+ years?

This is one of those things that is blindingly obvious to people in adjacent sectors of the industry, but maybe there just hasn't been enough cross-pollination of ideas in that direction (or in either direction).

philsnow commented on Representing Python notebooks as dataflow graphs   marimo.io/blog/dataflow... · Posted by u/akshayka
getnormality · 17 days ago
> You have to be very disciplined to make a Jupyter notebook that is actually reproducible

This seems not necessarily very hard to me? All you have to do is keep yourself honest by actually trying to reproduce the results of the notebook when you're done:

1. Copy the notebook

2. Run from first cell in the copy

3. Check that the results are the same

4. If not the same, debug and repeat

What makes it hard is when the feedback loop is slow because the data is big. But not all data is big!

Another thing that might make it hard is if your execution is so chaotic that debugging is impossible because what you did and what you think you did bear no resemblance. But personally I wouldn't define rising above that state as incredible discipline. For people who suffer from that issue, I think the best help would be a command history similar to that provided by RStudio.

All that said, Marimo seems great and I agree notebooks are dangerous if their results are trusted equally as fully explicit processing pipelines.

philsnow · 17 days ago
> This seems not necessarily very hard to me? All you have to do is keep yourself honest by actually trying to reproduce the results of the notebook when you're done

It's one thing when I'm relying on my own attention to detail to make sure all the intermediate results have been correctly recalculated, but it's entirely another when I have to rely on even trusted co-workers' attention to detail, much less randos on github. As a sibling comment points out, the "reproducibility crisis" numbers are very much not in favor of this approach being the right idea.

... Or you could work in a format that makes incorrect / out-of-date intermediate state impossible (or at least hard) to represent, which is (I believe) what marimo is an attempt at.

philsnow commented on If you're remote, ramble   stephango.com/ramblings... · Posted by u/lawgimenez
majke · 23 days ago
This is a great comment. Thanks.

In my case - indeed the name is a historical baggage, I'm not arguing for or against it.

Indeed we had regularly situations that we had to pull in experts from other rooms, to discuss specific topics (like TCP), so we should have forwarded the conversation at the start.

But I don't think this should be categorical. There is value in non-experts responding faster (the channel had good reach) by your non-expert colleagues than waiting longer for the experts on the other continent to wake up.

Maybe there should be an option to... move conversation threads across channels?

I think there is place for both - unstructured conversations, and structured ones. What I don't like about managerial approach, is that many managers want to shape, constrain, control communication. This is not how I work. I value personal connections, I value personal expertise and curiosity. I dislike non-human touch.

"You should ask in the channel XYZ" is a dry and discouraging answer.

"Hey, Mat worked on it a while ago, let's summon him here, but he's in east coast so he's not at work yet, give him 2h" is a way better one.

I know that concentrating knowledge / ownership at a person is not always good, but perhaps a better way to manage this is to... hire someone else who is competent or make other people more vocal.

And yes, I don't like managers trying to shape communication patterns.

philsnow · 22 days ago
> Maybe there should be an option to... move conversation threads across channels?

I believe Zulip can do this, but Zulip is not really favored in these parts

philsnow commented on Neil Armstrong's customs form for moon rocks (2016)   magazine.uc.edu/editors_p... · Posted by u/ajuhasz
Gracana · a month ago
You can go look at one up close at the Udvar-Hazy Center in VA. I highly recommend a visit there if you are in the area and interested in aerospace stuff. They've got a ton of amazing exhibits.
philsnow · a month ago
The USS Hornet is the ship that picked them up, it's permanently docked in Alameda, CA and has been transformed into a museum. They have footprints painted on the floor to show the astronauts' path walking (across the deck) into the Airstream. You also get to walk on the (wooden) flight deck and see the jet elevator, etc.

https://www.wired.com/2009/07/hornet/

https://uss-hornet.org/

philsnow commented on SVGs that feel like GIFs   koaning.io/posts/svg-gifs... · Posted by u/cantdutchthis
viraptor · 2 months ago
People loved the games, but not the super custom flash based menu that requires a loading bar and works totally different and slightly janky on each website.
philsnow commented on Pluto is a unique dialect of Lua with a focus on general-purpose programming   github.com/PlutoLang/Plut... · Posted by u/90s_dev
aa-jv · 2 months ago
This is just poor language design.

The reason one might find this cumbersome or problematic, is in the case of very large numbers of lines of code - sure, your example is visible and somewhat readable (arguable) in its current form - but tell me you won't have issues when the loop is 80 or 100 lines of code, and you need to add another inner loop as part of the development process.

Are you now going to go through and be sure all your breaks are numbered properly? Are you really, though?

Better, imho, would have been to introduce labels and "break <label>", but even that is going to cause more headaches than its worth.

Ultimately, one shouldn't write such horrid code anyway.

philsnow · 2 months ago
Ah, well said on all points and i couldn't agree more.
philsnow commented on Why email startups fail   forwardemail.net/en/blog/... · Posted by u/skeptrune
philsnow · 2 months ago
> Gmail's threading: Enhanced email organization

Gmail's threading is an abomination.

"If you want to fork a thread, just change the subject!" This idea is so brain-dead and antithetical to deep mailing list conversations.

"Oops too many people replied, guess gmail'll fork the thread without changing the subject"

My disdain for this misfeature is palpable.

philsnow commented on Pluto is a unique dialect of Lua with a focus on general-purpose programming   github.com/PlutoLang/Plut... · Posted by u/90s_dev
tzury · 2 months ago
Well, this is a very poor design, one which makes me think what is the purpose of this project in the first place?

    for i = 1, 10 do -- Loop 1.
        for ii = 1, 5 do -- Loop 2.
            break 1 -- This will break from Loop 2.
            break 2 -- This will break from Loop 1.
        end
    end
https://pluto-lang.org/docs/New%20Features/Break%20Statement

philsnow · 2 months ago
What's poor about it, the numbers in the example? Think of them as inner/outer instead of "1" and "2". Without this kind of break statement, what do you do when you want to exit the outer loop, something like this probably:

  local stop = false
  for i = 1, 10 do         -- outer loop
    if stop then break end
    for j = 1, 5 do        -- inner loop
      break                -- to break from inner loop
      stop = true; break   -- to break from outer loop
    end
  end
So this new feature fits with the general theme of pluto being a very-sugared lua.

philsnow commented on Alternative Layout System   alternativelayoutsystem.c... · Posted by u/smartmic
philsnow · 2 months ago
"Last is first" very much reminds me of the custos/custodes seen often in Gregorian chant notation, which come at the end of a line and are a hint of the first note in the next line (so while your eye is finding the start of the next line, you already know the pitch, even though it typically does not include the syllable).

See e.g. https://lilypond.org/doc/v2.18/Documentation/notation/ancien...

u/philsnow

KarmaCake day4982February 8, 2012
About
the nyan must flow

https://simplex.chat/contact#/?v=2-7&smp=smp%3A%2F%2FZKe4uxF4Z_aLJJOEsC-Y6hSkXgQS5-oc442JQGkyP8M%3D%40smp17.simplex.im%2FIFxFRhOA9mUthOTlY8Tkzo-tUH6WVDH_%23%2F%3Fv%3D1-3%26dh%3DMCowBQYDK2VuAyEAjAURd0F07wL6suGiMifjHMR_5W4zJbkj1zx_nfE6okg%253D%26srv%3Dogtwfxyi3h2h5weftjjpjmxclhb5ugufa5rcyrmg7j4xlch7qsr5nuqd.onion

aspe:keyoxide.org:O2QNTSGFNJYSKOP2E3H3JW3G3Y

View Original