Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)B

bss03

@ bss03 @infosec.pub

Posts
3
Comments
890
Joined
2 yr. ago

  • I'm struggling to think of any online services for which I'd be willing to verify my identity or age

    Jump

  • Fidelity, Banks, Coinbase (before I got out of cryptocurrency entirely).

    But, basically, only when government regulation does (or SHOULD) impose KYC requirements.

    Age and ID verification might be good in a very few cases, but it should definitely be a deviation from the norm.

  • What should be done and over with by now?

    Jump

  • I’m confused, why would “Accurate Noon” be important?

    Why is any particular time important? It serves me to be able to tell time without a clock and synchronize my internal clock with solar activity.

    And for countries that sit far enough from the equator, wouldn’t it be inaccurate regardless?

    No. Distance from the equator doesn't significantly affect when the sun it at it's peak. It does affect how high in the sky the peak is.

    Time adjustments (like "daylight saving") drags the Sun E/W (which is why we "need" timezones). Increasing latitude dags the Sun N/S.

  • What should be done and over with by now?

    Jump

  • I'd rather have accurate noon / celestial time for the few months it is still allowed and still have to switch twice a year than let the government make wrong-noon ("daylight saving") time permanent. So, many of the "end time switching" movements I actively resist rather than support.

    I imagine things like this aren't "done and over" because there is no majority opinion.

    RCV / a Condorcet Method might help.

  • bold words

    Jump

  • :.|:;

  • bold words

    Jump

  • bold words

    Jump

  • I wish I learned the lessons from that language 12 years earlier than I did. I still prefer to write personal code in that family of languages, and it made me a better coder even in Java, JavaScript, Python, even C.

    Also, that year is actually the first year it was available and my first year in college; it might have focused me enough to actually go to grad school and start a PL research career. I don't know if that would be better, but it would be different.

    The people calling out BTC is also a pretty good idea, but I made a little money on BTC, and I'm not sure too much more money would be a positive change in my life. It could be, but I think it might have made me more covetous and more isolated.

    But, I often choose to program instead of playing video games these days, so it's clearly something I enjoy, even if I don't currently monetize it.

    Thanks for asking.

  • bold words

    Jump

  • I can't figure out how to prevent 9/11 in 3 words. So, I'll just say "Programming Language: Haskell".

  • Decisions, decisions...

    Jump

  • Investment as a form of collaboration and results distribution is probably fine. Tho, I would not be opposed to limits on size/scale for companies, individual wealth, pay ratios, etc.

    Shorts, options, and other "exotic financial instruments" are worse than gambling because they compel corrupting (withering) behavior.

    I think an active, forceful SEC based by a similarly aggressive DOJ, both focused on benefit-to-working-class primarily and market-health (e.g. lack of rent seeking, monopolistic, or monosoponistic behavior) secondarily, would lead toward a better (for global society) market. I think that could be true even if we continued to allow fairly arbitrary contracts that are those "exotic financial instruments", options, and shorts.

  • Decisions, decisions...

    Jump

  • I agree that gene editing to reduce suffering is good. I'm not sure "designer babies" is a label that includes those gene edits. Or, if it does, it groups the with too many other gene edits so the good ones are no longer exemplary of the label.

  • Decisions, decisions...

    Jump

  • Decisions, decisions...

    Jump

  • I think the knock-on effect of making some innate, human characteristics undesirable is probably a net bad. That's very close to labeling persons with those characteristics as sub-human--specifically due fewer "human" rights.

    That said, if I were choosing between gametes or embryos and had genetic information on them available, I do not think it is a moral stance to ignore/discard that information when making the choice. We should be careful to understand our genetic knowledge is still quite limited and, even if our knowledge was perfect, (most) genotypes are not destiny.

  • Decisions, decisions...

    Jump

  • Capital-class behavior. Nearly as bad as rent-seeking.

  • Decisions, decisions...

    Jump

  • ESG in shambles.

  • The latest skincare fad is rubbing salmon sperm on your face

    Jump

  • Car Wash Test on 53 leading AI models: "I want to wash my car. The car wash is 50 meters away. Should I walk or drive?"

    Jump

  • Also, my preference shouldn't matter to anyone else. If you want to increase your proof assistant skill (even from nothing), I suggest lean. Probably the same if you want to increase programming skill in a dependently typed language.

    Honestly, I should get more comfortable with it.

  • Car Wash Test on 53 leading AI models: "I want to wash my car. The car wash is 50 meters away. Should I walk or drive?"

    Jump

  • Right now, I'm spending more time in Idris. It's not a great proof assistant, but I think it's a lot easier to write programs in. Rocq is the real proof assistant I've used, but I don't have a strong opinion on them because all the proofs I've wanted/needed to write where small enough to need minimal assistance. (The bare bones features that are in Agda or Idris were enough.)

  • Car Wash Test on 53 leading AI models: "I want to wash my car. The car wash is 50 meters away. Should I walk or drive?"

    Jump

  • Yes, I've written some Lean. It's not my favorite programming language or proof assistant, but it seems to have "captured the zeitgeist" and has an actively growing ecosystem.

  • Car Wash Test on 53 leading AI models: "I want to wash my car. The car wash is 50 meters away. Should I walk or drive?"

    Jump

  • Yeah, software is already not as deterministic as I'd like. I've encountered several bugs in my career where erroneous behavior would only show up if uninitialized memory happened to have "the wrong" values -- not zero values, and not the fences that the debugger might try to use. And, mocking or stubbing remote API calls is another way replicable behavior evades realization.

    Having "AI" make a control flow decision is just insane. Especially even the most sophisticated LLMs are just not fit to task.

    What we need is more proved-correct programs via some marriage of proof assistants and CompCert (or another verified compiler pipeline), not more vague specifications and ad-hoc implementations that happen to escape into production.

    But, I'm very biased (I'm sure "AI" has "stolen" my IP, and "AI" is coming for my (programming) job(s).), and quite unimpressed with the "AI" models I've interacted with especially in areas I'm an expert in, but also in areas where I'm not an expert for am very interested and capable of doing any sort of critical verification.

  • Just pure vibes

    Jump

  • What does “official budget” mean?

    A pre-plan for spending, generally involving an upper limit by category, including not only existing scheduled payments, but also ad-hoc spending.

    Like most plans, a budget can be as loose or a tight as you want, and you may or may not follow it, but just building it can result in a more successful approach.

    I think most people use a spreadsheet, so they can include some things that are auto-calculated, but that's not a essential property.

  • Programmer Humor @programming.dev
    bss03 @infosec.pub

    Dev creates astrology-powered CPU scheduler for Linux, makes decisions based on planetary positions and zodiac signs — sched_ext framework informed by lunar phases, cosmic weather reports, and dynamic

    www.tomshardware.com /software/linux/dev-creates-astrology-powered-cpu-scheduler-for-linux-makes-decisions-based-on-planetary-positions-and-zodiac-signs-sched-ext-framework-informed-by-lunar-phases-cosmic-weather-reports-and-dynamic-time-slicing
  • Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ @lemmy.dbzer0.com
    bss03 @infosec.pub

    Season Torrents

  • Comic Strips @lemmy.world
    bss03 @infosec.pub

    Social - Saturday Morning Breakfast Cereal

    www.smbc-comics.com /comic/social-2