I built an automated math research system using Lean to verify the results: https://alethean.org
HN user
raver1975
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
I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/
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!"
I can factor 83% of integers by dividing by 2 or 3
I am going to name my first egg baby Llmon
I wish I could use it to recompile itself
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/
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
At first I thought the website was having trouble loading the content, so I refreshed the page.
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.
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: paulklemstine@gmail.com
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
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
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.acidI 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?
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!