HNHacker News
TopNewBestAskShowJobs

ksoped

42 karma · joined July 31, 2023

submissionscomments
ksoped··on A misalignment of AI in mathematics
People aren't ready to discuss AI assisted imagery as art yet. Most discussions lack the nuance that Baudelaire lacks in that critique, which deals with the nature of art and the importance of human intention and input.
ksoped··on A misalignment of AI in mathematics
If he didn't understand photography, he wouldn't understand the nuance there either.
ksoped··on A misalignment of AI in mathematics
Analogy is a meaningful way to discuss. Drawing parallels can illustrate a point and bring up nuances by pointing out where it falls apart.
ksoped··on A misalignment of AI in mathematics
Scale the problem down to an email. You're saying AI won't disrupt writing an email, when the text is vetted and authored by a person. True!

But now let chatGPT write lengthy emails unrestricted and now no one wants to read your slop anymore. That's what is being advocated against.

ksoped··on A misalignment of AI in mathematics
Agreed! Although, if done by a mathematician, it's not a ~complete waste. I think the community learns something along the way.

Is there an established term for the idea of "DoS"? I've taken to calling it slop fatigue.

ksoped··on A misalignment of AI in mathematics
Did he say so somewhere? I don't think these ideas are contradictory. It's just an pro AI tooling but anti-slop stance.
ksoped··on A misalignment of AI in mathematics
It's not just the isolated dumping, it's the fast, isolated, possibly untraceable dumping, without long term support.

It'll basically become slop fatigue if OpenAI starts dumping out proofs faster than the community can keep up, and some turn out to be wrong, never formalize it, don't stay to support it, etc.

ksoped··on A misalignment of AI in mathematics
Not "a" human's understanding; Humanity's understanding. Understanding the research problem, and the solution especially, is a lot more involved than simply "read their methods". That's the whole point being made.

It matters if a human came up with it because of everything mentioned in the article... A mathematician's solution is necessarily built on other's ideas that have been disseminated, internalized, pressure tested etc. Methodologies differ too. AI can abuse its compute resources and generate a true/false or counterexample statements, without laying the foundation that a decade of globalized research would have.

ksoped··on Diabolus Ex Machina
My assumption is OP doesn't know much about LLMs. Clearly speaking to chatGPT as a person (which I'm guilty of as well at times), but the personification goes further, as you're assigning it attributes that it can't have. Even in the comments people are drawing comparisons to a psychopath... It's just a bot. Also, their chatGPT's response style seems to me like it's been personalized. I also hate when chatGPT hallucinates and starts giving nonsense response, but I acknowledge its just "hallucinating"; what we don't want to start doing is attributing human emotions to a machine.
ksoped··on Ask HN: Please recommend university open courses for software design?
This is terrible advice. Sounds like OP wants to learn industry standards/practices and tooling. How are they supposed to pick that up on their own? It's more likely they'll just develop bad habits, especially with ChatGPT.
ksoped··on I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA
Hi Peter, what are my options as someone who qualifies for DACA (but doesn't have it) when it comes to working in tech or getting hired by a real company? Currently I do "false freelance" work for a small company that doesn't pay well.
ksoped··on A Uruguayan company teaches people how to turn regular cars into EVs
There's a lot of videos about EV conversions on YT but they're mostly on the edutainment side not a full on course. Watching RichRebuilds, JerryRigEverything's jeep conversion gives you an overview of the process and they're entertaining if you're completely new to the idea.
ksoped··on Show HN: Rent Elderly People – Skip Lines and Get Senior Perks
The benefits for seniors made me sad. Poor old people, this might actually be a good idea if it weren't for everything that's obviously wrong with it.
ksoped··on Report on the role of standardized test scores in undergraduate admissions [pdf]
This just makes me more sad, thinking about what could have been. I had a 1500 on SAT from a school where the average is probably at 1000.
ksoped··on Anti-aging drug for dogs moves closer to gaining FDA approval
Really wish this wasn't fox news ...
ksoped··on Proposed "au" unit for CSS provides for styling on an astronomical scale
I don't understand what for
ksoped··on I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA
Hi Peter, what are my employment options as a programmer who (long story short qualifies for DACA) is completely undocumented. Not a citizen, not a resident but living in the US. I'm working with a local company and doing work as a 1099 Contractor, but this along with freelance can be limiting. I would much rather work with a big(ger) company, but unfortunately I don't have work authorization. Am I right in assuming there's no way for me to get hired at a real company? Or are there workarounds I'm not aware about?
ksoped··on Apple's Blue Ocean
>Second, people still crave the advantages of removable batteries that were left behind: increasing battery life by swapping batteries instead of using a cumbersome external battery pack, inexpensively and conveniently extending the life of a product by replacing a worn-out battery with a new one—without paying for someone else to perform delicate surgery on the device.

This whole paragraph is delusional. Apple users carrying and swapping out batteries? Apple supporting and allowing people to simply swap out a battery instead of going to the apple store for a certified repair? Apple??

ksoped··on Humming-Birds
I was looking through it thinking "Wow this is beautiful, reminds me of that Euclid one I saw a while back". Nicholas has done it again. Man doesn't miss
ksoped··on “Not A Bot”, a new subscription method for new users in two countries
So... prove you're not a bot by paying $1?? Nice monetization tactic, Elon.
ksoped··on The Ends of Knowledge
Bold first fkn sentence
ksoped··on What every software developer must know about Unicode in 2023
You gotta know the rules to bend the rules
ksoped··on The X220 ThinkPad
This sounds like an Apple fanboy comment, tbh. Most people are used to windows and if they want an alternative, they'll reach for Linux. MacOS is more of a con rather than a pro since you're effectively locked in with no chance of switching.
ksoped··on UI frameworks are stuck in the last decade
The adoption of Tailwind is its own phenomenon. The whole point was to come at CSS at a different angle that circumvented the pain points of regular CSS, not really aimed at being a crutch for those who don't know CSS. You still gotta know that p-8 adds padding and what it does within the box model, and using the grid or flexbox doesn't really make anything simpler.
ksoped··on UI frameworks are stuck in the last decade
> I really would rather use Vue/React/whatever that is "stuck", stable

I wouldn't call Vue stable. It's actually one of the points of the article (not necessarily agreeing); the frameworks tend to make breaking changes, especially Vue.

ksoped··on Show HN: LearnLingo – Converse with an AI-powered language tutor
This would be a great service if it was a more robust translation tool. From what other comments are saying, this is the chatGPT API with some prompting for translation but I could see this working and providing much more value with a model specifically trained like what Iceland is doing to help preserve its language. https://openai.com/customer-stories/government-of-iceland
ksoped··on Show HN: LearnLingo – Converse with an AI-powered language tutor
>aimed at helping younger kids with schoolwork

IMO duolingo is aimed at peopple(adults) who say they want to learn a language but aren't ready to take it seriously