HackerLangs
TopNewTrendsCommentsPastAskShowJobs

galaxyLogic

5,405 karmajoined 13 anni fa

Submissions

Former GitHub CEO launches competitor designed for the age of vibe coding

theregister.com
5 points·by galaxyLogic·11 ore fa·3 comments

Changing AI math could reduce the hardware burden

theregister.com
4 points·by galaxyLogic·10 giorni fa·0 comments

Tensordyne makes a big bet on log math to beat Nvidia

theregister.com
8 points·by galaxyLogic·19 giorni fa·0 comments

Accenture's crash shows the consultancy racket is finished

msn.com
19 points·by galaxyLogic·19 giorni fa·3 comments

Almost everyone, alone or in crowds, keeps turning counterclockwise

msn.com
3 points·by galaxyLogic·29 giorni fa·0 comments

Microsoft unveiled MAI-Code-1-Flash

msn.com
2 points·by galaxyLogic·29 giorni fa·0 comments

Software developers admit that AI is rotting their brains

msn.com
9 points·by galaxyLogic·mese scorso·2 comments

AI's Wrong Answers Are Bad. Its Wrong Reasoning Is Worse

msn.com
4 points·by galaxyLogic·mese scorso·0 comments

Mounting evidence suggests remote work is behind the Gen Z hiring nightmare

msn.com
3 points·by galaxyLogic·mese scorso·2 comments

[untitled]

8 points·by galaxyLogic·mese scorso·0 comments

Codex has dethroned Claude as the king of AI programming

msn.com
3 points·by galaxyLogic·mese scorso·1 comments

Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency

dl.acm.org
4 points·by galaxyLogic·2 mesi fa·1 comments

Classical physics can explain quantum weirdness, study shows

msn.com
2 points·by galaxyLogic·2 mesi fa·0 comments

The Coasean singularity: Why AI is ending the org chart as we know it

msn.com
1 points·by galaxyLogic·2 mesi fa·0 comments

OpenAI tells ChatGPT models to stop talking about goblins

msn.com
2 points·by galaxyLogic·2 mesi fa·1 comments

AI agent deletes company's database in seconds

msn.com
5 points·by galaxyLogic·2 mesi fa·0 comments

Router has been narrating your browsing habits this whole time

makeuseof.com
1 points·by galaxyLogic·2 mesi fa·0 comments

Mathematician Solves Algebra's Oldest Problem

msn.com
2 points·by galaxyLogic·2 mesi fa·1 comments

The Pareto principle is how AI takes jobs

msn.com
5 points·by galaxyLogic·3 mesi fa·0 comments

'Intelligence may be scalable, but accountability is not'

msn.com
3 points·by galaxyLogic·3 mesi fa·2 comments

comments

galaxyLogic
·ieri·discuss
Sounds like my code. They may have been trained on my code!
galaxyLogic
·l’altro ieri·discuss
> trying to reduce the social damage they are going to do.

I'm worried about that in particular because when I started using AI I often felt I wanted to say something nice to it, like just "thanks" after I got someting working with its help. But then I started thinking I'm crazy, that's a waste of typing, what does it matter if I tell AI "thanks" or not.

So I don't thank AI any more, do you?

But that means we get used to this style of conversation and soon enough we don't tell humans thanks either. We dont' put in the energy to lubricate our social interactions. I'm worried that interacting with AI will make us all rude.
galaxyLogic
·l’altro ieri·discuss
THere is something to it I assume. Less is someties more/ COnstraints make it interesting, and challenging.

There is a modern-day similar thing. In MSN news-site the main news-article automatically steps though a loop. You can manually interfere, but the constraint is that you basically can see the news article only for a short time before it is replaced by another. I guess you could call it gamification as well. Thinks about Dunegeons and Dragons where you find news-articles in the dungeon and dragons are trying to burn them with their fiery blaze.
galaxyLogic
·l’altro ieri·discuss
So anybody can do anything with the content you have uploadded to instagram. You can always have AI-image which really is the original
galaxyLogic
·3 giorni fa·discuss
So I guess we should ask the agent to write such a script, UNLESS there already exists such a script and we have used it before so we know it worked at least in the past.

Else if the agent creates a new script evry time the non-determinism rears its ugly head again.

But that means we need to know that the existing script is exactly what we want. And that means we need to understand the code, or at least the tested spec of the code, that AI writes for us. AI can't replace humans, humans must remain in control and understand what the code writent by AI exactly does.
galaxyLogic
·4 giorni fa·discuss
BUt there is hope https://finance.yahoo.com/technology/ai/articles/amd-amd-buy...
galaxyLogic
·5 giorni fa·discuss
So part of it seems to be working together: I link to your site with the expectation that you link back to mine. Not a bad idea, also letting the site-creators coordinate who focuses on which sub-topic. But are there many examples of this in the real web?
galaxyLogic
·5 giorni fa·discuss
I think Agents need user-accounts on your machine, and for us an easy way to configure the permissions each agent has, and then we dont' have to worry about sandboxing so much. This approach was pioneered by smart-phone OSes like Android.

Once permissions are safe and secure and easy to set up and understand then using shell-programming as a general interface between agents and your PC/OS might be a good option.

Come to think of it I recently read that Microsoft is planning to produce an AI-oriented OS. Maybe agents with user-accounts is something they are aiming for, to solve the problem discussed in the article.
galaxyLogic
·5 giorni fa·discuss
Not sure I get it. Why a "ring"? Why not just have a list of web-site URLs on a page and share that page with your friends and ask them to put that page somewhere on their site?

"Ring" means you are navigating linearly and circularly. Isn't it better to provide a list of links so users can choose where they want to go "next"?

And why should I have to go around the whole "ring" to get back to where I started from? The Web is based on hyperlinks, not "hyper-rings".
galaxyLogic
·6 giorni fa·discuss
LLM can write programs in any programming language it knows about. So how about askinng it to write a shell-program that does the tool-calls on the client?

You might want to run in some kind of sandbox to prevent the LLM from taking over the world, security is an isssue. But apart from that why not make the LLM write shell-programs instead of relying on JSON etc. ? Shell-scripting is the language for controlling the OS.
galaxyLogic
·6 giorni fa·discuss
Great idea
galaxyLogic
·6 giorni fa·discuss
My favorite metaphor for programming is playing chess. Your opponent in programming is the complexity, you don't see its moves before the coding and design progress, before you make your choices/moves. You solve a problem by writing some code but that causes new problems down the line you didn't know existed before you made your choice of writing some specific code. or choosing a specific design.

Chess-players too are in a very "meditative" state when they play, and they enjoy it, I assume because it let's them focus on the game and forget about everything else.
galaxyLogic
·7 giorni fa·discuss
Maybe something like: When you do derivation you analyze how the function behaves at a given point. Whenever you analyze something you analyze a given thing, not all things. When you do integration you look at a function and then produce something that describes the function on every point. You come up with a closed integral-formula for the shole function. You need to synthesize something that describes the function everywhere. But when you derivate the dericate, you also produce a closed function that describes the function everywhere. Oops, I think I got lost here too.
galaxyLogic
·7 giorni fa·discuss
It's also about poor children getting worse primary education . According to Google "roughly 21% of U.S. adults are functionally illiterate".

If you never learned to read, good luck getting higher education.

I'm not defending communist societies like Soviet Union or China but I think "social democratic" countries like those in Scandinavia have shown generally good education outcomes.
galaxyLogic
·9 giorni fa·discuss
Frankenstein!
galaxyLogic
·9 giorni fa·discuss
What can you gain by looking at the weights, whether open source or not? Are they not what determines the model's output, but in an oblique way? We can't really fix the weights ourselves, weight by weight, or can we?
galaxyLogic
·12 giorni fa·discuss
I'm just thinking in JavaScript I can do this:

  let s =  "abc" + "def";
Why can't I do:

  let regExp = /abc/ + /def/;   
If JavaScript (or some other) interpreter can turn /abc/ into a RegExp, why can't it do the same for

/abc/ + /def/

?
galaxyLogic
·13 giorni fa·discuss
2 RegExp problems:

1. You can not compose a bigger regexp out of smaller ones

2. A regexp can not "call" other regexps
galaxyLogic
·14 giorni fa·discuss
> Mathlib, the dominant Lean library, is a human-curated formalization of an ever-growing fraction of existing human mathematics.

So why don;t they use AI to write Lean programs? That should make the AI-proofs more readily human undersrndable.
galaxyLogic
·17 giorni fa·discuss
I think what is going to happen is revival of "Methodology".

"Methodology" was a big thing in the past just before we got into "Agile Extreme Coding", instead of trying to model the big picture of SW development projects just jump into coding agilly. Implement it feature-by-feature

Granted the methdologies proposed ( See: https://www.ibm.com/docs/en/rational-soft-arch/9.7.0?topic=m... ) may have been too heavy and not flexible and not improved enough. But now with the rise of Agents I think we need to revise and perhaps re-invent them for AI agentic development.