skysight-inc/HackerNews huggingface dataset:
> It's "funny" how both RFC 3339 and ISO 8601 standards include a huge number of redundant DT formats with often overlapping purposes, yet "2023-09-01 15:30:59", [...] included in neither.

ISO 8601 does allow for that format given a mutual agreement. The "mutual agreement" sounds serious but means nothing more than a simple qualifier like "ISO 8601 where `T` can be replaced with a space" (RFC 3339 also does this in a much wordy way). I don't think how this makes things unclear, esepcially when people generally are unaware of ISO 8601 anyway.

> [...] which is by far most used DT format (because it's fucking obvious!) across all systems [...]

I'm not even sure that this is the most used date-time format. The most spoken language is Chinese, for which native separators like 2023年9月1日 are common.

> Also, both standards are very unclear on how to represent DTs BC, and how to represent DTs after 9999-12-31 (or before -9999-01-01), and most commonly used libraries often just cannot handle them at all.

Again ISO 8601 allows for year numbers before 1582 (yes, they are not allowed by default) or after 9999 given a mutual agreement. Such numbers should be prefixed by a single sign character if it can't fit within 4 digits. They are generally not supported because we can't really do anything meaningful with that past or future date, but nevertheless I have seen enough libraries that do parse them (particularly common when they are implemented independently from C <time.h>).

> And even when they can, the behavior of 00-01-01 is basically undefined (may I remind you, that Gregorian calendar is stupid, and the next year after 1 BC is 1 CE).

It is defined as January 1, 1 BCE. ISO 8601 clearly states that its year number is for the proleptic Gregorian calendar, so it infinitely extrapolates back to the negative infinity.
Except you don't even know if they in the future uses the same calendar.
Its not the tool that is covered by fair use. It is the creation of the tool that is covered by fair use.

Is the tool itself supposed to be a copyright violation or is it a tool facilitating copyright violation by producing violating output?

The later is something that can be tested because we have processes to compare works of art for it. If it is shown that LLMs produce mostly infringing art then we can and should ban or heavily regulate them. If not then not.
I built a chatbot that runs in the browser with WebAssembly and WebGPU. How does it run for you:
https://chat.palapa.ai
> The ABC conjecture "proof" is rejected because it uses definitions and arguments no one understands.

I would like to point out that it seems like the general consensus now is that Mochizuki's proof is incorrect.

And, as people pointed out early on, one of the problems with the Mochizuki paper is that it provides no new tools or results for other problems in the space. This is quite unusual and was a significant part of the skepticism about the proof being correct.

Contrast this to Wiles proof of the Taniyama-Shimura-Weil conjecture for semistable elliptic curves which proves Fermat's Last Theorem as a consequence and then led to a full proof which later became the "modularity theorem".

If Mochizuki used the tools from his paper come at something already proven from a different direction, that would have lent a lot more credence to his claims.
First order logic theorem prover in pure Python
King calls for strict adherence to monarchy.
My opinion is we should treat AI like photoshop/word/windows. If you use windows to copy a file and distribute it, Microsoft isn't liable you are. If you use word to type up a book and sell it, you're responsible.

Same with a statistical model, if you general a copyrighted work and distribute it you are responsible. But the tool (GPT-4) maker isn't responsible just like Adobe isn't responsible for copyright infringement.

The copyrighted text/image isn't generated until you ask it to. Your prompt is what reproduces the material.
Isn't POTS being shut down in the UK in 2 years from now? https://www.ebcgroup.co.uk/news-insights/all-of-your-questio...
Open Icon Identifier wants to move to a different license but are afraid of user reaction.
There's plans for eventual expansion, [1], although I wouldn't bet on any of the current plans to be the one that's eventually chosen. Current growth levels seem to give us capacity until beyond 2050. [2]

Number expansion does regularly happen around the world; it's not fun, but it's part of life.

[1] https://en.wikipedia.org/wiki/North_American_Numbering_Plan_...

[2] https://www.nationalnanpa.com/reports/October_2020_NANP_Exha...
I'm on an M1 Mac and even with that iteration you're totally right. Especially given for that battery life you usually still great performance and a silent machine.

But I really miss my ThinkPad (with Mint) whilst I use it. I'm on the Mac probably 95% of the time but other than the battery life and efficiency it has nothing else going for it in comparison. It has a worse screen, awful keyboard, toy UI, and terrible accessibility as my eyesight ages. I wish the non-Apple world would get their act together.
You are trying to reason in good faith with someone who receives money to post. These are the narrative ninnies, who push a narrative on subjects like: war, surveillance, lockdowns, elections.

Can't let forming opinion to chance, not here, not on reddit, not anywhere!
We haven't, and I hope you are not implying that one of the largest tech companies in the world would take advantage of their complete dominance of the internet to weaken their remaining competition.

In all seriousness, it's not a new issue, if you search for it, there are complaints about it going back years.

Now, I'm sure there is a "non-evil" explanation, such as "oh we just test more with Chrome so we optimized for that, but we will try to convince an intern to install Firefox", "Chrome is just better", "Firefox doesn't have x and y features, so it's slow, but it they implement it, it will be fast, too"...

... and there are the "evil" explanation, "let's make one of our most popular products slightly slower on a competing browser to nudge people into using our browser".
Also often home-built thermos bombs are being used. Those might actually be the more common form nowadays.
Author is literally crying about getting used to a new interface even though it's better.
> last week the low was 30 GW and the high 54 GW.

Summer numbers are irrelevant, because winter power draw is much higher.

> I’m not looking for the highest demand for the year but in France Monday January 2 high 59GW

Typical year might see 80GW in the winter. The record is north of 100GW, but that's something for which a country will import, restart decomissioned thermal plants and/or curb industrial consumers.

> Further, there are multiple kinds of nuclear power plants and different ways of operating them, if you want load following you pay a premium that increases as you need to ramp up and down ever faster, and another premium for increased thermal stress etc.

Yes, that's part of the issue. My point was, the constraint for storage is an economic optimization constraint. It's not in the same category as "tomorrow there's no wind so there's no power".

> As to wind and solar

I know the theory, my point is that wind/solar don't synergize with nuclear. There's a reason renewables proponents bash so hard against the baseload concept. If your renewables don't produce during peak hour, you have to build capacity ; that necessary capacity will see its load factor deteriorated because it then has to give way to renewables when they come online. The only way this is profitable is if you profit from not spending fuel - i.e. if your plants would have used gas.
Makes sense, is you're a 5+ years experienced JS dev.

But a more junior dev (or someone often switching languages between eg JS / Python / Go etc. all day who finds it hard to remember language details) would benefit a lot form the IDE suggestions and validations that can be offered with TS, and move faster at coding with all the extra help from autocomplete and stuff.

So your implicit tradeoff is to optimize for more senior developers. That's OK, but I'm not sure you intended that.
> That's not S-exprs then because there is no symbolic difference between )( and ) ( or between foo( and foo (.

You (and everyone else) who points this out is quite correct. I could have chosen a proper name, but when I started project (and created the name for it) I did not realise that I would have to make whitespace and newlines significant in order for it to make sense from an HTML perspective.

It was only when doing testing and trying to bold the middle two letters of "hello" that I knew I had to make whitespace significant.

So .. uh, sorry about the name :-(
> So I think the vaxx is unsafe

It is certainly unfair to label you facist or right wing when you're just simply categorically wrong.

One (of many) straight forward post pandemic demonstrations of this is in Australian epidemiology data.

An entire country of greater than 25 million people from a diverse global genetic background has been triple vaccinated with greater than 95% uptake and no significant unexplained mortality|morbity outcomes compared to pre COVID figures.

Australia has a national health sytem with comprehensive (privacy blinded) epidemilogcal data stretching back decades (as a math undergraduate I worked with Professor Fiona Stanley back in the early 1980s) and there's no secret cabal conspiracy hiding vaccine side effects.

What dangers there are (and all medical treatments have risk) are truly miniscule, particularly against the risks associated with not be vacinated.
Ask HN: What is your policy regarding smartphones for your children?
Recently, there are more and more studies that smartphones harm learning and not a single study with the opposite results. However, very few parents have the guts not to buy a smartphone for their child. At what age do children in the HN crowd begin to have censored access to proprietary software (personal supervision) and uncensored (smartphone with or without parental controls)? Are there families where children have access to computers with only FOSS before they have access to proprietary software?
Why shouldn't a prompt output be copyrightable?
QEMM was created for the 286 (see QRAM) https://en.wikipedia.org/wiki/QEMM
Along the lines of what another user said, you can actually get this a lot shorter. given variables $haystack and $needle, this actually becomes

$haystack | lines | where $it =~ $needle

which, albeit maybe not as concise as the grep solution, to me feels good enough, especially when you have so many other tools to handle text (all of the str subcommands, splitting by row/column and then working on tables).
also, admittedly, if you want to drop down to "normal" ls, you are one character away: use a caret and you can drop down to the usual bash/sh/whatever.
> No, but that's mostly because NNTP yet had to be invented (RFC977 is from 1986

I started on usenet in the late 80s, so my worldview always had NNTP.

> Yet much closer to 'censorship' than whatever goes on at your typical walled garden today.

This is not true at any level. Again, in a walled garden there is only one master, it's in or out, you are in or out.

Usenet is completely distributed, there is no center. Each site and each person can choose to not distribute or see certain things, but that has no influence outside their sphere of control. My site might no carry a given group, but many others do so I have choices. I might plonk you, but everyone else in the world sees your posts.
exactly, the build step is there anyway, so why not get "what you're paying for"
I did quit it. The reason I quit it was that after trying it a bit, reading reviews, writing a couple, I noticed that it didn't help me find good books to read (which was what I hoped it would do I signed up), or do anything else to improve my life in any way.

In other words, it sucked, so I quit it. I do not believe I am the only person who was able to do this.
And then they change the calendar. (It has already happened in several regions when changing from Julian to Gregorian calendar. You don't know what calendar will be used at that region in the future)
That's certainly a valid argument if your ethical standards are such that it's okay to kill some but not many.
Haven't seen these new Google Maps yet, but from the screenshots, I couldn't disagree more.

Broadway is completely invisible in the "old" map, but visible on the "new" map.

But I guess the more usable contrast makes the Madame Tussauds label slightly harder to read?
These are not at all comparable? This would be more like seasoning with salt in predefined amounts and not knowing how to season to taste, which will fall apart the moment you deviate from the recipe or change up the seasoning mix at all.

ChatGPT might tell you how much salt to use but you'll be screwed when it tells you to use 5 tablespoons for a small steak and you don't have the fundamentals to question it or figure out where it went wrong.
now that's hot
I have never said anything about Sachs one way or another online or in-person anywhere, ever, in my entire life, because I have no idea who you’re talking about. Your accusation is baseless slander.
Comment from the author on that video:

>The aluminum is easily activated and directly after the experiment it often has something in the order of 300-400uSv/h. This decays to 4-5uSv/h in about 15-20min, some hours are needed to reach inactive status <0.1uSv/h. The coffee does not become active to a degree that is worth mentioning. However, due to the risk of contamination in the controlled zone it is not allowed to eat or drink things that have been in the beam.

Yow, toasty.
DotNet is great for cross-platform.

Native builds cross-compiled with a huge standard library and excellent performance. This is just about IDE priorities, and even though I use it I understand that VS Mac was always niche. Linux dotnet devs use VS Code or Rider anyway so no change there, and this just brings Mac in line with them.

Worth remembering in all this that the developers of Go, Python, PHP, Ruby etc (to name a few, all of which I use and am not dissing) don't produce their own IDEs. You wouldn't expect them too, and would never say their cross-platform creds are bad because of it, so why is MS different just because they choose to produce optional extras beyond the basic language tooling? By that logic you'd have to reach the (ridiculous) conclusion that Go, Python, PHP, Ruby etc are even worse for cross-platform. Double standards really.
Thank you so much! Yeah, right now we keep the API as open as possible, we’re big fans of oss but it’s gonna take a while as the system runs on many databases and systems. Apart from the simple portfolio tracking, we are ingesting live data from global stocks, thousands of news per day and do clustering and machine learning and all kinds of fancy things on it.

I’d love to open source the dashboard first as it is probably useful to self-host and just feed with your own data. Let me know if you have any questions.
It shouldn't flash. You probably have a bad webgl implementation. New graphics drivers?
Even Chinese BSOs at hypermarkets these days often come with hydraulic disc brakes. That is no longer an MTB-only component that shops will refuse to service. Any bike shop in most developed countries will be able to maintain them. Hell, there are already regions where few bikes still have rim brakes.
A splitter would also help if your source can decode TrueHD/DTS-MasterAudio, your receiver can accept multichannel PCM (I think most can?), and pass through / eARC isn't an option.

No OSD is unfortunate, but certainly usable. You'll miss out on volume and source indicators if you can't see the receiver's screen, but you can connect a cable for receiver menus, and usually once you get things setup, you don't need to spend much time in receiver menus.
The value of copyright is going to vanish. There is enough public domain material to train models on and to avoid the problem altogether.

There used to be professions like tinkerers, bards, clowns. The tinkerers disappeared when the society became modern. The clowns on the other hand managed to lobby for laws that put people into jail for heinous crimes like copying pictures, and survived longer. They are going to bite the dust now.
https://www.authorsalliance.org/2023/02/23/fair-use-week-202...

Of course, alleging copyright infringment is useful to get into federal court as contracts are generally governed by state law.
They even made a videogame about that, the cheetahmen.
> People often represent year with 2 digits [...]

Ambiguously. I've seen a lot of different cutoffs, including 1930, 1950, 1970 and 1980. And those cutoffs don't actually exist in the human conversation: I would guess the century, and if something sounds off, I'll ask the exact year number and get corrected or verified. Computers can't do that (or at least, should only do in the frontend).

> I cannot just say that you MUST represent DT in ISO-XXXX format, it's not specific enough.

Laypersons have no idea what the heck is ISO 8601 anyway. I'd just say: use the format "yyyy-mm-dd hh:mm:ss", padded with enough zeros. Then I'll parse it as if ISO 8601 date and time format with the `T` omission is allowed (because it essentially is). Done. I wouldn't ever try to figure out the meaning of, say, `23-09-01 12:34:56` because they are ambiguous and should have been discouraged after all (or more practically, allow a free-form format but give the guessed normalized date and time in ISO 8601 immediately so that it can be checked).
You also want a fourth piece of information: what calendar that the specified date belongs to.
The main question IMO is this:

> when I first used these lookup books, I had a shaky understanding of logarithms.

this implies that now you do have an understanding of logarithms. how did you acquire this understanding?

The fear that many here share is that LLMs will make too many people get by without learning anything substantial from the ground up. Take away their LLM access and they're completely useless - at least that's what people are afraid of. Myself I'm on the fence - it was always the case that a certain type of people seek to understand how thinks actually work, and others who just want to apply recipies. These trends will likely make the recipy-appliers at first more powerful. I'm afraid though that soon enough they will be driven out by further automation coming on top.
> And there’s nothing new being produced. It’s always a statistical output of previous works.

I don't think you can define those terms such that what you say is true of AI but not true of people.
I just want Google Maps to slide the location of the street labels so they always stay visible. Zooming into an area and having a street label simply vanish is an absurd behavior for software in the 21st century.
I thought for a second that I'd see 3D animation of knots and thought "that'd be a cool math program to do: one that can animate a knot construction"...
> based on mood and vibe

Can you give a solid example of the “mood and vibe” methodology in the analysis?
I would try to intersect things-you-like _with_ things-there-is-a-need-for _with_ things-that-pay-decently (according to you and nobody else) and give whatever comes up a try. Good luck!
Researcher builds anti-Russia AI disinformation machine for $400
https://news.ycombinator.com/item?id=37342490
Is AWS Bedrock the OpenAI killer? [video]
Honestly, this applies to the entire rest of the thread too.
Something about knots makes me feel stupid/slow. That's a shame for someone who does climbing and boating...

Now I just rely on muscle memory, as trying to "understand" knots always leaves me frustrated...
We don't even know if the future can read or write in our commonly used alphabets.
We have been in Italy in the mountains near Lake Garda, and the hosts where we were staying specifically instructed us not to use Google Maps as it will lead us to sketchy shortcuts which is barely managable to pass trough, while the "official" route to their village is paved, easy to follow, and thus, much faster to pass than Google's route.

I left on Google Maps out of curiosity and indeed, it started to show directions which lead to poor dirty roads where my car would barely fit trough.

One would think that Google has some data about much less cars passing through that road than the paved one and drive some conclusion out of it, as I hardly think anyone would use those roads apart from a few locals who are living there. Especially in an area which is filled with tourists.

Also, Google Maps also often suggests much less efficients routes in my local area where I definitely know that there's a route which not shorter, but still much faster.
Interesting. A question: Can regular citizen protect their address in The Netherlands, or are addresses public and searchable online, as in Sweden?

That's somewhat of a pet peeve I have with the Swedish situation. Due to the country's transparency principles (which I in general consider a good thing), everyone's registered address and other personal details are easily searchable online for everybody through numerous different services. Including who you live with, and lots of other information. So basically, to use US lingo, the government is doxxing everyone by default.

There's no way to opt out of this, except if you are already subject to a documented threat (but then it's obviously already too late and you likely are forced to move), or if you belong to a small group of professions that might be considered particularly vulnerable.

In consequence, you can easily and anonymously look up where your enemies, or their relatives, live. I don't see how this is not contributing to the problem. Potentially even being one of its major drivers. However, there's basically zero public or political debate about changing this part. In fact, most people in Sweden are completely oblivious to the idea that it could be different. That as a citizen you might want to have the right to choose whether your address is available to the public or not. Even though that choice is the norm in most countries, afaik.

So I find that totally annoying. Making it harder to look up where someone lives, would likely, over time, reduce the number of attacks on buildings (which not only include bombs, but also shootings at buildings).

There are probably tens of thousands of households across Sweden who experience an elevated risk of being exposed to bombings or shootings, as gang-related individuals (or their family members) are living in their buildings. So this is a real crisis, I would say.
Changing the time of the event is the whole point: specifying the yet undetermined time that would be called 6pm according to the currently unknown timezone and DST offset on that day in the future, not a specific time that we don't know what will be called in the future.
Indeed, the problem is AI puts the whole education system into question. Even before AI it could have been argued (Case Against Education/it's mostly signaling etc). At this point I'm weary of putting my 5-year old through this pointless 12 year exercise, unfortunately in our country there is effectively no choice and home schooling is not allowed. If I could I would offer an environment where he could pursue any and all interest together with other kids under the guidance of competent people (and AI). Cultivating your strange passions is probably the only way to contribute and thrive in a post-AI world.