so of course it's some cambridge asshat https://www.cl.cam.ac.uk/~mr10/backtrk.pdf
Backtracking Algorithms in MCPL
Using Bit Patterns and Recursion
the point is this is actually literally the message encryption problem
The solutions to the 8-queens problem are the valid board states at level 8. Ignoring symmetries, all these solutions are be distinct.
yeah, any transformation across ordered bit strings that maintains the bit length is a valid way to encrypt or decrypt a message. the state space can be finite and the problem still undecidable.
found this execrable little man https://en.wikipedia.org/wiki/Robert_W._Floyd
He was appointed an associate professor at Carnegie Mellon University by the time he was 27 and became a full professor at Stanford University six years later. He obtained this position without a Doctor of Philosophy (Ph.D.) degree.
oh so he's a fuckboy
Becoming a computer operator in the early 1960s, he began publishing many papers, including on compilers (particularly parsing).
oh so he's the reason parsing sucks. let's see his cute little grammar: https://en.wikipedia.org/wiki/Operator-precedence_grammar
Technically, an operator precedence grammar is a context-free grammar that has the property (among others)[1] that no production has either an empty right-hand side or two adjacent nonterminals in its right-hand side.
wow, my parsing method has none of these constraints. try harder?
then he claims to have invented the concept of semantics https://people.eecs.berkeley.edu/~necula/Papers/FloydMeaning.pdf
Then by induction on the number of commands executed, one sees that if a program is entered by a connection whose associated proposition is then true, it will be left (if at all) by a connection whose associated proposition will be true at that time.
oh, so you're saying the entire concept of a "type system" was created to obfuscate the intuitively obvious concept of path reachability in a directed graph?
A semantic definition of a programming language, in our approach, is founded on a syntactic definition.
no you fucking prick the syntax is the least important thing imaginable
We are at 9 days to the next #curl release and we have only *three* pending CVEs to announce (two low, one medium).
Three is like nothing!
(Mythos says it can't find any more. Zeropath finds no vulnerabilities. Codex security shows an empty list.)
@bagder @bert_hubert congrats! So now *all* security bugs are fixed, right? 😁 Is this how it works? 😇 just don’t ship any features afterwords and it‘s perfect! 😆
First ever QSO on my homebrew analog 20m SSB rig! Spoke with I0SNY near Perugia, Italy, 1133 miles from here on 4W! _Super_ pleased with this. It has taken 10 months of building and debugging and rebuilding and debugging to get to this point! Here is the rig spread out on my desk. 4W QRP PA on the left and 10 mW rig on the right.
#HamRadio #AmateurRadio
OMG this is so awesome. i have never had the time to build an SSB rig from scratch.. I need to get on this soonish..
but i do have a QMX+ sitting on my desk that i need to attend to.
@richpuchalsky Yes.
Other than spreadsheets, I've always found word niggly to use. But then I used to use WordPerfect.
For the majority of my stuff now I use markdown.
Although most folks are used to OFFICE. I kinda wish we could move off that stack. I'm hopeful for @CryptPad in that regard. Although getting folks used to alternatives takes empathy and training materials. Not just documentation.
Onboarding for businesses needs more than RTFM.
@richpuchalsky Plus yes, our Software is shit in a different way.
J’adore les trucs qui disent être « compatible Fediverse » mais qui en fait sont uniquement « compatible Mastodon »… 😑
(Les mêmes qui en plus bien souvent viennent râler que « oui mais Bluesky est pas décentralisé ». Au moins Bluesky utilise exclusivement ATProto hein… Et pas une API HTTP proprio par dessus…)
His Research on Pregnant Opioid Users Was Widely Celebrated. Auditors and Experts Found Major Flaws.
---
Dr. Craig Towers was hailed as a hero for his research on detoxing pregnant opioid users. After he published a study that found naltrexone could help patients stay off drugs, addiction specialists started asking if his work was too good to be true.
https://www.propublica.org/article/craig-towers-knoxville-tennessee-newborn-withdrawal-study?utm_source=mastodon&utm_medium=social&utm_campaign=mastodon-post
#News #Pregnancy #Women #Drugs #Health #Medicine #Research #Science
Neuromatch is hiring a remote, temporary, part-time Curriculum Specialist!
🤓 Help adapt our existing #NeuroAI course for a new audience, bringing important AI and neuroscience concepts to high school students!
➡️ Learn more and apply before 30 August: https://neuromatch.io/careers/
dch :flantifa: :flan_hacker:
boosted
“realistically no large company uses tiny open source hardware projects”
I have been involved in subcontracted hardware projects for multiple fortune 500 companies with >$250k project budgets that relied on open source hw with fewer than 20 stars on github, just because it’s not in-house doesn’t mean they don’t do it.
Florian 'floe' Echtler
boosted
A thing I feel a pending societal need for: standard, safely-used physical interfaces for home-scale battery storage.
If I have power but my neighbor doesn't, I should be able to unplug my own battery and wheel it across the street.
Being a full-stack and mobile app developer is like having 3 kids, you don't like to admit you have a favourite!
Then it changes, and keeps changing as time goes on.
ActivityPub and AtProto are like step-children, you love them, but you didn't make them.
But all 4 will constantly demand your attention, and ask for their friends viralPosts and mythosReports to sleep over and suddenly your priorities shift.
I love it though ❤️
@dansup which of your apps use atproto ?
Mre. Dartigen [renovator mode]
boosted
Narwhal news! 🚨
From Good News Network:
The narwhal's tusk was so extraordinary that medieval merchants sold it as a unicorn horn. It can grow more than six feet long, spiraling in a way that has puzzled scientists for centuries. It is, technically, a tooth — the left canine — and it has no enamel.
Researchers at Aarhus University used three of the world's most powerful synchrotrons, across Sweden, Switzerland, and France, to map the tusk's interior in three dimensions. What they found is that the outer layer spirals left and the inner layer spirals right, creating a "biological counterbalance" where the two structures meet. This double-spiral architecture allows the tusk to withstand enormous mechanical force without breaking.
The growth pattern is genetically programmed and stays constant across the narwhal's entire 80-year lifespan, preserved layer by layer like tree rings. The team is now investigating whether those rings can be used to read North Atlantic climate history. "The discovery not only solves a centuries-old natural science mystery," said lead author Dr. Adrian Rodriguez-Palomo, "it also provides new insight into how nature constructs advanced materials."
As for what the narwhal actually uses the tusk for, that part remains a mystery.
https://www.goodnewsnetwork.org/double-spiral-secret-of-narwhals-twisted-tusk-revealed-by-xray-tech/
J’adore les trucs qui disent être « compatible Fediverse » mais qui en fait sont uniquement « compatible Mastodon »… 😑
The basic problem is that open source also sucks, just in a different way.
The most usable open source things in an organizational context are things like LibreOffice or MySQL that mimic (bad) commercial software or standard setups. Otherwise the organization can't use them because too few people are already familiar with them.
@richpuchalsky Yes.
Other than spreadsheets, I've always found word niggly to use. But then I used to use WordPerfect.
For the majority of my stuff now I use markdown.
Although most folks are used to OFFICE. I kinda wish we could move off that stack. I'm hopeful for @CryptPad in that regard. Although getting folks used to alternatives takes empathy and training materials. Not just documentation.
Onboarding for businesses needs more than RTFM.
Plastic bottles can be turned into edible, vanilla-flavour cookies
"Those components are then fed to yeast that has been genetically altered using CRISPR gene-editing technology. This allows the yeast to convert the components into a variety of useful ingredients, including proteins, fats and acids, as well as vanilla flavouring and beta-carotene, which the body can convert into vitamin A.
Finally, fibre, starch and sweetener are added to the mix, and the paste is extruded through a 3D printer into any desired shape."
Regardless of any theoretical benefits of this process, I feel like anyone who thinks anyone will actually accept this has never been on the internet and never seen how people respond to any novel foodstuff that isn't made from plastic or by GM microbes. If people think plant-based burgers are a plot by Bill Gates to bring about the new world order or whatever I can't see this idea taking off.
@afewbugs If it's so safe, feed it to Drumph. If it's safe only in the lab, it'll never handle the millions of tons of plastic waste poisoning the land, sea and air. If it isn't economically scalable, i.e. cheaper than cheap, it'll remain a headline.
We need to ban all single use plastic production and make companies liable for current waste streams.
2 media files
@rafa 
soooo cool! Fantastic setup :D
One year of @joinloops:
- A fully federated TikTok alternative
- 100% open source stack
- Android + iOS apps
- Starter Kits shipped with @Mastodon for better account discovery
Next up: Bringing that same polish and stability to Pixelfed.
🔥 🚀
@pixelfed @joinloops @Mastodon And it still sucks. I have no idea how many times it just does not work.
this recipe calls for 1
@nessotropheion couldn't be simpler than that. just add 1.
Alex Chapman
boosted
Wait what?! The macOS version of Perspective Intelligence is in review first? What kind of world is this!
