Tootfinder

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

No exact results. Similar results found.
@roelgrif@mstdn.social
2025-07-04 05:20:18

Ah, ook binnen het CDA voldoende (te veel) Christofascisten. Maar laf, want anoniem.
Bah.
rtl.nl/nieuws/politiek/artikel

Gemor binnen CDA over tegenstem Tweede Kamerfractie over asielwetten
In het CDA klinkt gemor over het besluit van de CDA-Tweede Kamerfractie om tegen de wetten te stemmen die het asielbeleid strenger maken. "Een domme fout", moppert een voormalig CDA-bewindspersoon.

@Techmeme@techhub.social
2025-06-04 14:16:11

Mistral releases Mistral Code, a "vibe coding" client forked from open source project Continue, in private beta on JetBrains platforms and VS Code (Kyle Wiggers/TechCrunch)
techcrunch.com/2025/06/04/mist

Mistral releases a vibe coding client, Mistral Code | TechCrunch
French AI startup Mistral is releasing its own 'vibe coding' client, Mistral Code, to compete with incumbents like Windsurf, Anysphere's Cursor, and GitHub Copilot.

@bici@mastodon.social
2025-07-05 05:48:27

someone want to adopt my #cat ?
I think he won't make it to Sunday living around me....

The image features a cartoon cat with a gray and black striped coat, standing on a blue floor against a blue wall. The cat has a mischievous expression, with yellow eyes and a smirk. It is urinating, with a stream of yellow liquid arching from its body onto the floor, creating a small puddle. The cat's tail is raised, and its ears are perked up. The background is a solid blue color, with no additional objects or details. The cat's posture and expression suggest a playful or cheeky demeanor.
@scott@carfree.city
2025-06-06 01:04:57

This is so out of touch. ICE is ambushing and kidnapping our neighbors and we're going to "cover the entire city with drones"? The SFBOS should reject this "gift"
missionlocal.org/2025/06/were-

‘We’re going to be covering the entire city with drones’: Billionaire’s donation to SFPD accepted
San Francisco police commission accepts tech billionaire's gift, to provide cops with drones, cameras and a massive new office

@losttourist@social.chatty.monster
2025-07-04 08:06:56

A salutary reminder from work Slack: important backups (including recovery codes) should be stored in more than one location.
#Infosec #security #backups

@der_raddler@dresden.network
2025-06-05 18:07:10

Holger #Zastrow wäre weniger Bürgerinnenbeteiligung beim Neubau der #Carolabrücke lieber gewesen.
Das kann man einfach mal so stehen lassen.

Schneller Carolabrückenbau: CDU, FDP und Team Zastrow stellen Änderungsantrag
Schneller Carolabrückenbau: CDU, FDP und Team Zastrow stellen Änderungsantrag | Wie soll die neue Carolabrücke aussehen? Für CDU, FDP/Freie Bürger und Team Zastrow ist die Antwort klar: leistungsfähig, schnell gebaut und mit vier Spuren …

@arXiv_csSE_bot@mastoxiv.page
2025-07-04 08:14:21

Structural Code Search using Natural Language Queries
Ben Limpanukorn, Yanjun Wang, Zach Patterson, Pranav Garg, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras, Miryung Kim
arxiv.org/abs/2507.02107

Structural Code Search using Natural Language Queries
Searching code is a common task that developers perform to understand APIs, learn common code patterns, and navigate code. Currently, developers most commonly search using keywords and regular expressions that are easy to use and widely available. Beyond keywords and regular expressions, structural code search tools allow developers to search for code based on its syntactic structure. This has numerous applications ranging from bug finding to systematically refactoring code. However, these stru…

@Techmeme@techhub.social
2025-07-05 21:25:55

A developer details how he shipped Context, a native macOS app that was almost 100% built using Claude Code (Indragie Karunaratne/My Portfolio)
indragie.com/blog/i-shipped-a-

I Shipped a macOS App Built Entirely by Claude Code
How I built Context—a native macOS SwiftUI app for debugging MCP servers—almost entirely with Claude Code, and what I learned about building with AI coding agents.

@arXiv_csSE_bot@mastoxiv.page
2025-06-05 07:24:15

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
Neeva Oza, Ishaan Govil, Parul Gupta, Dinesh Khandelwal, Dinesh Garg, Parag Singla
arxiv.org/abs/2506.04019

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
LLMs have been extensively used for the task of automated code generation. In this work, we examine the applicability of LLMs for the related but relatively unexplored task of code-equivalence checking, i.e., given two programs, whether they are functionally equivalent or not. This is an important problem since benchmarking code equivalence can play a critical role in evaluating LLM capabilities for tasks such as code re-writing and code translation. Towards this end, we present CETBench - Code…

@Techmeme@techhub.social
2025-06-04 13:30:58

Microsoft says it didn't cut services to the International Criminal Court, after an AP report in May said it "cancelled" the email of ICC prosecutor Karim Khan (Sam Clark/Politico)
po…

Microsoft didn’t cut services to International Criminal Court, its president says
Chief prosecutor’s email issues have spurred fears in Europe that Trump could trigger a “kill switch” through U.S. tech giants abroad.