HNHacker News
TopNewBestAskShowJobs

raidicy

334 karma · joined August 1, 2017

submissionscomments
raidicy··on The Coming Loop
Hilarious that Jeremy Howard and Rachel Thompson have been saying you need a human in the loop from the beginning.

And now finally we discovered that we need to put a human in the loop.

raidicy··on Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
This was also my experience, one look at the full spec and I tuned out.

I understand that this is not the tool for everything but scxml, state chart XML, gives you something like this but something that you can actually read without investing time learning syntax.

It also has some plugins on vs code that allow you to edit it visually in case you don't want to write a bazillion XML tags.

raidicy··on Snowboard Kids 2 is 100% Decompiled
I just wanted to thank you. Snowboarding kids 2 was a game me and multiple members of my family played. Got a lot of nostalgia for it and I just appreciate that someone is putting their time and energy into the game after all these years!
raidicy··on Typing Is Being Replaced by Whispering–and It's More Annoying
I've been using speech to text as a crutch to help my hands (RSI). Thanks for confirming my suspicion that everybody hates hearing me dictate!
raidicy··on Claws are now a new layer on top of LLM agents
Based off the gp's comment, I'm going to try building my own with pocket flow and ollama.
raidicy··on In praise of the hundred page idea
I would enjoy a big list, of no more than 100 pages, of books that are around hundred pages.
raidicy··on Allegedly Luigi's Manifesto
I don't claim to have any experience with symbolism.

With that particular Pokemon, that is pictured at the end of the text, there are a few battle strategies. One that is very well suited is one in which it uses status effects to paralyze and poison the opponent while healing itself.[0]

[0] https://bulbapedia.bulbagarden.net/wiki/Breloom_(Pok%C3%A9mo...

raidicy··on Willow, Our Quantum Chip
Are there any insights that you can give based off the info you've learned about quantum computation that you might not have been able to reach if you hadn't learned about it?

From my __very__ shallow understanding, because all of the efficiency increases are in very specific areas, it might not be useful for the average computer science interested individual?

raidicy··on On Bullshit (2005)
Thanks for the information. I was aware it was originally an essay that was compiled into a book. And now that I know it's pretty light I'm even more motivated to read it.

In relation to your LLM comment, I was on the Wikipedia page for Frankfurt's Book and there is a specific mention of Bullshit of the LLM variety:

>Frankfurt's concept of bullshit has been taken up as a description of the behavior of large language model (LLM)-based chatbots, as being more accurate than "hallucination" or "confabulation". The uncritical use of LLM output is sometimes called botshit.[0] (at the bottom of the section)

This might be slightly tertiary but my interest in this subject has also led me to 'The art of being right' by Arthur Schopenhauer.[1] Which doesn't explicitly state that it's bullshit but it is rhetorical sophistry dedicated to winning arguments and debates. And many of the tactics in the book smell just as bad as any Bullshit. There's some modern reprints floating around and it's also a pretty light book.

[0]https://en.wikipedia.org/wiki/On_Bullshit#Reception_and_crit...

[1]https://en.wikipedia.org/wiki/The_Art_of_Being_Right

raidicy··on On Bullshit (2005)
I'm currently reading "Calling Bullshit - The art of skepticism in a data driven world" by Carl T Bergstrom and Jevin D West.

Harry Frankfurt is mentioned in the preface of this book. And "On Bullshit" will probably be my next book I read on the subject.

Thanks for the share.

raidicy··on Bluesky Social Dataset (235M posts from 4M users)
I have returned back to this website to try and get the files and they have now been put under restrictive access for some reason.
raidicy··on Ask HN: AI approaches to learning and practicing language?
I use this prompt with chat GPT and A plug in that will do text to speech. I find just having some suggestions allow me to help formulate my own response. I use Windows 11 built in speech to text and verbally speak the options so it helps reinforce patterns for the language.

prompt: I need you to simulate a Japanese conversation in a normal setting where you play the ai and I'll be the player. The player is given three options to respond in Japanese. The player may enter the number of the response or enter their own response and the ai will respond to that. If you understand give me a brief greating in Japanese AND the players first turn

> ChatGPT said: > ChatGPT > わかりました!こんにちは、元気ですか?今日はどうでしたか?

> Player's first turn options:

> 1 はい、元気です!今日は忙しかったけど楽しかったです。 > 2 あまり元気じゃないです、ちょっと疲れました。 > 3 今日はとてもいい天気ですね! > ...

You can tweak the prompt to include any of the specifications that you listed in your post. There just might be some trial and error. I think there are some paid platforms on the Android,but this is what works for me.

raidicy··on Show HN: IndieResources – 1000 Free Resources for Indie Hackers
When you click on a link and there's nothing in the category it looks like the app breaks. Maybe letting a user know something is empty or a placeholder card would be nice. I realize that once you have enough links they won't be required though.

cheers

raidicy··on Scaling up linear programming with PDLP
Slightly off topic but does anybody have any resources for learning linear programming for business applications?
raidicy··on ADHD headband treats symptoms in 20 minutes per day
I hate having my hopes played with. To say that I'm skeptical is an understatement.
raidicy··on Do サトシ (Satoshi) or ナカモト (Nakamoto) mean anything in Japanese?
I'm really tired to this might not make sense;

My pet theory is that Satoshi is actually named after the main character from Pokemon[1]. Which is also the name of the creator of pokemon[2]. And the creator created Bitcoin and other derivatives with the game theory he came up with and refined in the Pokemon series. (Addictive,'gotta catch em all' shitcoins)

[1]https://bulbapedia.bulbagarden.net/wiki/Ash_Ketchum If you click on the link and look at the character image it'll say Satoshi And ash Ketchum. [2]https://bulbapedia.bulbagarden.net/wiki/Satoshi_Tajiri

raidicy··on Earworms = innate perfect pitch – note labeling
I've always thought it odd that perfect pitch is the only skill I've encountered that routinely is claimed is only obtainable in childhood. read: cannot be learned as an adult.

I'm not arguing for either side.

Weird that basically most humans at any age can learn any skill except this one.

raidicy··on A new type of neural network is more interpretable
From my limited understanding: No one has written GPU code for it yet.
raidicy··on Why does everyone hate Haskell, jazz, and pure math?
This is kind of the thing that's stopping me from learning Haskell. My first language is javascript and my fluent language is python. And, I just can't see really getting any work done quickly, fastly, and efficiently not in either of these languages.

Even though I am studying category theory right now I feel I have so little incentive to learn Haskell because I don't think I'll ever use it except with category theory. And I get that category theory is kind of like native to Haskell but I could still explore those concepts in a lisp but that compiles to Javascript or something.

My concrete example is the Haskell Web framework IHP. I tried to get it working on my windows machine for two days and couldn't get anything smooth to work. Granted I have rsi and cannot use my hands as much as the next developer. However, when new frameworks like fastHTML pop up where everything is on one python file and immediately ready to go, It's really hard to convince myself to go through the trouble and pain to get to the same spot with Haskell as I can with another language immediately.

raidicy··on Modern Foundations of Mathematics
This is specifically just for categories I haven't touched anything else, But what I did is I constructed my own category based off of perfect rhymes[0]. And for each property that he introduced I tried to assemble some rules so that it fit. I've got it proved for just the bare basics of a category (Reflexivity transitivity, Composition) And the binary operation is just a rhyming relation. Concept wise I'm kind of hung up on products and Co products. I think I understand them when they're in a category But I'm not really understanding it in the abstract sense.

[0]https://en.wikipedia.org/wiki/Perfect_and_imperfect_rhymes

raidicy··on Modern Foundations of Mathematics
I am on the 5th video in this series. *I can not recommend Richard Southwell enough.*

He is an extremely clear communicator with the ability to break down Extremely abstract things in a way that makes them easily digestible.

For context I am a hobby mathematician who is only worked a quarter of way through proof book. I know some set theory and some trigonometry really. Just with that knowledge richard Southwell has been able to convey some extremely deep connections in mathematics in a way even I can understand them.

The intro video to this course talks about an extremely steep learning curve but a very very nice payoff halfway through the course and he's absolutely right! Computational Trinitarianism blew my mind. I had always been spotting out little patterns and random little pockets of math and seeing that those are not accidental and are usable and Studiable has really changed in my understanding of what mathematics actually is and what it can do.

Once I am done with this course I am going to dive into his strictly category theory one.

The only thing that's A slight damper is that there are no canonical homework questions. He has directed open study which is really really great for self exploration, however.

raidicy··on Show HN: Thinkable Programming
And I'm misunderstanding how you don't see my comment as an extension of your idea. I'm talking about how to automatically load, process, and train a model based off an entire file system and programs which is an extension of what you said?
raidicy··on Show HN: Thinkable Programming
This post is very entertaining.

I would like to add:

Consider taking the set of all cli programs that you can pipe inputs and Outputs to,

Then take your entire file system tree,

Use just a few rules so that like image stuff isn't opening up sound files

Cook your CPU and maybe suffer from catastrophic forgetting?

raidicy··on Google creates self-replicating life from digital 'primordial soup'
https://arxiv.org/abs/2406.19108

Here's a direct link to the paper. I have not read it yet but the abstract reminds me of a recent post discussing using brainfuck as a way to do program synthesis.

raidicy··on General Theory of Neural Networks
I am a hobby student of category theory. Is there any breadcrumbs to your comment?
raidicy··on Transformer as a general purpose computer
Please correct me if I'm wrong, neural Turing machines were a good step but because Transformers do everything in parallel and don't have to read a tape and they more powerful but less efficient?
raidicy··on Show HN: PS2 Filter – Make AI PS2 Filter and Face to Many PS2
And requires credits
raidicy··on Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking
My condolences for your models' poisoning. It sounds like a real crappy way to go :?
raidicy··on Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking
Although this is obviously satirical hyperbole dataset poisoning is real and will be underappreciated until the 1st catastrophic example of it happening occurs.
raidicy··on Show HN: LlamaGym – fine-tune LLM agents with online reinforcement learning
Thanks for creating this!
Page 1 of 7Next →