HackerTrans
TopNewTrendsCommentsPastAskShowJobs

osener

921 karmajoined hace 14 años

Submissions

Deploy from Claude Design to Vercel

vercel.com
1 points·by osener·hace 18 días·0 comments

Formal Methods and the Future of Programming

blog.janestreet.com
3 points·by osener·hace 26 días·0 comments

comments

osener
·anteayer·discuss
Smart people have been falling into this trap as long as LLMs have hit production. Supposedly early internal versions of GPT-4 had "sparks of AGI" but the public version was "dumbed down for safety"

https://www.youtube.com/watch?v=qbIk7-JPB2c
osener
·el mes pasado·discuss
In my experience restricting programs that can be expressed is a good thing, even more so with agentic engineering. The more guardrails there are, strong typing/TDD/computer use/..., the solution space shrinks and chance of a robust solution increases. Sure maybe this burns more tokens going in circles but it feels less like a slot machine more like a robot searching for a solution for a well-defined problem.

Devs have very strong opinions about dynamically typed programming languages. But reasons such as "exploratory programming", "expressiveness", "taste" that makes them feel good to program in for humans does not matter for agents. Agents don't care that the language "limits them" and prevents them from expressing the code in a succint way because it would not type check.
osener
·hace 2 meses·discuss
Surprised to see Clojure/ClojureScript come up on socials more often all of a sudden. I used it professionally for a few years around ~2012 and like many others moved off JVM and moved into typed [functional] languages.

Is the sudden buzz due to agentic coding? Does it rip through code faster with no type checking and fewer invalid syntax errors and reserved keywords to deal with? are we in for a sexp resurgence?
osener
·hace 2 meses·discuss
Ah I just switched to using https://github.com/uxjulia/crossink-reader

Not sure what KOReader is but the fonts included in this one and the overall reading experience is solid.
osener
·hace 2 meses·discuss
This is the official announcement: https://research.ibm.com/blog/granite-4-1-ai-foundation-mode...

It is not the researchers' fault that some slop got posted here instead.
osener
·hace 3 meses·discuss
It is common amongst French, Dutch etc speakers where saying "it said x" sounds unnatural.
osener
·hace 4 meses·discuss
This announcement mentions Node.js a couple of times. Does it also support Bun as a package manager and a runtime?
osener
·hace 4 meses·discuss
> Cost remains an ever present challenge. Cursor’s larger rivals are willing to subsidize aggressively. According to a person familiar with the company’s internal analysis, Cursor estimated last year that a $200-per-month Claude Code subscription could use up to $2,000 in compute, suggesting significant subsidization by Anthropic. Today, that subsidization appears to be even more aggressive, with that $200 plan able to consume about $5,000 in compute, according to a different person who has seen analyses on the company’s compute spend patterns.

This is the relevant quote from the original article.
osener
·hace 5 meses·discuss
There are fast fashion attempts at this like adding elastic material to every fabric so they can get away with having fewer sizes and cuts thus less unsold inventory and availability issues. But everything has a tradeoff. In this case the elastic material degrades MUCH faster than cotton so you have to throw away your jeans quite a bit earlier compared to a quality 100% cotton denim which can last you a decade. This is very unfortunate as most of the fabric in that piece of clothing is perfectly fine and this is pure waste.
osener
·hace 5 meses·discuss
This is some next level nitpicking. It's like criticizing XCode or Idea config of someone, instead of their product (or more popularly whether their website hijacks the back button). But at least in this case the dev config is checked in and reproducible.
osener
·hace 5 meses·discuss
Ok so it is not going closed source, they are just going to extend it as they need to drive Zed features. Totally understandable for an in-house UI framework, this is why you’d build one yourself anyway. I can imagine maintaining backwards compatibility, doing releases, writing documentation and growing a community around it is a considerable distraction from their product work.
osener
·hace 5 meses·discuss
For years I thought I had a faulty touchscreen and started relying on dictation more and more. Seeing this video saved me from going insane. They must have crunched the numbers and decided that these choices benefit more people than not. BUT HOW!
osener
·hace 5 meses·discuss
> We ignore for these purposes Zed's GPUI which the Zed team has transparently, and understandably abandoned as an open source endeavour

Do you have a source for this?
osener
·hace 5 meses·discuss
I understand your perspective. However, those trades, and most work in general, differ from art. Art is vital to our society, yet the current reward system optimizes for the worst art and the worst people.

We need more art that pushes boundaries and remains controversial. Instead, we favor the type of artist who attracts the most attention through their personality, whether because of their looks or a manufactured edgy image, while producing mundane, lowest-common-denominator work. We must support contemporary artists who move us forward rather than remaining stuck in popularity contests or constant nostalgia.

Under the current system, it is almost inevitable that influencers use their status to promote gambling ads and NFTs, ruining the lives of their fans. We need to break this cycle of rewarding increasingly poor behavior while making it harder for independent artists to earn a living.
osener
·hace 5 meses·discuss
When I tried it last year, their edge compute infra was just not there yet. It could not do any meaningful server-side rendering because of code size, compute and JS standard constraints.

Has this situation changed?
osener
·hace 7 meses·discuss
I have a confession to make.

I hope ChatGPT starts writing only short sentences.

Punchy one-liners.

One thought per line.

So marketers finally realize this does not work.

And stop sending me junk emails written like this.
osener
·hace 7 meses·discuss
Listen to the sound of HN hawks erupting with joy when they realize they can blame JS, React, RSC, Rust, Cloudflare, and the cloud all for one outage.
osener
·hace 7 meses·discuss
I knew plenty of office workers managing just fine using OpenOffice 10-15 years ago.

Today people are much more reliant on real-time collaboration, polished cloud and mobile experiences. Fractionalized open source software has a harder time competing with this than file based boxed software workflows of the past.
osener
·hace 9 meses·discuss
Reminds me of the headline I saw a long time ago: “50 years later, inventor of the pixel says he’s sorry that he made it square.”
osener
·hace 9 meses·discuss
https://github.com/zed-extensions/tsgo does exactly this