Tootfinder

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

No exact results. Similar results found.
@fanf@mendeddrum.org
2025-11-15 21:42:02

from my link log —
Arend: a theorem prover based on Homotopy Type Theory.
arend-lang.github.io/
saved 2019-08-07 dotat.at/:/AR6J2.html

Arend
Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language.

@v_i_o_l_a@openbiblio.social
2026-01-16 21:31:13

"Deep Research, Shallow Agency: What Academic Deep Research Can and Can't Do"
aarontay.substack.com/p/how-ag

Deep Research, Shallow Agency: What Academic Deep Research Can and Can't Do"
The Agentic Illusion: Most Academic Deep Research runs fixed workflows and stumble when given unfamiliar literature review tasks that do not fit them.

@egallager@social.treehouse.systems
2025-11-15 23:39:02

Updated with additional ideas:
- White Park
- around the Centennial
- around the backside of CHS
- along Bow Brook until it joins the Turkey River
- up to the Heights and around the Concord Municipal Airport
- along that new trail going in on the other side of the river
- to Granite State Candies and back
- watch a movie at Red River Theater
- to the Post Office on the other side of the river
- to the bus station... take the bus to Boston?

@Techmeme@techhub.social
2025-12-17 00:30:49

California DMV says a California administrative law judge recently ruled Tesla engaged in deceptive marketing around its Autopilot and Full Self-Driving systems (Lora Kolodny/CNBC)
cnbc.com/2025/12/16/california

California judge rules that Tesla engaged in deceptive marketing around Autopilot
An administrative law judge in California ruled Tesla's license to sell or manufacture cars in the state should be suspended for 30 days.

@raiders@darktundra.xyz
2026-01-15 16:20:38

Top Raiders head coach candidate could build quality staff around him raiderswire.usatoday.com/story

Top Raiders head coach candidate could build quality staff around him
One of the top Las Vegas Raiders head coaching candidates appears capable of building a good staff around him.

@cdarwin@c.im
2025-11-16 17:47:36

IT'S THE WEEKLY GOOD NEWS ROUNDUP - 11/16/25
Here’s a recap of all of the good things that have happened in the courts and elsewhere over the past week in our battle to defend our country from the ravages of the current administration, and to turn this ship around!
annepmitchell.subs…

Weekly Good News Roundup - 11/15/25
Here’s a recap of all of the good things that have happened over the past week in our battle to defend our country from the ravages of the current administration, and to turn this ship around!

@primonatura@mstdn.social
2025-11-15 17:00:39

"Fossil fuel projects around the world threaten the health of 2bn people"
#FossilFuels #Climate #ClimateChange

Fossil fuel projects around the world threaten the health of 2bn people
Exclusive: ‘Deep-rooted injustices’ affect billions of people due to location of wells, pipelines and other infrastructure

@Mediagazer@mstdn.social
2025-12-16 19:20:43

Event software company Cvent acquires video content platform Goldcast; source: Cvent paid just under $300M to acquire Goldcast, which had raised around $38M (Dan Primack/Axios)
axios.com/pro/merger-deals/202

Scoop: Cvent paid nearly $300M for Goldcast
Boston-based Goldcast had raised around $38 million in venture capital.

@AimeeMaroux@mastodon.social
2025-11-16 10:09:51
Content warning:

It's the #DayOfHelios / Sol's Day / #Sunday! ☀️
"Hastened by the golden-haired Horai Sol (the Sun) puts on his diadem of myriad rays [. . .] Then above the earth and above the horns of the eastern mount he shone forth, and drew a train of light over the sparkling waves."

Silver bowl with a sacrifice scene in relief: a youthful priest wearing a flowing sleeveless tunic and a mantle rolled around his waist and draped over his left arm, a laurel wreath in his full curly locks, cradling pomegranates and other fruit in the crook of his left arm, gripping a goat by its horn, leading it toward a flaming hexagonal altar, embellished with scrolling dots on the upper surface and base, a wreath around its center, the altar situated at the base of the steps of a Temple to …
@Techmeme@techhub.social
2025-12-16 17:55:53

Event software company Cvent acquires video content platform Goldcast; source: Cvent paid just under $300M to acquire Goldcast, which had raised around $38M (Dan Primack/Axios)
axios.com/pro/merger-deals/202

Scoop: Cvent paid nearly $300M for Goldcast
Boston-based Goldcast had raised around $38 million in venture capital.