Games & Play3 weeks ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
26 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Instantly share files and text across devices (Mac, PC, iOS, Android, Smart TVs) via your browser, no signup needed.
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.
Restaurant reservation tool that charges guests who don't show, reducing no-shows by up to 80%.
@ReserveT37916 · X
Ask one question to multiple AI models, compare answers, and watch them debate to consensus.
u/trekhleb · Reddit
I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]
Edit, compress, convert, and merge videos and audio files directly in your browser.
zhw2590582 · V2EX
最近对网站进行了重构，做成了免费的视频工具站：[ArtPlayer Tools]( https://artplayer.org/tools/) 主要是围绕着 ffmpeg.wasm 和 mediabunny 实现的一些可以直接在浏览器里用的视频/音频工具，常用的有： - 视频压缩：[Compress Video]( https://artplayer.org/compress-video/) - 视频裁剪：[Crop Video]( https://artplayer.org/crop-video/) - 视频合并：[Merge Video]( https://artplayer.org/merge-video/) - 视频尺寸调整：[Resize Video]( https://artplayer.org/resize-video/) - 视频旋转：[Rotate Video]( https://artplayer.org/rotate-video/) - 视频调速：[Change Video Speed]( https://artplayer.org/change-video-speed/) - 添加文字到视频：[Add Text to Video]( https://artplayer.org/add-text-to-video/) - 添加水印：[Watermark Video]( https://artplayer.org/watermark-video/) - 提取字幕：[Subtitle Editor]( https://artplayer.org/subtitle-editor/) - HLS 转 MP4：[HLS to MP4]( https://artplayer.org/hls-to-mp4/) - 音频可视化：[Audio Visualizer]( https://artplayer.org/audio-visualizer/) 大部分工具都是本地处理，文件不会上传到服务器。最开始是因为自己偶尔要处理一些视频，开剪辑软件又有点重，在线工具又担心隐私，所以就慢慢做成了一个站。 目前还在持续完善，体验肯定还有不少粗糙的地方，比如不同浏览器的兼容、移动端操作、长视频性能之类的。 网站： [ArtPlayer Tools]( https:
Make complex decisions with a free weighted decision matrix in your browser.
@bjoern_live · X
Make complex decisions easy.
Browser-based suite of 118 privacy-focused tools for images, PDFs, SEO, and media.
@ayan11200 · X
try this one Free solution
YouTube player with parental controls that whitelists safe channels and removes shorts and recommendations.
@AmblingLife · X
Share files, collect documents, and discuss them with clients—no signup required.
@droplana_com · X
Editorial workflow platform for teams to plan, write, review, approve, and publish content.
@duke_can_c_u · X
Hi I’m the founder of a content collaboration platform for teams and creators, with focus on editorial workflows. Always looking to connect with people passionate about content, SaaS, and building great products.
Analyze customer friction points and get optimization recommendations to improve e-commerce conversion rates.
@EnricoBoeker · X
Match with friends based on shared values through question-based comparisons.
zloy88 · HN
ValuePair – a friendship app that cares about values first