Tootfinder

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

No exact results. Similar results found.
@khalidabuhakmeh@mastodon.social
2025-07-15 17:46:08

This shared memory pool feature is neat in #dotnet 10 preview 6.
github.com/dotnet/core/blob/ma

core/release-notes/10.0/preview/preview6/aspnetcore.md at main · dotnet/core
.NET news, announcements, release notes, and more! - dotnet/core

@cosmos4u@scicomm.xyz
2025-06-16 16:33:11

The best artificial Total #SolarEclipse ever, delivered by ESA's #Proba3 spacecraft duo of which one carries the telescope while the other plays Moon - this allows imaging the solar #corona closer to the photosphere than any other coronagraph: esa.int/Enabling_Support/Space

@arXiv_csLO_bot@mastoxiv.page
2025-07-16 07:49:21

LISA -- A Modern Proof System
Simon Guilloud, Sankalp Gambhir, Viktor Kun\v{c}ak
arxiv.org/abs/2507.11167 arxiv.org/p…

LISA -- A Modern Proof System
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and function symbols. It implements polynomial-time proof checking and uses the axioms of ortholattices (which implies the irrelevance of the order of conjuncts and disjuncts and additional propositional laws). The kernel supports the notion of theorems …

@fanf@mendeddrum.org
2025-07-16 08:42:04

from my link log —
Rustls server-side performance.
memorysafety.org/blog/rustls-s
saved 2025-05-16

Rustls Server-Side Performance
In past years, the Rustls project has been happy to receive substantial investments from the ISRG. One of our goals has been to improve performance without compromising on safety. We last posted about our performance improvements in October of 2024, and we're back to talk about another round of improvements. What is Rustls? Rustls is a memory safe TLS implementation with a focus on performance. It is production ready and used in a wide range of applications.

@Techmeme@techhub.social
2025-06-16 12:40:52

Digital asset platform Tron plans to go public via a reverse merger with Nasdaq-listed SRM Entertainment, after the US paused a probe into founder Justin Sun (Financial Times)
ft.com/content/13a6cead-af71-4

Crypto group Tron to go public after US pauses probe into billionaire founder
Deal involving Justin Sun’s digital asset venture orchestrated by investment bank linked to Trump’s sons

@NFL@darktundra.xyz
2025-06-16 22:16:45

NFC North 2025 preview, plus the Colts QB competition nytimes.com/athletic/6430697/2

NFC North 2025 preview, plus the Colts QB competition
Key questions, breakout players and positions to watch in the NFC North, plus a look at the Colts quarterback competition.

@NFL@darktundra.xyz
2025-07-15 17:40:26

Dallas Cowboys training camp 2025 preview: Key dates, notable additions, biggest storylines nfl.com/news/dallas-cowboys-tr

Dallas Cowboys training camp 2025 preview: Key dates, notable additions, biggest storylines
With NFL training camp season upon us, Jeremy Bergman provides a refresher on the Dallas Cowboys' roster changes, position battles and notable subplots.

@NFL@darktundra.xyz
2025-07-15 17:40:25

Washington Commanders training camp 2025 preview: Key dates, notable additions, biggest storylines nfl.com/news/washington-comman

Washington Commanders training camp 2025 preview: Key dates, notable additions, biggest storylines
With NFL training camp season upon us, Jeremy Bergman provides a refresher on the Washington Commanders' roster changes, position battles and notable subplots.

@NFL@darktundra.xyz
2025-07-15 14:35:50

Philadelphia Eagles training camp 2025 preview: Key dates, notable additions, biggest storylines nfl.com/news/philadelphia-eagl

Philadelphia Eagles training camp 2025 preview: Key dates, notable additions, biggest storylines
With NFL training camp season upon us, Jeremy Bergman provides a refresher on the Philadelphia Eagles' roster changes, position battles and notable subplots.

@NFL@darktundra.xyz
2025-07-15 17:40:26

New York Giants training camp 2025 preview: Key dates, notable additions, biggest storylines nfl.com/news/giants-training-c

New York Giants training camp 2025 preview: Key dates, notable additions, biggest storylines
With NFL training camp season upon us, Jeremy Bergman provides a refresher on the New York Giants' roster changes, position battles and notable subplots.