Tootfinder

Vuelve Guns n' Roses a Chile este año
14 de octubre en el Parque Estadio Nacional. La preventa comieza el 11 de junio a las 11:00 hrs. y la venta general el 13 a las 11:30 por puntoticket.
🔗 https://www.…

from my link log —
SKIM: The implementation of functional languages using custom hardware.
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-81.html
saved 2025-03-22

Urgent action before 12.00 CET / 11.00 BST
Call for the Protection of the Freedom Flotilla and an End to the Gaza Blockade - Deadline 5th June 12.00 CET | Framaforms.org
https://framaforms.org/call-for-the-pr

Running cars on E-Fuels, made with CO2 from the air and green Hydrogen?🚗⛽🌿⚡
E-Fuels, so the story goes, could allow using existing cars and infrastructure like gas stations. However, E-Fuels are extremely inefficient.
In 2022, Siemens Energy, Porsche, and the Chilean company HIF inaugurated the Haru Oni pilot plant in Chile's windy Magallanes region, which turns CO2 and Hydrogen into Methanol and small amounts of Gasoline. How's it going? 🧵

What's up with the Production of E-Fuels in Chile?
In 2022, Siemens Energy, Porsche, and HIF inaugurated a pilot plant for the production of E-Methanol and E-Gasoline in southern Chile. The Haru Oni plant was intended to be just the beginning — with plans for large-scale production just a few years later. However, it does not look like that will ever happen.

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

Classical notions of computation and the Hasegawa-Thielecke theorem
In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involutive negation, using a polarised effect calculus. A main challenge in designing a denotational semantics is to accommodate both call-by-value and call-by-name evaluation strategies, which leads to a failure of associativity of composition. Building on the work of the third author, we devise the notion of dialogue duplo…

Musk Tweets Call For New Political Party To Sink GOP And Claims That Trump Is "Named In The Epstein Files" - Joe.My.God.
https://www.joemygod.com/2025/06/musk-tweets-call-for-new-political-party-to-sink-gop-and-claims-that-trump-is-named-in-the-epstein-files/

Verdad que hay fútbol de selección hoy. Una buena oportunidad para ver lucirse a la Argentina campeona del mundo.
Mi tradicional pronóstico:
Chile 0 - 4 Argentina
#ChilexArgentina #clasificatoriasconmebol

Sí, amigos. Faltan menos de 10 horas para More, el nuevo šlbum de Pulp 😱
¿Estšn ustedes igual de emocionados que yo? 😅
#Pulp #MorePulp #SeVieneElNuevoDiscoDePulpCTM

♫ Top 5 artists of the Last.week: Pulp (136) Garbage (89) Miley Cyrus (71) Roxy Music (35) Green Day (13). #myweekcounted 462 Scrobbles with Lastfm #music via @…

Este fin de semana elegimos ver una película solo porque había unos discos de vinilo en el póster. «The Greatest Hits» (2024, Dir. Ned Benson) resultó ser una comedia/drama romšntica sorpresivamente entretenida y con buena música. Excelente servicio para una peli de domingo.
3½★ https://boxd.it/9SsH1F