skysight-inc/HackerNews huggingface dataset:
I agree with the positive sentiment, but a cynical take might be that we've basically found our way back, traveling in a circular pattern.

It looks like Tailwind and Tachyons are useful tools but they do have a sweet spot, and I've run into the annoyance of 20+ classes in my tiny projects as well. Descriptive

Real changes to the landscape have been made along the way:

- Flexbox and to a lesser extent grid are grokked by many

- People are much more willing and able to use CSS variables

- Shadow DOM encapsulation and other methods of isolating styles from one component to another are well explored

- there's some stuff on the horizon where people are JITing here and there and writing custom compositors ("Houdini" and related tech)

But I'm not sure there have been any large paradigm shifts in CSS over the last 10 years, and Tailwind no matter how successful it's been commercially and in the headspace of developers seems to have been largely a very useful somewhat passing obsession.
If the majority of people here are software engineers, would it surprise people that someone has automated the job of crafting believable bullshit? Not to mention disseminate it faster and better than we have ever been able to?

I see it as a problem that we can iterate “content” faster, identify “audience groups”, run marketing analytics, A/b test “narratives”, all to craft believable, plausible “content” and then mass broadcast it.

We’ve built systems that create content faster and better than a normal human BS filter can block.

How does this have anything to do with the First Amendment? How do free speech rules bring the balance of power back to individual human levels of filtering?

Mind you the First Amendment is an American construct. It does nothing for things like genocides in Myanmar, or journalist suppression or hate crimes and the like.
> if there are aliens reading over our shoulders, we'd be looking like neanderthals

Presumably, even these supposed aliens would have been relatively evolutionarily young once too.
> We have shown a proof in ACL2(r) of the Fundamental Theorem of Algebra.[...] The proof follows the 1746 proof of d’Alembert, which was maligned by Gauss on the grounds that it was not sufficiently rigorous. Gauss was right, in that it took another hundred years for the notion of continuity to be sufficiently rigorous to prove the Extreme Value Theorem, on which the proof depends

I am guessing the Fundamental Theorem of Algebra is a fairly well established and uncontroversial result after 275 years!

Can anyone with familiarity of the field explain what the significance of proving this with ACL2(r) is?
AFAIK it's been done for a while (ex-Googler but non-YT, left recently).

Vitess was most definitely a special snowflake: most Google production servers don't even have disk anymore[0].

(There are a whole host of other reasons for doing Vitess->Spanner, all of which fall under "special snowflake infrastructure".)

[0] https://static.googleusercontent.com/media/sre.google/en//st... (see ch2, diskless)
Where "contact" is a euphemism for "send death threats to"?
First thing I noticed, cursor over the redacted region and it turned into a text selection cursor. Sigh.
I feel you man, but that means the seal on your nose is leaking. Pushing down on the flexible strip for better seal usually helps.
Oh, those are the killers. Thankfully they seem to only go for tourists.

A very brave ITV News Asia correspondent: https://www.abc.net.au/cm/rimage/11864058-16x9-xlarge.jpg
I find semi-automaticed theorem proving a very interesting field, because I'm fascinated by axiomatic systems and the fundamentals of logic and maths, but I don't have any experience of using them, yet.

What kind of axiomatic basis is being used in ACL2 and similar systems? Is the basics just modus ponens and the axioms are provided as a library? Or do the different systems have significant differences with how and what they can prove? Do the systems allow explorations in reverse maths, trying to derive stuff with as little axioms as possible?
Peculiar Planets Prefer Perpendicular Paths
Bringing up the lab leak theory is 2021's "but her emails."
Arrows theorem?
In this space also: https://blocks.wickedtemplates.com

(NOTE: I did not WickedBlocks/WickedTemplates -- it's the awesome work of the folks over at WickedTemplates https://wickedtemplates.com, which they shared on HN I believe a while back)

I'm actually working on a little side project right now where I turn wickedblocks into a set of usable native web components (as in drop an <import> tag and the component on your page and you're off to the races), because I think that's a much more composable way to use these snippets copy & pasting HTML, looks like Daisy needs to be next.

[EDIT] A bit annoying to others probably to drop a lede and I have no idea when I'll get done and publish it with the blog post so if someone just wants to see the code:

https://gitlab.com/mrman/landing-gear

If anyone wants to contribute a snazzy icon I'd love to take it! There's no landing page to showcase it yet but there's files like lg-left-header/index.html[0] which showcase usage and the intended simplicity.

Obviously if you're trying to get started, use the blocks as they're presented and the awesome work done by WickedTemplates (they've also got some ready-to-go straight out of the box templates and other stuff for you to use on their main site!), but if you're interested in lit[1]-powered drop-in components, follow that space.

[EDIT2] - For those taking a look at the code, note that there are like... 4 variants of the left-header component. Half of the time spent getting this out (it's all simple in theory -- just copy + paste and swap out static text for variables) was figuring out which parts to unify and which parts to keep separate for easy drop-in use. There's not much there yet, but it's more a matter of me finding time to sit down and make these decisions for every kind of component on the wickedblocks page.

There are some concerns like i18n that I've punted on by just making sure that all static text were component inputs, but ideally integration with browser-supported i18n[2] is the proper way to do things in a minimal but standards compliant way.

[EDIT3] - Added note to make it clear I didn't create WickedBlocks/WickedTemplates

[0]: https://gitlab.com/mrman/landing-gear/-/blob/main/lg-left-he...

[1]: https://lit.dev/

[2]: https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/Web...
Personal questions and you don't have to answer at all: Did your family really have the money to pay it? Where did your family get it from?

Don't have to answer if you don't want to.
Very interesting. But why more and more links are paywalled?
Half an hour is 30 times longer than I want to wait for good quality feedback.

I’ll settle for under 5 minutes, but I always shoot for 1 minute.

30 minutes is not really compatible with continuous deployment approaches
> Now granted I spent most of my time growing up playing on the computer and reading - but I was wearing my glasses the whole time so year by year it got worse.

AFAIU it's relatively well established that regular sunlight exposure is critical to proper eye development. But judging by the numbers you mentioned this revelation (at least the scientific evidence for it) would have post-dated your childhood years.
I find it very constricting as well as depressing. Regarding the constriction - the extra insulation causes me to sweat more, fogs up my glasses, and makes it harder to breathe. The depressing bit comes from not being able to see people's faces, smiles, and emotions as easily. It is especially difficult if you have a disability like deafness, where seeing lips is crucial to navigating everyday interactions.
A much simpler Bootstrapped powered one popped up on Hackernews recently, https://frontendor.com
it's not multiple choice if there's only Juan answer
If you want better filtering, you can always wear a cartridge respirator. They're also much easier to wear correctly -- they're hot, and the sweat on your face creates a seal against the rubber, making it very easy to tell when the seal is or isn't working.

I have one that I use when woodworking / sanding / varnishing, and the difference between a respirator and even a good N95 mask is like night and day. You can pull in a gratuitous volume of air through the respirator and it doesn't have that "there is a disconcertingly noticeable quantity of VOCs getting past this N95 mask" smell to it.
…”Interesting” writing, but the only takeaway people will have is that figs contain wasps, which isn’t true in real life consumption, and this type of writing just produces urban myths.
Oh yes please. Metrics, anyone.
I would say that really it's both, unresolved questions (which can come from experiment or theory) often spur development of new measurement technology. On the other hand new measurement capabilities often spur new scientific discoveries.
I wouldn't say it's bad, but the government is doing a pretty terrible job to run the country

https://www.smartraveller.gov.au/COVID-19/leaving-Australia

There's a ban on overseas travel from Australia. If you're an Australian citizen or permanent resident, you can't leave Australia unless you get an exemption to travel or you're travelling to a destination that's exempt from the ban. Foreign citizens are able to depart Australia at any time.

Australia is the only Western country which has an exit ban on citizens. There are so many people who got rejected and can't leave Australia despite having dual citizenship.

The whole situation made me reconsider applying for PR and moving to Canada instead.
He literally never talked about injecting bleach. Please stop spreading misinformation. Instead of criticizing him on important issues like not pardoning Assange/Snowden, ideologues keep making stuff up and destroying their own credibility. I provided my sources in this comment:

https://news.ycombinator.com/item?id=28004191

As for the rise of bleach ingestion, that was happening prior to this out of context news even admitted by left leaning sources.
A consequence of AT&T originally not being allowed to sell UNIX and the existence of the Annotated UNIX book.

Without it, UNIX would have been as esoteric as anything else and most likely would have died instead of sprung multiple clones.
It's encouraged to use test that can detect both to save both time and resources. It's literally in the announcement.

If labs want they can still test them separately.
Been working remote for most of 30 years: I have tried an office, a home office and many more things but best seems to be a standing desk with treadmill and 2 couches: 1 inside and 1 outside. I spend most time on the one outside throughout the year. Chairs never worked for me, no matter how expensive/ergonomic they were.
anyone, everyone == usually false

there are exceptions == usually true
No pressure at all! I could just... not think about it if I didn't want to. :p

I took another stab at it and this is what I ended up with: https://gist.github.com/honmanyau/5680d1c7b823d454122a0275ba...

It's now a Gist because I only realised later that the original note will be deleted after 24 hours.

There are now two mechanisms that persist data between sessions:

1. Auto-saving to localStorage every 5000 ms (adjustable as per the instructions).
2. Manual data saving/download implemented using an anchor element that triggers a download. We can now restore markdown by loading a downloaded file (in principle this should work for any plain text file).

One important thing to note here is that localStorage doesn't work in private browsing mode and its behaviour is not entirely consistent between browsers. So I wouldn't rely too much on it!
Poor Amazon. If only kweks hadn't abused the system, Bezos would have had a few hundred billion more by now.
> If games are interactive simulations by nature, why is DF so unusual?

It’s an honest attempt at making a thorough simulation. Most games attempt only shallow rules and simulations — nearly everything that happens in Witcher 3 is encoded precisely, with few knock-on effects (because there’s nothing underneath the immediate effect + visualization — what’s modeled is precisely what you see); leading to the lack of emergent behavior. You’re dealing with a fairly rudimentary and static system. GTA is more flexible, but ultimately nothing follows any particular logic that doesn’t revolve around the player. More notably, in both games, if the player doesn’t exist, the world can no longer reasonably operate.

Simulation is inherent to game design, but very few games actively work towards it, as you’ve seen.

The simulation games of the 90’s were in the right vein — they faltered for practical reasons. As a result, they often make for thorough simulations that are dishonest — the internal logic of the simulation is violated for reasons of hardware limitations, UX simplicity, fun, etc. Tornados happen because it’s fun. DF is honest in the sense that it is only compromised by Tarn’s inability to implement something (and practical impact — it’s not worth trying to model atoms when fluid dynamics will suffice).

I don’t mean that DF produces a “realistic” simulation (as a climate scientist might) but that he produces a uncompromisingly logically consistent one (as a fiction author might)
> Then may be you should complain to people who gave you the vaccine, instead of pushing others to take this thing that apparently does not work as advertised.

You clearly don't understand how vaccines work. No vaccine in history has ever kept all vaccinated people from getting sick.
Google translates politically correct sentences only: https://photos.app.goo.gl/KzyMWvVyJDLo3DC58
Blackrock and other firms using federal reserve fiat money are buying up real estate in entire communities across Europe and North America. Jay ewe double-u's are behind it.
I understand that it must be depressing for people who see masks only as infringing on their freedoms and nothing else, because they are currently at the mercy of society.

If someone sees mask wearing instead as a joint effort to fight the pandemic, as means to get out of it earlier by limiting the spread of the disease or as a way that they can do something to protect themselves no matter what others might do, then it is absolutely not depressing. Self-efficacy influences mood positively a lot.
Yes. They sold their last house for $1.4M. They bought it for $400K 12 years ago. They've never had a job that earned them more than $100K. They have just bought something else for $1.5M which needs $200K spent to get it to how they want it (renovating bathrooms, kitchen, etc).
Consensus also brought us showers, I suppose. The rules of the road?

I mean, I suppose the opposite of consensus is tyranny.

It sounds like your problem may be that people sometimes get it wrong, and not consensus or its opposites?
Stumbled upon some truly cursed knowledge (if it's true, though I fervently hope not). Imagine a followup pandemic not of more Covid but of neurodegenerative disease from this. Not just in the most severe cases.

1. https://twitter.com/fitterhappierAJ/status/14174356332121825...

2. https://www.sciencedirect.com/science/article/pii/S096999611...
No. No. It's a link disguised as a button. Stop doing that.
Your government should just offer something like this. In my country I just check the data they collected to make sure it's correct (and until now it always has been) and click 'OK' - taxes done.
i actually like it that copilot is better than me at solving interview questions. https://www.youtube.com/watch?v=FHwnrYm0mNc I for one welcome our robot overlords.

i wonder if they could retrain the model on BSD or MIT licensed code only; How much of the open source code is licensed as GPL vs more permissive licenses, does anyone know?

Interesting that they want to charge for the use of co-pilot, I guess that we will see this business model more in the future.
Imagine if a rich king comes to a small village and insists on buying a loaf of bread from the baker for $100 rather than a penny

Now the butcher knows the baker is hungry and has $100, so he ups his prices to get the most value

But the butcher needs knives and the blacksmith knows he can afford more now too

The kings left town but the damage has been done, will probably take some time for things to go sane again
Page 3 is the chart they need to have on display for anyone that doesn't trust the vaccines.
zfs-auto-snapshot is a simple one that does what I need. I run it from cron to:

- take snapshots hourly and daily

- prune old snapshots (--keep option)

- send the snapshot to a remote host (--post-snapshot=zfs send ...)
My team and I also made a similar library, more so for dashboards. https://github.com/mutable/meiosis
Not really. Sharks are smelling blood in the water everywhere, since nowhere is building enough supply. Guaranteed profit with that sort of regressive housing policy. Prices are rising in Miami almost as fast as the water table.
One long running fan project that is pulling the plug because of this is "If the emperor had a TTS". Here is their statement https://m.youtube.com/watch?v=OXljeaktnDA
>Ultimately when enough of the population is vaccinated, you’d expect the majority of hospitalizations to be vaccinated.

So apparently, vaccines can never fail, by definition!
Wild how westerners make these dystopian associations, while in Asia it’s just part of basic hygiene, like expecting people to wipe their ass or wash their hands.
The inability to see people's smiles, emotions is pretty sad. This is especially bad for new borns and kids.

Also I don't know how people do it with having to smell their own breath for long. Regardless of how well the oral hygiene is, breath gets bad after eating some food.

Also cloth masks are pretty much useless considering their penetration level of 97%. Moisture retention, reuse of cloth masks and poor filtration may result in increased risk of infection:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4420971/

> Penetration of cloth masks by particles was almost 97% and medical masks 44%. This study is the first RCT of cloth masks, and the results caution against the use of cloth masks. This is an important finding to inform occupational health and safety. Moisture retention, reuse of cloth masks and poor filtration may result in increased risk of infection. Further research is needed to inform the widespread use of cloth masks globally. However, as a precautionary measure, cloth masks should not be recommended for HCWs, particularly in high-risk situations, and guidelines need to be updated.

https://www.cdc.gov/eid/article/26/5/19-0994_article

> Disposable medical masks (also known as surgical masks) are loose-fitting devices that were designed to be worn by medical personnel to protect accidental contamination of patient wounds, and to protect the wearer against splashes or sprays of bodily fluids (36). There is limited evidence for their effectiveness in preventing influenza virus transmission either when worn by the infected person for source control or when worn by uninfected persons to reduce exposure. Our systematic review found no significant effect of face masks on transmission of laboratory-confirmed influenza.

> We did not consider the use of respirators in the community. Respirators are tight-fitting masks that can protect the wearer from fine particles (37) and should provide better protection against influenza virus exposures when properly worn because of higher filtration efficiency. However, respirators, such as N95 and P2 masks, work best when they are fit-tested, and these masks will be in limited supply during the next pandemic. These specialist devices should be reserved for use in healthcare settings or in special subpopulations such as immunocompromised persons in the community, first responders, and those performing other critical community functions, as supplies permit.
I am more impressed by the landing page than the actual components. Is anyone aware of a good component library for landing/marketing pages for Tailwind?

There are toolkits like https://frontendor.com but they all follow the 5-10 year old "theme" of insanely packed content you had seen on SaaS pages some years ago. Together with many photographs or flat humans... I can't find anything with "new" approach which uses more padding, much more detail to typography, bigger fonts etc. shown very good on the https://tailwindcss.com landing page. Or any hint where all the new startups get their designers for these new fresh layouts?
PTX and the immense tooling around CUDA.

Khronos mindset of it must be C like and parterns will take care of the ecosystem is what doomed OpenCL.

All of their API design endevours are "design by committe" at its best.

No wonder that SYSCL is now backend agnostic.
With Tailwind, if you write out something like that more than once or twice, you're really supposed to bundle it together. Either as a plain CSS class, or a component in your framework of choice.

I suppose a library of common elements is a good thing to have, but the reason I like Tailwind is that I can use the utilities at first and then easily gather them together as plain CSS classes as and when that makes sense to me.
Land will stop being a zero sum game if we can ever figure out how to create pocket spaces. But then again, speculation has hit even virtual real estate before, so what do I know?
Reference: https://youtu.be/Mw7Gryt-rcc
I'm assuming the worst about a product I've never seen, perhaps, but only because I've used plenty of other products at a similar price point that seem MUCH better: Switch, Vita, various Android phones -- all mature technologies using much better hardware designed with proper adult ergonomics and with huge game libraries. And then for not much more you're into Xbox Series S and Oculus Quest 2 territory. Or for much less, you can get the $60 NES Classic/Sega Genesis Mini/Atari Flashback X with actual proven, authentically historic games for some real nostalgia. Or make your own MAME/Dolphin/etc. cabinet in any form factor you want. I got a Carmen San Diego portable console as an xmas stocking stuffer last year, and THAT thing was awesome, featuring surprisingly retro but functional controls, a beautiful screen, a silly Mac Classic lookalike case, and the full fidelity of the old game. It also cost $20, not $200. Any of those would offer more gameplay and a tremendously better value.

This thing would've been cool at $50, because it's probably built better than the $20 no-name Chinese consoles (https://www.alibaba.com/trade/search?fsb=y&IndexArea=product...). But it definitely reminds me of them, especially with its catalog of super generic games that seem like Wii/Mario Party-style mini games... that you have to wait weeks for. At least those no-name Chinese ripoffs come with dozens to hundreds of games to start with.

This whole thing just screams "marketing gimmick" all around, like so many junky Kickstarter gadgets that come and go to much fanfare (Ouya comes to mind). Why the hell does it cost so much? It's like someone put together an Arduino tech demo and slapped a designer case on it and marked it up 10x. shrug

Again, maybe I'm just not the target market. I'm just struggling to understand who is. Someone else explained it: the makers of these things are apparently famous designers in some circles (music synths, boutique apps). Good for them, I guess, but for a regular ol' gamer like me, no thanks... for portable gaming, I'm much more excited about the Steam Deck or even Stadia/GeForce Now/xCloud on Android + a gamepad adapter.
I've heard a lot about how great tailwind is, can anyone point to some good examples of people using it? Most of what I can find is just samples
>then you must equally accept that everything you eat is a risk.

I do. That is why I am not going to dictate what you should eat, and why I think that will be very wrong.