Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
tough
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
33 ms
·
931.
▲
by
tough
2y ago
House of Chairs
932.
▲
by
tough
2y ago
I had to make it an image https://replicate.delivery/xezq/BfkZZEPS3CQHKa9HfOQTetyORSaW...
933.
▲
by
tough
2y ago
Table of Contents 01:53 Proving the Ruma Hypothesis - https://youtu.be/GddkKIhDE2c?t=113 05:13 Restricting Word Types to Exactly Two Bits Set - https://youtu.be/GddkKIhDE2c?t=313 05:18 First-Class Enum
934.
▲
by
tough
2y ago
The speaker is presenting a new AI tool that can synthesize proofs of mathematical theorems. The tool uses a combination of numerators and primitives to prove theorems exponentially fast, even on a single core. The speaker notes that the to
935.
▲
by
tough
2y ago
Elon too, isnt it cheaper taxes for business there? i mean they can just pretend and get paid
936.
▲
by
tough
2y ago
We don't know but some argue Banksy could be a team effort by now, part of the allure of anon work
937.
▲
by
tough
2y ago
Dog on rusty nail parabole comes to mind https://www.hashtagyourlife.com/stories/dog-rusty-nail
938.
▲
by
tough
2y ago
lmfao
939.
▲
by
tough
2y ago
Never mistake the map for the territory https://en.wikipedia.org/wiki/Map%E2%80%93territory_relation
940.
▲
by
tough
2y ago
Unless you wanna keep the original for yourself too
941.
▲
by
tough
2y ago
invite me on next installation
942.
▲
by
tough
2y ago
you could try and target a div to highlight
943.
▲
by
tough
2y ago
shl0ms exploded a lambo to pieces and sold those as NFT's crypto-art is art too a car can be art ceci n'est pas une pipe
944.
▲
by
tough
2y ago
is bluesky expo codebase open source?
945.
▲
by
tough
2y ago
nextjs example seems broken, any idea what's going on? unhandledRejection: Error: ENOENT: no such file or directory, open 'Civet/integration/unplugin-examples/components/button.civet' also by default build
946.
▲
by
tough
2y ago
Can't wait next election year to vote for my Apple representatives
947.
▲
by
tough
2y ago
saw velvet show hn the other dya, could be usful for storng these https://news.ycombinator.com/item?id=41637550
948.
▲
by
tough
2y ago
yeah sorry i was only thinking about all the dumb ai gadgets that the grifters are raising millions to shovel us and are gameboys + llm or mics on your neck
949.
▲
by
tough
2y ago
It´s a spectrum https://neuroclastic.com/its-a-spectrum-doesnt-mean-what-you...
950.
▲
by
tough
2y ago
the only AI hardware that matters are the GPU´s if altman gets his billions he can buy or build some maybe
951.
▲
by
tough
2y ago
https://en.wikipedia.org/wiki/Archive.today
952.
▲
by
tough
2y ago
Man reading this whole thread glitched my brain a bit
953.
▲
by
tough
2y ago
Creativity can and will be applied for the most horrendous destructive things. See: wars, arms, drugs. It's all on how you held those tools. I hate advertising too tho lol
954.
▲
by
tough
2y ago
Just use non-official print cartridges and you'll get your HAL
955.
▲
by
tough
2y ago
xkcd: Dependency https://xkcd.com/2347/
956.
▲
by
tough
2y ago
Attention is the real bottleneck
957.
▲
by
tough
2y ago
Never used this but have seen talon recommended https://talonvoice.com/ hoping you recover soon
958.
▲
by
tough
2y ago
A country's which population is educated, usually bodes well, unless it's an authoritative govt one, in which case dumbing down the population is the way (from the govt POV, at least)
959.
▲
by
tough
2y ago
Just all their chatgpt customers
960.
▲
by
tough
3y ago
Life and death kinda difference innit
More ›