@glyph Did you quote post something?
Uncategorized
903
Posts
312
Posters
0
Views
-
@glyph It's pretty good.
Like, consistently better than any of the pre-LSP approaches.
@offby1 I am, thus far, pretty disappointed
-
@glyph My main experience of pyright is as a less buggy and broken MyPy.
-
@glyph My main experience of pyright is as a less buggy and broken MyPy.
@glyph That's damnation by faint praise, though...
-
it's truly amazing what LLMs can achieve. we now know it's possible to produce an html5 parsing library with nothing but the full source code of an existing html5 parsing library, all the source code of all other open source libraries ever, a meticulously maintained and extremely comprehensive test suite written by somebody else, 5 different models, a megawatt-hour of energy, a swimming pool full of water, and a month of spare time of an extremely senior engineer
@glyph (I giggled) Worthy meme material 👍 .
-
@GroupNebula563 @bornach @RichiH @glyph also it's just called desalination with extra steps, which is already an expensive process, and I think operating salty pipes carries its own batch of problems. It's already nerve-wracking enough running water around tons of computers (eventually every pipe will need to be replaced, or it'll break...)
-
it's truly amazing what LLMs can achieve. we now know it's possible to produce an html5 parsing library with nothing but the full source code of an existing html5 parsing library, all the source code of all other open source libraries ever, a meticulously maintained and extremely comprehensive test suite written by somebody else, 5 different models, a megawatt-hour of energy, a swimming pool full of water, and a month of spare time of an extremely senior engineer
@glyph We're getting close to building a table of tasks that 2020s AI is good for, and tasks it's not
-
@neurobashing @glyph FWIW Ruff has mostly been waiting for ty to handle multi-file type-aware lint rules. We plan to integrate those bits of ty back into Ruff at some point in this coming year.
-
it's truly amazing what LLMs can achieve. we now know it's possible to produce an html5 parsing library with nothing but the full source code of an existing html5 parsing library, all the source code of all other open source libraries ever, a meticulously maintained and extremely comprehensive test suite written by somebody else, 5 different models, a megawatt-hour of energy, a swimming pool full of water, and a month of spare time of an extremely senior engineer
@glyph Psh, I can do it with *only* the full source code of an existing library.
That’s called efficiency.
-
it's truly amazing what LLMs can achieve. we now know it's possible to produce an html5 parsing library with nothing but the full source code of an existing html5 parsing library, all the source code of all other open source libraries ever, a meticulously maintained and extremely comprehensive test suite written by somebody else, 5 different models, a megawatt-hour of energy, a swimming pool full of water, and a month of spare time of an extremely senior engineer
-
@tuban_muzuru I have no idea what point you are trying to make here.
-
@neurobashing @glyph FWIW Ruff has mostly been waiting for ty to handle multi-file type-aware lint rules. We plan to integrate those bits of ty back into Ruff at some point in this coming year.
@amethyst @neurobashing to be clear I am not "hating" on it, for what it does it's fine. but without support for mypy plugins it's just useless to me, personally.
I think that pressures in the community given the popularity of astral's tools will probably sunset Zope Interface eventually, at least with its current syntax, so the solution for me will probably, eventually, be that I use ty and stop doing anything fun or interesting with type-check-time verification. Doesn't help *today*, though.
-
@amethyst @neurobashing to be clear I am not "hating" on it, for what it does it's fine. but without support for mypy plugins it's just useless to me, personally.
I think that pressures in the community given the popularity of astral's tools will probably sunset Zope Interface eventually, at least with its current syntax, so the solution for me will probably, eventually, be that I use ty and stop doing anything fun or interesting with type-check-time verification. Doesn't help *today*, though.
@glyph of course, and we’re the first ones to say that ty isn’t ready for full time use, we were already behind on getting a beta out. I do think the ty team expects to fill in most of the gaps from mypy plugins before calling it a stable release, though tbh I wouldn’t be surprised if Zope isn’t high on the priority list 😅
That said, for my personal projects I still rely on pyright/pylance for my LSP in VScodium, though I still depend on running mypy in my ‘make test’ runs to catch things I didn’t notice in the editor.
-
@tuban_muzuru I have no idea what point you are trying to make here.
Pax. I learned Rust from the LLM. Certain principles apply, we correct the errors of compilation, borrowing, whatever appears from cargo test.
I still write the code.
-
@glyph
I also really love this comic:I'm a luddite (and so can you!) by Tom Hunberstone
-
@riverpunk @stuartl @glyph An object with a weight of 1 Newton.
-
@riverpunk @stuartl @glyph Isn't standard gravity 9.81N/kg (9.81m/s^2)?
-
@glyph I want to sit every nerd down and explain to them that if you expect your users to know what's inside their computer you are excluding 95% of your potential audience
-
@glyph I want to sit every nerd down and explain to them that if you expect your users to know what's inside their computer you are excluding 95% of your potential audience
@jalefkowit I know, right? On a lot of platforms it's somewhat defensible because getting the correct technical answer may be really hard or impossible. But Apple specifically put a zillion dollars into a whole elaborate system so you don't need to know, and then they just ignore it to save 3 megabytes off the download!
-
@jalefkowit I know, right? On a lot of platforms it's somewhat defensible because getting the correct technical answer may be really hard or impossible. But Apple specifically put a zillion dollars into a whole elaborate system so you don't need to know, and then they just ignore it to save 3 megabytes off the download!
@glyph The real bandwidth savings come when the user decides they don't know which button to click and closes the download tab
-
@jalefkowit I know, right? On a lot of platforms it's somewhat defensible because getting the correct technical answer may be really hard or impossible. But Apple specifically put a zillion dollars into a whole elaborate system so you don't need to know, and then they just ignore it to save 3 megabytes off the download!
@glyph @jalefkowit I think both philosophies should be supported. one option is to provide a "Mac binary" for those who dont know or dont want to have to know about their exact hardware architecture or OS version. under the hood its multi-arch/os as needed. then also provide slim narrow releases for folks who do know or do care or truly need to minimise network or disk footprint
Gli ultimi otto messaggi ricevuti dalla Federazione
-
Mettereste il vostro corpo in un contenitore? Costretto a guardare da un punto di vista le cose? Con una contrazione su alcune parti del corpo? Tenendo ferme altre parti, sovrasfruttando altre?
Eppure è quel che facciamo ogni giorno, quando facciamo qualunque cosa non sia avere coscienza del nostro corpo
Ed è grave se almeno ogni tanto non prendiamo coscienza del corpo e lo liberiamoE chissà che così facendo non blocchiamo anche la mente nella stessa gabbia
-
@pineheap such cuties ❤️
-
@pineheap they are so gorgeous.
-
-
Time for your own DNS server
We knew this will came. Now we know we have to install our own DNS server on our own local networks.Italy Fines Cloudflare 14 Million Euros For Refusing To Filter Pirate Sites On Public 1.1.1.1 DNS (torrentfreak.com) 29
An anonymous reader quotes a report from TorrentFreak: Italy's communications regulator AGCOM imposed a record-breaking 14.2 million-euro fine on Cloudflar
https://monodes.com/predaelli/2026/01/11/time-for-your-own-dns-server/
#Ethics
-
@wildsown how so? Is there an OK gag?
-
-
@ok hello
