MurphyA/hacker-news huggingface dataset:
by ColinWright | 2025-10-06 13:25:45+00:00
If you're going to quote wikipedia:

> "Zéro est le seul nombre qui est à la fois réel, positif, négatif et imaginaire pur."

From: https://fr.wikipedia.org/wiki/Z%C3%A9ro#Propri.C3.A9t.C3.A9s...

It's hard to be more explicit that it is considered both.

================

Added in edit

In speaking with a French colleague, he says that "inférieur" often means "less-than-or-equal-to" rather than "strictly-less-than", so the passage you quote would still imply that 0 is negative (and most likely also positive).

================

Second edit:

> In France, "positive" means "supérieur à 0", and "supérieur à " means "greater than or equal to". Similarly, "négative" means "inférieur à 0", that is "less than or equal to 0".

> (We have the similar reaction towards the anglosaxon world and the introduction of nonnegative…)

-- https://mathstodon.xyz/@antoinechambertloir/1153275891164575...
by Rupal_S | 2025-10-06 13:26:01+00:00
Location: Bangalore, India (Working across US/UK/AUS/NZ/EUR time zones) Remote: Yes

- FinTech: Embedded Finance, B2B Payments, LendingTech, WealthTech, KYC/AML, Crypto On/Off Ramp (Expertise in Plaid, Dwolla, Rutter, Stripe, Chargebee, Coinbase SDK, ACH, Underwriting Automation)

- AI & ML: LLM Agents (OpenAI, GPT-4, Claude, GPT4All), RAG Pipelines, LangChain, Workflow Copilots (Currently working with 4 clients on AI automations and document intelligence solutions)

- SportsTech: Performance Analytics, Scouting Tools, Fan Engagement Platforms (US, Australia) (Includes fantasy sports, live feeds, coaching platforms, and AR-ready data models)

- Legal Tech: Agreement Builders, eSignature Workflows, OCR + Document AI, Blockchain Proofing

Schedule a Chat: https://calendly.com/mobilefirst-intro

Email: rupal(.)mobilefirst [at] gmail(.)com
by bee_rider | 2025-10-06 13:26:13+00:00
What a mess. When they have to write about how “circular financing” became highly regulated in the future, I hope they know that the problem was not confusing in the big picture.

Maybe I can get quoted in a sidebar:

“Hey Econ students, we normal people could see that the AI market was extremely gamed. We can see the investment feedback loop. It is just that the organizations continuing it have control over so much money, they don’t have to stop and ask society in general for permission to continue. Really this is a symptom of the wealth inequality crisis that they covered chapter…”
by Rupal_S | 2025-10-06 13:26:26+00:00
Location: Bangalore, India (Working across US/UK/AUS/NZ/EUR time zones) Remote: Yes

- FinTech: Embedded Finance, B2B Payments, LendingTech, WealthTech, KYC/AML, Crypto On/Off Ramp (Expertise in Plaid, Dwolla, Rutter, Stripe, Chargebee, Coinbase SDK, ACH, Underwriting Automation)

- AI & ML: LLM Agents (OpenAI, GPT-4, Claude, GPT4All), RAG Pipelines, LangChain, Workflow Copilots (Currently working with 4 clients on AI automations and document intelligence solutions)

- SportsTech: Performance Analytics, Scouting Tools, Fan Engagement Platforms (US, Australia) (Includes fantasy sports, live feeds, coaching platforms, and AR-ready data models)

- Legal Tech: Agreement Builders, eSignature Workflows, OCR + Document AI, Blockchain Proofing

- Sportstech - Real-Time: Video/Audio Streaming, WebRTC, Group Coaching, Townhalls, EdTech Live Tools

Schedule a Chat: https://calendly.com/mobilefirst-intro

Email: rupal(.)mobilefirst [at] gmail(.)com
by OtherShrezzing | 2025-10-06 13:26:45+00:00
Feels like we're living through a Michael Lewis book.

OpenAI estimate that it takes around $50bn to stand up a 1GW datacenter. This deal is 6GW worth of chips. Their projected revenues out to YE-2029 are $300bn. OpenAI will spend a decades worth of revenues building & filling the datacenters to house these chips, before accounting for their AI research, training, or inference spend.
by evantbyrne | 2025-10-06 13:27:15+00:00
I built something very similar to this a few years ago, sold it for way less ($3/service), and ultimately decided not to spend money marketing it. Building the product made it super clear that AWS costs were grossly inflated, which they hid with dark UX, and I wanted to help small teams and hobbyists. Today, if you are a small team that doesn't really need more than one large VPS, you should seriously consider Docker Swarm. Not to say that Flightcontrol looks bad. In fact, it looks quite nice. Something like this could save you a lot of money if you would otherwise need full-time devops.
by desaiguddu | 2025-10-06 13:27:19+00:00
SEEKING WORK | FinTech focused Dev Shop | REMOTE or Office Team Strength: 65+ Devs focused on FinTech Web, Mobile & Cloud FinTech Expertise: Financing/ Lending Journey, Investment & Wealth Products, Risk Analysis, InsureTech Frameworks: Plaid, Codat.io, Rutter, Salt Edge, Persona/ Prove, Alloy, Canopy LMS, KYC, Onboarding, AML/FATF

30 mins Chat: https://calendly.com/arpand

Fees: $27 to $45/hour

Skills:

- Frontend: React/NextJS, Vue, Tailwind CSS, Java/Typescript

- AI: LLM, Langchain, Pinecone, ChromaAPI, OpenAI

- Backend: Nest/Node, Serverless, Kubernetes, Docker

- Mobile: React Native, Flutter, Native

Contact: arpan@mobilefirst.in
by desaiguddu | 2025-10-06 13:27:39+00:00
Location: Bangalore Remote: Preferred Focus Areas: FinTech, SportsTech, LegalTech, Blockchain

Schedule a Chat: https://calendly.com/arpand Dev Shop: Yes Email: arpan@mobilefirst.in

We are working mainly on Fintech + Blockchain products for their ServerOps, mobile & full-stack development.

Recent work:

-Blockchain Payments: Checkout Widget & Components for Merchant Payments in Crypto

- Tech Modernisation 60 Million Users: Middleware + Web & Mobile Product for Pension System in India.

Payment Wallet: Supporting mobile wallet and money transfer for Telecom operator apps. Technologies: Serverless, NextJS, Java, NodeJS, TypeScript, ReactJS, Tailwind CSS, Shopify, AWS, Kubernetes, Flutter, Java, React Native.
by cs702 | 2025-10-06 13:27:47+00:00
OpenAI now has an option to buy 10% of AMD for $0.01 per share, subject to certain milestones.

Basically, AMD is giving up equity to buy its way into the AI market.

It's fantastic news, because OpenAI and AMD will now work together to develop decent software libraries for AI on AMD chips.

We all want an alternative to Nvidia and cuda. This partnership could deliver it in the not too distant future.
by netsharc | 2025-10-06 13:28:51+00:00
Maybe for friends and family? But then, if their phone might be compromised by the state...

And telling friends and family they need to setup a Jabber connection to talk you will make you "That guy/girl who...". And if the idea spreads, then talking to n people requires n accounts on n servers. At least Pidgin (last time I used it, which was last decade) supports such a configuration. I wonder if the mobile apps can do the same.
by jjkaczor | 2025-10-06 13:28:54+00:00
Yeah - technical people in general - it was a great introduction to following instructions and creativity all-in-one. (I would build every kit first with the instructions, then tear them apart and put the bricks in the "big" (actually very tiny) box, and from then on, build my own creations - no models sitting on shelves for me - this still happens to-this-day, but now I build with my grandkids)
by commonprefix | 2025-10-06 13:29:31+00:00
Common Prefix is a science-first blockchain consulting company. Our vision is to make blockchains usable for mainstream users and everyday people – paying at the supermarket, remittances, moving money across borders, saving, investing – and solving the real problems of usability, scalability, and interoperability that come with it. We're a 30-person team, half scientists (cryptographer PhDs, post-docs, and professors) from renowned universities, half engineers with long web2 experience. A lot of our field is broken and we're trying to make a small contribution in fixing it, by introducing provable security and proper engineering practices across the board. What we're looking for: Software engineers who can solve problems, are smart, get things done, and enjoy working on the bleeding edge, learning about cryptography, and working from first-principles. Auditors who can write and read code, especially low-level cryptographic implementation code (zero knowledge verifiers, signature schemes, etc), consensus (PoW, PoS), or smart contracts (everything DeFi). Tech stack: Doesn't matter, we'll teach you. But we work mostly with Rust. Open roles: * Software Engineer, https://commonprefix.notion.site/sw-folk * Auditor, https://commonprefix.notion.site/auditing-folk We offer: - $80,000–$160,000 / year cash - Local from Athens, Greece, or remote, preferably in Europe - Conference participation in exciting scientific and engineering venues, 2-3 times per year - The opportunity to work and learn from world-class scientists from major universities in the field of blockchains, cryptography, and consensus If you're interested in joining our team, please reach out to careers<at>commonprefix<dot>com with the subject line "HN: <Job Title>".
Show HN: Calendar0 – System tray app for natural language scheduling
by alessandro-a | 2025-10-06 13:29:38+00:00
Hey HN,

Calendar0 is:

- A system tray app that lets you view your calendar instantly without opening a browser

- An AI assistant to manage everything in your calendar using natural language commands

- Smart contact resolution which automatically converts names to emails using Google Workspace and checks all attendees' availability before booking

- One-click meeting access for smart notifications that let you join meetings instantly

I am using Gemini 2.5 Flash for NLP. Built in Electron. Trying to keep it under ~100ms response time for most commands. It was unexpectedly challenging to parse ambiguous time references ("next Monday" vs "this Monday").

Would love to have your feedback!

Thank you!
by catlifeonmars | 2025-10-06 13:29:52+00:00
> This attention scarcity stems from architectural constraints of LLMs. LLMs are based on the transformer architecture, which enables every token to attend to every other token across the entire context. This results in n² pairwise relationships for n tokens.

The n² time complexity smells like it could be reduced by algorithm engineering. Maybe doing a preprocessing pass to filter out attending to tokens (not sure what the right term of art is here) that do not contribute significantly to the meaning of the input. Basically some sort of context compression mechanism.
Show HN: YC Network Search – Use natural language to find YC people
by recmend | 2025-10-06 13:29:55+00:00
Last month I spent three hours looking for YC founders who’d built developer tools. I checked LinkedIn. Scrolled through W21, S21, W22 batch pages. Googled “YC developer tools founders.” Spent hours and found two relevant people. Ugh.

This happens constantly when you’re trying to connect with the right founders. You know exactly who you need to talk to, you just can’t find them.

So I scraped 7,000+ YC profiles and built semantic search over all of it. Probably overkill but whatever.

Now instead of keyword hunting, you ask: - “Find people who raised Series A in climate tech” - “Which YC partners were previously technical founders?” - “Who are the solo founders that made it through YC?” - “Show me people who pivoted from marketplace to SaaS”

The search understands meaning, not just words. Ask for “pivots” and it finds people who “changed direction” or “shifted focus.” Ask for “bootstrapped” and it surfaces “self-funded” and “profitable from day one.”

The data updates from public sources like LinkedIn, company pages. It’s not perfect but it’s way better than manual searching.

Perfect for YC applications too. Instead of cold-emailing random “fintech founders,” find the person who built banking tools for small businesses when you’re building payments for restaurants.

Check it out at sena.so/directories/yc-network. Try complex queries - it handles them better than you’d expect. Sometimes it surprises me tbh.

Worth building for other startup communities?
by iamleppert | 2025-10-06 13:29:59+00:00
Sam Altman gave Nadella the most watered down version of ChatGPT he possibly could. The AI embedded into every Microsoft product I've tried has felt like at least 2 - 3 generations old than what you can get directly from OpenAI. You think it would be much better, having native access to tools and data. Nope. I could find no evidence of any of that.
by kace91 | 2025-10-06 13:30:04+00:00
For another approach at teaching math in an accessible (and self-teaching friendly) approach, I can’t recommend Jay Cummings enough.

I recently tried to go for a math degree in my free time using my countries’ remote learning option, and even though the attempt didn’t last long because the format is hopelessly broken (Mediterranean bureaucracy), I’m still engaging in self learning through his books and they’re an absolute goldmine.

Most basic math books assume no knowledge of the subject but a familiarity with general math that is unreasonable - it’s like saying you don’t need to know what a deadlift is but you need a back that resists 200kg… It’s a borderline fictional audience in practice.

Cummings manages to understand the novice far, far better.
by lapcat | 2025-10-06 13:30:09+00:00
The two parties are not the same, but the privately funded electoral system of the US applies to all parties. Democrats cannot escape the corrupting influence of money.

Consider, as a revealing example, the Patriot Act of 2001. There was more resisitance to it from Democrats than from Republicans, yet there was still not nearly enough resistance. In the Senate, the vote was 98-1, with only Democrat Russ Feingold against. https://en.wikipedia.org/wiki/Patriot_Act?#Legislative_histo...

In my "free speech zone" link above, the Democrats were the first to use that blatant violation of free speech, at their national convention.

Republicans take advantage of the precedents set by both parties.
by nilkn | 2025-10-06 13:30:32+00:00
For most folks, filing your taxes is already mostly automated and requires a time investment of maybe 45 to 60 minutes per year. Would it be nice to reduce that down to 20 seconds? Sure, but it's not going to materially change anything in the financial life of most people. I'm all for it if it could be done reliably at scale. Outlier cases where taxation is complicated enough that it's possible to engineer substantial and meaningful financial outcomes often count more as business finance than personal finance. I'm sure artificial intelligence will indeed be more disruptive to business and corporate finance. For true personal finance, though, I suspect it may be more predatory than helpful by selling people into bad decisions that sound smart (which banks, etc., already try to do with so-called financial advisors).

Keep in mind a 5% failure rate would likely be >10 million incorrect tax filings per year solely due to AI errors, not inclusive of additional incorrect filings due to human error as well.
by AlexErrant | 2025-10-06 13:30:42+00:00
I asked chatGPT the above question and found nothing compelling https://chatgpt.com/share/68e3c365-94a8-800e-91ca-9b5a9337b2...

Worse, GPT hallucinated: "To alleviate concerns, Comet is designed so that much data is stored locally by default. For example, by default email/calendar content etc. is not uploaded unless you explicitly request an action that requires it."

From its citation: "Comet may process some local data using Perplexity’s servers to fulfill your queries. This means Comet reads context on the requested page (such as text and email) in order to accomplish the task requested."

Perhaps I'm too cynical, but chatGPT is farrrr more generous than what Comet's FAQ states.
by commonprefix | 2025-10-06 13:30:50+00:00
Common Prefix – Software Engineers / Auditors – Greece – Remote – Full-Time

Common Prefix is a science-first blockchain consulting company. Our vision is to make blockchains usable for mainstream users and everyday people – paying at the supermarket, remittances, moving money across borders, saving, investing – and solving the real problems of usability, scalability, and interoperability that come with it. We're a 30-person team, half scientists (cryptographer PhDs, post-docs, and professors) from renowned universities, half engineers with long web2 experience. A lot of our field is broken and we're trying to make a small contribution in fixing it, by introducing provable security and proper engineering practices across the board. What we're looking for: Software engineers who can solve problems, are smart, get things done, and enjoy working on the bleeding edge, learning about cryptography, and working from first-principles. Auditors who can write and read code, especially low-level cryptographic implementation code (zero knowledge verifiers, signature schemes, etc), consensus (PoW, PoS), or smart contracts (everything DeFi). Tech stack: Doesn't matter, we'll teach you. But we work mostly with Rust. Open roles: * Software Engineer, https://commonprefix.notion.site/sw-folk * Auditor, https://commonprefix.notion.site/auditing-folk We offer: - $80,000–$160,000 / year cash - Local from Athens, Greece, or remote, preferably in Europe - Conference participation in exciting scientific and engineering venues, 2-3 times per year - The opportunity to work and learn from world-class scientists from major universities in the field of blockchains, cryptography, and consensus If you're interested in joining our team, please reach out to careers<at>commonprefix<dot>com with the subject line "HN: <Job Title>".
by dredmorbius | 2025-10-06 13:31:16+00:00
Where TDM == "time-division multiplexing". Expanding acronyms, particularly those from less-mainstream concepts and fields, is appreciated.

It wasn't clear from your comment (or the source I'd read) that PRI is circuit based.

The fact that circuits can be multiplexed (whether through frequency-separation, timeslicing, or other mechanisms, see <https://en.wikipedia.org/wiki/Multiplexing> for general MUXology) is irrelevant. They are still circuits. And there are limits to how many circuits can be maintained at a single time, regardless of the apparent endpoint combinatorial possibilities.

Packet-based switching has far greater capacity and flexibility, as I, my sources, and several other comments to this thread, have noted.

Pedantry aside, you seem to be confirming my initial point.
by echelon | 2025-10-06 13:31:29+00:00
LLMs are a good search replacement, but they're not task automation.

Codegen AI is great for tab-complete. It does save typing, and it is pretty smart, but you still have to have an engineer in the seat that is paying attention and knows what they're doing.

Video AI on the other hand is already disrupting Hollywood. The costs are 10,000x cheaper, the delivery time is 100,000x faster, and it's accessible with 1,000x less personnel. These are insane numbers. Multiple orders of magnitude - full step function change - across multiple dimensions at once.

You still need to have an editor and VFX person to make video AI work, and you still need to incorporate photon-on-glass footage, but it's remarkable how usable these tools are.

A small studio with five people can use AI tools to do serious work that would ordinarily take 100 people or more and require huge budgets.

This isn't just hypothesizing - I work in this industry. This is not only myself, but this is dozens of the studios I talk to and work with.

Just to cite one example, there's a studio I know that used to bid $300k on projects. You've seen their work - they do Netflix show intro sequences, pharmaceutical ads, etc. They're now bidding just $50k and winning projects left and right.

I think the biggest area of AI investment and disruption is going to be video AI.
by barrenko | 2025-10-06 13:32:32+00:00
While there are a lot of of textbooks flown around, I'd like to prop up ROB201 textbook, which I came across recently, also aims to cover a lot of ground and is accompanied by videos.

https://grizzle.robotics.umich.edu/education/rob201 - "ROB 201 Calculus for the Modern Engineer"
by TYPE_FASTER | 2025-10-06 13:32:52+00:00
The AI bubble feels similar to the Dot.com bubble. The pattern is the same, right? There's some tech, a hype wave that people try to surf (if you paddle fast enough, you can start something and cash out in time), and when the water recedes before the next wave people/organizations either rode the wave cashed out and walked off the beach to their next thing, didn't make the wave and will try next time, or got pounded and their board broken. Or they ripped a great line, did a backflip like Medina, threw their hands in the air, and paddled back out to catch the next wave.

But you don't always know what the wave is going to look like when it's building. You just know there's a wave, and either you get on it or you don't. The connectivity of the web was obvious, the monetization wasn't super obvious (remember K-Tel anybody?). The power of modern AI is obvious, the monetization and final form of the tech isn't. I mean, using natural language is cool and all, and I think there is a lot of value in using models to help/assist engineering and other work, but I think it's too soon to say what the end game is.
by FinnLobsien | 2025-10-06 13:33:19+00:00
I thought this was an interesting article that gets a few things wrong. Obviously, shipping AI-coded stuff to prod will introduce security risks.

But I also think it's important to define what level of security is actually needed for some of these apps. Obviously if you're shipping a product to thousands of enterprise customers, security needs to be tight.

But I would equate it similar to food safety: Many common practices in home kitchens would get you fired immediately in a restaurant.

But home kitchens serve very few people, store less food and store it for less time. They also have fewer people working on them.

I think the same is true for websites and apps.

There's something to be said for the security your type of project needs vs. perfect security.
Show HN: The Marketing Digest – A 3-minute weekly update for marketers
by smartermondays | 2025-10-06 13:33:42+00:00
Hi HN

I built The Marketing Digest to solve a simple problem — marketers are drowning in content but starving for clarity.

It’s a short, human-curated email that lands every Monday with 12 of the week’s most important stories across content, SEO, AI, and marketing trends.

Readable in under 3 minutes, no fluff, no filler. Unlike most newsletters, it’s fully curated by humans, not scraped or automated. The goal: help marketers start the week informed without the doomscroll.

Would love your thoughts — how do you stay on top of marketing shifts without wasting hours?

https://marketers-digest.com/?hn
by cafard | 2025-10-06 13:33:51+00:00
In Washington, DC, gasoline-powered leaf blowers are forbidden. But less than an hour ago, I passed a powerful-looking one ready for use on a lawn nearby.

We finally bought a battery-powered leaf blower. This is really not for the lawn, which is relatively small and easily raked. Rather, my wife likes to remove the leaves from the garden beds. These are difficult to rake, what with shrubs etc., and one generally brings a good deal of mulch along with the leaves. We also have a strip of gravel to one side of the garage, and the blower makes it possible to remove leaves without gravel coming along.

And since you asked, the leaves end up at the curb. The city has a couple of collections every fall.
by disgruntledphd2 | 2025-10-06 13:33:51+00:00
> I'll also bet the internal audit team slides out of this completely unscathed.

They really, really shouldn't. However, if they were shouted down by management (an unfortunately common experience) then it's on management.

The trouble is that you can either be effective at internal audit or popular, and lots of CAE's choose the wrong option (but then, people like having jobs so I dunno).