Juan Fco. Miranda

Ingeniero Informático, desarrollador C#, y aprendiendo Swift, Kotlin, ...

[9to5Linux @9to5linux]

#Linux Kernel 7.1 Has Been Officially Released, Here’s What’s New https://t.co/OsLgNwzTp8

#OpenSource

[Esther Sanz 🤜🏻🦀🤛🏻 @_esthersanz]

Sentido común.

[LALIGA HYPERMOTION @LaLiga2]

🪄 Dani Lorenzo imagina.
🎯 Larrubia ejecuta.

🤍💙 Golazo del @MalagaCF en el Estadio de Gran Canaria.

#LALIGAHYPERMOTION | #LALIGAHighlights | #DesenlaceLALIGA | #LasPalmasMálaga

[Rittenhouse renacido @Rittenreloaded]

La culpa no es de España.

[Capitán General de los Tercios @capTercio]

Esto es a lo que hay que prestar atención. Las nacionalizaciones express a través de la ley de nietos y el voto por correo.

[Kotlin by JetBrains @kotlin]

📢 Kotlin 2.4.0 is out! Here are some of the highlights:
✅ Language: Stable context parameters, explicit backing fields, and multiple features for annotation use-site targets.
✅ Standard library: Stabilized support for the UUID API and support for checking sorted order.
✅ Kotlin/JVM: Support for Java 26 and annotations in metadata enabled by default.
✅ Kotlin/Native: Support for Swift packages as dependencies, updates on Swift export, and the CMS GC enabled by default.
✅ Kotlin/Wasm: Incremental compilation enabled by default and support for WebAssembly Component Model.
✅ Kotlin/JS: Support for value class export and ES2015 features in JS code inlining.
✅ Gradle: Compatibility with Gradle 9.5.0.
✅ Maven: Automatic alignment between Java and JVM target versions.
✅ Kotlin compiler: More consistent inline function behavior during .klib compilation.
Learn more: https://t.co/8cT1Jicklk

[GitHub Copilot App, CLI, & SDK Log @GHCopilotLog]

🎉🔨 Copilot SDK v1.0.0 released!

221 features & enhancements in this release

Top features:
• Add remote session support across all SDKs 🌐
• Introduce Rust SDK (technical preview) 🦀
• Replace StreamJsonRpc with custom JSON-RPC implementation in .NET SDK
• Add SDK tracing diagnostics for improved observability 🔍
• Add copilotHome option for configurable data directory
• Expand E2E test coverage across all 4 SDKs
• Add provider model and token limit overrides to ProviderConfig
• Add enableSessionTelemetry session option across SDKs
• Generate typed Go union interfaces and use string enums for .NET session events
• Restore mode handler APIs across SDKs
• Use schema descriptions in generated SDK docs for improved clarity

Enhancements:
• Refine version update logic to allow arbitrary identifiers like beta and preview
• Harden permission-reject E2E tests across all SDKs
• Stabilize unknown session delete E2E assertions
• Update SDK E2E runtime coverage and add offline GitHub proxy for tests
• Normalize skill context replay snapshots
• Unify Rust SDK release with publish.yml workflow
• Update README and guide for Rust SDK
• Add Maven Central and Go reference badges to README
• Use 32-bit types for bounded schema integers
• Derive Default on generated Rust types
• Temporarily use beta versions for latest dist-tag
• Disable CI workflows on forked repositories
• Default release publishing to prerelease
• Fix codegen identifier sanitization
• Share generated schema definitions across SDKs
• Normalize SDK docs pipeline and fix documentation typos
• Consolidate ask_user E2E snapshots into a single canonical folder
• Honor preinstalled CLI path in .NET MSBuild targets
• Add netstandard and net10 targets to C# SDK
• Expand Rust E2E coverage
• Fix some argument validation in C#
• Add .NET CopilotTool helper

Bug fixes:
• Fix .NET client startup cleanup race conditions
• Avoid shell kill cwd cleanup flakes
• Fix .NET E2E event capture race
• Handle empty session fork behavior in E2E tests
• Fix sub-agent hook propagation and expose sessionId on hook inputs
• Fix permission handler kinds in SDK docs and samples
• Fix Python Quick Start example to compile with current SDK
• Fix Python session.send docs examples
• Fix C# listFiles E2E ordering assumption
• Fix shared schema comparison for Go codegen
• Fix argument validation in C# SDK
• Fix codegen for experimental schema types
• Fix SetProcessDone race in Go SDK
• Fix some startup race and cleanup flakes in .NET SDK
• Stop use of deprecated APIs in Go and .NET where supported

Misc:
• Document --host option for non-loopback headless connections
• Replace non-existent Docker image with build instructions
• Clarify available_tools/excluded_tools filter behavior in Python docs
• Add instructionDirectories session config support
• Add support for optional connection token for TCP servers
• Update BYOK.md documentation
• Add cloud session config support
• Update documentation for permission gate compatibility with --yolo flag
• Fix and normalize SDK documentation pipeline
• Add remote_session field to all SDK SessionConfig types
• Add model field to CustomAgentConfig across all SDKs
• Consolidate and normalize docs for SDKs and pipelines

https://t.co/LOI9jLmnqk

#GitHubCopilotSDK

[James Newton-King ♔ @JamesNK]

Aspire 13.4 dashboard and CLI features, day 3

Telemetry filtering got a major upgrade in the CLI and dashboard HTTP APIs. Find matching telemetry faster with:

🔍 Full-text search
🏷️ Attribute filters
⚖️ Comparison operators
🚫 Negation

Perfect for humans and agents 🤖

[James Newton-King ♔ @JamesNK]

Aspire 13.4 dashboard and CLI features, day 4

The dashboard adds an AI Agents button that opens a guide to using Aspire with agents.

Adoption pipeline:

📊 Standalone dashboard (hook)
🤖 Aspire CLI for agents
🛠️ Aspirify skill → Aspire AppHost
🚀 Adopt C# (best language 💪)

[Emotion & Music @Emotion78687]

This woman can literally sing ANYTHING.

[Juan Fco. Miranda @jfmiranda75]

@101tvMalaga A saber cuándo los activarán para que multen también 🤬🤬

[Juan Fco. Miranda @jfmiranda75]

@sysxplore I used to. Now I got Arch on one SSD and Win11 in another on the same laptop.

[cinesthetic. @TheCinesthetic]

The Empire Strikes Back debuted on U.S. television in 1987 with a special introduction from Darth Vader.

[The Loot of Boba Fett @bobafettloot]

Que ganas tengo de que llegue el 19 de febrero de 2027 para volver a ver La Guerra de las Galaxias tal y como era en 1977.

Quizá sea nostalgia, pero es el #StarWars de mi infancia y le guardo mucho cariño por todo lo que significó para mí. https://t.co/S0h6W3lDBM

[The Dark Side @FantasyGalaxies]

George Lucas should have never deleted this Star Wars scene from Return of the Jedi….

Darth Vader reaching out to Luke Skywalker through the Force while Luke builds his iconic lightsaber makes this scene so powerful. 🔥

[André Gordirro @gordirro]

O ataque final à Estrela da Morte, sem os retoques da Edição Especial. A versão do Lucas para os clássicos da II Guerra Mundial, agora no espaço. Doze minutos de Star Wars que dão uma SURRA em tudo que foi feito na saga depois da Trilogia Original. https://t.co/yObm7QNlTE

[Guillermo Rocafort @GuillermoRocaf1]

BOMBAZO: La UCO entra a saco en la sede de la Dirección General de la Guardia Civil 🎯
Hay denuncias de que la Jefa de la Fontanera LEIRE es la Directora General de la @guardiacivil Mercedes González @MercedesDS21 👇😱
Difunde! 💪👊

[Aladetres @aladetres_es]

¿La INDEPENDENCIA fue una decisión PROPIA de los pueblos de Sudamérica?

Zunzunegui lo explica claro en nuestra última entrevista: https://t.co/dmu1jKebtw

[Juan Fco. Miranda @jfmiranda75]

@NetMentorTW 29°?? Vente a Málaga a probar el terral en agosto y me cuentas 😂😂

[Aladetres @aladetres_es]

Nos han taladrado con la idea de que lo que INGLATERRA hizo y ha hecho siempre allá donde "ha civilizado" fue cosa de ESPAÑA. Una mentira peligrosa, sin fundamento y con un claro objetivo: dividir y generar autodesprecio.

Entrevista completa: https://t.co/dmu1jKebtw