MurphyA/hacker-news huggingface dataset:
by moomin | 2025-07-02 17:29:47+00:00
Your basic problem is that your programming language can’t express the concept cleanly. You need what’s called “Higher-Kinded Types”.

To give you a concrete example, in C#

Func<A, B>, List<A> -> List<B>

Func<A, B>, Task<A> -> Task<B>

Func<A, B>, Func<C, A> -> Func<C, B>

Can’t be expressed using a generalisation. But in Haskell, you can write

(Functor F) => Func<A,B>, F<A> -> F<B>

One of the biggest things that makes monads hard to understand is that the type systems of most languages can’t represent them. Annoying, that includes the “typeless” ones.
by kubectl_h | 2025-07-02 17:29:50+00:00
Similarly: though William Jarvis wasn't the first American to import Merino sheep, he was the most successful because he was able to utilize an ongoing war in Spain to circumvent around the Merino export ban in the early 1800s and get a ton of them over here, too. He was even a diplomat to Spain and probably knew better, but did it anyway.
by mcordova | 2025-07-02 17:29:52+00:00
Hey HN,

Be Reddy is a project I’ve been working on.

It’s a weekly newsletter + community where we:

Share proven strategies for posting on Reddit without getting banned

Break down real examples of posts that generated traction

Help each other test ideas and learn what works

Offer playbooks for SaaS, indie products, and niche communities

If you’re building something and want Reddit to be part of your growth, check it out: https://bereddy.carrd.co

I’d love your feedback, especially on what resources or examples would be most useful to you.

Happy to answer any questions!
by fc417fc802 | 2025-07-02 17:30:09+00:00
That doesn't follow. The absolute of a principle being unobtainable doesn't mean it isn't of use. As I stated, you make a case by case judgment when applying it. That you aren't satisfied by the imperfection doesn't imply a lack of usefulness.

I expect you can get quite a bit of moderation for that price. If a given user is exceeding that then they are likely so problematic that you will want to ban them anyway. Speaking from personal experience, the vast majority of users never act in a way that requires attention in the first place.

If the law discriminates on size you don't end up with (or at least exacerbate) the oligarchy scenario. In fact it acts to counter network effects by economically incentivizing use of the smaller services.
by lillecarl | 2025-07-02 17:30:14+00:00
I use Firefox with adblocking and some fingerprinting anti-measurements and I rarely hit their challenges. Your IP reputation must be bad.

They have an addon [1] that helps you bypass Cloudflare challenges anonymously somehow, but it feels wrong to install a plugin to your browser from the ones who make your web experience worse

1: https://developers.cloudflare.com/waf/tools/privacy-pass/
by whatever1 | 2025-07-02 17:30:25+00:00
PS5 was almost twice as fast as the PS4 pro, yet we did not see the generational leap we saw with the previous major releases.

It seems that we are the stage where incremental improvements in graphics will require exponentially more computing capability.

Or the game engines have become super bloated.

Edit: I stand corrected in previous cycles we had orders of magnitude improvement in FLOPS.
by asmor | 2025-07-02 17:30:33+00:00
This would be enforced on a timeline far enough in the future that the backup plan wouldn't be an afterthought, but part of the live service concept. I bet it'd help out a lot of studios to ensure their entire infra can be hosted on a developer machine anyway.

Worst case you don't get what you want, but usually such bankrupt entities have successors that take on the liability the same way you'd take on liability for a lack of good data hygiene practices under GDPR.
by trod1234 | 2025-07-02 17:30:36+00:00
I think its not very convincing because a lot of the same crowd that reads these blogs has a more nuance perspective on the issues.

Many make it about socialism or capitalism, as if that's the great issue, and indirectly it may be. There are enough blog posts just like this such that you have market saturation, and it doesn't really provide anything new.

Many of the people I know have a different take about what causes it that takes a less divisive path. Boom bust cycles.

Some simple questions like, what causes boom bust cycles? Why do essentially the same graphs show up in places like the S-adoption curve, and business growth curve, and ponzi's.

I think that's a more important take because it goes to the incentives driving a structure forward. You can do something about money-printing, you can't really do anything about people who can't change their beliefs regardless of the reality (on either side).
by Garlef | 2025-07-02 17:30:57+00:00
What you said is not correct!

In detail:

* "A list is not a monad" - True!

* "List is a monad" - True. But I think "`List` is a monad" might be clearer.

* "A list is an algebra for the `List` monad." - False!

What's correct is the following:

* "An algebra for the `List` Monad is precisely a monoid."

Sketch of the construction:

(an algebra for the list monad is a monoid): Recall that an algebra is a set/type `A` together with a function `mult: List A -> A` together with some axioms. Think of such a function `mult: List A -> A` as the function that assigns to each list with elements in `A` the product over all those elements. The aforementioned axioms boil down to: (1) `mult([])` is a neutral element and (2) `mult` is an associative binary operation when restricted to two-element lists.

(a monoid is an algebra for the list monad): Same Idea - Given a monoid, we define a function `mult: List A -> A` by assigning to a list of elements of `A` the product of these elements. And the empty list we assign to the neutral element. Then we can use the associativity and properties of the neutral element to show that this function constitutes an algebra for the list monad.
by coldtea | 2025-07-02 17:31:29+00:00
>You say that like it's a capitalism problem, when some of the longest wait times and worst care occur in countries with government-run healthcare.

That's still a capitalism problem.

Neoliberal scum politicians (regardless of party) will underfund, sabotage and dismantle piece by piece, previously working fine government-run healthcare (and other infrastructure) to the benefit of private health interests.

Besides "people die waiting for care in Canada" is only a valid argument if more people don't die NOT waiting for care because they can afford it in the US.

Comparing the wait times of a system catering to everybody vs a system that excludes from even considering care a huge chunk of the population is cheating - even if we ignore the underfunding and neoliberal reforms issue.
by WorldMaker | 2025-07-02 17:31:30+00:00
Another data point here is how many people have Android setups or very complex iOS shortcuts that already do what Apple is trying to do with the tinting of third-party icons.

"Everything meshes with my chosen wallpaper" is a common aesthetic interest, that the article author dismisses because they don't care about it and mostly don't notice their own wallpaper, but if you look at certain subreddits and "Life Hacks" forums you'll find lots of people with heavily customized Android icon themes or deeply complex configuration of iOS shortcuts to aesthetically align everything they want on their home screen.

Sure, it's not earth shattering and the very definition of a nice-to-have that isn't hurting anyone in its absence, but it's also the sort of thing that enough people want to do the hard way that it seems nice to add an easy way to do it, too (and maybe more people will appreciate it than will take the hard way to it).
by majkinetor | 2025-07-02 17:32:49+00:00
> If your goal is to optimize your enjoyment of your body now and in the future, then do whatever works best to serve that goal in the gym

Why would my goal be enjoyment? I follow the science and do what must be done. I don't enjoy broccoli or fish too, but still eat them. I enjoy sugar, but I totally do not eat it.

> A problem that both my parents started experiencing around forty, and which I encountered on the same schedule, was chronic knee pain.

I never had a knee pain until I started exercising. Taking turmeric now for it.

> My friends sometimes say things like, you hurt yourself playing soccer, isn't that dumb?

Your friends are right. I played basketball entire life, and now I stopped it, because if somebody hits me I am in pain for days. You have to aknowledge your age and that you are more fragile and heal very slow, even with optimal nutrition and supplementation and gadgets like red light.
by rpastuszak | 2025-07-02 17:33:36+00:00
You’re not looking far back enough:) I see it more as a new Aqua from OSX Cheetah (2000 CE)

This is a slight tangent, but 20 years ago I had a nightmare in which I got hit by a tram, died and travelled in time into a world where every computer was running Windows Vista. In other words, fair enough, you might be onto something here after all.
by MangoToupe | 2025-07-02 17:33:38+00:00
>It's crazy to me how many people have miserable health, complain about their body and mental state endlessly, but still put up any roadblock they can think of to avoid exercising of any form.

I don't think it's that weird. Exercising, particularly cardio, for its own sake, without something you're trying to accomplish with your effort, feels very bad.
by beefnugs | 2025-07-02 17:33:49+00:00
Yeah people dont know what they dont know, but just the fact people are risking their freedom to do something is important.

Someone explain to him that whatever he is doing, he needs to end to end encrypt so none of the infrastructure or middlemen can see anything but ips and who installed it (until they control the end device). (Better yet use veilid if it works yet, or i think there is some kind of tor routing over http these days)

Also he is making a weird mistake by not being a website instead of obvious corporate controlled "app", also should have tried harder to keep anonymous
by taeric | 2025-07-02 17:33:51+00:00
I'm thinking the vocabulary is oddly reflective.

You reference that they can be strenuous. My bet is that you often choose to push to a strenuous feeling often during the training period of each of these. My further bet is what you call "strenuous", I'm asserting that those unfamiliar would call "painful."

To be clear, I'm not claiming that you are constantly hurting yourself. I am claiming that if you weren't familiar with the feeling, you'd call it a pain. I'm thinking back to the original Matrix, "why do my eyes hurt?"
by bluefirebrand | 2025-07-02 17:34:14+00:00
> A lot of dumb "just so" tales in economics are willful miscategorization of desperation as choice

This is a great way of describing it, I like it

Incidentally, I'm starting a new business model to capture this market opportunity, I call it "DAAS", desperation as a service

It's where people pay me their excess money and get nothing in return, increasing their desperation
by sinisamikulic | 2025-07-02 17:34:24+00:00
Senior Frontend Engineer — I help startups ship fast and stay focused

10+ years building web products from scratch, often with small teams and directly with founders.

· Co-founded Movieo.me — 10K users in week one, front page of Product Hunt

· At Glean.ai, launched first revenue features and supported Series A

· At SolarisBank, built a frontend framework that cut dev time and sped up onboarding

Remote-first (was onsite in SF & Berlin). I focus on UX, delivery, and working independently. Open to full-time or part-time roles. If you need someone to own the frontend and move fast, I'm happy to chat.

——————————

Location: Zagreb, Croatia (Europe)

Remote: Yes (US or EU time zone)

Willing to relocate: No

Technologies: JavaScript (React, Redux, TypeScript, Next.js, Node.js, GraphQL, Turbopack/Vite), Ruby/Rails, REST, Docker

Website: https://smikulic.com

LinkedIn: https://www.linkedin.com/in/sinisamikulic

Email: sinisa@codewell.studio

——————————

Projects: https://movieo.me/ · https://yourmonthly.app/
by specproc | 2025-07-02 17:34:33+00:00
I spent today rewriting a cloud function I'd done with the "help" of an LLM.

Looked like dog shit, but worked fine till it hit some edge cases.

Had to break the whole thing down again and pretty much start from scratch.

Ultimately not a bad day's work, and I still had it on for autocomplete on doc-strings and such, but like fuck will I be letting an agent near code I do for money again in the near future.
by AlchemistCamp | 2025-07-02 17:34:43+00:00
SEEKING WORK | Remote | Fullstack Engineer / Fractional CTO

Location: Taipei, Taiwan (US citizen, open work permission)

Remote: Yes

Willing to relocate: No, but I can shift my work hours up to four hours in either direction.

Technologies and tools: Elixir, JS, Ruby, Python, Golang, Rust, Tailwind CSS, PostgreSQL, Docker, AWS, Digital Ocean, AI (learning)

Resume/CV: https://docs.google.com/document/d/1J5FlE_Yj_x3gZmA5IRZcAywz...

Email: (in resume)

Hi there! I'm Mark and I've worked alternately as an engineer and entrepreneur for fifteen years, in Beijing, in the SF Bay Area and remotely. Most of my work has been with smaller startup teams, but I've worked at a large scaleup as well. Experience building tech for education, real estate, automated trading, e-commerce and gig platforms. I also have some experience rescuing outsourced projects

I generally work in spurts 1-4 year spurts (either a single role or a series of contracts) and then take an extended break to learn new skills. Now looking for a contractor role at a 5-20 person startup. I prioritize learning and impact.

Languages: English (native), Mandarin (years of use professionally), Japanese (previously a ~B2 level, now limited)
by billyhoffman | 2025-07-02 17:35:15+00:00
> Their response was better than 98% of other companies when it comes to reporting vulnerabilities. Very welcoming and most of all they showed interest and addressed the issues

This was the opposite of a professional response:

* Official communication coming from a Gmail. (Is this even an employee or some random contractor?)

* Asked no clarifying questions

* Gave no timelines for expected fixes, no expectations on when the next communication should be

* No discussion about process to disclose the issues publicly

* Mixing unrelated business discussions within a security discussion. While not an outright offer of a bribe, ANY adjacent comments about creating a business relationship like a sponsorship is wildly inappropriate in this context.

These folks are total clown shoes on the security side, and the efficacy of their "fix", and then their lack of communication, further proves that.
by ipogrjegiorejkf | 2025-07-02 17:35:21+00:00
This is like looking at your revenue numbers and choosing to focus on the number of units sold and disregarding price per unit. The government releases TONS of analysis on wages and wage growth (e.g. the "price per unit"). The St. Louis FRED is a great resource.

I don't blame you. I blame the media for bad reporting. If you dig deeper, I can think of a few reasons why the media would choose to focus on some metrics and not others but I'll leave my conspiracy theories for another discussion.
by Dracophoenix | 2025-07-02 17:35:31+00:00
> If those things mattered we'd have a lot fewer people mad about the state of things

They're mad precisely because they have differing expectations and interpretations of these things. If even they did agree, consensus shouldn't be confused with reality.

> If that were true you'd see a lot fewer lobbyists in DC and state capitols.

Lobbying is the exercise of an individual's right to petition government for redress of grievances. So long as there are complaints there will always be lobbyists.

> Non-compete and non-disparagement clauses wouldn't exist. Patents and copyright wouldn't either.

Non-compete and non-disparagement clauses are no restraint on freedoms if they were agreed upon to by way of voluntary contract. Rather, like other transactions, they are explicit trades of certain opportunities for certain benefits.

> Patents and copyright wouldn't either.

I'll give you that.
by davidfiala | 2025-07-02 17:35:42+00:00
Assuming you have a desktop or VM that is always on, then using vs code or cursor with the remote SSH and dev containers extensions installed is great. The extensions operate on top of each other transparently.

A lost or interrupted internet connection is not a big deal. Both IDEs come back right where you left off by just hitting a reload button when you come back.

They also have some black magic (which I recommend against trusting) that will bring your terminal back to a similar state to where it was when you left off. I do not recommend the built-in terminal in either IDE though, but it is there in a pinch. For long-running tasks, if you like SSH, then tmux solves your problem.
by NickPollard | 2025-07-02 17:35:58+00:00
Traverse (or foldM) is probably a good start, likely the most useful monad-generic (or applicative-generic) function, that is simple but incredibly powerful and useful.

More generally, Monads essentially support function composition between monadic functions, so you can use it to write code that is agnostic to the monad it runs in. This can let you write e.g. prod. Code that is in IO or Async or Maybe, but for unit testing run it in Identity.

Also, it allows syntax sugar such as do notation that makes it clear to work with even when you know which monad you're working in.
by plorntus | 2025-07-02 17:36:38+00:00
To be honest the responses sounded copy and pasted straight from ChatGPT, it seemed like there was fake feigned interest into their non-existent youtube channel.

> Overall simple security design flaws but it's good to see a company that cares to fix them, even if they didn't take security seriously from the start

I don't think that should give anyone a free pass though. It was such a simple flaw that realistically speaking they shouldn't ever be trusted again. If it had been a non-obvious flaw that required going through lots of hoops then fair enough but they straight up had zero authentication. That isn't a 'flaw' you need an external researcher to tell you about.

I personally believe companies should not be praised for responding to such a blatant disregard for quality, standards, privacy and security. No matter where they are from.
by kraftman | 2025-07-02 17:36:44+00:00
you can tell them what to do though right? I think a lot of variance between people that say LLMs are useless and people that say they are useful is people that learn what they are good and bad at and can predict the quality of the output based on their input.

Like, I might ask an LLM on its opinion on the best way to break something down, to see if it 'thinks' of anything i havent, and then ask it to implement that. I wouldn't ask it to do the whole thing from scratch with no input on how to structure things.
by ZeroGravitas | 2025-07-02 17:36:51+00:00
And the people angry about that have popped up in every Mozilla and Firefox discussion for a decade to let us know that Firefox is too woke and now we have a corporate browser monoculture.

Well done folks, your MAGA browser culture war has ruined browsers just like it ruins everything else it touches.

But maybe they'll actually ban gay marriage again and it will all have been worth it for you.
by jvergeldedios | 2025-07-02 17:37:12+00:00
> you're essentially the new guy on your own project

Holy shit that's the best description of this phenomenon I've heard so far. The most stark version of this I've experienced is working on a side project with someone who isn't a software engineer who vibe coded a bunch of features without my input. The code looked like 6-8 different people had worked on it with no one driving architecture and I had to untangle how it all got put together.

The sweet spot for me is using it in places where I know the exact pattern I want to use to solve a problem and I can describe it in very small discrete steps. That will often take something that would have taken me an hour or two to hand code something tedious down to 5-10 minutes. I agree that there's no going back, even if all progress stopped now that's too huge of a gain to ignore it as a tool.
by AlexandrB | 2025-07-02 17:37:43+00:00
This is a very sheltered take. Go south of the border to Mexico (you don't need to go anywhere as far as Africa) and you can experience getting pulled over for no reason by a cop looking for a payout. That's not to mention that cartels are allowed to run rampant and collect "protection" in Mexican cities because the cops either don't care, are in the cartel themselves, or are being paid off.

As I said to another commenter, "some of the least corrupt" != "not corrupt". I'm sure some countries are better, but there are not that many.
by znpy | 2025-07-02 17:37:56+00:00
Post by AbbeFaria:

I am an employee and stock holder both. Obviously, I would rather have a job than not but at the same time a significant portion of my personal wealth is in MSFT stocks. I have seen engineering teams at MSFT that provide questionable value to the business so trimming the fat does make sense. Also These multiple rounds of layoffs have made me internalise that we need to be working on something valuable instead of useful. Can someone discern why these layoffs are being done ? Driven by large shareholders? More runway till we get revenue from GenAI while we keep burning money on GPUs ?

I'm gonna get this post quoted in its entirety. I wonder if you personally will be impacted by this wave of layoff and if so, how will your opinion change.
by yogaxpto | 2025-07-02 17:38:13+00:00
Location: Portugal Remote: Yes Willing to relocate: No Technologies: Python, FastAPI, Django, SQLAlchemy, PostgreSQL, C#, Docker, GitHub Actions, pytest, TypeScript, Vue.Js CV: github.com/yogaxpto/cv/releases/ GitHub: github.com/yogaxpto Cal.com: cal.com/yogaxpto Email: yogaxpto@gmail.com

Principal Engineer with 9 years of experience building production-grade APIs and cloud-native platforms. Most recently helped launch a new AI-based product in just 15 days at VR Smart Guide, designing the backend with FastAPI, PostgreSQL, and cloud services in GCP . Strong focus on developer experience, system quality, and delivery velocity.

Past roles include leading backend engineering at a fintech where I introduced BDD practices and improved test coverage and delivery predictability across the team. I write clean, testable, async Python code with CI/CD and observability baked in. Comfortable mentoring, reviewing, and designing scalable systems from scratch or improving existing ones.

Looking to join a small team with strong product focus, preferably building AI-native or automation-driven platforms. Open to full-time, contract, or early-stage founder-level opportunities.
by mandevil | 2025-07-02 17:38:21+00:00
Vanguard Target Date 2045 (suitable for someone born in 1980, looking to retire in about 20 years) is, as of September 2024, at 50.3% Total US Market Institutional Shares, 33.2% Total International Investor Shares, 10.9% Total US Bond Investor, and 4.8% Total International Bond Institutional.

Fidelity's 2045 fund is even higher in the market, they are 10% bonds and 95% equity (they appear to be levered by 5%).
by geoctl | 2025-07-02 17:38:27+00:00
Thank you again. I meant by "negative" that they are critical as opposed to insulting. As I mentioned before in this thread, I usually don't find negative/critical comments offensive at all. Believe me, the last thing that I would want for an open source project that I have been working on for years now is to show it to people, especially technical people, with poor wording or hard-to-understand terms. That was never intentional by me. In fact, the reason that README is too long is that I wanted to explain all the features and use cases in detail while add additional links to the docs for those who want to understand more which probably made it even more overwhelming for those unfamiliar with zero trust architectures. I will definitely do my best to improve the README and docs with time as I get more honest feedback like in this thread. Thank you.