Pramode C.E

Programmer

[Pramode C.E @pramode_ce]

https://t.co/b8Y9TVt6aZ

[Arun @isenditbacc]

Some quizmaster in Bangalore will ask this question few years from now

What's the connection between these numbers: 4, 56, 66, 115, 155, 156, 230, 237

[Cristiano Calcagno @ccrisccris]

Hoping a formal methods expert becomes an influencer before an influencer becomes a formal methods expert.

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Wild story: the Python semantics Anthropic used was defined at Brown by @JoePolitz and students from a *MOOC*. Summary here, which also explains what Anthropic depends on:
https://t.co/Uszobto20P
Funnily, the last sentence says, "Once again, machines may put people out of work".

[Daniel Lemire @lemire]

The profzi scheme is a famous comic from Jorge Cham. It compares academia to a Ponzi scheme: many students work for a professor to produce more papers. The professor takes credit for all the paper, but few of the advisee will have a great academic career because... the whole thing is pyramidal... the numbers don't add up.

The whole operation is largely sterile and only works due to the pretence that producing peer reviewed research papers is equivalent (synonymous) to producing new, valuable, knowledge.

What happens if AI can produce the papers?

The scheme is exposed.

We see it in mathematics right now. The AIs sidestep the entire peer-review process... and provide correct proofs to what was considered by the math establishment as the important problems.

These people are very angry.

It is the great AI debunking.

So what is the solution? Go back to what should always have been. The purpose of research should never have been to produce peer-reviewed papers. This was always a perversion. (For people who do not read me regularly, the peer-review model became dominant in the 1970, it is a recent addition.)

The purpose, of course, is to solve problems that people care about. That's much more difficult than producing papers... so it puts the bar much higher for scientists and researchers. But the bar should never have been lowered in the first place.

What happens to the 'profzi scheme'? I predict, I hope, that it will fall. Not all of a sudden, but once the system come to the realization that the production of papers is a solved problem, AI can do it better than us... then it won't be decades before students start worrying about where the train is headed.

(The comic attached is AI generated. Obviously.)

[Abhinav Upadhyay @abhi9u]

I've received a lot of encouraging feedback on my book on virtual memory from engineers and students.

But this morning, I was pleasantly surprised to see a 5-star rating from Prof. Nectarios Koziris of the National Technical University of Athens, who has spent decades researching and teaching computer architecture and high-performance computing.

It feels very rewarding to receive appreciation from someone with deep expertise in the field.

[KC Sivaramakrishnan @kc_srk]

something's brewing..

[Glitchbyte @0xglitchbyte]

My advice to juniors is simple:

Dont be a prompt engineer, it takes no skill.

Do:
- learn math
- learn to code
- build from first principles

Go as far as you can with math.

Learn to code well. Start with the @handmade_net crowd.

Build whatever interests you from scratch: llms, game engines, compilers, etc.

They key here is building systems you understand inside out. Just reading about it isnt good enough, let alone letting ai do it for you.

You have to put the reps in.

There is a tidal wave of slop being built by many who have never done the above, and someone will have to fix all that down the road.

Be that someone.

[unconed 🛸💫🌞 @unconed]

There's something particularly boneheaded and perverse about doing demoscene-related things with AI.

The entire field is about acquired personal skill and the respect that is derived from that. Demoscene slop is not just made wrongly but fully discredits the poster.

[Pramode C.E @pramode_ce]

@copyninja_ Just that the usual concerns of most FOSS projects (which are not corporate-funded to the extend the kernel project is) regarding LLM usage do not apply to the kernel project.

[Pramode C.E @pramode_ce]

More than 80% of Linux kernel development is done by professionals employed at companies like Intel, Google, IBM etc (looks like this has been the case for a long time).

The kernel is basically a corporate project.

As long as these companies want to keep the kernel around, everything will be fine; nothing else really matters.

Linus's strongly pro-AI stance should be seen in this context.

[Reimu NotMoe @ 🦋 | 🖥️🛠️⚙️☕️🏙️🖖🖤🩶🤍💜 @ReimuNotMoe]

omg this sh*t is ableist as hell

Just wait until nobody cares to send patches to your stupid mailing lists. In a few years, it will cease to be a way to prove a person's competence. Everyone will have their own kernel fork instead. You guys can just entertain yourselves.

[Aman_Chain 🏳️ @Amanprabhat9]

Tesla engineers can never

[Prasanna Viswanathan @prasannavishy]

One of Budget 2026-27’s good proposal - 5 university townships envisaged as integrated academic zones built beside major industrial and logistics corridors. 🎓

Five states are in contention
Coimbatore, Tamil Nadu
Jagiroad, Assam
Dholera, Gujarat
Amaravati, Andhra Pradesh
Odisha (Bhubaneswar, Sambalpur or Koraput)

The states must compete for a township through a challenge-based process

The idea is based on South Korea’s Daedeok Innopolis turned research into tech companies, and China’s Guangzhou Higher Education Mega Center clustered whole campuses into one hub. via @bsindia

[GameUnionTV @GameUnionTV]

LMAO, #Blender is finally free and open source!

[Pramode C.E @pramode_ce]

@prathyvsh scary, and true

[Pramode C.E @pramode_ce]

As always, there are no silver bullets.

[Valentin Ignatev @valigo]

I am so much more exhausted when I program with AI than without it. I reflected a bit, and I think I know why.

First, I think about how to solve a problem. This step is the same with and without AI. Then, with AI I have to write a prompt with a decent bit of precision and somewhat more long-term than if I just jumped into straight implementing it and figuring out the details as I go.

Then you start up the agent, and you immediately have some other work to do and you jump to another prompt for another task, where you also think really hard and try to formulate what you want quite well.

By the time you're done, first agent has some code for you to review, and you can't slack - you need to actually review it and be diligent about it. And when you're done - second task is there for your review. So really there's not time to rest.

When I program manually, I can decompress while typing the code in, I can rely on my muscle memory for typing and navigating the codebase, so there's periods of deep think and some relaxation. With AI, there's only deep think. And as soon as you try to think less - you open the doors for slop.

It's so tiring.

[Jithin B.P., Ph.D. @jithinbp_]

TDC7200 ToF chip from @TXInstruments is pretty cool! Made a small add-on card for SEELab for ultra high resolution timing( 55pS ) measurements.

[Pramode C.E @pramode_ce]

Heard somebody saying here that very soon, we will be using an "assisted-by: human-dev-xyz" tag for a very small number of our code commits. 😀

[Pramode C.E @pramode_ce]

@prathyvsh Yes, that's true.

[jss @jsensarma]

We can make fun of Dreze, but like a lot of people have said, we are looking at existential crises for society:

- Businesses don't need to hire people to do 'work' - AI will do most of the 'work' and better. Sure it's not really touched the physical realm right now - but it eventually will. Besides the physical realm was low value work anyway.

Delivering quick commerce items doesn't become valuable because AI can't do it. Hell there will be even more takers for those delivery jobs.

- Existing business will shrink in employment. A population that was comfortable with applying for jobs will simply end up in frustration (and perhaps revolt).

- But AI allows people to create new things that they couldn't previously. So the economic universe *will* also expand dramatically.

In theory - we should see lots of new goods and services being sold by many new businesses. Most of them small. Less labour, more AI.

- But this requires huge change in society.

A. Government has to make it very easy to run small business that can easily transact globally.

B. Education system has to train entrepreneurs who can handle multiple job functions and not expect 'assigned work' mode.

C. Entrepreneurs need Capital. A job didn't require capital - but if we are going to go from mass-employment to mass-entrepreneurship - then easy capital availability is a must.

Both Govt. and Education system are slow (the latter abysmally so). We are simply not designed to extend risk capital to everyone. So these critical factors will not be able to catchup with what the new world requires.

- Finally - let's face it - not everyone can be entrepreneur or fit in that environment. How many people can go from designing a new item to managing it's manufacture to marketing it to managing books to ..

The talent and skills required to take advantage of the new opportunities will leave many many people behind. What do such people do?

I am afraid UBI is not the answer, unless that is delivered as mind-numbing drug (the Fentanyl addicted zombies on SF bylanes are one extreme dystopian way of solving this problem).

- Finally - if there are no answers to these questions - particularly the last one - then answers from low-IQ Marxists will fill that void.

The easiest and oldest explanation for why some people are left out - is that others, better off (or immigrants), stole it from them. The villification of Adani is the classic example of this.

The requirement of capital to take advantage of this new world order also lends some credence to that villification. If capital is only available to a small percentage, and the rest neither have jobs, nor capital to start a business - how should we expect them to react?

Nature, after all, abhors vaccum.

This is not an India specific issue. Although as a poor country, selling largely cognition related work - we are more affected. But the same factors apply everywhere.

Rich societies - otoh - who have always been used to 'outsourcing' work will find this much easier to adapt to. Outsource to AI, instead of foreigners and immigrants.

I don't think the Indian Govt. has a clue about this. I don't think the economists and advisors who surround it have any idea how quickly the landscape has changed and the broader implications. Else they would be in war-room mode right now.

And the implications for everyone much beyond - most of those writing and commenting here. Marxism will not be kind to the better off.

"Ask not for whom the bell tolls; it tolls for thee."

[Pramode C.E @pramode_ce]

@isenditbacc @arafatkamaal Nothing. 😀