HackerTrans
TopNewTrendsCommentsPastAskShowJobs

galaxyLogic

5,405 karmajoined 13 ปีที่แล้ว

Submissions

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

theregister.com
5 points·by galaxyLogic·เมื่อวาน·3 comments

Changing AI math could reduce the hardware burden

theregister.com
4 points·by galaxyLogic·11 วันที่ผ่านมา·0 comments

Tensordyne makes a big bet on log math to beat Nvidia

theregister.com
8 points·by galaxyLogic·20 วันที่ผ่านมา·0 comments

Accenture's crash shows the consultancy racket is finished

msn.com
19 points·by galaxyLogic·20 วันที่ผ่านมา·3 comments

Almost everyone, alone or in crowds, keeps turning counterclockwise

msn.com
3 points·by galaxyLogic·30 วันที่ผ่านมา·0 comments

Microsoft unveiled MAI-Code-1-Flash

msn.com
2 points·by galaxyLogic·30 วันที่ผ่านมา·0 comments

Software developers admit that AI is rotting their brains

msn.com
9 points·by galaxyLogic·เดือนที่แล้ว·2 comments

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

msn.com
4 points·by galaxyLogic·เดือนที่แล้ว·0 comments

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

msn.com
3 points·by galaxyLogic·เดือนที่แล้ว·2 comments

[untitled]

8 points·by galaxyLogic·เดือนที่แล้ว·0 comments

Codex has dethroned Claude as the king of AI programming

msn.com
3 points·by galaxyLogic·2 เดือนที่ผ่านมา·1 comments

Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency

dl.acm.org
4 points·by galaxyLogic·2 เดือนที่ผ่านมา·1 comments

Classical physics can explain quantum weirdness, study shows

msn.com
2 points·by galaxyLogic·2 เดือนที่ผ่านมา·0 comments

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

msn.com
1 points·by galaxyLogic·2 เดือนที่ผ่านมา·0 comments

OpenAI tells ChatGPT models to stop talking about goblins

msn.com
2 points·by galaxyLogic·2 เดือนที่ผ่านมา·1 comments

AI agent deletes company's database in seconds

msn.com
5 points·by galaxyLogic·2 เดือนที่ผ่านมา·0 comments

Router has been narrating your browsing habits this whole time

makeuseof.com
1 points·by galaxyLogic·2 เดือนที่ผ่านมา·0 comments

Mathematician Solves Algebra's Oldest Problem

msn.com
2 points·by galaxyLogic·3 เดือนที่ผ่านมา·1 comments

The Pareto principle is how AI takes jobs

msn.com
5 points·by galaxyLogic·3 เดือนที่ผ่านมา·0 comments

'Intelligence may be scalable, but accountability is not'

msn.com
3 points·by galaxyLogic·3 เดือนที่ผ่านมา·2 comments

comments

galaxyLogic
·17 ชั่วโมงที่ผ่านมา·discuss
I always wonder when I see a picture of a cockpit of an airplane how many meters there are. Don't know why they need so many, what meters do you need to fly a plane?
galaxyLogic
·เมื่อวานซืน·discuss
Sounds like my code. They may have been trained on my code!
galaxyLogic
·3 วันที่ผ่านมา·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
·3 วันที่ผ่านมา·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
·3 วันที่ผ่านมา·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
·4 วันที่ผ่านมา·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
·5 วันที่ผ่านมา·discuss
BUt there is hope https://finance.yahoo.com/technology/ai/articles/amd-amd-buy...
galaxyLogic
·6 วันที่ผ่านมา·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
·6 วันที่ผ่านมา·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
·6 วันที่ผ่านมา·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
·7 วันที่ผ่านมา·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
·7 วันที่ผ่านมา·discuss
Great idea
galaxyLogic
·7 วันที่ผ่านมา·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
·8 วันที่ผ่านมา·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
·8 วันที่ผ่านมา·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
·10 วันที่ผ่านมา·discuss
Frankenstein!
galaxyLogic
·10 วันที่ผ่านมา·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
·13 วันที่ผ่านมา·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
·14 วันที่ผ่านมา·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
·15 วันที่ผ่านมา·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.