News for hackers. Stuff that matters.

raver1975

I can't sign up: too many authentication attempts
I hope they get their money back
Could we organize a group buy and then share those unlimited tokens?
Re:Introduction to Formal Verification with Lean Part 1 on Wednesday July 22, 2026 @10:04AM (#49007040)
I built an automated math research system using Lean to verify the results: https://alethean.org
Re:REO Trucks I4 4WD Pickup Truck Starts at $21,500 on Saturday July 18, 2026 @03:11PM (#48961222)
The website is black on black, not easy for me to see at all.
It looks like you really fucked up tying you shorts though. Don't mind me, I dum dum
Re:The Fall of the Theorem Economy on Thursday July 02, 2026 @11:19AM (#48762970)
I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/
Re:Googlebook on Tuesday May 12, 2026 @06:15PM (#48115320)
WTF is a Googlebook? "Hey buddy, you got a little googlebook hanging out of your nose, a little nasty looking googlebook. Don't eat it, that's so gross!"
Re:Using lava lamps to break RSA on Wednesday December 31, 2025 @10:53AM (#46445206)
I can factor 83% of integers by dividing by 2 or 3
Re:We're Losing Our Voice to LLMs on Thursday November 27, 2025 @05:37PM (#46073801)
I am going to name my first egg baby Llmon
Re:Java Decompiler on Wednesday November 26, 2025 @07:12AM (#46056669)
I wish I could use it to recompile itself
Re:One Third of the Web Will Stop Working in 4 Days on Sunday August 03, 2025 @10:01AM (#44776646)
Doesn't compare to the mayhem and destruction we experienced during Y2K.
The app isn't available on Android because it supposedly cannot preserve anonymity. Why is that? That doesn't make any sense.
Most current version will be here. Using IPFS previously for hosting was dumb. https://evildrgemini.github.io/
Here's a little LLM "game" that simultaneously brings you on an adventure while secretly analyzing you for deviance, diagnoses and other weird bizarro personality quirks and other freaky shit.

Secretly psychologically analyze your friends and family while entertaining them.

You will have to provide your own free Google Gemini API key, and I promise you I'm not tracking any of the generated data(yet) besides anonymous firebase user analytics (for science!).

When you have played the game a few turns, you can toggle your secret personality diagnosis by clicking on the element right above the submit turn button.

This is a work in progress, most of the one page code was dreamed up by Google Gemini itself.

Please let me hear your polite and life affirming feedback and suggestions.

Ignore the explicit mode toggle, nothing good can come from that.

Thanks for playing!

Re:Ask HN: What apps have you created for your own use? on Wednesday December 13, 2023 @08:33AM (#38627074)
android app to replace the wallpaper with an AI generated image every couple hours. Google refused to let me publish it because it could generate nudity. SHOCKED TONE
Re:Above the Fold Is a Myth on Tuesday October 25, 2022 @01:56PM (#33334010)
At first I thought the website was having trouble loading the content, so I refreshed the page.
Re:Show HN: Sunshine.Blue – Mobile Animation Studio on Tuesday June 22, 2021 @04:26AM (#27589287)
This is a project I've been working on while I've been unemployed and suffering from a crippling depression.

Source code is available at: https://github.com/raver1975/sunshine.blue

This is written mostly in Java, with some JavaScript for the HTML app. It uses the very awesome LIBGDX framework and runs on four platforms: standalone app, Android, IOS, and HTML. You can see the HTML app at https://sunshine.blue and the android app is available at https://play.google.com/store/apps/details?id=com.klemstineg.... No IOS distribution yet.

Sunshine.blue uses the Interplanetary File System (IPFS) for storage and distribution of the scenes. Also when a scene is saved or loaded, the address is shared to all the other instances of the app using pub/sub.

Loading a gif on the HTML app takes a LONG time, be patient.

Here's something that boggles my mind. I'm not sure I can do a very good job explaining it. I wanted to include a scripting language, so I managed to fit a Java bytecode classloader. You can load and run arbitrary code from the network. The mind boggling part is that for the HTML app, the Java code is transpiled to JavaScript, but the Java classloader still works the same! I can't wrap my mind around that. You can load Java code that is able to modify it's own runtime, while running in a different language, what!

I am autistic, and I've been suffering from a severe depression for the last three years. I'm going to be homeless in a couple months because I'm unable to qualify for disability, because they say I can be "retrained". I'm really scared. If any of you crypto millionaires would like to help, my Ethereum address is 0x974A163B6D30a8730DC7CD7073860aB67abfaCFc

I'll do my best to answer any questions, but I do have difficulties with communication. I hope someone finds this project useful.

Re:Ask HN: Who wants to be hired? (June 2021) on Wednesday June 02, 2021 @07:12AM (#27367290)

  Location: Appleton Wisconsin, USA
  Remote: Yes please
  Willing to relocate: eventually
  Technologies: Java, AI, audio/video synthesis, prototypes
  Resume: https://www.linkedin.com/in/paulklemstine/

  I have Asperger's and find marketing myself to employers to be prohibitively challenging. I've also had some extreme personal difficulties over the last three years.

  Helped to create the Appleton Makerspace: 
https://appletonmakerspace.org/

  My four star Android music app with a terrible, terrible UI:
https://play.google.com/store/apps/details?id=com.acid

  My current pandemic fun time project, a cross platform, mobile animation app.
http://sunshine.blue

  email: [email protected]

  I am really hoping to work on something fun. Thank you for your time.
Github pages can host a static website for free https://pages.github.com/ Edit: probably not those clojure files if they run server side
Re:Ask HN: How can I help my son with Autism? on Wednesday December 23, 2020 @10:49AM (#25518796)
I suffer from Asperger's and I recently found a hormone therapy that helps me a lot. Oxytocin Nasal Spray. It's been life changing for me. http://oxitoc.in
Re:Ask HN: Who wants to be hired? (October 2020) on Thursday October 01, 2020 @07:14PM (#24657178)

  Location: North East Wisconsin
  Remote: Yes
  Willing to relocate: Yes
  Technologies: Java, Android, AWS, Docker, Linux, Gradle, Python
  Linkedin: https://www.linkedin.com/in/paulklemstine/
  Email: paulklemstine at gmail

  Cofounder of the Appleton Makerspace
  https://appletonmakerspace.org/
  Developer of a popular Android music synthesizer app 
  https://play.google.com/store/apps/details?id=com.acid
Re:NSW Digital Driver Licence on Saturday November 09, 2019 @12:18PM (#21492735)
I imagine it's really trivial to download the Android APK, decompile it into it's source code, modify the code, and then push the modified app back on to the phone. You can be anyone you want to be. This idea does fall apart after the officer looks up the license number on his device. Do you think this would work at taverns?
Re:Pure Java groovebox engine, beginning stages. need help on Thursday July 11, 2019 @12:58AM (#20409237)
I decided to use JavaFX instead of Swing for the UI, and I shit you not, it took me 24 hours to implement knobs. Knobs!