JM Tech Power

JM Tech Power Web

8285 results for “Design your own homepage”

arxiv.org
[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation contact arXiv subscribe to arXiv mailings
Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
blog.janestreet.com
Jane Street Blog - Posted by moconnor
author: moconnor
blog.janestreet.com
Jane Street Blog - Posted by pzimmer
author: pzimmer
blog.janestreet.com
Jane Street Blog - Posted by toverby
author: toverby
blog.janestreet.com
Jane Street Blog - Posted by amyers
author: amyers
arxiv-org.atlassian.net
Jira Service Management
Atlassian uses cookies to improve your browsing experience, perform analytics and research, and conduct advertising. Accept all cookies to indicate that you agree to our use of cookies on your device. Atlassian cookies and tracking notice ,
blog.janestreet.com
Jane Street Blog - Posted by rayesantharao
author: rayesantharao
blog.janestreet.com
Jane Street Blog - Posted by emorris
author: emorris
blog.janestreet.com
Jane Street Blog - Posted by jkilburg
author: jkilburg
cr.yp.to
Advice for computer buyers
D. J. Bernstein Computer hardware Advice for computer buyers This page is obsolete. I have a new page explaining how to build the 2006.01.07 standard workstation . The standard workstation If you ask me what computer to buy, I'll start by s
symbolica.io
Control flow patterns in Rust – Symbolica | Modern Computer Algebra
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
simonwillison.net
Watching o3 guess a photo’s location is surreal, dystopian and wildly entertaining
Simon Willison’s Weblog Subscribe Sponsored by: Teleport — Prevent access bottlenecks. Unify identity. Teleport replaces fragmented identity and access tooling with a single identity layer that security teams trust, and engineers want to us
blog.janestreet.com
Jane Street Blog - Posted by sfunk
author: sfunk
blog.janestreet.com
Jane Street Blog - Posted by mbacarella
author: mbacarella
mathshistory.st-andrews.ac.uk
Richard Hamming (1915 - 1998) - Biography - MacTutor History of Mathematics
…as an American mathematician and computer scientist, best known for the so-called Hamming code . View six larger pictures Biography Richard Hamming 's parents were Richard J Hamming and Mabel G Redfield. He was brought up in Chicago where h
gwern.net
HP: Methods of Rationality review statistics · Gwern.net
Statistically modeling reviews for ongoing story with R.
amazon.com
Cool Tools: A Catalog of Possibilities: Kelly, Kevin: 9781940689005: Amazon.com: Books
Cool Tools: A Catalog of Possibilities [Kelly, Kevin] on Amazon.com. *FREE* shipping on qualifying offers. Cool Tools: A Catalog of Possibilities
news.ycombinator.com
Profile: npunt | Hacker News
…eator Currently: enjoying a nice relaxing break Previously: design @ Margins.app, cofounder @ Daylight Computer co, cofounder @ EdSurge (edtech news co), VP Product @ OneSignal (YC S11), and an assortment of others. Always: creative metacog
hyperallergic.com
Aaron Short - Hyperallergic
Aaron Short is a Brooklyn-based journalist covering politics, criminal justice, real estate, the environment, and the arts.
hyperallergic.com
Ai Weiwei and the Art of Keeping Your Mouth Shut
“On Censorship” offers timely reflections from the dissident artist, whose entire life and career have been marked by state persecution.
Add a site to JM Search

JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.

Log in to submit a site.

Site owner? About JMSearchBot