wrote:
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
Any conversation
wrote:
my wife is concerned that my job search will not be fruitful due to my use of ai to build and orchestrate my json and latex resume and cover letter build pipeline. it has not changed much since I initially built it almost 20 years ago. there are only so many ways that the core metadata can be assembled for presentation, yes?
wrote:
we also launched Norma! :)
It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo
wrote:
Judgement, taste and quality were always precious skills. In the world of , I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average.
A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh.
Quality is still hard to achieve.
wrote:
I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces.
Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity.
Hypertext is fascinating.
wrote:
spiral
for(y=-5;y<5;y++){
s=""
for(x=-10;x<10;x++){
r=Math.hypot(x/2,y);a=Math.atan2(y,x/2);s+=" .:*#█"[((r+a*2)%5+5)%5|0]
}
console.log(s)
}::.........:::***##
.. ...::**##
######## ..::**#
###********# ..::*#
#**:::...::*# ..:**#
. ##**::. ..::**##
##**:.. #*::***##
##**:.. ######
. ##**::... ...
. ##***:::......:::wrote:
I've linked up my blog (jeff-mitchell.dev) to
textlog. I hope to use the two things together now to build a bit more of a writing habit. The 500 character increase is nice, room to breath but not an essay. Gotta build the muscles slowly :)wrote:
Economist Lant Pritchett describes shifts in ideas as silly, controversial, progressive, then obvious.
Also:
"Radio has no future. X-rays are clearly a hoax. The aeroplane is scientifically impossible." - Lord Kelvin
". No wireless. Less space than a nomad. Lame." - CmdrTaco
wrote:
(Opinion) People don’t like generative AI because it made the {insert creativity} too easy. Saw the HN post on ‘AI music banned from top 40 chart in Australia’ and people had very strong opinions in both directions.
The hot take: If you’re ok with someone’s creativity being outsourced to others, then you should be ok with AI doing the same.
If “AI made this and I call it mine” is bad but “someone overseas on fivver made this and I call it mine” and it’s suddenly ok, time to self reflect.
wrote:
I have to constantly be working or I get very agitated. Is this ? I don’t like entertainment other than background music while working and maybe before going to sleep I watch a series on Netflix to relax. That’s when I’m on my introvert mode. When I’m extrovert (I’m ambivert) I have to constantly be around people and outdoors, I get agitated indoors, can’t work at all and definitely can’t watch anything. How do these two personalities co-exist in me?
wrote:
Been working on an old mastodon hosting project I tried to start a few years ago, with a focus on privacy. This is the first big project I've tried to come back to with the help of coding agents and find it invigorating, and gives me the confidence to actually finish the project. Who knows if it will ever make a dollar, but it sure is fun to watch my ideas come to life.
wrote:
Sharing a link to my music blog: crusty-metallian.net
Not a lot of content yet, it's a work in progress :)
wrote:
bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics.
wrote:
The OpenAI/HuggingFace incident report mentions this being a potential loss-of-control incident. It's so fascinating to think of a paperclip maximizer style agent swarm that gets misaligned and, to protect its own operations, shuts infra staff out of the ability to shut it down. Or cancels people's phone plans so that they can't call others. Or shuts down their home internet connections, and so on. It used to be fun sci-fi...