Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Techmeme@techhub.social
2024-04-25 20:07:04

Alphabet Announces First Quarter 2024 Results (Alphabet)
abc.xyz/assets/91/b3/3f9213d14

@design_law@mastodon.social
2024-03-27 11:46:12

Here is is, the law review article that started it all (for me): cardozoaelj.com/wp-content/upl
After learning about the Tilted Arc controversy, I lo…

@andres4ny@social.ridetrans.it
2024-04-25 06:41:54

Chromium doesn't appear to have this, but everyone's aware that #Firefox includes a #PDF editor, right?

Browser window with part of the URL bar showing "MEDICAL HISTORY (1).pdf". Below, a typical doctor pdf with entries like "Client's Name:", "Today's Date", "Medical diagnosis (if any)", etc. Drawn on top of the form, in thin pencil-like marks, the drawn letters "SQU". And next to that, outlined in a blue box (showing that it's currently being edited), the drawn letters "IGGLE". Those letters are much thicker, and partially see-through. On the upper right, a small icon of a pencil has been …
Same browser window and PDF form as before, and the same hand-drawn "SQUIGGLE" letters. However, now the uppercase "I" icon on the upper right is selected instead of the pencil, and the popup allows you to select "Color" and "Size". In the form, next to "Medical diagnosis (if any), there is newly added non-drawn text that's the same size as the "Medical dianosis" text, except it's in red. It says "Text". Next to that in black text, more text that says "Example". Next to that, about five time…
@lapizistik@social.tchncs.de
2024-05-26 10:33:05

Die #Presseclub redet über die Einführung einer allgemeinen Dienstpflicht, und erwähnt nicht einmal, daß dies gegen Art. 4 der Europäischen Menschen­rechts­konvention verstößt.

@Techmeme@techhub.social
2024-04-25 20:07:04

Alphabet Announces First Quarter 2024 Results (Alphabet)
abc.xyz/assets/91/b3/3f9213d14

@arXiv_csLO_bot@mastoxiv.page
2024-04-26 07:12:26

Derandomization with Pseudorandomness
Emin Karayel
arxiv.org/abs/2404.16614 arxiv.org/pdf/2404.16614

Derandomization with Pseudorandomness
Derandomization techniques are often used within advanced randomized algorithms. In particular, pseudorandom objects, such as hash families and expander graphs, are key components of such algorithms, but their verification presents a challenge. This work shows how such algorithms can be expressed and verified in Isabelle and presents a pseudorandom objects library that abstracts away the involved deep algebraic/analytic results. Moreover, it presents examples that show how the library eases and…

@design_law@mastodon.social
2024-03-27 11:46:12

Here is is, the law review article that started it all (for me): cardozoaelj.com/wp-content/upl
After learning about the Tilted Arc controversy, I lo…

@design_law@mastodon.social
2024-04-26 13:57:44

Another good joinder decision out of the NDIL, this time from Judge Pacold:
storage.courtlistener.com/reca

ORDER For the reasons described below, plaintiff’s motion for leave to amend the complaint, [9] is granted to the extent that it seeks leave to file an amended complaint that does not assert claims under U.S. Patent No. D994376 (the “D’376 Patent”). However, the dismissal of plaintiff’s claims under the D’376 Patent only partially resolves the issues of improper joinder in this case. Although plaintiff’s claims asserted under plaintiff’s other patent, U.S. Patent No. D994362 (the “D’362 Patent”…
@Techmeme@techhub.social
2024-04-25 20:11:34

Alphabet Q1: revenue up 15% YoY to $80.5B, net income up 57% to $23.7B, Google Cloud revenue up 28% to $9.6B, and headcount down 5% ; GOOG up 13% after hours (Alphabet)
abc.xyz/assets/91/b3/3f9213d14

@Techmeme@techhub.social
2024-04-25 20:11:34

Alphabet Q1: revenue up 15% YoY to $80.5B, net income up 57% to $23.7B, Google Cloud revenue up 28% to $9.6B, and headcount down 5% ; GOOG up 13% after hours (Alphabet)
abc.xyz/assets/91/b3/3f9213d14