skysight-inc/HackerNews huggingface dataset:
Location: India

Remote: Yes, okay with Onsite, okay with Hybrid

Willing to relocate: Yes

Technologies: JavaScript, Typescript, React, Next.js, Redux, Redux Toolkit, React Query, Node.js, Express.js, Nest.js, Prisma, Sequelize, MySQL, MongoDB, MS Azure, Firebase, GIT, Engineering leadership, Figma, Wireframing

Résumé/CV: https://saikatdey.netlify.app/resume

Email: dsaikat378@gmail.com

I am a full-stack software engineer with over 4.5 years of experience, currently leading a remote team at a fast-paced UK-based real estate startup. My expertise lies in leveraging technologies such as TypeScript, Next.js, React.js, Node.js, and MySQL to build high-performance web applications. I have successfully led the redesign of PropertyLoop's search page, implemented advanced property inquiry analytics systems. My tenure at Infosys included developing responsive SPAs and optimizing database queries, significantly enhancing system performance. I am recognized for my technical expertise, innovative problem-solving skills, and my ability to foster collaborative, high-performing teams, driving projects from conceptualization to deployment with a passion for continuous learning and improvement.
Maybe they’ll add tab groups.
> There are still too many half-baked ideas that turn out to be mistakes afterwards (...)

Care to point an example?
My grad school mate Ron Maimon one day told me in a bar about the problem of computable numbers in a way that made him sound like a serious crackpot. I thought about it enough to conclude that the “real” numbers were “phony” numbers because unlike the integers or rationals most of them don’t have a name and can’t be referred to specifically.

I found out later that Turing had introduced the computable numbers idea and that was the work he had really done as opposed to the modern formulation of the halting problem.

As for Ron he really descended into conspiracy theory insanity and got kicked off Quora because he was saying the Boston bombing was an inside job. I still wish Steve Wolfram would grow some balls, take his constructivist program seriously, and reject the axiom of choice.
Crazy, I'd have thought that modern multi-modal LLMs can do this, but when I tried Gemini, ChatGPT-4o and Claude they all pooped out:

- Gemini at first only diff'd the text, and then when pushed it identified the items in the images and then hallucinated the differences between the versions. It could not produce an image output.

- Claude only diff'd the text and refused to believe that there images in the PDFs.

- ChatGPT attempted to write and execute python code for this, which errored out.
Maybe it's not for technical reasons. It would be easy technically to have them be interchangeable. But someone who just purchased a stamp, and got one with a 0 or an 0, might worry about it not being delivered because their 0 might be mistaken for an 0. So maybe it's just nice UX? Just a guess.
It's possible that a bot is doing one of a few things here:

1) They are trying to generate search pages on your site for the injected parameters, making the assumption that "?=[injected terms]" will trigger your internal site search. As you note the most common search parameters are being used here. Some sites take commonly searched queries and generate permanent pages for them periodically, just to force Google to index them. However, Google can and will index a page a that is a dynamically generated internal search result even without a site creating a permanent page like this.

The benefit to the scammer is that they can get free advertising for their Telegram channel whenever people search for "hack snapchat" and related queries.

2) Even more directly, they are trying to advertise to you. In this case, due to the nature of the product/service (a Telegram channel about Snapchat hacks) I don't think this is the case. However, in the past blackhat and greyhat SEOs and Marketeers have used tricks like this to make Google Analytics Reports and Search Console reports be filled with advertising phrases for the site owner's eyes only. Things like false UTM parameters, or totally made up hostnames, and so forth. All filled with 'check out www.blackhatsite.com to get to rank 1' etc.

On balance I think this is scenario 1: they're manipulating the search engine via injecting your site with search terms that nobody is actually looking for. I don't think there's much of a problem though.

The Telegram channel is not a website and so no rankings are being manipulated. The search results you looked for are not popular, so there's no competition here. If there were then this tactic would likely drop off completely. And it's super easy for Google to ignore any impact of these results anyhow, they're long, predictable, and highly anomalous in terms of several characteristics. Google will see low engagement for the terms, and will see more pages existing for them than queries being made by non-bots. They likely already stick out like a sore thumb to Google.
In this context that's a very reasonable assumption.
Ask HN: Link to script to minimize many file types
Hi, couple of weeks ago I saw here a link to a script that was able reduce the file size of many file types but I cannot find it again. Could anyone point me to that script? The script would process all files in a folder structure and then replace them with smaller files by converting e.g. mp3's into ogg, png into webp, and so on. It would also call other tools to reduce file size such as pdf tools for example. It was called minimism or similar I think.
Thank you and regards,
Rob
In the UK, title insurance used to be common because it was difficult to prove nobody had some 300 year old claim that was valid, but not recorded anywhere.

The government passed a law giving anyone with such a claim 10 years to record it in the title registry, and after the deadline any unregistered claims were extinguished. And the title registry is digital and (basically) authoritative.

Of course, that doesn't stop the people doing house sales paperwork from trying to charge you £50 for insurance that literally does nothing....
This only works if the head of the executive branch doesn't select for loyalty.
There's journal peer review, and then there's scientific community peer review which involves acceptance of ideas and replication. They're not the same thing and unfortunately not often distinguished in speech or writing ("peer review" describes both). I thought that on HN it would be clear I was talking about the latter.

In this case, three separate labs have replicated this work. It's solid.
SEEKING WORK | United States | REMOTE

Location: United States
Remote: Yes
Willing to relocate: No
Technologies:
- JavaScript, TypeScript
- Vue.js, Nuxt.js, React, Express, GraphQL, HTMX
- OpenAI, AWS, GCP, Docker, MongoDB, SQL
- Technical Writing, SEO, Content Marketing, Documentation, Docs, Markdown, Git
Résumé/CV: https://rb.gy/w4btb0
Email: derick.realwebdev[at]gmail.com
GitHub: https://github.com/dericksozo/
LinkedIn: https://www.linkedin.com/in/derick-ruiz-413061128/

Hey, I'm Derick Sozo Ruiz, a JavaScript Developer and Technical Writer with over 5 years of experience. I've written articles, emails, and developer docs for startups at different stages, including YC companies, helping them grow by using my technical knowledge and writing skills.
With over 5 years of experience in technical writing, I've contributed to various companies including:

- Crossmint (web3 payments): Helped attract more web3 NFT developers through a complete overhaul of technical documentation and new technical posts on Medium, leading to a 1.4x increase in onboarded developers in July 2022.

- Amplication (>13K GitHub stars): Revamped developer docs, wrote high-quality technical content, and doubled documentation engagement, resulting in a 53% increase in average documentation page visits per user and 63,478 total documentation page visits within 6 months.

- Vue Mastery: Grew Medium traffic by over 479,000 views through 8 educational, SEO-focused articles, achieving a total read time of 161 hours and 18 minutes.

- Text Blaze (YC W21), DigitalOcean, and The Startup (a top publication on Medium).

Are you looking for a technical writer who understands developers and can write you articles, emails, and developer docs that actually convert? Email me. I look forward to talking with you!
Would be helpful if they label it meaningfully. V2 or whatever. Else it’s very hard to tell what is updated especial in quants
Relying on open standards is risky. It seems to me the de facto standard is whatever Chrome or Blink does.
> Each on-record transaction leads to an opportunity for off-record transactions to be discovered

On the other hand, I would expect both types to correlate with one-another, tied together by a shared factor of "activity level."
Failed library features at least can be relatively easily deprecated, forgotten and left to rot on the side. Language features will bloat the language almost forever.

One nice advantage of static reflection, macros and other form of program synthesis is that you can experiment with new syntax as a library before committing to integrating it to the base language.
Whatever problems Meta has, the MQ3 is great.
Location: United States
Remote: Yes
Willing to relocate: No
Technologies:
- JavaScript, TypeScript
- Vue.js, Nuxt.js, React, Express, GraphQL, HTMX
- OpenAI, AWS, GCP, Docker, MongoDB, SQL
- Technical Writing, SEO, Content Marketing, Documentation, Docs, Markdown, Git
Résumé/CV: https://rb.gy/w4btb0
Email: derick.realwebdev[at]gmail.com
GitHub: https://github.com/dericksozo/
LinkedIn: https://www.linkedin.com/in/derick-ruiz-413061128/

Hey, I'm Derick Sozo Ruiz, a JavaScript Developer and Technical Writer with over 5 years of experience. I've written articles, emails, and developer docs for startups at different stages, including YC companies, helping them grow by using my technical knowledge and writing skills. With over 5 years of experience in technical writing, I've contributed to various companies including:
- Crossmint (web3 payments): Helped attract more web3 NFT developers through a complete overhaul of technical documentation and new technical posts on Medium, leading to a 1.4x increase in onboarded developers in July 2022.

- Amplication (>13K GitHub stars): Revamped developer docs, wrote high-quality technical content, and doubled documentation engagement, resulting in a 53% increase in average documentation page visits per user and 63,478 total documentation page visits within 6 months.

- Vue Mastery: Grew Medium traffic by over 479,000 views through 8 educational, SEO-focused articles, achieving a total read time of 161 hours and 18 minutes.

- Text Blaze (YC W21), DigitalOcean, and The Startup (a top publication on Medium).

Are you looking for a technical writer who understands developers and can write you articles, emails, and developer docs that actually convert? Email me. I look forward to talking with you!
When an ASML Lithography Machine Goes Down
I sorry to say this, but the new visual style is completely charmless. The most important thing a non-profit oss project needs is a charming visual style. A ladybird for instance is an extremely charming little bug, and it was such a strong choice. This new style is a huge step back compared to it.
Seconded on gov.

I work for an R&D company associated with DoE. I don't work more than 40 hours a week and occasionally as few as 20 hours a week. Every now and then I get an itch to apply to a startup and then I remember those 80-hour weeks I used to work at startups.

I think startups are just bad value proposition for most employees. You might work similar hours in IB, but at least you get comped in cash...
Though,very recently,they are giving more attention to Firefox, or at least want us to see this way.

For example: the reddit AMA on firefox unofficial subreddit[1],the mozilla connect post on things they are working on[2]etc.

[1]:https://new.reddit.com/r/firefox/comments/1de7bu1/were_the_f...
[2]:https://connect.mozilla.org/t5/discussions/here-s-what-we-re...
I can't speak for Servo, but my understanding is that they have very different goals than we do.

Servo wants to build an embeddable engine for controlled sets of HTML/CSS/JS content, with a focus on modularity and parallelism.

Ladybird wants to build a usable browser for the open web, warts and all, with a focus on compatibility and correctness.

I'm a big fan of Servo and I hope they become a huge success! Competition and new ideas in browser engines will benefit all of us! :)
The flipper will be left holding the bag. The 10 years of prior searches won’t help you if the last owner snubbed a contractor and had a lien slapped on the house. Or a number of other scenarios.

The title company won’t issue the insurance if it finds issues like this. It will issue a list of items to clear before they will issue the insurance. It is generally up to the owner (eg the flipper) to cure the issues.
Aside from aliasing restrictions, you can use chunked iterators which IIRC make it easier for the compiler to auto-vectorize your loop. The actual code changes very little.
Location: Dhaka, Bangladesh (GMT+6)
Remote: Yes, 5+ YOE, flexible with time zones
Willing to relocate: Yes
Technologies: Golang, PostgreSQL, Docker, Kubernetes, Distributed Systems
Email: afzalhussain [at] iut-dhaka [dot] edu
LinkedIn: https://www.linkedin.com/in/afzalhussain23/
> Or stopped writing C++, I'd consider myself one of these for many use cases I used to use it for.

Some use cases like GUI programming sound like they are better addressed by specialized tech stacks. Nevertheless, either you're talking about greenfield projects or you are hard pressed to find a justification to rewrite a project in another framework. Claiming you stopped writing C++ doesn't fit the bulk of the experience of anyone maintaining C++ projects.
Where's the Ladybird??
shared_ptr isn't the only smart pointer and definitely shouldn't be used for everything. The default should be unique_ptr which is simple to reason about and a huge improvement over only having raw pointers that may or may not be owning what they point to.
You state a lot of random things as a fact, while none of them are, not sure why the upvotes.

Other react mostly to guns, but as a diver I can assure you that there is no automatic brain damage from 'diving deep underwater', whatever that layman term means. There are many folks in diving community with 10s of thousand of dives working cognitively as well as their peers. If you mean Nitrox for bigger depths, again that ain't true, Nitrox is actually better than regular compressed air re effects like nitrogen bubbles in your bloodstream.

If you screw up or your equipment fails and end up with decompression sickness thats another story, but its like saying paragliding breaks your legs.
Debian vcswatch and git --filter
> That's very last century of you

I thought his was going to be a reference to production of hydrogen and ammonia in the 20th century via electrolysis, by the likes of Norsk Hydro in 1927 and for about half a century afterwards:

https://en.wikipedia.org/wiki/Norsk_Hydro_Rjukan
First "alpha" in Summer 2026. Ouch.

I can imagine how hard it is to develop a browser. However, I can't imagine how much the landscape will change in the next 2 years... LLM, privacy, etc.
DineIt
Voting !== Democracy

A proper and healthy Democracy is more neuanced than voting. To dumb down Democracy to voting is ultimately undermining Democracy.

For example, what about The Fourth Estate?

Or, look at the USA. The two major parties have a stone cold duopoly. There was a "debate" last week. Look at the two products offered. Does either one look like the brands care about their customers? Or does it look like a cartel of two companies controlling the market and effectively saying, "These are our broken and pathetic products. You will buy one of them, and you will like it."

That's not Democracy.

Correct if I'm wrong but the turnout in the last POTUS election was record numbers. So how exactly has voting fixed and improved the American "democracy"?
We're too late for this to be the main model, we need to ramp down fossils usage way faster than can have carbon taxes happen in most of the world. (Eg when would USA realistically stop/decimate oil and gas production?)
Are you running the web platform tests?
I'm not convinced that wasting a simple clean syntax (prefix unary ^) is warranted for something that should be rare outside of a few libraries.
Some examples on top of my mind:

- export templates is the canonical one.

- Universal references are a great feature in principle, but the way they are integrated in the language is far from ideal.

- Both features are great in isolation, but the interaction between initializer lists and aggregate initialization is a giant footgun.

- Coroutines are overly complex and still incomplete but I still have hope.

- Modules feel DOA so far.

- Unrestricted compile time evaluation is great, but the constexpr qualifier per se doesn't guarantee any useful property.

edit: overall I'm happy with the evolution of the language, but the standardization process has flaws
The old website of this project is worth checking:
https://web.archive.org/web/20240630172605/https://ladybird....
How about: Deprecation for C++26?
Finally get out from under Google's thumb. As soon as Ladybird is half as good as Firefox, then this is reason enough for me to switch. I've lost faith in Mozilla's leadership, and I believe the root cause is the Google money that they rely on.
Fertility rates do not decrease after a war, which means fewer remaining men get the same number of women pregnant.
To be honest, we are so far behind everyone else today that we're 100% focused on catching up technically, and not thinking much about differentiation. :)

That said, I do think we'll find ways to differentiate given our uncommon situation with no ties to the advertising industry. This gives us the ability to experiment with privacy measures more aggressive than others may be comfortable with for fear of losing funding, for example.
I hope that you continue your herculean efforts to investigate the specs and insist on correctness; the resulting implementations, dug up inconsistencies and edge cases will undoubtedly be of independent interest and invaluable to the community.
I wonder how many businesses suffered the same?

I remember Flash as a complete, straight-to-business platform that allowed me to just focus on getting stuff done.

It was a sound decision back then.
I love the twist of historical and fictional characters reminding me!! By turning mundane tasks into amusing interactions, Todof makes productivity fun. But sometimes the aggressive and peppy tones can be jarring. Needs more customization options.
Blender, ffmpeg, pdf24
What I needed is accessing thosr by name. So PFR won't do.
Location: Nairobi,
Remote: Yes,
Willing to Relocate: Yes,
Technologies: Ruby, Rails, PostgreSQL, JavaScript, Tailwind, Bootstrap, React
Email: lorenkioko@gmail.com
Senior full stack developer. Worked as a freelancer mostly as back-end developer.

To check out some of my work click this link https://my-portfolio-7shy.onrender.com/
Don't they use off-the-shelf parts? Can't I just use the update of the manufacturer?
Runway Gen-3 Alpha: temporal consistency coming to video generation
I have two questions, if you don't mind.

1. Legacy hardware support.
Is it a goal for Ladybird to build for 32-bit and big-endian CPUs out of the repository?

2. Electron.
Do you have any plans to work on an Electron alternative based on Ladybird further down the line?
No free Electron alternative other than Sciter seems to use the same browser engine on all platforms.
There may be value in one that implements the latest web standards.
> Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniques, strategies, and algorithms. Such new ideas are primarily evaluated experimentally so an important question is: What experimental setup is needed to produce trustworthy results? We surveyed the recent research literature and assessed the experimental evaluations carried out by 32 fuzzing papers. We found problems in every evaluation we considered. We then performed our own extensive experimental evaluation using an existing fuzzer. Our results showed that the general problems we found in existing experimental evaluations can indeed translate to actual wrong or misleading assessments. We conclude with some guidelines that we hope will help improve experimental evaluations of fuzz testing algorithms, making reported results more robust.

Oh, I've been looking for an overview like this!

There's a ton of fuzzing papers, and they all claim some speedups over AFLs using some intuitively reasonable optimizations, but if you start stacking them you lose AFL's main draw, its simplicity. And the community maintaining AFL++ seems skeptical about most of these optimizations. So an overview of the ecosystem is very welcome.

EDIT: Oh, it's from 2018. That's depressing. I don't think the ecosystem has improved much since this paper was introduced.
I'm not an American, but I would assume so? Or wouldn't they?

If not so, is there a reason why not? "Murdering an oppositional politician in your own country" seems quite clean-cut bad and unjustified. I know your political system is very much "they vs us", but it can't be that bad?
Depending on the audience, it could be confusing if you're changing units.
That's right. The Ladybird Browser Initiative will only accept unrestricted donations. We're missing out on a fair bit of money this way, but we believe it's the right path for us.
-Location: Syros, Greece, and Glasgow, Scotland (UK)

-Remote: Yes (Prefer in-person)

-Willing to relocate: Yes. Can work anywhere in the EU. Will require sponsorship for non-EU locations

-Technologies:

-Programming Languages: Matlab / Simulink, Python, C

+Design & Analyses: Computer-Aided Design (CAD) - Fusion 360
Computational Fluid Dynamics (CFD)- Star-CCM+
Finite Element Analysis (FEA) - Abaqus, Strand7
Materials selection - ANSYS Granta EduPack

+Prototyping: Analog and Digital signal processing;
Engineering drawings for system assembly, DXF for laser cutting, and folding diagrams; Design of experiments for Validation and Verification, Testing, and statistical analysis; Programming of smart electronics, sensors, and actuators

+Résumé/CV: https://rocos.notion.site/Filippos-Rokos-52c7c3317f7b46569bf...

+Email: procos[at]gmail[dot]com
Lots of big assumptions there.

1) Ladybird matures with a community around it.

2) A company actually cares enough to fork it.

3) Said fork becomes the dominant version.

4) Company closes down fork.
No. In fact, my guess is that you can prove there is no such function. But (and I confess I have not thought this all the way through so I might be wrong) while producing such a mapping would be sufficient to carry out the equivalence proof (if it were possible, which I suspect it is not) it is not necessary. All that is necessary (I think) is to show that if a machine is non-circular, then it is possible to produce an equivalent machine by using a halting state which is entered after the machine prints its final "symbol of the first kind". And that seems like it should not be hard, though I concede I may have overstated my case by calling it trivial.

(You also have to prove the opposite, that a machine with a halting state can be converted into a Turing-style TM, but that really is obviously trivial.)
Nextjs is the trojan horse sent to destroy React and it worked
That's the unique value proposition of Ladybird. It uses the open standards as the jumping point, investigates and de facto documents the divergence of modern browsers from them. It is a precious and important work.
From a sibling comment, in Russia fertility rates did indeed decrease:

https://direct.mit.edu/rest/article-abstract/99/2/229/58403/...
>Twinscan NXT:2050i can produce overlays just over 1nm.

Atomic radius (specially Van der Waals radius) of silicon atom is 0.21 nm.