skysight-inc/HackerNews huggingface dataset:
The killer feature isn’t even fully indexed queries for ever, it’s the serialization formats.

Need to do a non-trivial merge of complex domain graphs? Why have you tried string concatenating turtle files?
There could be SHaaS businesses around maintaining systems on behalf of next of kin. All that time poured into a home lab, a bespoke thing that family and friends may rely on.

Legal counseling for a trust or will for the hardware and software. Training and on-call support.

The challenge is keeping the tech in line with what the owner intended, staying off the cloud and preserving their values. That could mean anything from staying on legacy Java to maintaining an automated lawnmower written in embedded Tcl.
[dupe]

https://news.ycombinator.com/item?id=40847076
That seems crazy to me that a DNS client is broken after only 4 years due to incompatibility dependencies! I was going to suggest that maybe it's just completed software, but wow, this makes me really want to stay away from the Rust ecosystem.
I've worked as a freelancer on a couple of projects that used Ant Design, and personally I hated it.

In one case I was working on a real estate platform, so I had to build a listing search page (similar to Zillow). This means you're rendering lots of little dots on the map, and on hover, each one will open a popover with the listing details.

Using Ant Design brought this page to a standstill - massive performance issues, we're talking >1 second between frames. Turns out, it was rendering a unique portal element for every dot on the page, regardless of whether it was open or not.

I tried hacking it a bit but eventually gave up, and just wrote my own portal component that simply replaced the portal content with whatever you hovered over. After that we were back to 60fps.
This sounds similar to https://esm.sh/
Semantic UI[1] was one I used to use, both the plain CSS one as well as the React version of the library. Version 3.0 is coming (eventually), which has left it a bit outdated for a while, but it's still a solid UI library imho. I have been switching away to Tailwind.

[1]: https://semantic-ui.com/
Related:

US Supreme Court throws out rulings on state laws regulating social media

https://news.ycombinator.com/item?id=40847076
That makes sense. I once got falsely identified as a DJ, but it was just a YubiKey.
That is a really nice bit of information communication. Hat's off! I feel like I learned a lot and that always makes me happy.

One quibble. At the end it mentions why Mexico's west was of interest to the Spanish, but neglects possibly the most important part - it was where the Spanish galleons from the Philippines first landed after the grueling trip across the Pacific as detailed beautifully in Neal Stephenson's "Baroque Cycle".
If you want a component library that's going to give you accordions and stuff there's going to have to be a JS implementation involved.

In the early days of bootstrap, it was jQuery. Now, if you want to use bootstrap w react etc, you're going to have to have a third party implementation for the framework you're using (like react-strap if you use react)

Ant and MUI Target react directly which allows them to provide a first party JavaScript implementation for interactive components.

Tailwind is a great example of a JavaScript agnostic solution right now because it's purely concerned with CSS and leaves it to the developer to implement JavaScript stuff on their own. This way you can use things in the ecosystem like react-table and style them with tailwind CSS classes.
My favorite UI library is Blueprint (https://blueprintjs.com/docs/) by Palantir

But I wouldn't be averse to trying Ant again. Last time it was lacking something I needed but that was years ago. Might be time for another attempt :)
> There are many variants of the original busy beaver problem, and some Busy Beaver Challenge contributors plan to keep working on these.

One such variant is a functional busy beaver defined in terms of the lambda calculus [1]. Since it measures program size in bits rather than states, it allows many more values to be determined (37 so far versus only 6 for TMs), and the gap between the largest known value and values beyond Graham's Number is a mere 13 program bits. A closely related variant [2] can be directly expressed in terms of Kolmogorov complexity, which Mikhail Andreev argues [3] is crucial for applications in Information Theory.

[1] https://oeis.org/A333479

[2] https://oeis.org/A361211

[3] https://arxiv.org/pdf/1703.05170
exactly because I came from antimemetics it bothers me as his default
Hawaii was never on my list of places to visit until now, but now I have to go there. Thanks for sharing
> Didn't look in detail but first impressions makes it look like a fairly different interface from Jupyter.

That is correct, in that it is a completely different implementation. Unlike Deepnote and Colab, we try to maintain the same keyboard shortcuts and other semantics as JupyterLab, as much as we can.

If you don't already, we would love it if you came to the JupyerLab weekly dev meeting and demoed pretzelai: https://hackmd.io/Y7fBMQPSQ1C08SDGI-fwtg?view
People from Colab, VS Code, etc. regularly come to the meeting and demo their JupyterLab related notebook work, and it's really good for the community.
I dunno, I actually think a public key is better than a hash, because it lets you sign updated images without having to update things on the client. Obviously it should be user-controlled, but this feels like a legitimate use.
I am currently a full-stack engineer at a web3/digital identity startup and love to build cool products with cool people. :)

I recently completed an Ethereum Foundation-funded project for managing trusted issuers in our US pharma ecosystem. In my free time, I play around with Swift/SwiftUI, building my open-data weather app. Let's talk no matter what you are working on!

--------------------------------------------------

Location: Leipzig, Germany

Remote: Yes

Willing to relocate: No

Technologies: Typescript, NestJS, Prisma/ Drizzle, NextJS, React, Tailwind, Jest/ Vitest/ Cypress, ethers/ web3js/ viem, Solidity, Verifiable Credentials, Decentralized Identifiers, Fly

Résumé/CV: https://bolte.id/assets/cv-philipp.pdf

Email: hey@bolte.id
So after reading "Getting the World Record" I was brimming with ideas on how one could improve upon their work, only to be squashed upon reading "Losing the World Record." All parties involved has done an excellent job breaking the game, and aside from the (really) hard questions of understanding game, there's not much left except further exploring the parameter space.

I simmered on the latter overnight, and a few thoughts occurred to me:

- a parameter for fullness (holes + filled blocks that are below the "surface"). It might be its own parameter, or used to augment other parameters to discourage behavior that might lead to a the end game.

- reachable surface height: rather than taking the lowest height of the surface, compute the reachable height of the following piece

- an alternate definition of reachable surface height: the lowest point any of the seven pieces can reach (perhaps augmented by the number of pieces that can reach it)
I don't think I would ever sign a non-compete. If a business is afraid of competition, it should seek to differentiate itself so it can stand out from the crowd. Non-competes harm employees and prevent healthy competition.
Are you also currently working on regulations in the medical and healthcare spaces?
Also to be fair, they did say "by default", and those options you provided must be set because they are not default.
> In general, it absolutely does. I'm not sure what you're trying to say.

I can see that you don't so I'll try to be clearer. For any given program one might choose there is no reason in principle why a competent computing scientist can't perform a semantic analysis for every statement and then deduce from that whether it is totally or partially correct. Obviously most programs in the set of all programs are too long for a computing scientist to read in a human life time, but that's another issue entirely.

As a matter of practicality though, the working computing scientist is far more likely to first decide on the properties he wants his program to have and then derive a program that has them. This is yet another case of construction being considerably easier than verification.

This points to (but doesn't prove) the possibility that the human computing scientist isn't using a decision procedure to analyze (or construct) the program.

About here is where I expect to see some misinterpretation of Church-Turing as somehow proving that everything, including computing scientists, is a Turing machine brought up. Oddly, rarely is the far more interesting Curry-Howard correspondence mentioned.
Microsoft's Mustafa Suleyman (ex-DeepMind) says he loves Sam Altman
The number of times I mis-spelt Stonebraker in my Ph.D thesis... An absolute pioneer. I'm glad he's still around and active - sadly unlike many of his late contemporaries.
You can't actually override operator_plus in Python for numbers. Numbers in Python are magic for performance reasons. You can look at the Python bytecode to easily see this:

def add_five(a):
return a + 5
dis.dis(add_five)

And this returns something like:

LOAD FAST a
LOAD CONST 5
BINARY ADD
RETURN ACC
I'd say Analytics can give you an aditional data point that can guide you to conclusions your users might not / can not be aware of. For the same reason you'd want to track things personal experience would be unreliable with.

A good example is time tracking, people are notoriously bad at this, ignoring non events that consume time and over assigning time to task that demand attention

On the other topic, no real reason. I just suck at prose; I'll take the comment in consideration to improve that. That comment in general is just poorly written all around, I'd love to edit it, but the time window has passed
Generally the US does a pretty good job training and keeping their grunt soldiers alive, and evacuating them if wounded. Russia really hasn't done well in these aspects if we look at the Ukraine war, or any earlier wars for that matter. Their tactics tend to prefer quantity over quality.

But yes, as pointed out I'm sure Russia places some more value on lives of skilled, well trained personnel than the average poorly trained grunt soldier, simply due to higher utility value.
Blink 17.3: Vim for iOS and iPadOS
In the comparison between the models only Rodin seems to produce clean topology, hopefully in the future we will see a model with the strength of both, hopefully from Meta as Rodin is a commercial model.
When I applied for a development permit for my PV arrays, I had to do something very similar to the core of a title search. I headed on down to the county records department, and had to track down each sale (in reverse order), which are recorded in big paper books with handwritten entries, sorted by the first letter of the seller's family name then by date.

However, since this is New Mexico, and even the idea of formal record keeping here is, cough, rather recent, I only had to go back to 1980 for the purposes of the permit

:)
I wish there was an option to export the conversation.
> RAND was literally founded to figure out how to wage nuclear war. It evolved after Vietnam. Particularly in the 50s and early 60s, the firm was the brain of the Air Force, period.

This is literally a stretch of reality.

Was the Jet Propulsion Laboratory (JPL) founded to figure out how to wage intergalactic space domination, and is CalTech the brain of NASA?

RAND, and the concept of FFRDCs (as well as UARCs), was created in the mid 1940s because of the recognition that the US government's partnership and direct ties to private sector industries for many national security matters was overexposed to the private sector's self-interest or potential conflict of interest.

It was founded to create a gap between the government and private sector of contractors that bid on contracts to (mass) produce "weapons" systems.

The thinking was, because the US Government and its armed services do not (sufficiently) have its own organic or dedicated personnel or a workforce for "R&D," it needed an expert workforce (i.e. "think-tanks") to help research requirements, core technologies, and guide the rest of the "R&D" process for "weapons" systems development -- and those experts should not be the companies that ultimately produce (i.e. prime contractors that bid on production contracts) those systems because of conflicts of interest. Similarly, by being directly involved in the "R&D" of a system's requirements/design, etc, conflicts of interest might preclude those contractors from being able to bid and be awarded contracts to produce those systems under US Federal Acquisition Regulations (FAR)

The US Army Air Corps, which later became the Air Force, were reliant on R&D efforts from for-profit contractors such as Douglas Aircraft (it's worth mentioning that this is the same era of Howard Hughes and Hughes Aircraft) to develop requirements, "weapons" systems designs, and ultimately produce those systems. The starting pieces of the RAND Corporation were a split-off of Douglas Aircraft's R&D groups to create organizational distance and gaps for mitigating conflict of interest.

[Note: this doesn't mean that the idea of "self-licking ice cream cones" don't exist in the world of FFRDCs/UARCs, and the tendency of large organizations or bureaucracies to act in a manner to perpetuate their own existence certainly applies]

See US FAR 35.017-2:

https://www.acquisition.gov/far/35.017-2

https://crsreports.congress.gov/product/pdf/R/R44629
That's fair, I was mostly responding to "but it's similar to what you're concerned about" because I didn't think the concerns are the same (but I can see your perspective on it too! While we are "giving away" the code, we're definitely posing some limitation).

Thanks for the kind words, we're exited to be building this :)
Just enable the compose key and forget all about having to memorize numbers. Just tap [compose][-][-][-] for —, and [compose][-][-][.] for –.
GitHub Actions beg for a supply chain attack
The Youngest Pandemic Children Are Now in School, and Struggling
Discussion on a Show HN: from 2016: https://news.ycombinator.com/item?id=13053137
I find it hard to recommend the Angular port going forward, or at least until the Ant Design 5 sync has been made.

For those who don’t know, last year Ant Design (the design system behind both component libraries) underwent a major redesign from version 4.x to 5. This redesign didn’t just change the look & interactions but also fundamentally reworked the theming options through simplified and more comprehensive style tokens.

ng zorro still hasn’t adopted this new redesign or given a timeline/reasoning despite the GitHub issue currently being the most upvoted active one.

Not blaming the maintainers here, I understand this isn’t a simple endeavour and I’m in no position to complain since I don’t contribute but I would be very hesitant to chose ng zorro right now given the uncertainty of the situation.
The article touches on that:

> But just four days ago, mxdys and another contributor known as Racheline discovered a barrier for BB(6) that seems insurmountable: a six-rule machine whose halting problem resembles a famously intractable math problem called the Collatz conjecture. Connections between Turing machines and the Collatz conjecture date back to a 1993 paper by the mathematician Pascal Michel, but the newly discovered machine, dubbed “Antihydra,” is the smallest one that appears unsolvable without a conceptual breakthrough in mathematics.
Good luck competing with the Alphabet monopoly. See Peter Thiel books on the monopoly.
It's long but it's not bad imo.
Docutain SDK – Document Scanner and Data Extraction for Android, iOS, Windows
Well, the C-130 has been pretty much everywhere pretty much forever -- not sure if anyone in the military in the last 5 decades or so has not been in and/or near them at some point?

My Mi-26 experience was as a staff tech (military, but as part of a humanitarian effort) airlifting medical trucks into a flood-struck area in India, like, 30 years ago or so, but as I understand it, they're still used pretty widely outside NATO, even today.
That have reduced the amount of token, haven't it?
seems like a possible 0 to -1 situation
I worked for a couple years with a formidable and incomprehensibly smart engineer who ascended the IC ranks faster than anyone I’ve seen at an elite tech company. He quit the job a few years ago, and when I asked him his plans he told me he was going to work on the busy beaver problem. I can’t help but wonder if he is mxdys, the pseudonymous contributor mentioned in the article who wrapped up the formal proof of BB(5). I’ll probably never know.
I find it interesting how the author's first approach was to use a black box neural network instead of the evidently simpler beam search. As far as I'm aware, beam search was widely considered to be the simple method for game optimization just a decade ago.

Sure, new methods will always replace old methods, just like CNNs replaced SIFT for image processing. However, I feel that beam search is one of those elementary methods that you'd always want to check first, similar to A* and quicksort. Even though there are fancy neural networks for game optimization, pathfinding and sorting, it's easier to get started with elementary methods because they're simple and tractable.
I liked this Pluralsight WPF course a lot, the instructor (Thomas Claudius Huber) is clear in his explanations and seems to be very knowledgeable.

https://www.pluralsight.com/courses/wpf-6-fundamentals
I'm sure the post's author doesn't need interview advice anymore but in case there are any prospective interview candidates out there, completely freezing during an interview is a super negative signal. Even if you need to manually multiply out 2's on a whiteboard it would be more productive than saying "I don't know".

In my experience the only reason you should say "I don't know" is if you're going to follow it with "but if I had to guess" or similar. Sounds like the interviewer definitely came on strong but being able to ace the psychological part of an interview is often as important or more important than the actual solution.
This user already submitted this same article yesterday and it was flagged:

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

Rather than this clickbaity "Google rejected me" story about something that happened 15 years ago, here's a link to the actual project:

https://github.com/mwmbl/mwmbl
Bricks are not going to passively cool or warm the houses. They could be coated with paints or surfaces that do so. And building tall buildings with bricks are prohibitively expensive.
It is more flexible than a hash, but it's also more complicated.
Such a silly argument. Fixing topology is a nearly solved problem in geometry processing. (Or just start with a good topology and 'paste' a texture onto it like they develop techniques for here.)
An Introduction to Meditation – By a Theravada Buddhist Monk [video]
South coast of the UK, Hampshire-Sussex border area.

I'm not at all sure what the law says about getting on the water main in the first place, but I believe it's not lawful to be disconnected even at your request.
Yes, we leave that kind of thing to the French
WIX.com LOL
More than pip, the problem is setuptools. But alternatives are truly required because these two projects had become inflexible monolith.
Are you trying to say you should not compete with a monopoly? That's a completely asinine take.

You should try and avoid competition but taking on a failing monopoly like Google is a great thing to try and strive for.
That’s pretty dumb. I want to work with people who say “I don’t know.”

Edit: to clarify, your advice is good, what you said isn’t dumb. That criteria is dumb, in my opinion. I don’t want my colleagues to spend a bunch of my time guessing on an answer I could easily lookup or find on a calculator.
Limit of 20 stories for brick buildings.

Steel skeleton to go higher.

Brick facing on steel structure?
It wasn't google, but last year I had the worst interview experience of my life when I was berated for not being able to remember if a System.Tick was 10nanoseconds or 100nanoseconds.

I remarked that in the circumstances I'd need to know, that I'd google it and check the documentation to make sure I got it right.

The interviewer (who I later found out was the founder/CEO) absolutely laid into me for that answer, saying if he wanted people to google that a "thousand Indians graduating in computer science every day" could google it.

I tried to argue that I was looking to be employed for my problem solving skills and experience rather than rote knowledge, but he was really angry. He literally said to be verbatim, "Let me give you some interview advice, NEVER tell an interviewer you'd google something". He also made a mildly off-colour remark that if he "wanted someone just to google, [he] could hire one of thousands of fresh graduates coming out of India".

It was an experience so bad that it inspired me to create a glassdoor account just to leave negative feedback, something I've never done before or since. The recruiter was absolutely pissed, and still doesn't provide me leads, which is kind of annoying since he's the most active C#/.Net recruiter in my area.

But my point is that some people have absoultely atrocious interview manners. Interviews are a two-way street and I discovered that there was absoultely no way I'd want to work with them. (Even when I just thought they were a team lead rather than the CEO it was enough to put me off.)
Some new features could be:

- add it to other sites that have videos

- improve search with AI.

Some performance updates:

- parse transcripts from request, not the html

- filter using overlay (inject my own html) instead of mutating the DOM (loops through all elements and changes display attribute)
Sea temperatures around Japan hit record high for third year
I do always find it interesting when people just want to add some features, and the language stops them from doing it. I'm so used to bouncing back and forth between code and docs (api docs and language syntax docs depending on my familiarity) that the language itself is basically an implementation detail that I don't really care about. There are very few languages that would even give me pause, let alone avoid modifying the project entirely.
Doesn’t the ruling say the lower courts have to go back and determine which acts were and were not official?
Cobalt.io | Multiple roles | Germany (Remote/Hybrid) | Full-time | https://cobalt.io
Cobalt helps secure leading companies (e.g. Dropbox, PagerDuty) by connecting them with on-demand pentesting experts. Our application brings both sides together to identify, triage and fix vulnerabilities. Ten years in and over 30K commits later, our technology has been battle tested by thousands of users and we’re still having fun. We’re a team of can-do people who care about craft, collaboration, and our customers.

If you enjoy making an impact, the Cobalt Engineering team is excited to hear from you. We are hiring for multiple roles. All applicants will need to be permitted to work in Germany >>

+ Senior Data Engineer (AI): https://boards.greenhouse.io/cobaltio/jobs/7460616002

+ Backend Engineer (Ruby/Rails) : https://boards.greenhouse.io/cobaltio/jobs/7465404002
Renewables aren’t a silver bullet they are made out to be. They are particularly bad for grid stability something that goes unmentioned in discussions.
Nuclear excels at that, both are needed. But pound for pound nuclear is just a better resource on most counts: land use area, energy density, stable generation and cost too if you factor in all the storage and power filters[1] that renewable needs.
Nuclear waste is a manageable problem if not for the fear mongering.

[1] https://youtu.be/LklUVkMPl8g?feature=shared
Asking questions irrelevant to the position is also a pretty good red flag that you don't want to work there.