Tootfinder

Here are the best three #photos of my #wildlife encounter last year.
These Chamois were resting alsmost on the trail so that I literally ran into them as I was looking for them FAR higher up the mountain. I'd just be a very bad hunter 😀 Good that I wasn't looking for bears!
Anywa…

Hello there Framed Print by Franz Graf
Purchase a framed print of the photograph "Hello there" by Franz Graf. Choose from multiple print sizes and hundreds of frame and mat options. All framed prints are professionally printed, framed, assembled, and shipped within 3 - 4 business days and delivered ready-to-hang on your wall.

#TodayILearned that the scam known as “trickle-down economics” was formerly known as the “horse-and-sparrow theory”:
“If you feed enough oats to the horse, some will pass through to feed the sparrows.” (quote attributed to John Kenneth Galbraith)
In other words, “let the poors eat shit”.

Legendary pilot, educator and adventurer
Dick Rutan died Friday.
He was 85.
Rutan, best known for the record-setting non-stop unrefueled circumnavigation he and Jeana Yeager accomplished in 1986,
was surrounded by family when he died in Kootenai Hospital in Coeur d’ Alene, Idaho in the early evening from complications resulting from a year-long bout with Long COVID according to family friends

Dick Rutan Dies At 85 - AVweb
Legendary pilot, educator and adventurer Dick Rutan died Friday according to a press release issued on behalf of the family. (full text follows). He was 85. Rutan, best known for the record-setting non-stop unrefueled circumnavigation he and Jeana Yeager accomplished in 1986, was surrounded by family when he died in Kootenai Hospital in Coeur d’ […]

Rust Won't Save Us: An Analysis of 2023's Known Exploited Vulnerabilities – Horizon3.ai https://www.horizon3.ai/analysis-of-2023s-known-exploited-vulnerabilities/

> [Gates] McFadden, is an actress best known for her role as Dr. Beverly Crusher on Star Trek: The Next Generation and its spin-offs.
>
> Earlier in her career, she worked with Jim Henson as a choreographer and actor on several projects. [...]
>
> As an actor, she first appeared in The Muppets Take Manhattan, playing the secretary for Martin Price.

Encounter circumstances of asteroid 99942 Apophis with the catalogue of known asteroids: #Apophis collides with another asteroid, redirects to Earth: https://news.westernu.ca/2024/03/apophis-miss/ - Western astronomer calculates paths of all known asteroids to rule out planetary impact.

I'm extremely proud of all our students, but this is especially impressive! When Njumbe graduates from iunorthwest next Wednesday he will be the "youngest-known college graduate in the Hoosier state."
"Njumbe plans to attend medical school and become an orthopedic surgeon one day, but he has to wait until he's 18 to enroll. In the meantime, he's going to pursue a master's degree, he said." 🤯

Gary 15-year-old Khaya Njumbe set to become youngest-known college graduate in Indiana
At a young age, Khaya Njumbe taught himself how to speak Chinese and play the piano. Now at age 15, he can be found walking the campus of Indiana University Northwest in Gary.

I had never heard of this. Fascinating. “Vickrey Auction: Also known as a second-price sealed-bid auction, this format is similar to a sealed-bid auction, but the winner pays the second-highest bid rather than their own bid. This encourages bidders to bid their true valuation, as they won’t pay more than what they believe the item is worth.”

Razor and Perch merge and raise $100M at a $1.7B valuation, amid more consolidation in the e-commerce aggregation space, known for buying up Amazon retailers (Ingrid Lunden/TechCrunch)
https://techcrunch.com/2024/03/04/razo

Razor and Perch merge, raise $100M on a $1.7B valuation as more roll-ups consolidate | TechCrunch
Just days after the bankruptcy of Thrasio, two other significant players in the world of e-commerce aggregators are merging and raising some extra money

US Under Secretary Victoria Nuland to step down: https://benborges.xyz/2024/03/06/us-under-secretary.html

“The humanized monoclonal antibody known as hu1F5, which specifically binds to the fusion (F) glycoprotein of both Nipah virus and Hendra virus and prevents virus infection of cells (neutralizes) has now proven effective in protecting against the often fatal Nipah virus in animal studies”

A monoclonal antibody targeting the fusion glycoprotein spike protects against deadly Nipah virus
The humanized monoclonal antibody known as hu1F5, which specifically binds to the fusion (F) glycoprotein of both Nipah virus and Hendra virus and prevents viru

Permissible Knowledge Pooling
Huimin Dong
https://arxiv.org/abs/2404.03418 https://arxiv.org/pdf/2404.03418

Permissible Knowledge Pooling
Information pooling has been extensively formalised across various logical frameworks in distributed systems, characterized by diverse information-sharing patterns. These approaches generally adopt an intersection perspective, aggregating all possible information, regardless of whether it is known or unknown to the agents. In contrast, this work adopts a unique stance, emphasising that sharing knowledge means distributing what is known, rather than what remains uncertain. This paper introduces …

This https://arxiv.org/abs/2401.14582 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_eco…

High-dimensional forecasting with known knowns and known unknowns
Forecasts play a central role in decision making under uncertainty. After a brief review of the general issues, this paper considers ways of using high-dimensional data in forecasting. We consider selecting variables from a known active set, known knowns, using Lasso and OCMT, and approximating unobserved latent factors, known unknowns, by various means. This combines both sparse and dense approaches. We demonstrate the various issues involved in variable selection in a high-dimensional setting…

I’m embarrassed to say I did something very similar with my wonderful friend @…. He offered to pay for me to come see him when he was visiting Seattle.
My shame made me turn him down. I’m so sorry, Monte. 😢

OK, who forgot to tell the weather that it's a Bank Holiday weekend and that by all the known laws of gods and men it's supposed to be wet & miserable.
In fact it's been beautifully sunny and warm and we've spent the day being decadently lazy. We met up with some friends for coffee and lunch at Cedar Farm near Ormskirk - a place full of beautiful (and expensive!) art, jewellery, ceramics and the like.
Then popped over to Formby to try to spot red squirrels but they must have all been in their nests raising babies.
And we've spent the evening sitting in the garden keeping the cat company.
All in all a very twee and middle class Bank Holiday Sunday, but oh so relaxing.

A US judge upheld parts of a National Music Publishers' Association's copyright lawsuit against X and dismissed the claim that X engaged in direct infringement (Emma Roth/The Verge)
https://www.theverge.com/2024/3/5/24091667/twitte…

Twitter’s music label legal trouble might have legs
Twitter, now known as X, will still have to face parts of a lawsuit filed by major music publishers alleging the platform “breeds massive copyright infringement.”

I dunno, Marty, wadda you wanna do?
#DeepThoughtsOfSpringBirds #HashTagGames

Well here’s another potential disaster to worry about and what as a society we’re doing nothing about, while the MAGAnuts block any forward progress.
Just north of the San Andreas, however, lies another fault line. Known as the Cascadia subduction zone, it runs for seven hundred miles off the coast of the Pacific Northwest, beginning near Cape Mendocino, California, continuing along Oregon and Washington, and terminating around Vancouver Island, Canada.

Remove that Square Root: A New Efficient Scale-Invariant Version of AdaGrad
Sayantan Choudhury, Nazarii Tupitsa, Nicolas Loizou, Samuel Horvath, Martin Takac, Eduard Gorbunov
https://arxiv.org/abs/2403.02648

Remove that Square Root: A New Efficient Scale-Invariant Version of AdaGrad
Adaptive methods are extremely popular in machine learning as they make learning rate tuning less expensive. This paper introduces a novel optimization algorithm named KATE, which presents a scale-invariant adaptation of the well-known AdaGrad algorithm. We prove the scale-invariance of KATE for the case of Generalized Linear Models. Moreover, for general smooth non-convex problems, we establish a convergence rate of $O \left(\frac{\log T}{\sqrt{T}} \right)$ for KATE, matching the best-known on…

ICE’s Use of Solitary Confinement “Only Increasing” Under Biden https://theintercept.com/2024/02/06/ice-solitary-confinement-detention-immigration/

"Soylent Green," or as it was known in Germany, "People Are the Wurst"

Bernard Hill, Lord of the Rings' Théoden King, Has Died
https://gizmodo.com/rip-bernard-hill-lord-of-the-rings-theoden-rohan-1851456991

Bernard Hill, Lord of the Rings' Théoden King, Has Died
The beloved British actor, also known for his appearance in Titanic, was 79.

Say all you want about #BlackRock but I love their website and ETF data, especially the "business involvement" and carbon intensity metrics (usually much harder to find elsewhere). When the manager of your investment fund straight up admits it contributes to 7 different well-known ways of destroying humanity, you can't say you weren't warned.
Carbon intensity data needs to be …

"Unfortunately, in an analysis I conducted of popular open source software made available by the Pentagon for its units and contractors to use, **there is strong evidence that the U.S. military is shipping software that is insecure and contains many known software vulnerabilities**." Writes John Speed Meyers, the head of Chainguard Labs

How to fix the military’s software SNAFU
Too many of its apps are built on code riddled with vulnerabilities—and distributed by the Pentagon itself.

Might be shopping for a new T shirt....
#ontpoli
https://www.blogto.com/fashion_style/2024/03/grand-theft-ontario-doug-ford/

People are loving this Doug Ford-themed 'Grand Theft Ontario' parody merch
A Toronto artist known for his creative digs at major Canadian companies and corporations, including Loblaws, Metrolinx, and Rogers, has unveiled y...

Should std::format on Line 3 here work just like it does on Line 1 if the tuple type does not have a formatter? 🤔
From the peanut gallery, it looks like it should/could because the number and type of tuple elements are both known at compile time.
That said, I'm sure there's a reason for the current behavior, and I'm just ignorant. 😳

Compiler Explorer - C++
int main() { auto r1 = std

Lesser Known #PostgreSQL Features
https://hakibenita.com/postgresql-unknown-features

If you have a subscription to the #CriterionChannel, they’re playing “Life Is Sweet” (1990), directed by #MikeLeigh with a cast of many (now) very well-known British actors. Totally unique and worth your attention.

🎥 MSCHF’s new project turns your code terminal into a ASCII movie streaming app
https://www.polygon.com/24055971/mschf-ascii-theater-barbie-command-prompt-terminal

MSCHF’s new project turns your code terminal into a streaming app
MSCHF is known for attention-grabbing stunts, and ASCII Theater might get the attention of copyright holders of big films, such as Barbie.

Characterization of the Early Dynamics of Solar Coronal Bright Fronts
Mohamed Nedal, Kamen Kozarev, Rositsa Miteva, Oleg Stepanyuk, Momchil Dechev
https://arxiv.org/abs/2404.03396

Characterization of the Early Dynamics of Solar Coronal Bright Fronts
We present a comprehensive characterization of 26 CME-driven compressive waves known as Coronal Bright Fronts (CBFs) observed in the low solar corona between 2010 and 2017. These CBFs have been found to be associated with SEP events near Earth, indicating their importance in understanding space weather phenomena. The aim of this study is to analyze and describe the early dynamics of CBFs using a physics-based heliospheric SEP forecasting system known as the SPREAdFAST framework. This framework …

I had never heard of this. Fascinating. “Vickrey Auction: Also known as a second-price sealed-bid auction, this format is similar to a sealed-bid auction, but the winner pays the second-highest bid rather than their own bid. This encourages bidders to bid their true valuation, as they won’t pay more than what they believe the item is worth.”

This https://arxiv.org/abs/2311.02771 has been replaced.
link: https://scholar.google.com/scholar?q=a

Optimal Two-Dimensional Reed--Solomon Codes Correcting Insertions and Deletions
Constructing Reed--Solomon (RS) codes that can correct insertions and deletions (insdel errors) has been considered in numerous recent works. For the special case of two-dimensional RS-codes, it is known [CST23] that an $[n,2]_q$ RS-code that can correct from $n-3$ insdel errors satisfies that $q=Ω(n^3)$. On the other hand, there are several known constructions of $[n,2]_q$ RS-codes that can correct from $n-3$ insdel errors, where the smallest field size is $q=O(n^4)$. In this short paper, we …

No. There’s no “turns out” in this. There are just people who are ignorant of history and the provenance of musical instruments. We’ve long known from whence the banjo came.
From: @…
https://pr…

NPR :press: (@NPR@press.coop)
Attached: 1 image The banjo is a star of Beyoncé's new album. Turns out it has African roots In "Texas Hold 'Em," the singer is accompanied by a banjo. It's often thought of as a quintessential Americana instrument. But the history of the banjo tells a different story. #press https://www.npr.org/sections/goatsandsoda/2024/04/05/1242304226/beyonce-texas-hold-em-banjo-carter-country?utm_medium=JSONFeed&utm_campaign=news&utm_source=press.coop

Accounting for the Effects of Probabilistic Uncertainty During Fast Charging of Lithium-ion Batteries
Minsu Kim, Joachim Schaeffer, Marc D. Berliner, Berta Pedret Sagnier, Rolf Findeisen, Richard D. Braatz
https://arxiv.org/abs/2405.01681

Accounting for the Effects of Probabilistic Uncertainty During Fast Charging of Lithium-ion Batteries
Batteries are nonlinear dynamical systems that can be modeled by Porous Electrode Theory models. The aim of optimal fast charging is to reduce the charging time while keeping battery degradation low. Most past studies assume that model parameters and ambient temperature are a fixed known value and that all PET model parameters are perfectly known. In real battery operation, however, the ambient temperature and the model parameters are uncertain. To ensure that operational constraints are satisf…

A US judge upheld parts of a National Music Publishers' Association's copyright lawsuit against X and dismissed the claim that X engaged in direct infringement (Emma Roth/The Verge)
https://www.theverge.com/2024/3/5/24091667/twitte…

Twitter’s music label legal trouble might have legs
Twitter, now known as X, will still have to face parts of a lawsuit filed by major music publishers alleging the platform “breeds massive copyright infringement.”

On the origin of circular rolls in rotor-stator flow
Artur Gesla, Yohann Duguet, Patrick Le Qu\'er\'e, Laurent Martin Witkowski
https://arxiv.org/abs/2405.02160

On the origin of circular rolls in rotor-stator flow
Rotor-stator flows are known to exhibit instabilities in the form of circular and spiral rolls. While the spirals are known to emanate from a supercritical Hopf bifurcation, the origin of the circular rolls is still unclear. In the present work we suggest a quantitative scenario for the circular rolls as a response of the system to external forcing. We consider two types of axisymmetric forcing: bulk forcing (based on the resolvent analysis) and boundary forcing using direct numerical simulatio…

terrorists_911: 9-11 terrorist network
Network of individuals and their known social associations, centered around the hijackers that carried out the September 11th, 2001 terrorist attacks. Associations extracted after-the-fact from public data. Metadata labels say which plane a person was on, if any, on 9/11.
This network has 62 nodes and 152 edges.
Tags: Social, Offline, Unweighted, Metadata

Tl;dr nope: Can the fish in the ocean handle marine heatwaves?
https://thebarentsobserver.com/en/node/12843

Can the fish in the ocean handle marine heatwaves?
Long periods of unusually warm ocean temperatures, known as marine heatwaves, can have devastating effects on marine ecosystems and have been linked to widespread coral bleaching, harmful algal blooms and abrupt declines in commercially important fish species. How worried should we be?

https://blog.commune.sh/federated-webrings/
In the glory days of web 1.0, social websites would prominently link out to their digital neighbors via lists known as webrings; magical doorways to an expansive hinterland of digital villages.
Let's envision what a trul…

Federated Webrings
In the glory days of web 1.0, social websites would prominently link out to their digital neighbors via lists known as webrings; magical doorways to an expansive hinterland of digital villages.

Sad news.
https://www.cbc.ca/news/entertainment/joe-flaherty-obit-1.7161032

War is failure.
Moral failure, diplomatic failure, democratic failure, systems failure.
War is what failure looks like. https://mastodonapp.uk/@georgepotter/112208562115386469

Deep Optical Emission-Line Images of Nine Known and Three New Galactic Supernova Remnants
Robert A. Fesen, Marcel Drechsler, Xavier Strottner, Bray Falls, Yann Sainty, Nicolas Martino, Richard Galli, Mathew Ludgate, Markus Blauensteiner, Wolfgang Reich, Sean Walker, Dennis di Cicco, David Mittelman, Curtis Morgan, Aziz Ettahar Kaeouach, Justin Rupert, Zouhair Benkhaldoun

Deep Optical Emission-Line Images of Nine Known and Three New Galactic Supernova Remnants
Deep optical emission-line images are presented for nine known plus three new Galactic supernova remnants (SNRs), all but one having at least one angular dimension greater than one degree. Wide-field images taken in H$α$ and [O III] $λ$5007 reveal many new and surprising remnant structures including large remnant shock extensions and `blowout' features not seen in published optical or radio data. These images represent over 12,000 individual images totaling more than 1000 hours of exposure ti…

This https://arxiv.org/abs/2403.16584 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Can Large Language Models (or Humans) Disentangle Text?
We investigate the potential of large language models (LLMs) to disentangle text variables--to remove the textual traces of an undesired forbidden variable in a task sometimes known as text distillation and closely related to the fairness in AI and causal inference literature. We employ a range of various LLM approaches in an attempt to disentangle text by identifying and removing information about a target variable while preserving other relevant signals. We show that in the strong test of rem…

"Lavender learns to identify characteristics of known Hamas and PIJ operatives, whose information was fed to the machine as training data, and then to locate these same characteristics — also called “features” — among the general population, the sources explained. An individual found to have several different incriminating features will reach a high rating, and thus automatically becomes a potential target for assassination." This is how university professors, journalists, doctors, and aid workers become targets: their devices ping too many other devices.

There are 14 people on the W3C's Social Web Incubator Community Group today. The group is finalizing new documents that describe how to use WebFinger and HTTP Signatures in the #Fediverse, and a bunch of other work going on as well.
So glad to see what there is ongoing work making the technical plumbing that makes the Fediverse work even better!
If you care, you can participate, it…

Social Web Incubator Community Group
The Social Web Incubator Community Group (also known as SocialCG, or SWICG) is the successor of the Social Web Working Group, which ran from 2014 to 2017. The SocialCG provides space to collaborate and coordinate for implementors who are building on any of the specifications published by the Social Web WG, and related technologies. It is also a place to incubate new proposals which build on or complement the Social Web WG recommendations…

This https://arxiv.org/abs/2205.02160 has been replaced.
link: https://scholar.google.com/scholar?q=a

Making SGD Parameter-Free
We develop an algorithm for parameter-free stochastic convex optimization (SCO) whose rate of convergence is only a double-logarithmic factor larger than the optimal rate for the corresponding known-parameter setting. In contrast, the best previously known rates for parameter-free SCO are based on online parameter-free regret bounds, which contain unavoidable excess logarithmic terms compared to their known-parameter counterparts. Our algorithm is conceptually simple, has high-probability guara…

Law enforcement agencies and prosecutors from Colorado to New York have turned to a little-known #artificial #intelligence tool in recent years to help investigate, charge and convict suspects accused of murder and other serious crimes.
But as the software, called

An AI tool used in thousands of criminal cases is facing legal challenges
Law enforcement agencies and prosecutors from Colorado to New York have turned to a little-known artificial intelligence tool in recent years to help investigate, charge and convict suspects accused of murder and other serious crimes.

A US judge upheld parts of a National Music Publishers' Association's copyright lawsuit against X and dismissed the claim that X engaged in direct infringement (Emma Roth/The Verge)
https://www.theverge.com/2024/3/5/24091667/twitte…

Twitter’s music label legal trouble might have legs
Twitter, now known as X, will still have to face parts of a lawsuit filed by major music publishers alleging the platform “breeds massive copyright infringement.”

Napoleonic triangles on the sphere
Serena Dipierro, Lyle Noakes, Enrico Valdinoci
https://arxiv.org/abs/2403.02830 https://arxiv.org/…

Napoleonic triangles on the sphere
As is well-known, numerical experiments show that Napoleon's Theorem for planar triangles does not extend to a similar statement for triangles on the unit sphere $S^2$. Spherical triangles for which an extension of Napoleon's Theorem holds are called ``Napoleonic'', and until now the only known examples have been equilateral. In this paper we determine all Napoleonic spherical triangles, including a class corresponding to points on a 2-dimensional ellipsoid, whose Napoleonisations are all congr…

This https://arxiv.org/abs/2401.17006 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Classical certification of quantum gates under the dimension assumption
We develop an efficient method for certifying single-qubit quantum gates in a black-box scenario, assuming only the dimension of the quantum system is known. The method is based on testing the outcomes of exact quantum computations on a single qubit, with no auxiliary systems required. We prove that the method's sample complexity grows as $\mathrm{O}(\varepsilon^{-1})$ with respect to the average gate infidelity $\varepsilon$ for the certification of a relevant single-qubit gate, which experime…

Generic models for genus 2 curves with real multiplication
Alex Cowan, Sam Frengley, Kimball Martin
https://arxiv.org/abs/2403.03191 https://

Generic models for genus 2 curves with real multiplication
Explicit models of families of genus 2 curves with multiplication by $\sqrt D$ are known for $D= 2, 3, 5$. We obtain generic models for genus 2 curves over $\mathbb Q$ with real multiplication in 12 new cases, including all fundamental discriminants $D < 40$. A key step in our proof is to develop an algorithm for minimisation of conic bundles fibred over $\mathbb{P}^2$. We apply this algorithm to simplify the equations for the Mestre conic associated to the generic point on the Hilbert modular …

So the staff at #DartmouthCollege is apparently not allowed to tell individual students that they support the strike 🤔
Also, just in passing - I support the strike and all its demands, actually I think the demands are really not going far enough, did you known the PhD students are not even paid for the teaching they do??

This https://arxiv.org/abs/2308.13234 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

Decoding Natural Images from EEG for Object Recognition
Electroencephalography (EEG) signals, known for convenient non-invasive acquisition but low signal-to-noise ratio, have recently gained substantial attention due to the potential to decode natural images. This paper presents a self-supervised framework to demonstrate the feasibility of learning image representations from EEG signals, particularly for object recognition. The framework utilizes image and EEG encoders to extract features from paired image stimuli and EEG responses. Contrastive lea…

Spectral extremal graphs for fan graphs
Loujun Yu, Yongtao Li, Yuejian Peng
https://arxiv.org/abs/2404.03423 https://arxiv.org/pdf/24…

Spectral extremal graphs for fan graphs
A well-known result of Nosal states that a graph $G$ with $m$ edges and $λ(G) > \sqrt{m}$ contains a triangle. Nikiforov [Combin. Probab. Comput. 11 (2002)] extended this result to cliques by showing that if $λ(G) > \sqrt{2m(1-1/r)}$, then $G$ contains a copy of $K_{r+1}$. Let $C_k^+$ be the graph obtained from a cycle $C_k$ by adding an edge to two vertices with distance two, and let $F_k$ be the friendship graph consisting of $k$ triangles that share a common vertex. Recently, Zhai, Lin and…

NFL Exec Thinks Cowboys Could Trade For Tee Higgins https://www.yardbarker.com/nfl/articles/nfl_exec_thinks_cowboys_could_trade_for_tee_higgins/s1_17150_40199798

NFL Exec Thinks Cowboys Could Trade For Tee Higgins
The Dallas Cowboys are in need of some wide receiver depth behind CeeDee Lamb, but due to financial constraints, they weren’t able to add any pieces in free agency. Could they try and swing a trade with the Cincinnati Bengals for Tee Higgins? A former NFL executive tells the NFL Analysis Network that he thinks the Cowboys will jump in the fray if the Bengals place Higgins on the trade block. “There are a lot of teams with known interest in Higgins,” the former exec said. “However, I do …

This https://arxiv.org/abs/2404.06484 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Public-private funding models in open source software development: A case study on scikit-learn
Governments are increasingly funding open source software (OSS) development to support software security, digital sovereignty, and national competitiveness in science and innovation, amongst others. However, little is known about how OSS developers evaluate the relative benefits and drawbacks of emergent governmental funding for OSS. This paper explores this question through a case study on scikit-learn, a popular Python library for machine learning, which has been funded by public research gra…

This https://arxiv.org/abs/2311.00609 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Three surprising instances of dividing
We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an NSOP$_1$ theory with a complete type that forks, but …

'Like a stalker': Data broker LiveRamp reported to the UK, French regulators
LiveRamp operates a massive identity surveillance system that ties perople's online and offline activity to a single personal identifier
Thanks to @…

'Like a stalker': Data broker LiveRamp reported to the UK, French regulators
LiveRamp is a cloud data platform company based in San Francisco. Previously known as Acxiom Corporation, it is "the industry's only interoperable platform for data collaboration across all cloud, walled garden, and media platforms," according to its website, which also says it helps customers maintain "compliance with the ePrivacy Directive, GDPR, CCPA, and other data protection and privacy laws."

Light Exposure Linked to Sharper Cognitive Skills, Study Finds
https://scitechdaily.com/light-exposure-linked-to-sharper-cognitive-skills-study-finds/

Light Exposure Linked to Sharper Cognitive Skills, Study Finds
Research indicates that increased light exposure can enhance activity in a part of the brain known as the hypothalamus and boost cognitive performance. New research suggests that higher light exposure can enhance alertness and cognitive performance, likely by affecting the activity in areas of the

In The Sea Around Us, #RachelCarson says that it is well known in Europe that #oysters reach their peak #spawning activities during a spring tide. Is this also true of oysters in NYC? I know they tend to …

On my way to Frankfurt to meet good friend @… — big day today. We've known each other for (5?) years, but this is the first time we meet!!

Displaying these juvenile traits into adulthood is known as 'cultural neoteny', I believe.
Kara Swisher on the toxic giants of Big Tech https://www.theguardian.com/technology/20…

Like most ideas and religions they change, improve, rise, fall, and become re-invented as time goes on. The Dharma Wheel is no exception to the rule.
https://theconsciousvibe.com/what-does-the-wheel-of-dharma-symbolize-dharmacha…

Unlocking the Mysteries of the Dharma Wheel: An In-Depth Guide - the Conscious Vibe
Also known as the “Dharmachakra”, the Dharma Wheel is an ancient symbol that represents the teachings of Buddha.

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru, Stefanie Roos
https://arxiv.org/abs/2405.02147

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
The Lightning Network, a payment channel network with a market cap of over 192M USD, is designed to resolve Bitcoin's scalability issues through fast off-chain transactions. There are multiple Lightning Network client implementations, all of which conform to the same textual specifications known as BOLTs. Several vulnerabilities have been manually discovered, but to-date there have been few works systematically analyzing the security of the Lightning Network. In this work, we take a foundatio…

Was a bit frustrated and tired after work due to some false positives I couldn't figure out. Slept for two hours and then got up again to not loose a bike day in the Swiss #BikeToWork campaign and—more important 😉—to not break my #BikeStreak. It became yet another midnight ride, so in theory it …

Ralph Nader Looks Ahead, at Age 90. What He Sees Is Not What You'd Expect.
By @…
"I’ve known Ralph Nader since the 1960s. In this podcast we talk about his new book ‘The Rebellious CEO,’ which will surprise many people, as it did me.”

Ralph Nader Looks Ahead, at Age 90. What He Sees Is Not What You'd Expect.
I've known Ralph Nader since the 1960s. In this podcast we talk about his new book ‘The Rebellious CEO,’ which will surprise many people, as it did me.

Elon Musk's Tesla, which had been famous for shunning advertising, is now running ads on YouTube, TikTok, and Elon Musk's X; the ads started in early 2024 (Peter Kafka/Business Insider)
https://www.businessinsider.com/elon-musk-

Elon Musk's solution to X's ad problems: Tesla?
Musk's Tesla is advertising on X, the company formerly known as Twitter. It's the circle of life.

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
Bahareh Afshari, Johannes Kloibhofer
https://arxiv.org/abs/2405.01935 https://

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
We consider modal logic extended with the well-known temporal operator `eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragment. The work showcases an adaptation of the reductive cut-elimination method to cyclic calculi. Notably, the proposed algorithm applies to a cyclic proof and directly outputs a cyclic cut-free proof without appealing to intermediate machinery for regularising the end proof.

In 1968, Soviet scientists created one of the earliest known “realistic” computer animations: a ream of printed papers featuring an animated walking cat!
#vintageComputing #cgi #animation

White House weighs in on Cookie Monster’s ‘shrinkflation’ post | The Hill
https://thehill.com/blogs/in-the-know/4509331-white-house-cookie-monsters-shrinkflation/

White House weighs in on Cookie Monster’s ‘shrinkflation’ post
The White House on Monday seized on Cookie Monster’s post complaining about “shrinkflation.” “C is for consumers getting ripped off,” the official White House account on X, formerly known as Twitter, posted in response to an earlier post by the “Sesame Street” character. “President Biden is calling on companies to put a stop to shrinkflation.”…

Elon Musk's Tesla, which had been famous for shunning advertising, is now running ads on YouTube, TikTok, and Elon Musk's X; the ads started in early 2024 (Peter Kafka/Business Insider)
https://www.businessinsider.com/elon-musk-

Elon Musk's solution to X's ad problems: Tesla?
Musk's Tesla is advertising on X, the company formerly known as Twitter. It's the circle of life.

This https://arxiv.org/abs/2311.07794 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

How to Use Quantum Indistinguishability Obfuscation
Quantum copy protection, introduced by Aaronson, enables giving out a quantum program-description that cannot be meaningfully duplicated. Despite over a decade of study, copy protection is only known to be possible for a very limited class of programs. As our first contribution, we show how to achieve "best-possible" copy protection for all programs. We do this by introducing quantum state indistinguishability obfuscation (qsiO), a notion of obfuscation for quantum descriptions of classical pro…

Ralph Nader Looks Ahead, at Age 90. What He Sees Is Not What You'd Expect.
By @…
"I’ve known Ralph Nader since the 1960s. In this podcast we talk about his new book ‘The Rebellious CEO,’ which will surprise many people, as it did me.”

Ralph Nader Looks Ahead, at Age 90. What He Sees Is Not What You'd Expect.
I've known Ralph Nader since the 1960s. In this podcast we talk about his new book ‘The Rebellious CEO,’ which will surprise many people, as it did me.

This https://arxiv.org/abs/2308.13234 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

Decoding Natural Images from EEG for Object Recognition
Electroencephalography (EEG) signals, known for convenient non-invasive acquisition but low signal-to-noise ratio, have recently gained substantial attention due to the potential to decode natural images. This paper presents a self-supervised framework to demonstrate the feasibility of learning image representations from EEG signals, particularly for object recognition. The framework utilizes image and EEG encoders to extract features from paired image stimuli and EEG responses. Contrastive lea…

Spectral extremal graphs for fan graphs
Loujun Yu, Yongtao Li, Yuejian Peng
https://arxiv.org/abs/2404.03423 https://arxiv.org/pdf/24…

Spectral extremal graphs for fan graphs
A well-known result of Nosal states that a graph $G$ with $m$ edges and $λ(G) > \sqrt{m}$ contains a triangle. Nikiforov [Combin. Probab. Comput. 11 (2002)] extended this result to cliques by showing that if $λ(G) > \sqrt{2m(1-1/r)}$, then $G$ contains a copy of $K_{r+1}$. Let $C_k^+$ be the graph obtained from a cycle $C_k$ by adding an edge to two vertices with distance two, and let $F_k$ be the friendship graph consisting of $k$ triangles that share a common vertex. Recently, Zhai, Lin and…

This https://arxiv.org/abs/2402.04358 has been replaced.
link: https://scholar.google.com/scholar?q=a

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?
Let $σ$ denote the shift automorphism on $\mathcal{P}(ω) / \mathrm{fin}$, defined by setting $σ([A]) = [A+1]$ for all $A \subseteq ω$. We show that the Continuum Hypothesis implies the shift automorphism $σ$ and its inverse $σ^{-1}$ are conjugate in the automorphism group of $\mathcal{P}(ω) / \mathrm{fin}$. Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with $\mathsf{ZFC}$ that $σ$ and $σ^{-1}$ are not conjugate. Our result shows that t…

Hey friends. I just reviewed a lot of photos and came across this from last year. A couple of hikers recommended me to go into the direction where I literally ran into those animals. Well.. An unexpected encounter!
#nature #naturephotography

White House weighs in on Cookie Monster’s ‘shrinkflation’ post | The Hill
https://thehill.com/blogs/in-the-know/4509331-white-house-cookie-monsters-shrinkflation/

White House weighs in on Cookie Monster’s ‘shrinkflation’ post
The White House on Monday seized on Cookie Monster’s post complaining about “shrinkflation.” “C is for consumers getting ripped off,” the official White House account on X, formerly known as Twitter, posted in response to an earlier post by the “Sesame Street” character. “President Biden is calling on companies to put a stop to shrinkflation.”…

It's unlikely that votes decide the outcome of US elections. It's much more likely that lobby dollars do (also known as 'bribes').

'Didn't watch the movie?' GOP accidentally casts Trump as villain in 'May the Fourth' post - Raw Story
https://www.rawstory.com/trump-may-the-fourth-gop-red/

'Didn't watch the movie?' GOP accidentally casts Trump as villain in 'May the Fourth' post
The North Carolina Republican Party on Saturday came under fire for a Star Wars-themed post meant to celebrate the "May the Fourth" internet holiday and promote Donald Trump.The official account of the North Carolina Republican Party on X, formerly known as Twitter, posted an image showing Trump hol...

This https://arxiv.org/abs/2402.07700 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

The noisy Landau-Streater or the Werner-Holevo channel in arbitrary dimensions
Two important classes of quantum channels, namly the Werner-Holevo and the Landau-Streater channels are known to be related only in three dimensions, i.e. when acting on qutrits. In this work, the definition of the Landau-Streater channel is extended in such a way which retains its equivalence to the Werner-Holevo channel in all dimensions. This channel is then modified to be representable as a model of noise acting on qudits. We then investigate propeties of the resulting noisy channel and det…

A topological reading of inductive and coinductive definitions in Dependent Type Theory
Pietro Sabelli
https://arxiv.org/abs/2404.03494 https://

A topological reading of inductive and coinductive definitions in Dependent Type Theory
In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, introduced by G. Sambin to represent closed subsets in point-free topology. Our work is complementary to a previous one with M.E. Maietti, where we showed that, in dependent type theory, the well-known concept of wellfounded trees has a topological equivalent counterpart in terms of proof-relevant inductively generated …

The Order of the (123, 132)-Avoiding Stack Sort
Owen Zhang
https://arxiv.org/abs/2405.01854 https://arxiv.org/pdf/2405.01854

The Order of the (123, 132)-Avoiding Stack Sort
Let $s$ be West's deterministic stack-sorting map. A well-known result (West) is that any length $n$ permutation can be sorted with $n-1$ iterations of $s.$ In 2020, Defant introduced the notion of highly-sorted permutations -- permutations in $s^t(S_n)$ for $t \lessapprox n-1.$ In 2023, Choi and Choi extended this notion to generalized stack-sorting maps $s_σ,$ where we relax the condition of becoming sorted to the analogous condition of becoming periodic with respect to $s_σ.$ In this work,…

This https://arxiv.org/abs/2311.16842 has been replaced.
link: https://scholar.google.com/scholar?q=a

RELIC: Investigating Large Language Model Responses using Self-Consistency
Large Language Models (LLMs) are notorious for blending fact with fiction and generating non-factual content, known as hallucinations. To address this challenge, we propose an interactive system that helps users gain insight into the reliability of the generated text. Our approach is based on the idea that the self-consistency of multiple samples generated by the same LLM relates to its confidence in individual claims in the generated texts. Using this idea, we design RELIC, an interactive syst…

👍 👏 🏳️‍🌈 Bill to restrict transgender student-athlete participation fails in Nebraska | The Hill
https://thehill.com/homenews/lgbtq/4577370-bill-transgender-student-athlete-nebraska/

Bill to restrict transgender student-athlete participation fails in Nebraska
Nebraska lawmakers on Friday declined to advance legislation to ban transgender student-athletes from competing on school sports teams that align with their gender identity, defeating the measure for the second consecutive year. Legislative Bill 575, known as the Sports and Spaces Act, sought to prevent transgender students from using public school restrooms and locker rooms…

This https://arxiv.org/abs/2311.16842 has been replaced.
link: https://scholar.google.com/scholar?q=a

RELIC: Investigating Large Language Model Responses using Self-Consistency
Large Language Models (LLMs) are notorious for blending fact with fiction and generating non-factual content, known as hallucinations. To address this challenge, we propose an interactive system that helps users gain insight into the reliability of the generated text. Our approach is based on the idea that the self-consistency of multiple samples generated by the same LLM relates to its confidence in individual claims in the generated texts. Using this idea, we design RELIC, an interactive syst…

This https://arxiv.org/abs/2306.00391 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Extremal Peisert-type graphs without the strict-EKR property
It is known that Paley graphs of square order have the strict-EKR property, that is, all maximum cliques are canonical cliques. Peisert-type graphs are natural generalizations of Paley graphs and some of them also have the strict-EKR property. Given a prime power $q \geq 3$, we study Peisert-type graphs of order $q^2$ without the strict-EKR property and with the minimum number of edges and we call such graphs extremal. We determine number of edges in extremal graphs for each value of $q$. If $q…

This https://arxiv.org/abs/2308.13457 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Super FiboCatalan Numbers and their Lucas Analogues
Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations have been given for the case $m=2$ and for $S(m, m+s)$ for $0 \leq s \leq 4$. In this paper, we define the super FiboCatalan numbers $S(m,n)_F = \frac{F_{2m}! F_{2n}!}{F_m! F_n! F_{m+n}!}$ and the generalized FiboCatalan numbers $J_{r,F} \frac{F_{2n}!}{F_n! …

This https://arxiv.org/abs/2311.10599 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

Chatbots as social companions: How people perceive consciousness, human likeness, and social health benefits in machines
As artificial intelligence (AI) becomes more widespread, one question that arises is how human-AI interaction might impact human-human interaction. Chatbots, for example, are increasingly used as social companions, and while much is speculated, little is known empirically about how their use impacts human relationships. A common hypothesis is that relationships with companion chatbots are detrimental to social health by harming or replacing human interaction, but this hypothesis may be too simp…

This https://arxiv.org/abs/2311.10599 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

Chatbots as social companions: How people perceive consciousness, human likeness, and social health benefits in machines
As artificial intelligence (AI) becomes more widespread, one question that arises is how human-AI interaction might impact human-human interaction. Chatbots, for example, are increasingly used as social companions, and while much is speculated, little is known empirically about how their use impacts human relationships. A common hypothesis is that relationships with companion chatbots are detrimental to social health by harming or replacing human interaction, but this hypothesis may be too simp…

On the structures of subset sets in higher dimension
Norbert Hegyv\'ari, M\'at\'e P\'alfy, Erfei Yue
https://arxiv.org/abs/2405.02269 https…

On the structures of subset sets in higher dimension
A given subset $A$ of natural numbers is said to be complete if every element of $\N$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. The main goal of the paper is to study the structure of subset sums in a higher dimension. We show 'dense' sets and generalized arithmetic progrssions in subset sums of certain sets.

#WhiteSupremacists forming "fitness clubs," slam #Trump's blubber - National Zero

WA GOP Says the Quiet Part Out Loud: We Don't Want Democracy US Politics | ResetEra
https://www.resetera.com/threads/wa-gop-says-the-quiet-part-out-loud-we-dont-want-democracy.857634/

WA GOP Says the Quiet Part Out Loud: We Don't Want Democracy US Politics
https://www.seattletimes.com/seattle-news/politics/the-wa-gop-put-it-in-writing-that-theyre-not-into-democracy/ https://twitter.com/MaddowBlog/status/1785141645316391195 The WA GOP has just gone ahead and said the quiet part out loud: They are fully anti-democracy. We've all known this for a...

‘Very Best of Humanity’: The Seven Aid Workers Killed in Israeli Airstrike | Portside
https://portside.org/2024-04-03/very-best-humanity-seven-aid-workers-killed-israeli-airstrike

‘Very Best of Humanity’: The Seven Aid Workers Killed in Israeli Airstrike
The World Central Kitchen has described the seven aid workers who were killed in an Israeli airstrike in Gaza as the “very best of humanity”. Three British nationals, an Australian, a Polish national, an American-Canadian dual citizen and a Palestinian were killed when their convoy was hit as it was leaving the Deir al-Balah warehouse on Monday. Here is what is known about the victims: