Trending tags: ai  rust  github.com  trump  health  psychology  microsoft  linux  psypost.org  vibecoding  go  video  apple  game  google  nature.com  security  show  theregister.com  brain 

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

4 years ago philipzucker.com prolog

Related Stories

Proofs Without Words

4 days ago artofproblemsolving.com

Arcol simplifies building design with browser-based modeling

16 days ago arcol.io

Show HN: Tail Lens – Tailwind editor in browser

4 days ago taillens.io show

Shadow: A browser engine from scratch in Javascript

10 hours ago shadow.goose.icu browsers javascript web

The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Toward Solving It)

10 days ago kirancodes.me

I dream of roombas: 1000s of automated AI robots that autonomously maintain code

11 days ago ghuntley.com ai

modern web browser engine

19 hours ago reddit.com rust web

Peep show: 40K IoT cameras worldwide stream secrets to anyone with a browser

8 days ago theregister.com

Arc Browser's Maker Releases First Beta of Its New AI-Powered Browser 'Dia'

4 days ago techcrunch.com arc release

Show HN: Chawan TUI web browser

2 days ago chawan.net show web

I rewrote the "Fishy" flash game in Rust. Compiles to In-Browser WASM. Fully open source.

3 days ago gametorch.github.io flash game rust wasm

p99.chat - quickly measure and compare the performance of Rust snippets in your browser

13 days ago p99.chat rust

p99.chat - quickly measure and compare the performance of Python snippets in your browser

13 days ago reddit.com python

Websites Are Tracking You via Browser Fingerprinting

an hour ago engineering.tamu.edu

Beachpatrol: CLI to automate your everyday web browser

15 days ago github.com browsers javascript nodejs unix web

I'm looking for a demo that replicated the Windows 10 desktop in a browser window.

8 days ago reddit.com javascript windows

A map of the whole human history backed by a small SQLite db in your browser.

30 hours ago feverzsj.github.io

Browser Game: guess my AI's password + source code

35 hours ago gianistatie.github.io ai game

'Ladybird' Browser's Nonprofit Becomes Public Charity, Now Officially Tax-Exempt

17 days ago ladybird.org

Show HN: Chili3d – A open-source, browser-based 3D CAD application

8 days ago news.ycombinator.com 3d show

Microsoft stops nagging Windows users to make Edge the default browser, but only in Europe | Everyone suddenly moves to Europe

15 days ago techspot.com europe microsoft windows

Browser extension (Firefox, Chrome, Opera, Edge) to redirect URLs based on regex

17 days ago github.com chrome firefox opera regex

Show HN: LLMFeeder – Browser extension to extract clean content for LLM context

15 days ago github.com llm show

Unrestricted Browser Networking: Raw TCP Sockets, Modern TLS, and CORS-Free HTTP

13 days ago developer.puter.com http https networking tls

opfs - A Rust implementation of the Origin Private File System browser API.

11 days ago crates.io api rust

An Experimental New Dating Site Matches Singles Based on Their Browser Histories

7 days ago wired.com

Performance issue in streaming gRPC with Tonic

13 days ago reddit.com rust

Laravel Migration With Schema Validation in MongoDB

9 days ago laravel-news.com mongodb

Help beginner in go with this problem

9 days ago reddit.com go

Psychological Safety in Engineering Teams with Titus Winters

13 days ago aviator.co