tomjen3

Facebook knows I graduated with a degree in comp. science and when (since I told them). They could therefore infer that I am into nerdy things - but I get bottom of the barrel ads.

Part of the problem as far as I can see is that there is no way to mark an add as insultingly matched.

There is no shortage of money to build housing. There is an abundance of regulatory burdens in places that are desirable to live in.

Its not due to a lack of money that housing in SF is extremely expensive.

Awesome. Any chance we will see a phone app?

I know coding on a phone sounds stupid, but with an agent it’s mostly approvals and small comments.

They put it into the Azure portal, and I tried to get it to answer me what the open resource cost us in storage. It appeared retarded at first, but then I realized it didn't have access to know what I had opened or anything.

Until MS makes sure their models get the necessary context, I don't even care to click on them.

I think a good workflow is to use the llm as a minimum to fix typo and grammar issues.

From there you can also go from first draft to feedback.

Openapi can do that too. But the real benefit is that it forces a simplification of the interface. XML has too many outs for architectural astronauts. JSON has close to none.

Anyone on HN can write a Swift alternative protocol in a few days. XML documents signed with public keys is a good start. The trick is to get the banks to use them and to integrate them in their systems, but the EU is capable of writing banking regulations.

Operating systems are even easier - pick your flavour of Linux - devices are all made in China anyway.

Its the cloud and software part that sucks. VPSes aside, almost any managed service is US based.

AI has made this even worse.

AWS, etc has datacenters in the EU.

Microsoft relies on the EUs courts to recognise their property rights.

It is absolutely true, with the interesting caveat that the basic (spelling grammar) doesn’t matter. Clarity and detail of your ideas do.

I was reading through the documentation and it seems like these are writing directly to storage not on the machine where the sprite lives? That makes me worry for how slow the storage is. npm install writes a lot of files.

That argument is pretty close to what people used to say about photography.

In reality its more about the candler maker seeing gaslighting down the road. You are not going to compete.

I use writing to think - I also happen to be really good at typing so fast my hands don't coordinate. And I am a terrible speller.

If I wanted to publish my writing, people would focus on that, and not the content of the writing. If I run it through Kimi K2, people will focus on my ideas.

Okay, make it two useful things then. Be a top 25% marketeer and a top 25% programmer and you are worth so much more than either separately.

If my mum buys a copy of Visual Studio, is it their fault if she cannot code?

It will certainly help - but its an extremely high bar. Almost all formal verification of software today is "does this pass the typechecker"?.

Now this captures some errors, but it doesn't really capture high level ones (is this program guaranteed to not deadlock is a hard one), and it doesn't capture the one that is important for business purposes (does this do what the customer wants). That requirement is more important than correctness (vitness all the software that is described as "crap", but is nonetheless widely used).

I don't think this is a required key to unlocking vibe coding. That seems to be easy: does this provide business value? And there the answer seems roughly to be "yes".

Aren't the best proofs very short?

In 2012 post on Facebook was from my friends.

Now they are from influencer pages.

But accessiblity on the frontend is to a large extend patterns - if it looks like a checkbox it should have the appropriate ARIA tag, and patterns are easy for an LLM.

Not only can we not just do that (you did not even define what you mean), but China is coming out with models that are good enough for this purpose - and they are, because they are open, everywhere.

Thank you, this was very interesting. I knew about XHTML in EPUB, but not that it was extendible - I had assumed it was mostly frozen.

Others have requested a list of features supported in different E-readers. i second this request.

It’s a point to point vpn that works between devices even without a direct network connection.

Their personal free plan is more than enough.

I am apparently dumb. What benefit does this give you, other than a segregated network? Do us hotels typically have exposed Ethernet ports?

I am going to disagree with patio11 here. If someone asks you to pay with gift cards, its a scam.

Gift cards are the equivalent of buying dollars at 105 cents, but its not a scam, since everybody is upfront about the transaction.

That is not enough.

We need to make every EU law contiguent on subsequently being adopted by the people - and at a significant majority (say 75% of eligible voters).

Yes that means fewer new laws, which is not a bad thing when the EU people are so detached from their population.

Years ago I was part of a cross-disciplinary group doing game development.

After our standup in the morning, the graphics artists would have made tons of drawings on the paper table cloth. If they had access to a pen and paper, they would be drawing.

For me AI is really powerful autocomplete. Like you said, I wrote the abstraction years ago. Writing the abstraction again now is not required.

A time and place may come where the AI are so powerful I’m not needed. That time is not right now.

I have used Rider for years at this point and it automatically handles most imports. It’s not AI, but its one of the things that is just not needed for me to even think about.

With AoC I think that its fine to pick a language that is not at all suited for the challenge. That can be half the fun.

I saw someone one Twitter use Excel.

May I suggest just requiring people to register what how much they want to gamble and then be locked into that. If you want to gamble for 100 usd per month, then you can't bet more than that. You should be able to set your own amount, but any changes should only be active from the next month.

This has minimum impact on personal liberty, and will almost eliminate problem gambling.

No Windows 11 anyway, since it can't run on my massive workstation class laptop...

At least I have since migrated to Mac, so I guess it can just stay win10 forever.

(not op)

I have had no luck with LLMs writing typst code. Normally its a better code writer than me, but the LLM (gpt4-o maybe?) hallucinated most of the document.