Tootfinder

#TGIQF: Spaceballs - Das Quiz
Spaceballs 2 kommt 2027 in die Kinos – Mel Brooks' Kultkomödie wird nach 40 Jahren endlich fortgesetzt. Wir feiern mit einem Spaceballs-Quiz. Machen Sie mit!

Could Cowboys be delaying contract extension for Micah Parsons for specific reason? https://www.si.com/nfl/cowboys/news/could-cowboys-be-delaying-contract-extension-micah-parsons-specific-reason

In Sabzevar for the second consecutive night, angry residents held demonstrations.
The protest began at Farmandari Square and Abouzar Street, and protesters blocked Bahonar Street.
Women were at the forefront of the rally, chanting slogans such as:
“Don’t be afraid, don’t be afraid, we’re all in this together,”
“Water, electricity, and life are our basic rights,”
and “We don’t want incompetent officials.”

Iran - Sabzevar: Second Night of Protests Against Water and Power Outages - NCRI
Maryam Rajavi: Like so many of Iran’s resources, the country’s water supplies have not been spared from the plunder and corruption of the clerical regime.

»Cracking bcrypt: New-gen hardware speeds up password hacking«
Personally, I prefer Argon2id and yescript. I assume that these are more secure than the bcrypt, which is outdated in my opinion, but which is still running on servers very often today.
🔓 https://specopssoft…

[New research] Cracking bcrypt: Is new-gen hardware and AI making password hacking faster?
Computing power is growing due to reduced costs and AI. Learn how it has impacted bcrypt password cracking times.

Reasoning over Boundaries: Enhancing Specification Alignment via Test-time Delibration
Haoran Zhang, Yafu Li, Xuyang Hu, Dongrui Liu, Zhilin Wang, Bo Li, Yu Cheng
https://arxiv.org/abs/2509.14760

Reasoning over Boundaries: Enhancing Specification Alignment via Test-time Delibration
Large language models (LLMs) are increasingly applied in diverse real-world scenarios, each governed by bespoke behavioral and safety specifications (spec) custom-tailored by users or organizations. These spec, categorized into safety-spec and behavioral-spec, vary across scenarios and evolve with changing preferences and requirements. We formalize this challenge as specification alignment, focusing on LLMs' ability to follow dynamic, scenario-specific spec from both behavioral and safety persp…

CodeLSI: Leveraging Foundation Models for Automated Code Generation with Low-Rank Optimization and Domain-Specific Instruction Tuning
Huy Le, Phong Nguyen, Hao Do, Tuan Nguyen, Thien Pham, Anh Nguyen-Duc, Tho Quan
https://arxiv.org/abs/2509.14373

CodeLSI: Leveraging Foundation Models for Automated Code Generation with Low-Rank Optimization and Domain-Specific Instruction Tuning
Context: Automated code generation using Foundation Models (FMs) offers promising solutions for enhancing software development efficiency. However, challenges remain in ensuring domain specificity, cost-effectiveness, and security - especially when relying on third-party APIs. This paper introduces CodeLSI, a framework that combines low-rank optimization and domain-specific instruction tuning to address these challenges. Objectives: The aim of this study is to develop and evaluate CodeLSI, a …

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li
https://arxiv.org/abs/2509.14668

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications
Assertion-Based Verification (ABV) is a crucial method for ensuring that logic designs conform to their architectural specifications. However, existing assertion generation methods primarily rely on information either from the design specification, or register-transfer level (RTL) code. The former methods are typically limited to generating assertions for the top-level design. As the top-level design is composed of different modules without module-level specifications, they are unable to genera…

If you have arrived in Norrköping for #ic2s2 and wonder if you should jump into the Glan then yes you absolutely should. Weather & water are fantastic!

Somebody ate a bee this morning.
Mr. Boots fed her a Benedryl right away, & she’s looking a lot better than she did a few hrs ago, but she’s still swollen, & I think it still hurts a bit. *sigh*
#DogsOfMastodon #SpicyFly

Hyundai testet deutschen humanoiden Roboter Neura 4NE1 im Schiffsbau
Hyundai will zusammen mit dem deutschen Robotikunternehmen Neura Robotics, deren Roboter fit für schwere und risikoreiche Arbeiten im Schiffsbau machen.