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
888
Joined
2 yr. ago

  • 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.

  • Just pure vibes

    Jump

  • I'm 45 and I've spent more time on my diet (in the form of sodium and calorie budget(s)) than any sort of financial budget.

    That said, my vices are relatively inexpensive, my jobs have generally paid very well, and I do check my various accounts without being prompted.

    I think personal budgets (including my dieting) are best thought of as attempts to solve specific problems, not some sort of mandatory / expected behavior.

    If you are getting dinged with overdraft fees or CC interest etc., a budget might get you to a better place than you are on "just vibes".

  • Does anyone have a debunk for eucharistic miracles?

    Jump

  • I didn't see you link any of your sources, but I'll bite:

    https://pmc.ncbi.nlm.nih.gov/articles/PMC11882681/

    https://www.forensicscijournal.com/index.php/jfsr/article/view/jfsr-aid1068

    Also:

    For example, in 2006, the Roman Catholic Diocese of Dallas gave over a Eucharist host that turned red while in a glass for the analysis by two University of Dallas biology professors who concluded it was naturally explicable, as Bishop Charles Victor Grahmann wrote that "… the object is a combination of fungal mycelia and bacterial colonies that have been incubated within the aquatic environment of the glass during the four-week period in which it was stored in the open air.

    -- https://en.wikipedia.org/wiki/Eucharistic_miracle#Scientific_analysis_of_flesh_and_blood_miracles

    I got that off the first page of a DDG search (no AI) for: eucharistic miracles study nih

    Please do not reply. Or at least try to sound like less of a troll in any reply to me than in the rest of your posts in this thread.

  • 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