seanwilson

11 ms·

91.
by seanwilson 1y ago
You can pick colors that pass both APCA and WCAG contrast checks though so it's not a problem to use APCA recommendations now. I find APCA is a little stricter than WCAG for light themes, and APCA is much stricter than WCAG for dark th
92.
by seanwilson 1y ago
> It also works the other way around, where you can change the lightness value to create various color shades and there is no hue or saturation drift unlike in other color modes. > In the example above, you can see that the OKLCH colo
93.
by seanwilson 1y ago
> You are consuming it in a condensed secondary form (one tropic level up). I always find this is looked over and a double standard. You can raise an animal on a diet of anything along with medication, drugs, and supplements, and advocat
94.
by seanwilson 1y ago
Any interesting work on using LLMs to moderate posts/users? HN is often said to be different because of its moderation, couldn't you train an LLM moderator on similar rules to reduce trolls, ragebait, and low effort posts at scale
95.
by seanwilson 1y ago
I won't be surprised when LLMs get good at puzzle-heavy text adventures if there was more attention turned to this. I've found for text adventures based on item manipulation, variations of the same puzzles appear again and again b
96.
by seanwilson 1y ago
I'm iterating on my accessible color palette designer: https://www.inclusivecolors.com/ I'm working on an article/tutorial about how to develop an intuition behind the WCAG contrast rules so you can spot bad
97.
by seanwilson 1y ago
> The semantic information is first present not in markup but in natural language. Accurate natural language processing is a very hard problem though and is best processed by AI/LLMs today, but this goes against what the article was
98.
by seanwilson 1y ago
Only a relatively small part of Wikipedia has semantic markup though? Like if the article says "_Bob_ was born in _France_ in 1950" where the underlines are Wikpedia links, you'll get some semantic info from the use of links
99.
by seanwilson 1y ago
> What animal is featured on a flag of a country where the first small British colony was established in the same year that Sweden's King Gustav IV Adolf declared war on France? ... My point is that if all knowledge were stored in a
100.
by seanwilson 1y ago
Slightly related: I die a little inside each time I see `JSON.parse(JSON.stringify(object))` thinking about the inefficiencies involved compared to how you'd do this in a more efficient language. There's structuredClone ( https:&#
101.
by seanwilson 1y ago
> “people do a large number of consistency checks beyond what is in the published proofs, which makes the chances the claimed results are correct much, much higher.” I imagine one bias is because formal verification is such a huge effor
102.
by seanwilson 1y ago
> This seems like a roundabout way of confirming that what you are actually saying is that half-assed type systems are much easier to grasp for average developers To clarify, I think formal verification languages are too advanced for alm
103.
by seanwilson 1y ago
Real functions are tens of lines or more long, have complex inputs, multiple branches, and call other complex functions, so tests that try a few inputs and are only checking for a few behaviours aren't going to catch everything. If it&
104.
by seanwilson 1y ago
> Once you've tested the complex things that (almost) no language has a type system able to express, you also have tested null checks, function parameter types, etc. by virtue of you needing to visit those situations in order to tes
105.
by seanwilson 1y ago
I caveated you should have a test suite anyway (i.e. because types aren't going to catch everything), and the above was suppose to be a caveat to mean "for the behaviours the type system you have available can catch". Obvious
106.
by seanwilson 1y ago
> I’m almost certain this is ignorance on my part, but it seems like this would mean the proof is… possibly wrong? That's part of the motivation to formalise it. When a proof gets really long and complex, relies on lots of other com
107.
by seanwilson 1y ago
Human readable (informal) proofs are full of gaps that all have to be traced back to axioms e.g. gaps that rely on shared intuition, background knowledge and other informal proofs. It's somewhat like taking rough pseudo code (the infor
108.
by seanwilson 1y ago
"The International Mathematical Olympiad (IMO) is the World Championship Mathematics Competition for High School students", so not to undermine it but it's below university or graduate level. Research level mathematics like t
109.
by seanwilson 1y ago
This is a nice overview of what this is, why they're doing it and why it's many years of work: https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...
110.
by seanwilson 1y ago
> The trap is that both OOP hierarchies and FP "make illegal states unrepresentable" create premature crystallization of domain understanding into rigid technical models. When domains evolve (and they always do), this coupling
111.
by seanwilson 1y ago
SEEKING WORK | UX/UI & web design Portfolio: https://seanw.org/ Live example projects: https://checkbot.io/ https://inclusivecolors.com/ Location: Edinburgh, UK and remote (I’m use
112.
by seanwilson 1y ago
> Sketch leveraged the Mac specific APIs created by Apple in the 2000s (e.g., Core Image and Core Graphics), this is exactly why Sketch was able to innovate on the UI-side Hmm, can you explain more about why the Apple APIs were important
113.
by seanwilson 1y ago
> There are many types of work where large assets aren't important, e.g., illustration, 2D animation, CAD, 3D sculpting (I think? A lot of 3D work that doesn't need pre-rendered assets have really small file sizes), and as far
114.
by seanwilson 1y ago
Hmm, feels more related to how big the imported assets and final exports are, and how fast + accurate previews are, rather than who does the export? If I'm dealing with GB size videos and image files, local is going to have performance
115.
by seanwilson 1y ago
> As for Figma, being able to export SVG is lock in really a concern here? Many tools support .svg. So to me lock-in ain't even a concern for a tool like figma. You'd lose things like shared components within and between files&
116.
by seanwilson 1y ago
I notice HN comments often that say people want and appreciate native apps/UI, people don't like web apps, and people don't want files stored in the cloud. I think Figma proves these aren't things non-tech people care ab
117.
by seanwilson 1y ago
> Ive been really struggling with accessible colors Thanks, feel free to message me if you want some tips! Most accessibility/WCAG guides say things like "Tip #1: Choose accessible colors", but they don't go into any
118.
by seanwilson 1y ago
Thanks! To clarify, it's aimed at more than just Tailwind, but Tailwind popularized the color naming like red-500, blue-100, green-900 etc. so I went with that convention. You can use the CSS export in regular CSS projects directly e.g
119.
by seanwilson 1y ago
I'm still working on a tool to create custom accessible Tailwind-style CSS color palettes for web and UI designs: https://www.inclusivecolors.com/ Example with colors from HN to play with (the grays used for links and
120.
by seanwilson 1y ago
> tells you CLS bad mkaaaay... and guess what FOUC causes, layout shifts I haven't had a problem here (with layout shift). As long as you specify width + height of images in the HTML, and you don't have dynamic content pushing

More ›