skysight-inc/HackerNews huggingface dataset:
Just want to preface this with this is all my opinion, and I know I'm not necessarily correct at all.

If I were given free reign, I would have tried to do some different naming for properties like grid-auto-rows/grid-auto-columns/grid-auto-flow. My internal way of thinking about how the first two control the height & width, respectively, don't line up with how I view the word "auto" in other places in CSS.

I also feel like there should have been a true shorthand for just creating an mxn grid. That's one of the biggest reasons I enjoy Tailwind because I can just say "grid grid-cols-3" and get a 3 column grid without me having to explicitly say I want them all even. I would have probably been naïve and made it work closer to the old column-count where giving it a unitless number and it makes it equal in the space; on top of that, I'd then layer the actual spec so you could do variable sized rows/columns.

The other thing I would have done would have been to focus time and effort on finding a way to easily reverse a grid. I know you can use the rtl/ltr hack to do it, and that grid being a 2-axis display method brings a lot of hard questions about "what does reversing a grid mean?". I know names could help here, but it just doesn't make sense in a CMS environment where editors can place as many or as few items in a grid as they want, so I can't just do "a b" -> "b a" based on media query, because there could be columns C through F, too, and I want them all reversed. Thankfully, this is mostly a mobile problem when they're stacked, so I can just switch to flexbox and column reverse, but still would've been nice to have an easier way to do this as the amount of SO posts I remember seeing for this indicated to me that folks did want this feature.

To answer why I don't use grid-template-areas often, I just don't find myself in a lot of situations where naming has made it easier. I guess I could do this kind of thing, but then everyone else is going to ask "where does a/b/c come from?", haha.

"a a b b"
"a a b b"
"c c c c"
Yes: we all agree that what he's saying is cleared for publication. Because it's nonsense and the DoD doesn't care.
It would be exciting to see future iterations of this tool incorporate native OS styling or even output to other GUI frameworks like QT or Toga.
Was lisp compiled code, not code.running in a repl, ever able to self modify?

It looks like that wasn't the case even in 1996:

https://groups.google.com/g/comp.lang.lisp/c/O1dDXlQsVkw
I've owned every Mac Pro with the exception of the 2019. I bought them because I wanted to be able to easily expand RAM and storage without having to use external enclosures. Apple doesn't seem able or willing to allow this anymore on their systems since everything is either part of the SoC, or hardwired to the system board. The new Mac Pro does allow you to add either NVME chips (at an incredible cost) or NVME cards in the PCI slots.

So as soon as the new Mac Pro was announced at WWDC, I did a quick check on the diff between it and the Mac Studio and instantly bought the Studio. I've had it for 2 weeks and it's been fantastic. Although I loved the old flexibility, part of that's gone, and part of it is just not worth the price Apple wants. And Apple has just pushed this price way above the value. Now that the performance is the same, they've limited the market dramatically.
Illusion of explanatory depth.

Until you write (or otherwise explain), you really don’t know whether you even know what you think you do. We humans tend to over-estimate how well we understand something. We mentally paper over holes in our knowledge and handwave away pesky little details, until we try to explain the thing. Then you realize ”Wait, those two ideas aren’t connecting …”

https://en.wikipedia.org/wiki/Illusion_of_explanatory_depth

The other big reason, for me, is that without writing it soon feels like my head is exploding. So many ideas racing around it feels like I can’t think straight.
That 'proven' bit is exactly where the rub is, and apparently there was prior damage from some of those dives that wasn't addressed. Taking this device to a certain depth and ascending again only proves it worked that time but brings the eventual failure that much closer.
> I can personally memorize and recite copyrighted works all I want,

Whoever told you that is lying to you. You are not legally allowed to personally memorize and recite copyrighted works all you want, any more than you're allowed to personally memorize, write down copyrighted works, and distribute them as much as you want.

All piracy is a process of computer-assisted remembering and reciting.
you should be worried is you are using GrapheneOS though... why do you trust it?
author here. aws released amazon cloudwatch logs live tail (it is a mouthful) earlier this month. it enables 'real time' tailing of cw logs. given that cw logs has 5s-20s latency for ingestion, I was curious whether live tail made this better. ended up as a blog post

tldr: live tail is downstream of cloudwatch logs so you still have the same initial delay in first getting metrics. any logs, once ingested, will be pushed to live tail in ~2s. live tail uses websockets under the hood and is a console-first feature - there is no API
As I recall, you can tell Awk to use the control characters as record and field separators. Not helpful if you're getting your data from others, but if you're working by yourself, you have the option. I've come to use control characters as a default because it makes life so much easier.
Water heavily polluted with PFAS in 15 km radius around Dordrecht chemical plant
> TCP is also sticking around for too long. Almost nothing wants a stream these days, lots and lots of applications reinvent datagrams on top of it.

The stream is an atom of data - it's a block of serialized memory. How else do we transfer arbitrary amounts of data?
Devs find that Vision Pro can’t do true room-scale VR, but that’s no surprise
Yes, integrating an energy capture device is not optimal for many/most use cases. A vehicle operating within civilization is better served by having means to receive and store energy. Of energy storage mechanisms, chemical seems more advantageous than kinetic or pressure. From there the question becomes one of ionic or covalent. Covalent has a higher energy density, which is why tanks of hydrocarbons are so ubiquitous.
You can make a case for Google tbh. Apple has what, 30% of the market at best, while every phone manufacturer uses Google by default. Heck, I don't know where to begin to brake Google's grip without seriously fragment everything.

You can't escape google even if you want to, whereas with Apple you only need to switch phones.
Nothing. Cyclops 2 is the Titan.
That could very well be what they mean, though that isn't offline at all and is no different than my offline credit card being run through an online card reader

If they want to compare it to cash, I'd have to be able to give you the money directly without any network verification. Just the step of a receiver having to ask the network to validate means there is no guarantee of privacy.
Rice's theorem states that there is no general procedure to determine if an arbitrary Turing machine has some property. We are restricting ourselves to programs which typecheck under a certain type system, so there will certainly be a class of properties it can guarantee while still being Turing-complete (such as the bounding of memory, CPU, etc.). That is to say that it's not "theoretically possible in the general case," but we are willing to work with more specific cases, so it's not relevant to invoke Rice's theorem in this situation.
How to Write a RFC?
Linux is an IBM product at this point. Might as well use AIX. Makes me sad, but it’s done. With what they did to kill centos and rocky I’m switching our stuff to open BSD. Pushing these changes were strategic redhat business decisions masquerading as open source contributions.
And utility scale generators already use 1 axis tracking to maximize production. Hail storm predicted? Panels rotate to vertical to minimize vulnerable surface area.

> Many large-scale PV systems integrate intelligently controlled single-axis trackers that can execute peril-specific defensive stow strategies. Leveraging these capabilities, plant operators can manually or automatically rotate a tracker-mounted PV array to an optimal tilt angle for hail risk mitigation. This defensive posture will reduce hail-impact energies and the exposed hail-field impact area, effectively decreasing the number of direct hail strikes and decreasing hail-impact energies.

https://www.pv-magazine.com/2022/12/24/weekend-read-navigati...
I haven’t read Thirty Million Words but I second the idea of talking to your child. A lot. I try to tell mine what we are doing, what we are about to do, why we are doing things the way we are, etc. Also, because I don’t always succeed at explaining everything all the time, he asks a bunch of questions! So I try to answer each of his questions in a way he can comprehend as best I can. I’ve noticed that doing all of that, makes him happier, more confident, and less likely to have emotional outbursts.
The latest MKBHD video on this is interesting. You’re paying $3K for the Max Pro to have the PCIe ports. Almost the only difference per the Mac Studio.
> No one knows how many cycles this sub was safe to perform

One less than the number that it did.
When companies have more influence than countries
MSSQL/SQL Server will only store [n]varchar(max) data off-page when it exceeds the page size though. It is the [n]text type that would traditionally always be off-page.
Is there a known date before which this wasn’t the case?

If you want to buy a car that doesn’t have such a device, do you need a 2010? A 2019? Country dependent?
Dunno. The idea is neat. But at this point we don't even have a working, and reasonably supported RISC-V SBC. Sure, there are many small boards, and I also have some goodness from Pine64, but they are still mostly toys.

And this comes from the heart of China, from a company I have never heard of until it started to get spammed over HN like 2 weeks ago. Don't get me wrong, I'm sure the hardware is really nice. But they are not very famous about supporting things long term neither software- nor hardwarewise.
Guanaco is a LLaMA fine-tune, so you'll almost definitely be able to add that on top of the LLaMA results if you wanted.
The police's job is to collect taxes for committing haneous crimes like going 81mph on I-70 between the Kansas border and Denver.
The main purpose of LLMs and "generative AI" is to produce more content and produce it faster.

The end result --- it becomes more difficult and time consuming to filter out the nonsense.

This creates a problem for humans but also a problem for each new generation of LLMs. As the nonsense starts feeding back into training of LLMs, the quality can only decline.
> What happens next is: either they ship the real Apple Silicon Mac Pro in a year or two (with who-knows-what changes, but something to differentiate it from the top of the Mac Studio range other than price), or they admit defeat and kill the Pro range altogether, or maybe downgrade it to be the name of the top end Mac Studio.

There were a lot of rumors around a quad-chip (a ultra is just 2 M* Max's) that was 2 ultras fused together but the yields were terrible and they scrapped it. I've heard speculation that they might be trying again with M2/M3's but yeah, as it stands now the Mac Pro is very lack luster.

Honestly even if they manage a quad-chip design it's still missing things professionals want (more ram, more GPU power). I'm not at all in the market for this device but I really hope Apple pulls it off. Apple is better when it has devices spanning the whole spectrum even if the edges (low-end phone, high-end desktop) don't have blockbuster sales. You sweet spot of sales is empowered by those 2 extremes and benefits from it.
That’s what I’ve been thinking about. Probably there are many people who take the opposite route, states first then Canada. I only know a few cases though.
They all consented, initially. The insurance companies got the data they need.
I fixed the Typescript implementation 3 years ago when this paper was debunked back then.

Didn't submit it though because they make it difficult.

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

(the whole thread is worth a read)
Reddit Threatens Subs to Go Public Again, or Else
No, that was already accounted for. 52ms is the one-way time and 104ms is the round-trip time in the theoretical best case.
I appreciate the thoughtful reply. Every time I see this list trotted out I can't get past the obvious red flag. Nice to have some more background on it.
On that subject, are there any good looking smart/hybrid pocket watches?
And you can use solar power for an EV (car, motorbike, train, …), just need to charge more often.
A $100B Wealth Migration Tilts US Economy’s Center of Gravity South
> Rules may have other IP protection, including patents.

That's not even true in the US anymore. You'd have to convert those rules into some sort of device, or argue that the game is a business method.
Mental Ledgers: how small groups cooperate
With precisely zero deaths due to radiation, given the automated plant safety systems detected that the input line for the cooling water had frozen, and automatically shut down the reactor. This was nothing short of complete success from a nuclear energy safety perspective.

Also, side rant: Everyone likes to shit on Texas for not winterizing for temperatures they never used to receive (including on the country-leading wind and solar installations - Texas produces more renewable energy than any other state), but Seattle seems to gets a free pass for letting people die of heat exhaustion in that 2021 heat wave because fewer than half of residential buildings there have ANY kind of A/C system, while NYC routinely gets a pass for not having been prepared for major storm surges and deadly flooding that they never used to receive.

Climate change kills no matter where you're from, nobody's got a perfect setup for this new world we're living in.

Also, FWIW, even including that grid outage in Texas, Texas' grid is still far more reliable from an total system uptime percentage perspective than either interconnect is. The state with the least reliable electric grid in the country is in California.
What a terrible police... Just logged on an old account of mine and it's indeed all gone!
TSMC Arizona chip plant over budget and behind schedule; US workers blamed
Isn't that because F# failed to win any significant market share? I think F#'s problem is that C# is too good and this was true even in 2010, its not like Scala vs. Java in 2010.
The bafflement increases.

The topic of this thread is the safety and security of running Python on (or merely next to) arbitrary content.

Even ignoring that: is "most people" greater than, less than, or the same amount as "all"?
What did you use BERT for? Maybe 7B models are up to the task?
I like the idea of Unix pipelines, but I hate all the sublanguages, awk being one of the biggest. I scratched my itch and built my own shell, marcel: https://github.com/geophile/marcel.

I mention this specifically, here, because of the CSV point. Marcel handles CSV, e.g. "read --csv foobar.csv" reads the foobar.csv file, parses the input (getting quotes and commas correct), and yields a stream of Python tuples, splitting each line of the CSV into the elements of the output tuples.

Marcel also supports JSON input, translating JSON structures into Python equivalents. (The "What's New" section of marcel's README has more information on JSON support, which was just added.)
US Supreme Court rules against affirmative action in Harvard and UNC cases
This is a holdover from COBOL, which uses fixed-length, space-padded strings.

I read an interesting bit in a DBMS paper once about space-compression and the oddities of space-padding collation order.

As this article says, 'A\x03' is supposed to come before 'A' in collation order, because the 'A' is (conceptually, at least) padded with spaces before being compared.

So in the paper I was reading, they had to have different representations to compress runs of spaces, one for when the spaces are followed by a character > space (or end-of-string), and another for when the spaces are followed by a character < space. In the final representation, you can just use memcmp to compare the strings.

I think that same paper talked about the pains that IBM had when they first ported DB2 (or maybe another earlier DBMS) to a little-endian architecture. There were many places in their collation and indexing code where they compared 4-character segments using integer comparison. That works great on IBM's big-endian architecture, but not on, e.g. x86.
Supreme Court strikes down affirmative action in college admissions
OceanGate is probably going to be slim pickings but Spencer is wide open.
At first you might be scared to trust your gut for lack of experience.

Soon after, you may be afraid to embrace your newly developed intuition about baby’s needs out of respect for traditional parenting roles.

Then there will be something else… there will always be something you find to worry about, most of which won’t matter at all.
Welcome to driving in 2023.
Looks like my previous comment was too mean towards JavaScript, so trying this again...

Just using some form of static typing offers easy guarantees without much effort. Trying to Monad-ify everything for a much smaller level of compiler guarantees involves much higher dev effort (as most devs do not understand Monads), and much higher effort involved in anyone reading the code.
So would a bullet. So would solitary confinement. So would sewing people’s lips together. Lobotomy was widely celebrated procedure, it too would aid weight loss.

If the concern is the patient and their well being, maybe find out why they are overeating in the first place?
Does every business in the 21st century need to be some form of low-level scam in order to make headway and grow enough to satisfy VCs or investors?
>Do you want them to also just eat cake? Or perhaps maybe they should also just try being billionaires? Just stop being poor, people. Right?

I think billionaires are buying private planes, not EVs. The people buying EVs for their daily transportation several orders of magnitude closer to being homeless than they are to being billionaires.
Linux 6.5 Delays x86 FPU Initialization as Part of Cleaning Up Kernel Boot
Take a look at marcel: https://github.com/geophile/marcel
Considering the RTX 6000 ADA is like $8k, you could add three 4090s for half the cost.
I just got a Coros Apex 2, I'm very happy with it.
This is a good but also misunderstood point. It is true that you can't automatically do this in general. However, expressive enough type systems can contain human-written, machine-checked proofs of (models of) these properties. I think the jury's still out on whether or not humans or machines are better at coming up with proofs, but computers are decisively a lot better at checking them than we are.

The way I see it formal methods not a holy grail where we don't have to think about the code we're writing anymore, but it is a very strong next step from "I wrote this code and here's why I think it's right" to "I wrote this code and here's a machine-checked proof that it's right". Effective automation can make that step easier to take in a lot of real-world cases.
Also, by 2050, effectively everything needs to be co2 neutral, that includes electricity generation and manufacturing.
How would you even start assessing likelihood for that ? You just don't have data for
This combination is pretty common in start-up founders as well. Separating the ones who believe their own bs from the ones that have done their homework can sometimes be quite hard.
This is not true for copyright law (the 4-factor test[0]) or for OSI licenses (they almost universally place no restrictions on commercial use). The only exception that comes to mind right now is the Creative Commons NC, which is generally recognized as being unsuitable for software[1].

[0]: https://fairuse.stanford.edu/overview/fair-use/four-factors/
[1]: https://creativecommons.org/faq/#can-i-apply-a-creative-comm...
What is MM?
> I really doubt that they intend do use it, but zero-knowledge cryptography indeed can accomplish this, so there is no technical limitation afaik.

It's really hard to say without details of how the proposed system would actually work, but I don't think they can get away from KYC laws.

They'd still have the on ramp / off ramp problem of existing cryptocurrencies, my bank would know how much I transferred and some unique identifier of either my wallet or the transaction. Assuming that offline transactions aren't possible, the network would also know every transaction made and could link that back to my original bank deposit.
Apple has said that it isn't a direction they've wanted to pursue.
Link to Open Source is not about you:
https://gist.github.com/richhickey/1563cddea1002958f96e7ba95...
Unfortunately, it's a common bar for the continued existence of companies. I'd say successes if the company still offers a service in 5 or 10 years. Unless the operators an employees are all independently wealthy, you need to break even
Informed consent. I'd even say "rigorous, neutral, informed consent". And it's not only paying customers. Personally, I've always felt more angry about Christa McAuliffe. I'm not sure I'd go all the way with banning the general public altogether, but I suppose I'm open to it still.

Tip: hubris is a tell.
Yes, though likely less so compared to leaving them in a horizontal position. It's a mitigation, not a silver bullet.
The AI produced content I've seen writes like a competent 5th grader. National Geographic wasn't being written by competent 5th graders.

I do think people are going to get tired of AI-produced this and AI-produced that - they're going to crave content created by humans. At least for some things. There may be a place for AI-created content that we love. That is this whole thing might be a false dilemma, it's not AI or human created content, it's AI and human created content. We'll find out which is better at what.
It can't in the general case. When you're writing formally verified code (or hardware design) it is very common for the formal engine to just say "nope! couldn't prove it!".

But that doesn't mean it is useless. The halting problem has almost no practical relevance because we don't really care about the general case.
Inflection AI raises $1.3B in funding from Microsoft, others
Would it be reasonable to restrict non-language information differently from language information? Where language information is any version of language - spoken language, written language, video depictions of written language, sung language, etc.

IMO most of the problem with restricting language information is that it can stop ideas from spreading, which is functionally very limiting for democracy from
a distributed computational perspective.

Does the same problem apply to non-language information? Especially for things other than real events (e.g. police actions, a protest, etc).

It seems possibly much easier to draw the line within e.g. video depictions than it is within language information.
No it isn't. They were not forced to buy that car or avail themselves of that insurance offer.