exceptione

23 saat öncediscuss

  > Intent understanding: GPT-5.6 can better infer the user’s underlying goal and intended level of work without you specifying every step. Continue to state important constraints, approval boundaries, and success criteria explicitly.

I guess this has been achieved by training on user's chat history?

exceptione

7 gün öncediscuss

thx!

exceptione

8 gün öncediscuss

Thanks, that would indeed be helpful.

  > (It's marijn, not merijn.)

oeps, sry!

exceptione

8 gün öncediscuss

For people who have dealt with react, this part might give some insight into that topic (https://wordgard.net/docs/prosemirror/#h-transactions-and-ch...)? Nevertheless, it would be good if this could be addressed in the docs.

I am not sure if this makes things easier for react interop, but this piece might be of interest too:

  > One of the biggest mistake blunders in ProseMirror is that the editor view does not get access to the transaction objects when updating, just the state. Wordgard does not repeat this mistake, and makes updates take transactions, not just a new state.

  > This means that things like the DOM update logic and UI plugins can precisely observe what happened, and handle changes in a efficient and more effective way. The weird unexpected DOM redraws that are still a thing in ProseMirror should not occur. Only the precise DOM structure affected by the new transactions will be updated.

Anyways, it is great to see Merijn still going strong with his free work. Anyone needing interactive rich text on the web won't find anything better than his brain childs.

exceptione

8 gün öncediscuss

I think most people would love to the know the 'why'. This page discusses differences with prosemirror and is the closest I got to that question: (https://wordgard.net/docs/prosemirror/).

One thing to note is that there is not an upgrade path. Many concepts are shared with prosemirror, but it seems that switching means doing quite some work (correct me if I am wrong). Obsidian is based on Code Mirror so I guess they won't be switching, but tiptap.dev and others do.

@marijn, maybe you could address why wordgard is worth the switching cost?

EDIT: I see many points are addressed in Marijn's personal blog. I submitted (https://marijnhaverbeke.nl/blog/wordgard-0.1.html) to HN for better context.

exceptione

11 gün öncediscuss

Possibly, but I think what we wish for is a language with a nominal type system that lets you switch to structural typing when needed.

Luckily, F# has type providers, which lets the compiler construct nominal types based on the structure of real data (like json, xml or any format you want), saving you from the effort of building wrapper types by hand.

exceptione

11 gün öncediscuss

Yeah, in your example the structure is sufficiently dissimilar to a string for TypeScript not to confuse them for each other. However, if you also have an identity provider returning UserInfo objects in the form of {'domain':'example.com', 'user':'john-doe'}, you might not like it that now any email address is a valid UserInfo object. On the type level in TS, you cannot tell those types apart. But I guess you figured that out already.

exceptione

11 gün öncediscuss

Javascript doesn't have structs. The idea is that you have data on one hand and you have type witness about that data on the other hand. Type witness is something for the type system. But here you encounter the limits of structural typing versus nominal typing, because structural typing isn't able to witness that directly.

In sufficiently strong nominal type systems, I can hide the constructor for an EmailAddress type (as in: nobody can just construct an EmailAddress type). In Haskell speak, I can then export a function parseEmailAddress = rawString :: string -> EmailAddress. The function parseEmailAddress is the only place that has access to the constructor. Which means that the only way to turn a string into an EmailAddress is by calling parseEmailAddress.

Note that at runtime EmailAddress is just a string. The boundaries live in the type system, not on the value level. A structural typing system (as in TypeScript) does not enable that, it forces you to turn EmailAddress into something else than just a string.

Are you confusing Email vs EmailAddress? I think that in many cases people would prefer EmailAddress to be represented as a dumb string at runtime. But if you don't, you will easily find other examples where you have 2 structurally similar types, that you don't want to mix up.

exceptione

11 gün öncediscuss

It is nice the author mentioned F#, because if you want to target the browser (or any JavaScript runtime), you can do from F# directly from fable (https://fable.io). This allows you to program by default in a type safe manner without having to play tricks to circumvent the limits of structural typing.

exceptione

11 gün öncediscuss

I think your friend might have used portableapps.com, they offer many types of browsers . These programs are packaged to install under a restricted account, without requiring admin rights.

exceptione

13 gün öncediscuss

The logical conclusion is to shutdown Meta, Youtube, TikTok, Twitter to name the biggest offenders. And why on earth would algorithmic manipulation, brain washing and exploitation of adults be allowed via the same platforms?

I am not disagreeing with you, but the conversation to be had is far, far wider than "think of the children!". Part of any deal would have to be: privacy of citizens is not a business model. But then you are facing the full might of Corp Inc, including their legislative powers.

exceptione

13 gün öncediscuss

Possibly stupid question after skimming: libvirt provides a plethora of networking options, but some networking types require a physical ethernet adapter, so you are out of luck when you have wifi only. Would this make it possible to present libvirt an ethernet adapter that is actually backed by wifi?

exceptione

13 gün öncediscuss

Why do you think they don't want to do it? I find that a weird statement, and your given reasons don't make sense to me. This is one of their core programs, and as part of that have taken over some IP via espionage programs. China is actively trying to build one for quite some time now.

  > people overstate complexity of ASmL machines. They are not impossible to make or use, specialist work sure but its possible. The only reason why no one does it is: 1) IP laws, 2) Costs

Citation needed, if these were the real roadblocks China would have had the machines by now already. Even with all the parts at hands (don't forget: from a total of 5100 suppliers) the Chinese couldn't assemble one. It is complex with a lot of know-how involved.

The real reasons are: enormous complexity, lots of original research involved, deeply specialized supply chains. Recreating that takes lots of time and money. Even if you cut corners and steal IP. So that leaves China with 'time' as the real impediment. And who knows, AI will be a boost to get to that goal?

exceptione

13 gün öncediscuss

I thought the time frame of 10 years is the most recent forecast.

exceptione

13 gün öncediscuss

The comparison with cars and cellphones falls short for ASML machines. The former categories involved western companies transferring IP to Chinese counterparts. So far, the Chinese have succeeded in stealing IP from ASML, but this is complexity in its own category. Also, the whole supply chain is part of the solution. That is a lot to copy.

But I agree that, given enough time, China should be able to. But Volvo en Tesla handing over IP themselves, and phone makers letting China produce and assemble phones (maybe not as extensive these days anymore) is something different.

EDIT: I mentioned Saab when I meant Volvo. Not sure if people downvoted based on that, I have no info on Saab so consider that as a mistake.

exceptione

16 gün öncediscuss

  > If you visit a website you should ... see the website. See its content. Be able to read the article whose page you are attempting to visit. Showing a “subscribe to our newsletter” or “accept our fucking cookies” dickover to someone trying to read an article on the web makes no more sense than sending out an email newsletter that only contains a link to read the newsletter on a webpage. A webpage should show the webpage. An email should show the email. I should not have to explain this.

To continue the thread of obvious things back to the non-meta level, would for the given example the following idea qualify as obvious? `Downrank websites that exhibit user hostile patterns`

I hope so. I would love if search engines would do that.

exceptione

17 gün öncediscuss

Also, Anthropic will maintain and use data in user identified form if the law does not prohibit such privacy intrusion. At least this is a valid interpretation imho; note the absence of "explicitly" as adverb for "permitted":

  «Where data is de-identified, Anthropic will maintain and use this information in its de-identified form, and will not attempt to re-identify such information, except as permitted by law.»

exceptione

20 gün öncediscuss

I think you got the `900*9` wrong if you talk about experienced downtime. If you calculate discrete minutes

(900*4,5+100*1)/1000 = 4,15 min

(Unless you manage to inform the user since how long the website has been down already.)

This could be made more accurate if we calculate it over seconds, which would drive the experienced downtime even lower!

exceptione

21 gün öncediscuss

  > It's getting better, and Linux does have the advantage of having some powerful primitives to exploit, but the desktop suites come from a totally different world,

When opening the printer configuration page in the KDE configuration panel, I was pleasantly surprised to see it's process runs wrapped inside a bwrap session. Cups is a bit of old and dangerous; I'm glad they sealed that off inside a sandbox. If you ask me, I would make this approach the standard for any software. The configuration panel for fonts doesn't need network access, so at least `bwrap --unshare-net`

exceptione

28 gün öncediscuss

[dead]

exceptione

Submissions

Wordgard Release 0.1

[untitled]

DHS Demanded Google for Data on Canadian's Activity, Location over Anti-ICE

Russia Poisons Wikipedia

Trump tears up part of EU tariff deal to raise import duties on cars and lorries

I Have Lived in Your Camp

U.S. Capabilities Are Showing Signs of Rot

RE#: how we built the fastest regex engine in F#

The Buses Should Be Free

US Government to fund Maga-aligned think-tanks and charities in Europe

The US Is Attempting Regime Change in Venezuela

From Compose to Systemd: Elegantly Managing Containers with Podman and Quadlet

Elite Capture

Learning a new programming language with an LLM

Capitalism in America – The Cult of Wealth

comments