MurphyA/hacker-news huggingface dataset:
by RealLast | 2025-10-01 21:32:46+00:00
You guys are so funny, when papers like these exist: https://arxiv.org/abs/2404.11757

Numerous research, INCLUDING the OpenTSLM paper has PROVEN they are NOT able to do this out of the box. Did you even check out the results at all? They literally compare OpenTSLM against standard text only baselines. Gemma3-270M performs better than GPT-4o using tokenized time series alone. Thus, I guess you guys are being ironic.
by JCM9 | 2025-10-01 21:32:50+00:00
Not surprised. There’s some good applications but the hype bubble is on the verge of bursting. Many companies are boated and inefficient but it’s highly unlikely that “AI” is the fix.

Ironically the thing broken in most cases is poor quality management that let things get so bloated and messy in the first place… the same folks that are cluelessly boasting about the potential of AI in their company.
by Twey | 2025-10-01 21:33:08+00:00
> To say the CT has a lot to do with computation is definitely a stretch.

I think the argument I presented above adequately justifies CT as fundamentally connected to computation, at least as we study it today, though I think there are other formalisms as well that are just as worthy.

> CT is not a recognized Computer Science subject

I'm not sure who decides this :) Certainly when I studied computer science we had modules on category theory, along with other applicable ‘discrete math’ subjects.

CS is a bit of a grab-bag of a discipline, so it's very hard to say what does or doesn't belong on a CS curriculum. But I think programming language semantics, which is the field where you see CT pop up the most, is probably uncontroversially CS, or at least I don't know what other discipline would claim it.

> It's mostly used in the functional programming community to name certain concepts and theorems

It's mostly used in the PL community; its use in functional programming is an attempt to connect the language more directly to that lineage (or because functional programming languages traditionally came from that community, where the language is already understood and available to describe things).

> but then applied to a specific type system (so it's not actually doing CT, since your restricting yourself to a single category, whereas CT is really about connecting different categories by generalizing over them)

I agree that there's not a lot of interesting category theory to do when restricted to a single category, but this isn't quite correct. Some type systems, e.g. simply typed lambda calculus, are adequately _described_ by a single category, though in more advanced cases you usually need more than one (e.g. dependently typed languages are often described by ‘categories with families’, which are a slightly more sophisticated category-theoretical construction). But even within a single type system you usually find many categories; for example a type system can often be described by a category of terms that map between its typing contexts, but within that category you also have a category of types and functions between them, a category of (functorial) type constructors and natural transformations, et cetera. An important family of examples are the Kleisli categories over monads: every monad actually defines a category of its own, whose categorical laws give the good behaviour of monads that make them useful for composing effectful computations. Interactions between these different categories are where inspiration comes from for CT-flavoured API design, e.g. the ‘interpreter’ pattern that's popular in Haskell (https://softwareengineering.stackexchange.com/questions/2427...). Even in pure CT the study of ‘connecting different categories’ can be seen mostly as taking a sufficiently close look at the category `Cat` of categories and functors!
by quadrature_ai | 2025-10-01 21:33:08+00:00
Quadrature Capital | London (In-person) | Data Engineers

Quadrature is a technology-driven company in the algorithmic trading space, utilizing advanced machine learning and large datasets to predict financial market trends.

Our website: https://quadrature.ai.

What sets us apart: - Small, agile team (under 200) - Tech-focused with our own data centers and hyperscale fleet of GPUs/CPUs/storage - No traders - Single, internally-transparent P&L - Deeply collaborative culture - Mission-driven climate change foundation: https://www.qc.foundation/

We've established a Data Engineering Team, integrating market data, alternative data research, and data platform team, and are hiring Data Engineers to manage and refine the crucial market data sources that drive our trading strategies. A role brochure can be shared for reference.

If you have any interest in learning more about the role, or Quadrature in general, please feel free to message here: applications@quadrature.ai
by WebBurnout | 2025-10-01 21:33:46+00:00
SEEKING WORK | Mexico City / Remote | Senior Full-Stack Developer with excellent communication skills

Technologies: NodeJS/Express, Rails, React/Vue/Solid, Dart/Flutter, Native HTML Web Components, Terraform, Kubernetes, Serverless, Firebase, Typescript, Rich Text Editors, Stripe

Résumé/CV: https://hottest.hot.page

Email: twfarnam at gmail.com

Hey, I'm Tim, a senior fullstack developer from New York, now based in Mexico. I have more than 12 YoE on all kinds of web apps as well as mobile and server environments. I love backend and APIs, but I have a passion for pixel-perfect UIs and frontend magic. I have built many of my own projects from start to finish so I have learned a lot about good UX/UI, can choose the best technologies for the job, spot problems before they arrive and write solid tests. My prior career in journalism made me a great communicator and writer. I also enjoy devops and managing servers using Linux, Docker and Kubernetes. I have built many apps on AWS and Google Cloud, including using Terraform for infra and Github Actions for CI/CD.

Right now, I have a side hustle bootstrapping Hot Page (https://hot.page) and releasing native HTML web components as part of my open source project HotFX (https://fx.hot.page).
by heurist | 2025-10-01 21:35:06+00:00
I haven't run a business in a while but when I did I found I was actually more comfortable because the interactions are typically more scriptable and the dynamics are clearer than when you're dealing with peer employees. When you're dealing with customers, you're interfacing on behalf of the business and can adopt a 'business' persona while speaking about things you are expert in. Often you deal with people in bursts and don't need to interact with any given individual too often; with peers it's a lot more vague and confusing, and you're with them basically all the time for years so it's much more exhausting.
by kjellsbells | 2025-10-01 21:35:26+00:00
I really liked Ronald Reagan's comments on tariffs and fair trade from way back. Good reading in these times.

https://www.reaganlibrary.gov/archives/speech/radio-address-...

Hell, even the Heritage Foundation thought NAFTA was a good idea instead of tariffs:

https://www.heritage.org/trade/report/the-north-american-fre...
by bitwize | 2025-10-01 21:36:03+00:00
Is the fundamental model of a school from one of the post-historical paradises of education, like Japan, Singapore, or Finland much different? If anything, schools from those countries are stricter and instill more discipline than do schools in the USA. I know people who work in education; if they fail to be more than a prison guard, it's not through lack of trying. They're just hamstrung by administration every time they try to actually teach.

Perhaps a better analogy would be lab techs and lab rats. The students are the rats. They have a battery of experiments performed on them by lab techs (teachers) overseen by scientists (administration) who also determine which experiments to run. The problem is, what's being practiced is not really a science but a form of alchemy: how to determine a repeatable process to refine the lead of incoming children into the gold of model citizens who make all the right decisions according to the latest knowledge of what "right" is? (This was called "Outcome Based Education" in the 90s and "Social Emotional Learning" today.) The missing bit is that learning is an active process which requires involvement of the child.

But anyway, woe betide the lab tech who arrogates to perform the experiment in a manner not prescribed by their betters with Ph.D.s (say, in a way that's been shown to get results)!
by palata | 2025-10-01 21:36:17+00:00
> AFAIK, SORM's first targets were mostly CSAM distributors and people who leaned towards neo-nazi views to various extents. That's how it was legitimized in the eyes of those who knew about it: look, FSB is going against pedophiles and nazis, yay!

Sounds similar to ChatControl, right?

Not saying that the EU is turning authoritarian at all, but just that it is a tool that may turn evil in the future.
by lelanthran | 2025-10-01 21:36:20+00:00
> interestingly, this is the first esp32 firmware i've seen that claims to support loadable native code applications ("elf apps"),

Very skeptical that this is of any use; after bootup you have, what ... 260kb of RAM? Just doing runtime linking/relocations would eat up some of that. Just how small would your application have to be to be loaded at runtime?

Maybe they don't load the whole think into RAM, but thunk it somehow (I assume that elf supports that)?
by mengdotzip | 2025-10-01 21:36:35+00:00
Location: Brussels, Belgium Remote: Yes Willing to relocate: Yes Technologies: Go, OpenCL, Python, AI Infra, DevOps, Docker, Azure AD, Windows/Linux server, SQL/MySQL/Postgresql/SQLite, React, AWS, JavaScript, TypeScript, PowerShell, Bash, SCCM, Intune, ProxMox, VMWare ESXi, Windows AD, Git Résumé/CV: https://docs.google.com/document/d/1edrc2vgYfI1YjQtNprf0pXTCSlH0syVx/edit?usp=sharing&ouid=108516447659643757324&rtpof=true&sd=true Email: matyasengelen[at]hotmail.com GitHub: https://github.com/mengdotzip

Hi, I’m Matyas! I have about 4 years of professional experience in IT infrastructure, managing large environments and automating with Python and PowerShell. I’ve enjoyed working with SCCM, Intune, and Azure AD, but my real passion is coding.

Outside of work, I’m a self taught developer and I’ve spent ~10 years programming, contributing to open source and running a homelab: building Go/Python backends, writing proxies and CLIs, and maintaining Linux/Windows servers, containers (docker, kubernetes), and virtualized setups.

I’m now looking to move into software development full‑time and turn my passion into a living.
by matt-p | 2025-10-01 21:36:49+00:00
Docker is amazing for forcing the machines not to be pets, seriously, a racked sever is just another K3 or K8 node (or whatever) and doesn't get the choice or ability of being petted. It's so nice. You could maybe of said the same about vm's but not really, the VM just became the pet, OK you could at least image/snapshot it but it's not the same.
by toast0 | 2025-10-01 21:37:29+00:00
I think I'm more or less agreeing with you. You've got to build the gas plants (or something), for the dark and windless days of winter, right? That's going to be expensive, but PV/wind won't solve it, so you have to build it.

Now that you've built those plants, would you rather pay to operate them year round, or only when needed?

PV/wind won't help you reduce capex for winter, but it should reduce opex on gas. And that's something.

Spending capex on interconnections may reduce the total dispatchable capacity needed; if it's done carefully. Having more time zones in one grid helps because peaks correspond with time of day; having more latitude helps because day lengths and cloud cover varies. Having more of both helps because still air tends to be geographically bounded. But long distance transmission is expensive.
by jiggawatts | 2025-10-01 21:37:56+00:00
The KPIs of some random Microsoft middle manager trumps customer priorities. They have a quota to meet!

But to play the Devil's advocate: back in the good old days, before Google was a thing, I would go out to customer sites and they would ask me with a straight face "why I needed the Internet?" to do my job. (These days I just tether to my phone, but this was long before that was a viable option.)

Soon, access to AIs will be like access to Google: mandatory for getting your work done to an acceptable standard in a reasonable time.

Those that fight against this are trying to hold the tide back with a broom.
by jaymzcampbell | 2025-10-01 21:38:31+00:00
In these situations I will frame my contributions directly without the "we" part, speaking to how I contributed to a particular team output, or if it was 100%, I'll just say as much. My comment was in terms of general talk to stakeholders / presentations / casual conversations - then I default to "we".

E.g. if I add some new feature to a tool and deploy it, I'll say "we've just pushed X...". If I do 99% of some particular feature, I'll still say "we've added Y...". In an annual review I can still speak to what I specifically did. I have probably been lucky in the teams and team sizes I've been in, but I've not had a problem with this.

For context I've mainly stuck to small (<50) and medium (<500) companies. My one experience (due to acquisition) of directly working within a 5000+ company was certainly starting to feel like what you described, I got out.
by MoonSzzS | 2025-10-01 21:38:49+00:00
Gacha games and lootbox oriented games targeting young minds with gambling for no real monetary return should be looked into just as so. These are more predatory and create more harm. Its not uncommon in gacha users to be someone who would never touch a casino styled app, and yet they are swept up to gamble an alternative way. Not to say all gacha games or lootbox games are full predatory. Just that the majority likely is.
by worldsayshi | 2025-10-01 21:39:26+00:00
Ok sure but electric cars predated ice cars. That's what I was thinking of. We could've skipped ice cars entirely if other enabler technologies were mature enough at the time.

So the ice car wasn't inevitable. It was the car that we could build at that time given the technology we had. So it was only inevitable given the context. Change the context, change the outcome.
by BenoitEssiambre | 2025-10-01 21:39:30+00:00
A CLI might be the most information theoretically efficient form of API, significantly more succinct than eg. JSON based APIs. It's fitting that it would be optimal for Claude Code given the origin of the name "Claude".

Information theoretic efficiency seems to be a theme of UNIX architecture: https://benoitessiambre.com/integration.html.
by AustinWentz | 2025-10-01 21:39:38+00:00
Property Meld | Senior Software Engineer | Full-time | Remote (US & Canada) or Rapid City, SD

Looking for something more meaningful? How about the opportunity to have a direct impact on the property maintenance experience for hundreds of thousands of residents?

Welcome to the future of property maintenance. Property Meld’s vision is to radically improve how the property management industry handles property maintenance. If you’ve ever had a maintenance issue at your housing rental, you know how much of a pain it can be to get it fixed quickly and reliably. It doesn't have to be this way. We're rethinking the entire property maintenance experience from the ground up with two things in mind - first, driving the cost of doing maintenance to the absolute minimum, and second, providing an experience to residents and property owners that makes them want to stay with their property manager. If you are excited about turning something that has historically been a negative experience (maintenance) into a positive experience, we'd love to talk with you.

Stack: Python, Django, Typescript, React, React Native, PostgreSQL

https://property-meld.breezy.hr/p/2c9a513c0d8a-senior-softwa...

Apply through our career page or you can email us at `tech.jobs at propertymeld.com`
by apercu | 2025-10-01 21:39:45+00:00
And that, to all you aspiring entrepreneurs, is how you deal with shit. Please don't take your cues from our current industry and political "leaders".

Tech (and business, and politics) tends to attract a lot of people who are convinced they already know everything and who could probably benefit from a little more confidence and perspective.

That combination makes for a lot of thin-skinned bullshit. I could name names, but you all know the people I am talking about.
by michaelm244 | 2025-10-01 21:40:35+00:00
Comulate | Senior Engineer (3+ YoE) | ONSITE in San Francisco, CA

We're building automation software for the $7T insurance industry, accelerated by AI. Seed stage in terms of headcount (~ 20 people) but Series B in terms of business traction (+ cash-flow positive). We've intentionally stayed under the radar.

- Product has caused customers to literally cry tears of joy

- Experienced eng team from Airbnb / Brex / LiveRamp

- Stack: TS, Postgres, React, GraphQL, and Next.js

Apply here: https://comulate.com/careers
by GMoromisato | 2025-10-01 21:40:53+00:00
I get that--and it's a good point. But large groups of people do tend to be predictable under certain situations. Is anyone surprised that people hoard staples (toilet paper, etc.) during a crisis?

It reminds me of the time a Scientific American columnist ran a contest. The idea was to submit a number on a postcard. The person who submitted the highest number would win $1 million divided by the winning number.

The publishers almost nixed the contest. They didn't actually have $1 million to give away and they were worried. But the columnist assured them that there was no chance the prize would be even one dollar. As you might expect, the winning number was so ridiculously large that no money had to be sent.

As for LLMs affecting the economy, I think my only uncertainty is in how long it will take for them to be integrated. I think we all agree that even in their current state, they are valuable for certain tasks (e.g., language translation). I'm pretty sure they are economically viable for 90% of support calls. Are they going to displace software developers? Lawyers? Doctors? Even if they don't, the effects will still be large.

If we agree that they are economically viable, then I don't see how they don't have an impact. If a technology saves businesses money, it is going to get deployed. The only wildcard would be regulatory blocks or legislative bans. But you know China is not going to give up on the technology, so any bans will be reversed or circumvented (we'll import products/services from China).

Now, if you don't think LLMs in their current state are economically viable/valuable, then none of that will happen. But (a) that's a different argument, and (b) then people will inevitably choose NOT to deploy LLMs.

I get the desire for agency. I certainly wish I had more control over the course of the future. But people's behavior (in large groups) is almost always downstream of external events. Fukushima has an accident and Germany chooses to give up nuclear power. Inflation in the US goes up and people vote for Donald fraking Trump.

Maybe there will be some event--a Fukushima for AI--that causes a mass change. But absent that, I think LLMs are here to stay.
by lazystar | 2025-10-01 21:41:16+00:00
> Samer Baroudi, senior product marketing manager at Microsoft, insists this is for your own good. > > "This offers a safer alternative to other bring-your-own-AI scenarios, and empowers users with Copilot in their daily jobs while keeping IT firmly in control and all enterprise data protections intact," Baroudi explained in a blog post.

whew. they seem to be confusing exactly who the customer is here. they think their target customer is the everyday windows user, but in reality the customer is every company's internal IT and infosec teams. theyre trying to persuade regular users to use the product, bit these users will in turm need to persuade their IT teams before this product can be used. big mix up for microsoft.
by jdlshore | 2025-10-01 21:41:58+00:00
I’ve seen it. In my organization, open discussion and creating space for disagreement and alternate perspectives are the norm. A couple of junior programmers were upset about a process change, and weaponized the process to sow discontent at every retrospective, usually through vague “a lot of people have told me they’re unhappy about X” comments. A huge amount of energy was spent trying to take their concerns seriously and address them.

Eventually they were removed from the team. It should have been sooner, but the manager is very empathetic and supportive of his team. Morale immediately shot up and things are much better now, as well as more productive.

Not every workplace is a dog-eat-dog hellscape. In fact, I’d say they’re the minority. But you do reap what you sow: if you’re determined to see it as a zero-sum game and go looking for conflict, you’ll find it.
by ktut | 2025-10-01 21:42:21+00:00
Location: Chicago, IL, USA Remote: Yes or hybrid Willing to relocate: No Technologies: Typescript, Vue, React, CI/CD, Jenkins, Tailwind, HTML / CSS / JavaScript, UI/UX design tools, AI/LLM tools, Git, AWS, Google Analytics, Adobe Creative Suite Résumé/CV: www.rkdvis.com Email: ramzidreessen [at] gmail [dot] com

Experienced Frontend Engineer currently working at a major US company in a senior role. 6 years of web dev experience and 5 years of professional design experience. Experience across fintech, media and gaming. Currently seeking frontend engineering, frontend engineering management, or product management roles. LinkedIn: https://www.linkedin.com/in/ramzidreessen/
by ndeast | 2025-10-01 21:42:22+00:00
Location: SF or Portland Remote: Yes (or Hybrid) Willing to relocate: Yes Technologies: Python (FastAPI), Typescript/Javascript (Angular, React), Postgres, Redis, AWS, Docker, Terraform, LLM, Data Pipeline/ETL Résumé/CV: https://ndeast.com/resume.pdf Email: hn [at] ndeast [dot] com

Hi, I am a backend-focused engineer with 5+ years building python microservices and full stack web applications at JPMorgan Chase and startups. Open to product engineering, infrastructure, and LLM integration roles. I like vintage mechanical keyboards, punk music, and natural bodybuilding.
by Rochus | 2025-10-01 21:42:44+00:00
> The study scientifically confirmed that professional pianists can manipulate timbre mid-performance through subtle key movement differences.

I'm a trained pianist myself and I have a PhD in science. The "timbre" is relative to the speed a key is pressed and the position of three pedals of a grand piano. But this insight is trivial and doesn't require a "scientific study".

The fundamental understanding of piano mechanics is well-known: once the hammer escapes from the action mechanism (just before striking the string), the final hammer velocity is the only physical parameter that determines the string vibration and resulting tone. This is known as the "single variable hypothesis" and has been supported by acoustic physics research. The final hammer velocity is thus the only physical parameter controlling the intensity and the sound of an isolated piano tone, independent of the intrinsic acceleration pattern of the key.

The study's claim about "acceleration at escapement" is particularly problematic from a physics standpoint, since escapement is precisely the moment when the hammer detaches from the key mechanism and begins free flight to the string. What matters after escapement is the hammer's velocity during that free flight, not how it got there. The study does not clearly explain the acoustic mechanism by which different key accelerations would produce different string vibrations if final hammer velocity is controlled.