VAIS Boundary: Keep Authority Outside the Model
An AI security boundary that mediates agent tool calls, applies trusted policy, and independently checks observable effects.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
138,751 catalogue cards
-
-
Valuation Desk: A Field Guide to British Antiques
A free reference site combining plain-English antiques guides, hallmark tools, recent auction prices, and valuation advice.
-
VarioVoice, a flight instrument you listen to
A personal project for paragliding and hang gliding that speaks altitude, wind, thermal drift, and variometer sounds while the pilot keeps the phone in a pocket.
-
VastRon’s Small-Batch Robotics Room
A hands-on robotics program in Kukatpally, Hyderabad, where children aged 6–15 build circuits, sensor-driven robots, and their own Arduino projects.
-
Vehistra: Fleet Management Without Cloud Lock-In
An open-source Windows fleet-management system for vehicles, drivers, inspections, maintenance, accidents, workshops, and records on a company’s own server.
-
Velvet Turns Imperative Programs into Lean Proofs
Velvet is a Lean 4 library that lets programmers write imperative algorithms with contracts, run them, and verify their correctness.
-
ViaCalc — Travel planning calculators
A travel-planning toolkit for checking baggage limits, flight and time-zone changes, driving distances, fuel, tolls, and total road-trip costs.
-
Video-Alarm Maps the Question Behind a Camera
An interactive German prototype helps people document cameras in public space, identify possible operators, and prepare privacy-related letters.
-
ViewTakeout — Google Takeout Without the Filing Cabinet
An offline browser tool that turns a Google Takeout export into browsable photos, timelines, maps, contacts, and service data.
-
A Teen Fan Site for Jennifer’s Body
A personal, social-profile-style fansite devoted to Jennifer’s Body, its characters, quotes, music, trivia, quizzes, and maze-like extras.
-
Voxeloom Turns Beloved Places into LEGO Keepsakes
Voxeloom designs custom brick models of houses, landmarks, churches, and other meaningful places.
-
Voxint — Local Speaker-Labeled Transcripts
An open-source tool that turns recordings into speaker-labelled transcripts on your own hardware.
-
Wairoa Reserve, Watched by Its Neighbours
A daily field guide to North Bondi’s Wairoa Reserve, tracking birds, garden growth, trees, rules, and public art.
-
WaiWai Farm Grows Work, Strawberries, and Community
A farm-based disability employment and independent-living support project in Osaka, combining agricultural work with training, local events, and specialty crops.
-
Weatherling Brings Rain to Your Mac Windows
Weatherling is a macOS menu bar app that makes rain fall around your open desktop windows, complete with adjustable intensity and optional downpour audio.
-
Whiteout Hong Kong Turns Causeway Bay Into a Snowbound Shooter
A browser-based first-person shooter that reconstructs Hong Kong districts as storm-hit mission spaces.
-
Wind Down Daily: twelve minutes chosen for the night you had
A bedtime app that selects one guided practice from three quick check-ins about sleep, tension, and remaining energy.
-
Word Souq — learn Arabic by finding it
A free daily word-search game that teaches Arabic through English clues, spaced review, and four practice modes.
-
WorldVote, the People's Cartographic Bureau
A public map where people propose alternative names for real-world places and vote on them.
-
Yarn Gauge Converter
A browser-based converter that recalculates knitting and crochet pattern counts for your own yarn tension.
-
يومها: a multilingual household task board
يومها turns household instructions into translated, image- and voice-assisted tasks for domestic workers and other household staff.
-
Yesterfilm: A Public-Domain Film Feed
A scrollable archive of mid-century industrial films, educational reels, newsreels, and television commercials from the Prelinger Archives.
-
Zera Studio, the synthetic cast with a price ledger
A library of persistent synthetic creators for campaign videos, with fixed characters, preset campaigns, downloadable files, and generation costs shown before production.
-
Zero Series: Programming Books You Can Run
Book-length programming curricula that take readers from first principles to runnable simulated worlds and playable Go games.