skysight-inc/HackerNews huggingface dataset:
> It is? Do you have any supporting evidence for this claim?

I don't have any evidence to support this claim. I always thought about it as self-evident, because it was in that journal that Grothendieck published his work, and the same style is used in by the legendary Hermann editor from Paris and by Bourbaki. But I cannot find any non-partisan source of my claim. As for non-neutral sources, you have for example the congratulations on the typesetting by Dieudonnée [0] (who was a member of the IHES), or a more recent article by Haralambous about the Baskerville variant used by the institute [1]. I will retire my claim of "undisputed" if you find a source that says that the pinnacle of mathematical typesetting is something else :)

[0] https://expo-patrimoine.ihes.fr/?page=9&lang=en

[1] http://www.numdam.org/item/CG_1999___32_5_0/

You also have this semi-anonymous blog post [2], that laments the decline in quality when the journal in question was acquired by Springer. Quote:

> How good was the typeface? It was so good, some people submitted their papers to IHES precisely for the beauty of the typesetting

[2] https://www.galoisrepresentations.com/2014/08/15/the-decline...
Came here to ask if anybody remembered the name of this place.
BirdNET seems to handle mockingbirds pretty well in my experience. I've tried it a few times when I know what they're mimicking, and it popped up as a mockingbird.
You could try using a transcript of The Wolf of Wall Street, maybe throw in Glengarry Glen Ross for good measure?

/s
Re unpacking with * one I use often is when you have a list of types of coordinates you want to plot, i.e.

# z = [(x0,y0), (x1,y1) ...]

You can do

import matplotlib.pyplot as plt
plt.plot(*zip(*z))

I spent years doing

x = [t[0] for t in z] # etc

before I realized this.
Tickets for trains are on average twice as expensive as for flights
I'm a bit confused here, are you suggesting that heat pumps don't make for good AC? With few exceptions (evaporatorive coolers) heat pumps and air conditioners are essentially the same thing, exact same process, technology efficiency, etc. The heat pump is an air conditioner that can run in reverse too.

In general when people criticize heat pumps it's comparing them to resistive or gas heat.

To answer your question, I'm based in Idaho and my heat pump is great. For the few days that it actually gets cold enough, it has a heat strip in the indoor unit to give it a boost, but most of the time it's just running the heat pump.
this is great! very clever logic model.

I wrote something I think is highly relevant about a distributed L1 for time, that you might enjoy, OP?

[oc] https://www.seanmcdonald.xyz/p/the-clockchain-protocol-the-l...
This is perfect for a company like ESPN. They have enough sports writers working for them that they could instantly create the place sports talk happens.
I wonder if there is any correlation with either political or socio-political volatility, e.g., bread and circuses, conspiracy theories, cults, political dysfunction, and an inability to double-blind test painkillers.
> Google's plan is that, during a webpage transaction, the web server could require you to pass an "environment attestation" test before you get any data. At this point your browser would contact a "third-party" attestation server, and you would need to pass some kind of test. If you passed, you would get a signed "IntegrityToken" that verifies your environment is unmodified and points to the content you wanted unlocked.

Would you rather a capitalist dystopia, where large corporations get to approve everything you see & hear, or a socialist dystopia, where the government gets to determine what you're allowed to view?

[Answer: Neither]
Stopping anything that modifies a page on behalf of the user (rather than the creator or Google) will be step 0.
I follow some YouTubers that try to recreate TikTok recipes and most of them come out just fine. If you're an experienced cook, it's really easy to judge whether a recipe is gonna be decent or not.
Ah I see! Hope there's one soon
Ah! Wasn't clear, should have added a /s.
Inb4 crazy identity requirements on LLM interactions that only Worldcoin can solve. Create problem, pay the system to be the solution.
He bought a company. He experiments with it. The company might do well, or it might fold. Like any other private company. Big deal.
It's weird to me that they unloaded anything in the hold for what should have been a refuel-and-go. Unless they're expecting you to be held on the ground for 3+ hours, they typically don't even bother getting the pax out much less the bags.

But there's always https://www.youtube.com/watch?v=5YGc4zOqozo
Nah. Nothing induces guilt more than finding my wallet is empty again.
X Twitter - HN will be my future single source of truth
What about them?

Climate change prevention should distance itself from the environmental movement in my opinion. Make it clear that we're focused on stopping global warming for the benefit of humanity. Yes, blanketing deserts in solar panels will destroy habitats. Yes, mining lithium is ecologically destructive. And we should cut environmental regulation for both, because the survival of humanity is more important than desert tortises.
That's fair. I was only thinking of it in the context of how mathematics is/are referred to as a subject, not as an actual concept. But what you say is true.
https://archive.is/C9p0x
You can either use CSS where it makes sense or you can keep the regex results to refer to as needed instead of throwing them out.
Not until Mozilla gives in.
Is that an order of magnitude of cycles or energy throughput?
I wonder how efficiently a similar solar powered lift system would work for a "dirt battery"?

The *dirt battery I have in mind would be a vertical pulley system with small dirt scoops spaced at regular intervals. The scoops would pull dirt from the bottom of the pulley system and bring the material to the top were it is dumped into a mechanically locked, very large container. Over time the container would fill up, and when that stored energy is needed the container could be unlocked, at which point it would power a clockwork of turbines on its way down.

Thoughts, critiques?
Thanks for the quick reply - I just found it myself (this comment helped: https://news.ycombinator.com/item?id=36853067)

Given it's come up twice maybe a UI tweak or prompt might be useful here but I'm loathed to give you any advice to you - this is superb work. Once I have more of a play I'll come back with any further thoughts.

Thanks again
> Deserts are far from people

So... you've not heard of LA or Arizona or Nevada etc?
This sounds like just the Hyperloop crossover to relaunch er... X with.
Plus I would think by this point in human events we understand that nothing that does everything actually does anything well. This is a terrible idea. At least he's had a financial hit because if it, nothing else has any change of convincing him otherwise. Even he knows it's a bad idea, which is why he never actually wor4ked towards it.
It got tons of people really excited.

I don't know what to say past that, but it's worth reflecting on.
Why did it take around 10 years for AMD to implement AVX-512 and will they need to wait as long for this too? Doesn't seem to be patent related (patents are 20 years and AVX-512 was introduced in 2013?).
I like this one much better https://youtu.be/RKfG3lWCZ80 at 4:20 onwards. Also explains the difference between slip and skid.
It's in the million dollar range. XLnet which is a 1.3B model cost $245,000 to train for example.
"In 2023, Clauser was elected to the Board of Directors of the CO2 Coalition, a non-profit composed largely of oil lobbyists who dispute the scientific consensus on climate change and global warming."
You have to change the title (currently "Sam Altman demands regulation in effort to limit competition")

I strongly agree with that sentence, but it's not the title of the article, it's clickbait
> Google's plan is that, during a webpage transaction, the web server could require you to pass an "environment attestation" test before you get any data.

There is no value in this "attestation" for me as a user. I want to be able to do whatever I want with the browser (for example, remove ads or block access to canvas and webgl) and I want sites to be unable to know this. And probably this attestation will provide additional fingerprinting signals which is what I don't want.
might be of interest: https://techcommunity.microsoft.com/t5/windows-blog-archive/...
When I was an intern at Yahoo working on OAuth back in 2008 (2007? It was long ago and I'm old) I had the pleasure of implementing an internal tool for generating OAuth 1.0 URLs, which meant encoding a lot of things in query parameters. My tool did not generate URLs which were compatible with Yahoo's implementation (certain parameters effectively should be encoded twice, which my tool did). The implementing engineer insisted my tool was wrong, cited my status as a lowly intern, and even pulled out the OAuth spec and bent over backwards to say how his implementation was correct and I'm clearly reading it wrong. It literally took bringing in Eran Hammer-Lahav to weigh in on the topic to say I was correct, at which point the engineer agreed that of course that was correct. I got zero acknowledgment or apology for the days of ad hominem attacks against me.

I did learn an important lesson that more senior people are not always right, and as someone who's usually more senior than my colleagues now I try to remember it daily.
This. Women are real humans with real things going on in their lives. This makes them less "available" and often requires men to step up their game all the time.

Not that women are in the wrong here but the entire value proposition of the AI girlfriend is that it will not have these problems.

This is very similar to how companies want AI to replace human workers because human workers can't be "available" all the time, on demand, because they are humans.
Papers are mostly read by other researchers, where the added background is actively bad because it obscures the real meat of the paper to the main audience.

If you just wanted a digestible intro then you would usually buy a textbook.

I think the argument that every research paper ought to be a mashup of a textbook + the actual research to be a bit silly from a “people should specialize at what they’re good at” standpoint.

Put in another context, I also don’t want every recipe to reintroduce what it means to “fry” or “braise” or “marinate”. We have Google for that.
"Control and order" create civilization. Your ignorant view could be forgiven if we didn't have so many 20th century examples showing that principle in operation within a single generation: Japan, Korea, Singapore, China, and Taiwan. Going back further: Puritans, Mormons, Lutherans, etc. The Mormons escaped persecution and settled land nobody wanted and built thriving cities there.

I'm not aware of a single civilization where free-thinking turned a poor society into a prosperous one. It's always the other way around: free-thinking individualism is a luxury enjoyed by the descendants of religious, orderly, and well-controlled people.

Indeed, ironically, free-thinking individualism is directly rooted in Protestant Christianity, which emphasizes the personal (rather than communal) relationship with God, and having lag people read and interpret the Bible. Do you think it’s a coincidence that the most individualistic societies on earth just happen to be Protestant?
They do if they want a conviction.
AVX512 subsets *NOT* supported on AMD Zen4 (Epyc 9000, Ryzen 7000):

- AVX512ERAVX512PF (Knights Landing)

- AVX512 4VNNIW, 4FMAPS (Knights Mill)

- VP2INTERSECT (Tiger Lake)

- FP16 (Cooper Lake)

You can see a table here showing cpu's AVX512 support[0], and wikicpu also has that data in a list [1], along with more detailed info. It's worth noting all data I can find specifically talks about AVX512 support in terms of the architecture (Zen4), not anything specific product families such as ryzen vs epyc implementations. It's possible there is/will be some artificial product segmentation going on (like what Intel did retroactively with Alder Lake to disable AVX512) but I've not seen any mention of it regarding AMD's products. I mention this because Intel has kinda been all over the place with AVX512 implementation, and there's a big difference between Enterprise and Consumer in how they deliver/treat AVX512. AMD obviously is a different company with different practices, but with only 1 generation to go off of it's hard to speculate on a trend, and AVX512 can be an expensive implementation. Point being: It's unfortunately complicated AND subject to change.

The "big" one here for ML/DL/AI vs Intel's Sapphire Rapids (and presumably going forward) is FP16 not being supported on AMD. Of course, it's contextual as to whether that's relevant to you though.

[0]: https://en.wikipedia.org/wiki/AVX-512?oldformat=true#CPUs_wi...

[1]: https://en.wikichip.org/wiki/amd/microarchitectures/zen_4#Ne...

My experience is primarily with Intel's implementation of AVX512 in their Xeon products for DL/AI. I can expand on that if interested, but unfortunately haven't had a chance to play with AMD Zen4 yet in that domain, and it's gonna be a while till I can get hands on with a Epyc 9000 probably.

EDIT: Fixed typos
Somewhat less prevalent in BC, or Quebec (francophones), but yes.

It's often challenged my capacity to keep a straight face when it reaches self-parodying levels.
Ural Airlines flight 178 – by Admiral Cloudberg
I maintain a Markdown-based website. I considered using diagrams to explain certain things. It would be a pain to keep image files and rebuild and export images every time the diagram changes.

Instead I can put the diagram code directly in the Markdown file and update it as needed. Version control would track those changes legibly.

This is very similar to using inlined LaTeX formulas instead of screenshots of the final mathematical formula.
The problem is that it's become so difficult to tie into the grid that projects are being cancelled.

There was a NY Times article on this (http://web.archive.org/web/20230226032242/https://www.nytime...) that mentioned that the PJM Interconnection, the biggest US grid, is not even accepting new applications for large projects until 2026.
Before I saw your comment, I had "overlooked" that these were presented as beneficial features, rather than just curiosities. As someone just learning Python, but familiar with other languages, I can only hope that if I start using Python in production with other developers they take the most obvious route (or use a comment as to why they would be relying on this type of behavior).

I chose to learn Python because it seemed to be the easiest to read, which to my mind meant working in a team would lead to easier discovery and understanding. Then I see articles like this, and wonder if I'll have a lot of footguns to watch out for where the code isn't as clear as it seems.
can you walk through how it works, I can't tell from the website
Probably because of this?

https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2023-2059...
On a path to fingerprint every LLM interaction. A company lobbying for a regulatory moat while the leader builds a solution that algorithmically identifies everyone sure makes me wonder about a bigger agenda.
I like using generators when querying APIs that paginate results. It's an easy way to abstract away the pagination for your caller.

def get_api_results(query):
params = { "next_token": None }
while True:
response = requests.get(URL, params=params)
json = response.json()
yield from json["results"]
if json["next_token"] is None:
return
params["next_token"] = json["next_token"]

for result in get_api_results(QUERY):
process_result(result) # No need to worry about pagination
> Solar is so much more useful close to where it's consumed, like rooftops and parking lots.

Yes and no.

Yes. In places like Southern California, rooftops and parking lot solar would do a great job of providing power for mid-day consumption.

No. This is far less effective in, say, Seattle or Pittsburgh.

However, HVDC links are really good at moving power over long distances. The US has lots of places that are effectively completely uninhabited and would make really good spots for solar farms if they had an HVDC link.
Dog fighting AI isn’t going to end the world. When people talk about the “risks” associated with AI they’re talking about an AI that spirals out of control and destroys civilization. Something something infinite paper clip optimizer.

It’s scifi themed end-times cosplay.
Why would a buyer trust your site? How do fairly resolve disputes? Do you have some certification as an escrow service? As a buyer if someone asked be for a deposit on a FB market item I'd report them as a scam.
Microsoft itself should never recover from this bad blood either.

When you get a bully on the ground, you keep kicking and you don’t stop. Otherwise they’ll just come back and make you wish you’d never been born.
I'm almost certain these were posted back in the day but:

Adam Morse's updated color palette: https://clrs.cc/

This really cool color scale generator: https://hihayk.github.io/scale/#4/6/50/80/-51/67/20/14/1D9A6...
Right you just have to pay for maintenance of all of your own equipment.
Don’t Intel and AMD have cross licensing agreements for instruction set extensions?
At the point we're disagreeing about 'basic' vs. 'bit below intermediate'.. idk we at least have to agree how many levels the model has.

Fwiw I also thought it was pretty regular stuff, and then arcane library functions you've either needed or you haven't. Also, that's a generator, not a list comprehension.
Good to see more entrants in the real time analytics space. I've been waiting years for most database to embrace streaming. I'm betting on these real time data platforms needing a faster dashboard than tableau... That's what I'm working on https://www.timestored.com/pulse/. You may find it useful to show off demos. We are partnering with some startups like yourself. Email me if interested. And good luck!
AVX10/APX does sound like a good baseline for v5.
The club in Newcastle was Tuxedo Junction.

there was a short-lived clone of same in Las Vegas in the early/mid 1980s as well.
The plain text representation can be embedded into documentation and tracked by source control. A change to the diagram is a change to the content, not a separate workflow that requires storing the originals somewhere. Updates don't require any third party software.

This fits well into a CMS or static site generator workflow.
Cloudflare will happily help Google with displaying captchas to everyone not using Chrome.
Where do you think Mozilla gets its funding from?
Surely u/bit_logic's enthusiastic phrasing was aspirational vs literal.

That said, the bottle neck is now expanding and upgrading the grid. u/bit_logic is advocating we continue to build new generators, do not wait for the grid, and use that excess capacity to create green hydrogen. ASAP.

aka known as The Correct Answer™.

Here's an interview with Andrew Wang of ETFuels, who is executing this strategy, with paying customers, today.

"Making shipping fuel with off-grid renewables" [2023/06/28]

https://www.volts.wtf/p/making-shipping-fuel-with-off-grid

https://overcast.fm/+oT_lO0G8Y
Going by that projection, they should build a lot more solar and wind rather than worry about batteries.
Related: https://www.cs.toronto.edu/syslab/pubs/demkea_context.pdf
As I recall, Mozilla caved last time with EME so I would not count on it.
Capitulation in 3,2,1
2.5% loss per 1000km.

1.45$/w for commercial install

2.95$/w for residential install.

That doesn’t include management economies of scale.

Big chunks of the US can’t do solar in the winter, so you need long range transmission anyway.
They run the largest ad company on the planet, affecting adblockers is always a primary goal for them.
I'm looking forward to a later therapy having a name referencing Rasputin, or the tsar's son that he 'cured'.
(From the medium article from an other comment)

Air Canada changed their pilot training, changed several manuals and documents, standardizing the fuel weight units (which was already in process), changed the circuit breaker, established a flight safety organization, and changed fueling procedures.

The story does not say if any person responsible for those parts got any negative consequences, thought one can hope that the hunt for blame was short. It usually doesn't serve to improve security, and in this case there was a long list of consecutive mistakes by a large number of people that allowed for the accident to happen. Among those were also a culture of overriding the Minimum Equipment List, something which Canada had outlawed 5 years before this accident.
That happened yesterday. I checked and as of then it was still parked.
Avoid Godaddy at all cost.
> It doesn't get the attention that it deserves as a module and setting. Weimar Berlin is practically mythos-tastic in and of itself.

I suspect weimar berlin is just pretty difficult setting to utilize; in particular you would be trying to draw inspiration from and evoke art/media of the time, which in this case would be stuff like German expressionist cinema and modernist literature which do not have exactly mass-market appral, compared to e.g. victorian era works.
>I am only interested in Python code so no llama.cpp.

llama cpp has python bindings: https://pypi.org/project/llama-cpp-python/

Here's using it with langchain: https://python.langchain.com/docs/integrations/llms/llamacpp
Apple Vision Pro labs now open
> but science can't prove or disprove anything, ultimately.

What? From where do we derive our knowledge of the natural world and universe? How do we know, for instance, that the Earth revolves around the sun and not vice versa? Are you implying that we don’t know that, or are you implying our knowledge of this fact is a divine gift?
I love it when computer science, programming, or anything tech related gets related with other disciplines. Botony + Algo(Math?) = Beauty
Just talking about subcultures/communities that I've been a part of. Several of them only have a minimal presence on the public web, having moved to a network of private sites. A couple of them have assembled what amounts to a "shadow internet" that uses the internet for an encrypted communications channel but provides its own mailservers, IM servers etc. that don't interact with the internet proper.

And, locally, there have been two ISPs set up (one by me and my friends) that aren't meant for public use, but to supply service to smaller groups. The one I set up was to supply internet service to a remote neighborhood that isn't likely to get reasonable commercial internet in the near or medium future.

Those two ISPs supply internet access, but they also operate an intranet that is mostly decoupled from the public internet.

All baby steps, and nobody is 100% "off the grid", so to speak, but it's a trend that started long ago and seems to be gaining a bit of momentum.

My prediction is that the web will ultimately be just for commercial use (it's already 90% there), and there will be a whole bunch of tiny networks -- that may or may not portal to the internet -- that will fill the needs that the internet is increasingly unable to fill.
The site references the PDQ book and library. Dr. Gunther also wrote a book called Guerrilla Capacity Planning that goes into detail on the curve fitting method of analysis which is worth a read.
Well if you yourself are trying to publish in a scientific venue you can't always cite exactly what you want to cite. Though it's probably uncommon for a peer reviewer to ask for a specific citation to be removed, the review process absolutely does affect the references list, and expectations about this process affect it doubly so.
Now you have Digital, in the same complex that houses a biotech research lab (the Life Sciences Centre, formerly the Centre for Life)