EVA Tech BriefIT/DevOps

2026-07-04 - 7:30 PM PKT

Frontier LLMs

Meta readies a new coding-focused AI model

Meta is preparing a new version of its flagship Muse Spark model, with chief AI officer Alexandr Wang saying the release is coming soon. The model is reportedly aimed at advanced coding workloads, keeping pressure on OpenAI, Anthropic, and other frontier labs competing for developer use cases.

Mistral ships Leanstral 1.5 for formal proof work

Mistral released Leanstral 1.5, an Apache-2.0 model tuned for Lean 4 theorem proving and proof engineering. The model targets high-assurance coding workflows, with reported benchmark gains on miniF2F, PutnamBench, and FATE plus real bug-finding across open-source repositories.

GPUs and Silicon

AMD MI355X gets a strong GLM5.2 inference result

Wafer AI reports serving GLM5.2 on AMD MI355X at 2,626 tokens per second per node and 213 tokens per second on a single stream. The claimed cost profile is more than 2x lower than Blackwell, adding another data point for teams evaluating non-Nvidia inference capacity.

Austria launches the NVIDIA-powered MUSICA supercomputer

Austria inaugurated MUSICA, a Top500-class supercomputer built with 1,088 NVIDIA chips and more than 45 quadrillion calculations per second of peak compute. The system expands European HPC capacity for research workloads that increasingly overlap with AI, simulation, and data-intensive science.

Cloud and Infra

Pakistan opens cloud reimbursement applications for startups

Ignite opened applications for the Prime Minister Cloud Program, offering eligible Pakistani startups cloud-expense reimbursement of up to $13,500. The program is meant to lower infrastructure costs and let selected startups choose cloud services that fit their product needs.

Pakistan Tech

Pakistan approves its first national e-sports policy

The federal cabinet approved Pakistan's first National E-Sports Policy, creating a formal framework for the local competitive gaming sector. The move gives the digital gaming industry a clearer policy path, though execution will determine whether it turns into jobs, events, and exportable game talent.

Security

JadePuffer shows AI agents can automate ransomware attacks

Researchers say the JadePuffer ransomware operation used a large language model agent to automate the attack chain end to end. The case raises the bar for defenders because reconnaissance, credential theft, lateral movement, and execution can be chained faster with less hands-on operator time.

Bad Epoll Linux flaw gives local users root access

A newly disclosed Linux kernel vulnerability, CVE-2026-46242, can let an unprivileged local user gain root on affected Linux and Android systems. A fix is available, so Linux fleets and Android vendors need patch tracking rather than relying on exploit difficulty assumptions.

Dev Tools

Malicious npm packages impersonate Rollup polyfills

JFrog linked North Korea-backed actors to npm packages that mimic Rollup polyfill tooling while enabling remote access and secret theft. The incident is a reminder to pin dependencies, review package provenance, and treat lookalike packages as a live software supply-chain risk.