- 5
- 14
- 43
- 75
one eternity later
one eternity later
I solve part two simply by dfs through the part once, and then if time gets to zero, i restart the dfs.
I'M GOING TO KILL YOU SANTA CLAUS!!!!!!!!!!!
- 3
- 14
- 2
- 6
[*] with blatant cheating that would make @Snakes blush
pip install z3-solver
import z3
x, y = z3.Ints('x y')
zs = z3.Solver()
zs.add(0 <= x, x <= size_limit)
zs.add(0 <= y, y <= size_limit)
for it in data:
zs.add(z3.Abs(x - it.sx) + z3.Abs(y - it.sy) > it.r)
assert zs.check() == z3.sat
return zs.model().eval(x * 4000_000 + y).as_long()
15_1 took 0.212 seconds
- 5
- 19
- 1
- 10
As promised, here is the full process thread for Ghostwriter - the #AI typewriter. A journey from idea to realization:
— Arvind Sanjeev (@ArvindSanjeev) December 14, 2022
The idea: With the exponential growth and emergence of a prolific number of AI products we see every day, I wanted to create a mindful intervention that (1/13) pic.twitter.com/MCOeAcM26q
- 72
- 91
#StableDiffusion2 depth to image can texture entire scenes in Blender automatically.
— Carson Katri (@CarsonKatri) December 15, 2022
Try it for yourself: https://t.co/2hgFmQJKL4 pic.twitter.com/Adncq3jfXC
- 10
- 11
Bonus points if you put your keyboard on your head and understand why you're being asked to do that.
- 29
- 14
this is travelling salesmen, eh? i'm pretty sure at least.
- 9
- 26
Unsuspend accounts who doxxed my exact location in real-time
— Elon Musk (@elonmusk) December 16, 2022
- 10
- 32
You can no longer post a link to Mastodon on Twitter. pic.twitter.com/GoQrdRRanf
— Oliver Alexander (@OAlexanderDK) December 16, 2022
Elmo is afraid
@RPD discuss
- BromiteShill : clickbait
- 3
- 6
Orange Site:
- 2
- 13
Apparently not. That's bad.
— Paul Graham (@paulg) December 16, 2022
https://x.com/paulg/status/1603575480271216647
Bonus Twittercel pulling up pg's history of defending :
- 1
- 10
Darn, this sounds bad, really bad. Imagine if Twitter was a monopoly.
Yea right like that'll stop them from growing, Elmo.
- 33
- 100
The site keeps going down because they have a music generator and the guys working on it are just doing it for fun and they weren't ready for for the news to spread yet
This has some cool samples you can play and explains how it works:
https://www.riffusion.com/about
Here's people talking about how bad and compressed it sounds and why, but there are also people amazed at how good it sounds
https://news.ycombinator.com/item?id=34001908
Edit:
Can I run it locally?
https://github.com/hmartiro/riffusion-app
https://huggingface.co/riffusion/riffusion-model-v1/tree/main
The model is 15GB
Here's one of the authors talking about it on orange site:
https://news.ycombinator.com/item?id=33999162
Other author here! This got a posted a little earlier than we intended so we didn't have our GPUs scaled up yet. Please hang on and try throughout the day!
Meanwhile, please read our about page http://riffusion.com/about
It’s all open source and the code lives at https://github.com/hmartiro/riffusion-app --> if you have a GPU you can run it yourself
This has been our hobby project for the past few months. Seeing the incredible results of stable diffusion, we were curious if we could fine tune the model to output spectrograms and then convert to audio clips. The answer to that was a resounding yes, and we became addicted to generating music from text prompts. There are existing works for generating audio or MIDI from text, but none as simple or general as fine tuning the image-based model. Taking it a step further, we made an interactive experience for generating looping audio from text prompts in real time. To do this we built a web app where you type in prompts like a jukebox, and audio clips are generated on the fly. To make the audio loop and transition smoothly, we implemented a pipeline that does img2img conditioning combined with latent space interpolation.
- 2
- 8
Just simply check using this website lmao. Or use it to confirm a lolcow's identity if you're a kiwicel.
I do not condone doxxing.
- 23
- 33
see leaderboard on geeses post
- 5
- 10
Orange site
https://news.ycombinator.com/item?id=33982347
https://old.reddit.com/r/programming/comments/zlp2hm/rewriting_typescript_in_rust_youd_have_to_be/
https://old.reddit.com/r/webdev/comments/zlp5sm/rewriting_typescript_in_rust_youd_have_to_be/
https://old.reddit.com/r/rust/comments/zlvyic/an_interview_with_the_author_of_stc_a_typescript/
https://old.reddit.com/r/typescript/comments/zlz0ad/rewriting_typescript_in_rust_youd_have_to_be/
- 5
- 8
I’m reading this book on programming in python, and I’m wondering how fast the average developer is versus the average novice? I know it’s likely different depending on project, language and such, but it’s like, is it normal to take a week to hack together a telegram chat bot for a intermediately experienced dev? Are project lengths measured in weeks or days?