skysight-inc/HackerNews huggingface dataset:
Thanks for the kind words. Keeping Pretzel open-source was important to us - partly for trust reasons. When most people use Jupyter, they do so with sensitive data. Making a closed source tool simply wouldn't work. I wouldn't have trusted a closed source jupyter alternative with my company's data unless the counterparty was huge and well-known.

To your second point - completely agree that most users would expect these feature from their IDEs today. But, only two IDEs support Jupyter Notebooks: VSCode and PyCharm. You can certainly use them for notebook work but most AI extensions written for VSCode wouldn't be optimized for notebook work (for eg, GH Copilot apparently has difficulty completing code across different cells as per a friend). Secondly, to your point, this is just a start - we're going to be building a lot more Data Analysis specific features that don't exist in any IDE. I think there's a decent space for a tool a like this.
Some comments on this result by Scott Aaronson https://scottaaronson.blog/?p=8088

And for leisure-class beavers, some big related threads from earlier this year:

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

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

https://news.ycombinator.com/item?id=37910297
For me at least this is just silly. I have vscode up, the browser (which I need to refresh often), and relevant documentation.

I have 2 large monitors. When I just had one it was a constant frustration. I couldn't remember where anything was, I'd open up the wrong windows etc.

Never would I go back to one monitor
> next thing you know there’s a line wrapped around the block

Poor work performance is always a solvable problem.

I don't think this objection is a significant concern in the complicated social response to the legalization movement.

> There’s just no fear anymore and limited social taboo

I'd hesitate to use such moralistic language. I don't care why an impaired person is impaired. I care that they are not doing things that endanger others, or themselves.

> Getting high is literally just to get a buzz. So pretty self indulgent

I think that's overly simplistic. My point was that a lot of things people do end up being inconvenient for others. Tourism brings in money, sure, but so does cannabis sales.

I can't justify having an opinion on how other people choose to enjoy their day. Tourism, standing in line at the brunch place, dog parks, lazy strolls along the riverfront, recreational chemistry...it's all good.

I'd always prefer that they didn't impede my plans for the day, but I, and my day, are not more important than they and theirs. I would like to have social/legal support for controlling their actions if they endanger others. This is established though, so I don't see an issue.
No wonder uk economy is in shambles. France actually is one place in Europe where things still work.
Where is this story based? Where I grew up, most small villages do have their own municipal wells, and there are even communities where every household has their own well.

Heck, even in my urban bay area neighborhood, I know of 3-4 people on my block with their own wells. I think it largely has more to do with when the neighborhoods were built than anything else.
I use MUI*, but forms there is indeed a pain (you basically have to hook up a third-party forms library and connect it to the "dumb" MUI components).

How does Ant handle it?

*Minor nitpick, just for clarity: The UI framework is called MUI, which is a third-party component framework loosely based off Google's Material UI designs. Google has their own (now-abandoned, I think) Material UI web components, which are a pale shadow of what MUI offers.

MUI is also not necessarily tied to Material (although it typically is). The library can use the same core logic but be styled with different looks (Joy UI, a custom design system, or no styling at all).
This reads like onion news.
https://www.techspot.com/news/103486-nearly-half-dell-worker...
DonorDash: One place donation management tool for all scales
Exciting News!

I'm thrilled to announce that DonorDash, our innovative tool for donation management, is now live on Product Hunt!

DonorDash simplifies managing donations with features like:
- Managed organizations and causes
- Easy donor and collection tracking
- Comprehensive admin dashboard
- Personalized WhatsApp receipts
- Offline donation entry

Check it out and see how DonorDash can revolutionize your donation management!

https://www.producthunt.com/posts/donordash
My hckrnews mashup lets you browse to a specific date: https://hw.leftium.com/#/date/2010.06.09

(That seems to be the first date data is available for)
Ask me how I know on that last one, but be sure to speak up.
Ants can carry out life-saving amputations on injured nest mates, study shows
Dotnet Blazor when it needs a Website, Kotlin if it doesn't.
Show HN: Ella – AI companion for emotional support when you're alone
Ella is an AI companion designed to provide emotional and mental support when human interaction isn't available. We've developed Ella to be a empathetic listener, supportive presence, and able to connect on a variety of topics, like books, movies and tv.
Thanks for this information, it's very helpful! Also I had no idea that "googological strength" was a thing. :-)
Who remembers Ext JS? Ant is like that for reactive js kits. It's got pretty much everything. It certainly is useful for building internal products.
Another interesting Rust-based Javascript bundler is Oxid / OXC.

- https://github.com/oxc-project/oxc

- https://oxc.rs

It's also what Rolldown (https://rolldown.rs/about) is basing their in-development bundler on.
Google might abandon ChromeOS Flex. Here's why – and what you can do about it
Yes, NATO countries have hollowed out their military-industrial complexes. Everyone is aware now that was a mistake but it will take time to rebuild the industrial capacity necessary to fight wars of attrition. And of course it's cheaper to manufacture artillery shells in Russia since the country has lower wages and is now running a partially mobilized command economy. But once you normalize for quality of the shells, the difference isn't quite as bad as it first looks.
> so much of what the Soviets worked on feels rooted in a sort of “that’ll show them!” inferiority complex

That's what the Cold War was about, innit? Same reason why the US went to the moon.
>This was long before any of the bad things he did.

You haven't been paying attention for long, have you?

Donald Trump was known as a fraudster and a genuine piece of shit since the 1980s at a minimum.

I grew up in a very wealthy suburb of NYC in the 90s and early 00s and was well aware of Donald Trump being a sideshow joke and a wannabe rich dude about 20 years before he was elected. Nobody in my hometown that had real money thought Donald Trump was anything besides a lawsuit-happy wannabe with midget hands.
Recent mature grad, went back to Uni after packing up my eCommerce business I started as a young man. Finally finished and actually struggling to find work, even though my CV rocks and I know I could do the role of most of the companies CEO's that I've applied for. I've even been told this by a director.

I'm not dumb, I'm very committed to growing businesses and I'm actually surprised at how much ageism exists. I just need to pay my rent while I start a business but not many people like hearing that. Feel free to reach out if you think you can actually help, I'd be open to meeting in person too. Happy to exchange LinkedIn messages to see if I could help your business operate more efficiently.

------

Location: United Kingdom, Scotland
Remote: Yes (Don't mind the office either)
Willing to relocate: Yes
Technologies: People, Presentations, Research, Marketing
Résumé/CV: Send me an Email
Email: [Removed due to spam. Just reply to this]
If AI has no creativity then it shouldn't be able to compete in the slightest with actual humans, having creativity is such a fundamental aspect of creation that you would think that something that doesn't have it shouldn't even be comparable, yet many are worried.
Wonderful product
Reminds me that I want to continue what I started at https://taeric.github.io/cube-permutations-1.html a long time ago. Trying to remember what caused me to stall.

Always fun to play with these toys with my kids. If you don't have one, the 2x2 is surprisingly difficult. And the only one you can arrange so all sides do not have matched colors.
Hozana | Lyon, France or remote from France | https://www.hozana.org/

We're a Catholic tech non-profit committed to creating digital solutions for spiritual growth and community building.

We have about a million active users on our apps: https://hozana.org and https://rosario.app

We are hiring:

- a polyvalent Backend engineer

- a traffic manager

- a QA analyst (part-time)

Find out more and apply at https://www.welcometothejungle.com/fr/companies/hozana/jobs
please try Ella and let us know we can improve her
Off topic, but that correlation matrix of "Spanish similarity" seems a bit odd. I'm from Argentina, and the spanish in Uruguay sounds practically the same. At least A LOT MORE similar than Cuban or Paraguay as it shows there.
> ...is not a misreading or a mistake.

Nice bit of jujitsu by Trump's defense. Make an outrageous claim so out of bounds that any one who quotes you sounds like a lunatic.

Surely the critic is exagerating, lying, offbase, or... ? No one would seriously claim they could murder some rando on Fifth Ave in broad daylight and get away with it. Right?!

Results in opponents discrediting themselves.

Brilliant.
Show biz" I prefer to call it the Politics Industrial Complex - which also includes the dysfunctional and deceptive media. The same entities and media that refuse to admit they're part of the problem.

There is no Democracy without accountability.
The funny thing is that both Spaniards and Mexicans claim to use the most neutral spanish, but you'd find their idiosyncrasies rather quickly - spaniards' 'f' sound of the letter S, and the infinite modisms and particular mexican accent on the other hand.

As the Spanish empire extended its spread so widely the language grew pretty complex (as english did!) so not even the most "neutral" spanish speaking countries do it as the RAE intends.

On the other hand, Chileans really do speak their very own language.
Railroad, telecom, and oil monopolies of their time had their own analogue forms of reach into everyday life in ways crayons did/do not.
don't dip your pen in the company ink.

and plenty of reason to socialize with coworkers even if not for dating. you can still have "watercooler chats" with coworkers remotely. "how bout those _____" still works before big group calls, for example.
NFC Forum Defines Next-Gen of Contactless User Experience with Multi-Purpose Tap
NTSB Report Abstract: East Palestine Derailment [pdf]
> It's instructive to look at javascript and python. Javascript engines are much faster than python engines because Javascript doesn't do threads.

I don't think this is the primary difference. While JS's semantics are bad for performance, Python's are insance. Two examples:

- In Python you can change the meaning of operators, so that 1 + 2 could mean something very different from integer addition. This can happen at any point within a program, so you must always guard against the possibility that basic arithmetic---some of the fastest operations on a CPU---has changed meaning. This slows things down considerably. JS is fairly dynamic but AFAIK it's impossible to change this.

- Python allows inspecting the stack (https://docs.python.org/3/library/inspect.html#the-interpret...) so at any point in your program you have to be prepared to reflect the stack as Python objects. Bye-bye performance.
Google rejected me and now I'm building a search engine
The Concepción metro area is 1 million people, Valparaíso/Viña as well. Chileans love to point out that there isn't much outside of Santiago but it's not really true.
The OP article is saying that static linking leads to size reduction. That's why asking.
I learned Rust to the point of competency (but I'm certainly not at the point of proficiency) because it seems likely that knowing it will be helpful in terms of career development.

But I have decided that I hate it enough that I wouldn't accept a job that required me to do much with it. I would be unhappy in such a position.

It's an unusual stance for me to take -- I am proficient in a number of languages that I'm not that keen on, but can tolerate them for a paycheck. For whatever reason, Rust is an exception. I'm not sure why.
I think urxvt has this feature, but it's also available via the Universal Input Method System in many widget sets and it is supported by both Gtk and Qt (might need some additional packages to be installed/setup). So I can just type the symbol in hexadecimal with Ctrl+Shift+U 2 6 0 3 Enter to enter .

I used to remember the unicode symbol for long dash—but now that I use EUR keymap I don't need to, and I've forgotten it :).

edit: oh crud, HN filters snowmans :(.
Of course it's a staged publicly photo. That's nothing unusual. The "red stuff" is just regular turbine intake covers that are commonly used when certain aircraft are parked outside.
Is this product free? Looks Great!
As far as I am aware, all of the proofs and techniques for each machine were present before mxdys managed to get the whole theorem into Coq: the main problem was that the deciders and manual proofs were disorganized and somewhat suspect. The worst offenders here were Skelet #1, which needed a bespoke program to accelerate it to its ultimate pattern [0], and Skelet #17, which took Xu seven pages' worth of dense reasoning to prove non-halting [1]. The full Coq proof put a much-needed degree of confidence into these results.

[0] https://www.sligocki.com/2023/03/13/skelet-1-infinite.html

[1] https://discuss.bbchallenge.org/t/skelet-17-does-not-halt/18...
RocketSim enhances and records Xcode Simulators
Owner of a PhD in cryptology, I worked as a tech leader/CTO for the last 10 years in startups building security solutions based on secure computation enclave, co-founded one. This gave me the opportunity to become familiar with a wide range of technologies, from embedded computing to cloud-based services.

Location: Rennes, France

Remote: Yes

Willing to relocate: Possible in 6 months

Technologies: Cryptography, Go, Kotlin, Docker, Kubernetes, C, STM32, Javacard, ISO7816, WebAssembly, REST, GRPC

Résumé/CV: https://dallot.net/cv/cv_dallot.pdf

Email: See résumé
Most Common Errors in SPF Records
Thanks + love your work.
DeveloPassion's Newsletter #171 – Not the future you want
Five years of entrepreneurship a d some lessons learned
There's a picture of it in flight in the article...
I wonder how much faster it would be if it was written in Vim9 script.
I don't get your point.

There is no way to confirm whether you've watched an ad with existing systems either. Ad impression / click / PPC fraud is rampant, and adtech is in a perpetual battle to detect and prevent it.

A solution like BAT isn't meant to address fraud. It's meant to address user privacy and monetization of web services by serving ads that don't track the user, and by allowing the user to directly support the services they use.

The fact advertisers have inserted themselves as middlemen between consumers and producers for decades now has corrupted all forms of media, not just the internet. The solution by Brave is not perfect, but it's certainly a step in the right direction. Without such solutions user privacy and experience on the internet will inevitably continue to degrade, as publishers optimize creating content specifically designed to please advertisers, and adtech optimizes systems designed to extract as much data from users as possible.

Advertising is an absolute scourge on humanity. As we move towards a transhumanist future, I shudder to imagine the machiavellian ideas adtech has in store for us. They've already experimented with face and eye tracking, and I'm sure they're thinking of ways of injecting ads directly into our brain... We should be open to any alternative solution that steers us away from this future, even if it's not perfect.
Makes it easy to drop it into a k8s cluster, maybe?
Thanks god we don't care. Spain wanting to dictate what's real "spanish" is like the King of England telling a jamaican that their english is wrong.
Does anyone know why YouTube hasn't made this a full feature? Corporate bureaucracy?
The scope of the powers is however the Commander in Chief sees fit and has a DOJ, Court, and Congress to rubber-stamp his/her actions.

That was the whole point of the decision - the official in question gets to determine what is/isn't an official action.
This court's citation of precedent in one decision is meaningless, since they've shown a lot of enthusiasm for overturning it as soon as it no longer suits their (or their patrons') interests. See also: Dobbs, Loper Bright.
A free plan is also available. You can try the free plan and if interested can upgrade.
It's pretty common for people to watch movies like Deliverance and then think that wide swaths of America are like that.
Is this for companies that don’t have their own designers?
I'm serious enough about security that I don't trust a very small dev teams skill set developing a browser for the Internet we have today.
Show HN: We Made an App to Help You Enjoy One More Beer Before Your Flight
Hey HN,

My friend and I recently discovered a really cool feature at an airport: real-time WhatsApp notifications about our flight. This allowed us to relax and enjoy one more beer without worrying about the flight status. Unfortunately, this feature was only available at that particular airport.

To address this limitation, we developed a similar solution that works for any airport worldwide.

Our notifications cover:
• Terminal information
• Check-in counters
• Gate updates
• Boarding status
• Last call alerts

We hope this helps other travelers enjoy a more relaxed and stress-free experience!
Brick. Just build houses out of brick.
Summary: Powers of Two by Joshua Wolf Shenk
And she'll be on the minority side. Case decided, six to three, and she gets to write another dissent that will be ignored.
GraphRAG: A modular graph-based RAG system
I feel like you're getting close to pulling a no true Scotsman here with claiming that Peter Daszak isn't being "really" punished (even though he's now lost all funding, will likely be debarred preventing him from securing future Federal funding, and his career is basically dead) because of the "medium" through which he was/is being punished.

But if you want a more general case, just check out Retraction Watch. You'll find that consequences are very real, they're just not the sort that typically make the news. For instance looking up cases at Harvard, I randomly picked Sam W Lee. [1] The final charge against him was in 2019. Since then he has not only been terminated at Harvard, but has not had a single publication - meaning he likely has been unable to find a position at another university, nor has he been able to independently publish. [2]

[1] - https://retractionwatch.com/2019/04/19/harvard-cancer-lab-su...

[2] - https://www.researchgate.net/profile/Sam-Lee-30
I never cared much for Elon, but the Model Y is one of the best EVs you can get for your dollar right now. The sales numbers speak for themselves.
> I miss when WFH wasn't a religious war and was just about whether you could deliver enough that no one missed you so you wouldn't get called out for slacking.

Well, if you're slacking you can be fired, it doesn't matter if you work from home or from the office.
It's more than that though. If you assume that you are missing something or the other person has a different set of assumptions, efforts to explore what that missing piece might be are often perceived as claims that they are stupid.
The sexism in that phrase does shine brightly in the glare of a quarter century's hindsight, but after reading the linked comment, I think we can safely solve the problem by moving the adjective: a "hysterical letter from a female reader" seems like a fair description.
The Constitution reads:

Judgment in Cases of Impeachment shall not extend further than to removal from Office,

[...]

The President, Vice President and all Civil Officers of the United States, shall be removed from Office on Impeachment for, and Conviction of, Treason, Bribery, or other high Crimes and Misdemeanors.

> Such would imply that presidents can be Impeached and Judged, and Convicted.

Convicted just as other citizens with Limited Privileges and Immunities.

OPINION:
In the US Constitution, removal upon "Impeachment for" is distinct from removal for "Conviction of". Thereby there is removal from office for both: a) Impeachment by the Judgement of the House and Senate, and also by b) Conviction by implied existing criminal procedure for non-immune acts including "Treason, Bribery, or other high Crimes and Misdemeanors."

Conviction is not wrought through Impeachment by the House & Senate, who can only remove from office.

Neither is Arrest Removal from Office, nor is Removal from Office Arrest.

Thereby, a President (like all other citizens) can be Convicted and then Impeached.

That the Executive's own DOJ doesn't prosecute a sitting President is simply a courtesy.
I gave you 5 numbered answers to why Symbian could still be useful today.

I don't have any take on this neo-N900 thing. I'd never even heard of it before.
They had plenty of tech to figure out whether people were near explosions at all.

PTSD is a different thing from TBI/CTE, overlap or not. The diagnosis for PTSD was called shell shock. They did not have it right in a general sense.
I think people underestimate how powerful market forces are. Bear in mind that they do not apply within a firm, except in fairly extreme circumstances. Instead most things are done on the basis of perception, which is where racism and patriarchy thrive.
While that might be true, Chile is a very centralized country, unfortunately.
The article mentions it being shown at the Paris Air Show with exhibit code H-239. I'm pretty sure that's what the picture is from.
The paisa accent is very hard, even for us non-paisa colombians - not only for its colloquialisms but for its cadence.
I mean you can have validation for the features you’ve written already behind the feature flag, while holding off on the stuff that doesn’t exist yet.

Feature flags don’t mean throwing the baby out with the bathwater.
True. For my part, I'm genuinely impartial about this. Functional programming is fine by me, and so is procedural, object oriented, etc.

They each have their own set of advantages and disadvantages.
The sports beverage market, don't be obtuse. I don't drink them, or soda, either but you don't see me feigning ignorance about what they are.
This is such a good idea that's simple and well executed. The number of times, I've had to sift through YouTube videos to find the bit that's relevant... awesome work!

Have you got any further plans to improve it, or just want to keep it simple?
I prefer holding n and then pressing 1.
Shout out to whoever is running https://www.worldcubeassociation.org/ They are taking it froward.
Earliest Known Photograph of an American First Lady
This is true. All new added code is licensed under AGPLv3. But I fail to see how it's the same thing as modifying and open-source tool and re-selling it as a closed source tool. This is what AGPL gives us - anyone can use Pretzel however they want. They can even re-package and re-sell it if they want so long as they too open-source their modifications and improvements.

Selecting the license for an open-source tool backed by a company is tricky. You want your code to be open-source for it's benefits (for eg, for us one benefit is building trust with people working with sensitive data). But, the history of open-source tools is full of tools that another company just started reselling without doing any of the work (sentry, mongodb etc). So, you need to find a balance. AGPLv3 strikes the right balance for us.