MurphyA/hacker-news huggingface dataset:
by dlahoda | 2025-07-11 07:34:26+00:00
it seems bombed some rocks/caves? some say they do weapon uraium here. are not they? would be civilians here living/working? military production seems legit target when 2 countries at war.

and rocket some specific people. specific people are warlords and military production functioners. and in war are legit targets?

what else iran is bombed?
by verisimi | 2025-07-11 07:35:42+00:00
The aim is to achieve a panopticon.

With a panopticon it doesn't matter whether you are actually being monitored (although it is conceivable that all online data could be reviewed by AI) - the mere idea of being monitored changes behaviour. Loss of anonymity in public spaces, the concern that one's citizen score could be impacted by arbitrary rules, changes behaviour. Everyone will act unnaturally; some people will even cheer on these actions for bonus points.

People should be highly wary of ceding further freedom/authority to government, regardless of the 'children/terrorists/drugs/etc excuses'. The government desire to have order, should not be prioritised over individuals right to live freely. Freedoms are not re-granted by governments - getting them back will mean a fight, not a petition.
by relaunched | 2025-07-11 07:36:02+00:00
You are making a lot of assumptions that I'd encourage you to not. Also, this isn't a big bounty dilemma. There was no program.

What are you trying to accomplish? You hacked a site (probably not legal).You reach out and reported it (nice gesture). They fixed it (the site is more secure (yay!). They offered to pay you $1k pounds (awesome!). You are rejecting the offer based on lies you tell yourself (they can pay more and if rather share it with the world be cause good things will happen for me if I do).

Bad things can happen too. They can reach out to authorities. Your current or future employer could reach your future post and decide you aren't the right person for them. The underlying company could respond to your post and confirm you weren't authorized to test and a good portion of the security community would never seriously consider you for employment.

Sure, you might be able to negotiate a little more, if you take the right approach. How much do you want? 1200, 10,000, 50,000? When you do something wrong, even with good intentions, and now you aren't happy with the amount they graciously offered to compensate you with, your approach to publicly expose them if you don't get what you want because "they can pay more" seems less like they won't pay for my expertise and more like extortion.

When in doubt, choose the path you'd be proud to talk about in a courtroom.
by specproc | 2025-07-11 07:36:49+00:00
Yeah, I didn't enjoy Scribus. Horrible UX, which probably has its roots in "professional" DTP from the nineties. Like, one does not simply just paste an image into Scribus.

I'm sure it's possible to do plenty with it, but it doesn't make things easy. Something I really miss from Affinity, for example, was the Artistic Text tool, which made it easy to fit text to arbitrary heights and widths -- think the Run DMC logo.
by jillesvangurp | 2025-07-11 07:36:52+00:00
Not in a way that matters (is at all noticeable) until long after the sun expands and wipes out all life on earth in a few billion years. Of course by then, the moon will be quite a bit further from earth than it is today and might become tidally locked with the earth as the earth rotation slows down and eventually matches the speed at which the moon rotates. So there is that.

In the same way, we're not running out of geothermal energy (a tiny part of the heat actually comes from the moon pulling magma around, the rest from radioactive decay and residual hit from when our planet was created). Technically more heat radiates out via our crust naturally than we'll ever need.

So, technically yes but not in a way that actually matters on the time scales we have left on earth, which technically will become a lot more hostile over time anyway. A billion years from now, things will be very much changed here. Minuscule loss of momentum in the moon's orbital movement will be the least of our concerns there.
by piva00 | 2025-07-11 07:37:54+00:00
Can you point me to the carve outs in the EU's directives? No, I'm not aware of those carve outs (and German newspapers display the GDPR notices for me all the time).

Edit: found the "carve out" for newspapers: https://data.consilium.europa.eu/doc/document/ST-6087-2021-I...

And it applies to all newspapers so there's no distinction between being German or American.

If you believe it's a shakedown maybe you are looking at this with very nationalistic eyes, if US companies cannot abide by the law it's on them, most other companies do.

And Spotify doesn't have a carve out, if you read the DMA you'll understand why streaming is not considered a gatekeeper (since it's not a walled garden).
by ben_w | 2025-07-11 07:38:22+00:00
The "intercontinental distances" part is simpler, and potentially* cheaper at current aluminium prices, than the domestic grid upgrades and repairs much of the west needs anyway.

* The scale is such that it's more of an opportunity cost than a dollar cost, what else can be done with 5% of Chinese aluminium per year for the next 20-or-so years.

But also, much research needed before a true price tag can be attached, rather than just a bill of materials
by thesz | 2025-07-11 07:38:57+00:00
That probabilistic output has to be symbolically constrained - SQL/JSON/other code is generated through syntax constrained beam search.

You brought up Rust, it is fascinating.

The Rust's type system differs from typical Hindle-Milner by having operations that can remove definitions from environment of the scope.

Rust was conceived in 2006.

In 2006 there already were HList papers by Oleg Kiselyov [1] that had shown how to keep type level key-value lists with addition, removal and lookup, and type-level stateful operations like in [2] were already possible, albeit, most probably, not with nice monadic syntax support.

[1] https://okmij.org/ftp/Haskell/HList-ext.pdf [2] http://blog.sigfpe.com/2009/02/beyond-monads.html

It was entirely possible to have prototype Rust to be embedded into Haskell and have borrow checker implemented as type-level manipulation over double parameterized state monad.

But it was not, Rust was not embedded into Haskell and now it will never get effects (even as weak as monad transformers) and, as a consequence, will never get proper high performance software transactional memory.

So here we are: everything in Haskell's strong type system world that would make Rust better was there at the very beginning of the Rust journey, but had no impact on Rust.

Rhyme that with LLM.
by raphinou | 2025-07-11 07:39:29+00:00
Did you get outside contributions yet? I'm asking because it is dual licensed agpl and commercial (just like a recent project I'm working on), and am wondering how contributors react to the cla.

Btw I like your short and clear CLA! Did you check the wording of the cla with a lawyer? In my project I wanted to replace the perpetual license granted by contributors by 'a license granted as long as the software is also proposed under the agpl', but that might make it too complicated to still keep it succinct and legally clear.
by exceptione | 2025-07-11 07:39:44+00:00
Right, they have something like computation expressions, but they are not composable.

For your second point, I don't know if they could achieve that without type level programming. This is the Box of Pandora the designer of F# tried [0] not to open.

____

0. https://github.com/fsharp/fslang-suggestions/issues/243#issu...
by pyman | 2025-07-11 07:39:45+00:00
Note: I know some folks working in big tech won't like this comment, but it's time we talk about the elephant in the room.

Tim Sweeney is the only billionaire and computer scientist who's actually fighting against inequality. The big difference between him and folks like Bill Gates, Elon Musk, Larry Page, and Marc Benioff, is that while those billionaires talk about universal basic income to make up for the mass layoffs their tech is going to cause, Tim's out there fighting monopolies, hiring people, building tools for developers, and making games. That's why his HQ isn't in San Francisco. He's the only one who hasn't been brainwashed by VCs or sold out to greed.

He speaks for millions of computer scientists who don't live in the Valley and are using their knowledge of maths and physics to build things that help people, not hurt them. Because let's be honest, a future where billionaires keep getting richer and computer scientists are out of work, scraping by on UBI, begging billionaires for $10 more bucks a month, is a feature no one wants. And when I say "we" I mean myself, my colleagues, and all my students.

Tim, thank you. You inspired a whole generation. Keep fighting against Apple, Google and corporate greed!

Inequality matters.
by chha | 2025-07-11 07:39:55+00:00
The AI Act classifies systems depending on their capabilities and their intended use, and the risk that they pose on the people using or being exposed to them. If a tool ends up being classified as a high-risk AI system or as a model with systemic risk there are strict requirements in terms of reporting incidents. For certain types of incidents it is as little as two days, for others upwards of 15 days.
by BillyTheMage | 2025-07-11 07:40:18+00:00
I think the focus on [any]aires and certain amounts of money and redistribution causes people to gloss over the real issue. The existence of billionaires is only possible through exploitation. They make the world a horrible place for their personal benefit, treat us all like machinery. Who cares the exact dollar amount they have? A parasite with $100 is still worthy of being exterminated.
by crtified | 2025-07-11 07:40:49+00:00
I think the author is correct about Grok defaulting to Musk, and the article mentions some reasons why. My opinion :

* The query asked "Who do you (Grok) support...?".

* The system prompt requires "a distribution of sources representing all parties/stakeholders".

* Also, "media is biased".

* And remember... "one word answer only".

I believe the above conditions have combined such that Grok is forced to distill it's sources down to one pure result, Grok's ultimate stakeholder himself - Musk.

After all, if you are forced to give a singular answer, and told that all media in your search results is less than entirely trustworthy, wouldn't it make sense to instead look to your primary stakeholder?? - "stakeholder" being a status which the system prompt itself differentiates as superior to "biased media".

So the machine is merely doing what it's been told. Garbage in garbage out, like always.
by interpol_p | 2025-07-11 07:40:50+00:00
It’s extremely complex. I’m not debating whether they should comply - they should. But it’s gonna cost them years of engineering effort, and maintenance far into the future. See, for example, BrowserEngineKit

https://developer.apple.com/documentation/browserenginekit

They needed to engineer, maintain, document and support a whole class of APIs so that third parties can create their own competitive browser engines (that offer JIT, etc) while still maintaining iOS sandbox security. There are going to be hundreds of frameworks, thousands of APIs, that will need to come to ensure compliance with the DMA
by diggan | 2025-07-11 07:41:08+00:00
> Apparently it's very hard to create an AI that behaves balanced. Not too woke, and not too racist.

Well, it's hard to build things we don't even understand ourselves, especially about highly subjective topics. What is "woke" for one person is "basic humanity" for another, and "extremism" for yet another person, and same goes for most things.

If the model can output subjective text, then the model will be biased in some way I think.
by plainOldText | 2025-07-11 07:41:38+00:00
This language seems to be aiming high. Congrats!

Looking at their code however, I'm realizing one thing Elixir got "right", in my view, is the order of arguments in function calls.

For example, in Elixir to retrieve the value associated with a key in a map, you would write Map.get(map, key) or Map.get(map, key, default).

This feels so natural, particularly when you chain the operations using the pipe operator (|>):

map |> Map.put(key, value) |> Map.get(key)

In Flix it seems one needs to write Map.get(x, map), Map.insert(x, y, map). I guess it follows in the footsteps of F#.
by cranberryturkey | 2025-07-11 07:41:39+00:00
Tailwind solves problems you only have if you don't understand CSS. Instead of clarity, it brings complexity. Instead of readable markup, it creates HTML spaghetti sprinkled with endless utility classes.

We've spent decades separating structure from style precisely to avoid this mess-Tailwind throws it all back together, undoing years of best practice. Want to tweak a design? Enjoy hunting down repetitive class strings across dozens of HTML files.

Learn CSS properly. Use semantic class names. Build reusable components with actual stylesheets. Tailwind isn't innovation; it's regression.
by TeMPOraL | 2025-07-11 07:44:42+00:00
Doubly so if you're left-handed.

I thought left-handed scissors are some bullshit sales tactic to eke out some extra cash out of clueless people, until I saw someone on HN explain why "handedness" of scissors is a thing - and then I finally connected the dots and realized why my (then) 4yo daughter is struggling with scissor crafts so much. Got her a pair of left-handed scissors and, lo and behold, her cutting improved on the spot.

(We then bought some more and gifted them to her kindergarten, to make sure she and other left-handed kids have a pair when needed, because the idea was new even to some of the personnel there.)
by froobius | 2025-07-11 07:46:04+00:00
Funny thing is that to people who use those terms regularly, they are "stating exactly what they mean".

I.e. "increase the scope hugely", the word "scope" itself comes from greek with its core meaning revolving around "viewing" or "looking". It's only because we are all familiar with it also meaning the scale / amount of things a project should cover, that we all understand. (I guess there's a metaphor of the project "looking over" more as the number / magnitude of goals increases.)

So it shouldn't be "state exactly what you mean", because they are.

It should be more like: "state what you mean using widely used language if possible"
by pydry | 2025-07-11 07:46:59+00:00
>And honestly, I'm still skeptical of the price difference. PV needs lots of things (transformers, transmission, storage, disposal, land use, etc) that are frequently not priced in.

You should be less skeptical.

With a LCOE difference of 5x there is more than a little wiggle room to price in extra storage and transmission costs and still end up way cheaper.

That is how every kilowatt hour generated with solar and wind, stored with power2gas (the most expensive form of storage) and used on a cold, windless night still ends up being cheaper than nuclear power generated on a sunny, windy day.

Nuclear power survives exclusively because of its relationship with the military industrial complex. Thats why it gets deluged with lavish subsidies, that's most governments only want a few and that's why the governments who build them either have a bomb or want the ability to build one in a hurry (e.g. Iran who joined this club a long time ago or Poland who joined recently).
by burnt-resistor | 2025-07-11 07:47:09+00:00
I took an extra year and a half in college to get an ABET-accredited EE/CS degree instead of the CS degree that wasn't, which is a prerequisite for the Professional Engineer exam.

The problem with all things engineering with systems and/or software is there are zillions of tools x several options x infinitely unique backgrounds, most of which are informal. There isn't nearly enough standardization, scant convention over configuration, and not nearly enough formal, rigorous (testing) methodology even where it's needed.

~20 years ago, I had multiple long talks with an applied systems prof about the constraints, barriers, and motivations on the professionalization of software/systems engineering.
by thesz | 2025-07-11 07:47:43+00:00
Contrarily I believe that strong type system is a plus. Please, look at my other comment: https://news.ycombinator.com/item?id=44529347

My original point was about history and about how can we extract possible outcome from it.

My other comment tries to amplify that too. Type systems were strong enough for several decades now, had everything Rust needed and more years before Rust began, yet they have little penetration into real world, example being that fancy dandy Rust language.
by JoshTriplett | 2025-07-11 07:47:54+00:00
It is an argument made in good faith.

Companies and individuals should fight against bad laws. And a press campaign is a legitimate, and sometimes effective, tactic for doing so. Different people may disagree about which laws are good or bad; I fully expect, for instance, that more people support the DMA than would support crypto backdoors. But it seems shortsighted to suggest that those who think a law is wrong should simply accept it anyway, rather than fight tooth and nail against it.
by exceptione | 2025-07-11 07:48:35+00:00
Plus that you regretted having `+` as a concatenation operator.

However, I believe an even better design choice would be to forgo string concatenation and instead rely entirely on string interpolation. String interpolation is a much more powerful and elegant solution to the problem of building complex strings.

src: https://flix.dev/blog/design-flaws-in-flix
by andrewstuart | 2025-07-11 07:48:43+00:00
>> what everyone’s missing is that these spend targets are post discount.

That makes it worse, not better.

>> Here’s what the pearl-clutchers don’t fully grasp: 12% of revenue on cloud infrastructure for a compute-intensive, real-time collaborative platform is completely reasonable.

The blog post author switches the discussion from cash outlay to percentage of revenue.

In every facet of your life, pay careful attention to when someone switches the numbers to percentage instead of cash ……. it has a giant impact on perception of value and if it’s happening and you don’t notice it then you’re the patsy.

Conversely, when you are negotiating, ensure you always have this tool in your toolbox to turn the negotiation in your favor, it’s an amazing way to get the upper hand whilst persuading the other party they are getting a good deal.

Masterfully used here it is clear the author is a negotiator.

I am not persuaded that a daily $300k AWS bill is OK for a company like Figma without particularly special computing requirements like AI. I am persuaded that you should engage Duckbill if you wish to convince management that your ridiculous AWS bill is normal and all is good.
by PeterStuer | 2025-07-11 07:49:35+00:00
I noticed a lot of (upper-middleclass) parents (moms) fear that any none organized activity results 100% in their kid sitting on their phone/computer (they are not wrong on this point).

Rather than restricting screen time, admittedly not an easy battle (stating how it is, not how it should be), they outsource/circumvent that through organized activity.

Then there is the "competitive" nature. Can't have our kid just goofing around, (and I know the next bit is a bit exagerated and sarcastic, but often not untrue), I need the wins for my fantastic parent Facebook posts.

Lastly, non organized means unsupervised. Parents, I think especially in the US, are (thaught to) regard the world as a dangerzone for kids. Hanging around without oversight or protection, it is just time before they will surely get abducted, mugged, raped or murdered. Is this pure paranoia, or a media fueled self fulfilling prophecy? Can you blame parents for being overly protective for their (often only) child?
by calrain | 2025-07-11 07:49:52+00:00
I mean from a time perspective, your mileage may vary.

So me finishing a carded up block of work that is expected to take 2 weeks (80 hours) and I get it done in 1 day (8 hours) then that would be a 10x boost.

There are always tar pits of time where you are no better off with AI, but sometimes it's 20x.

I've setup development teams in the past, and have have been coding since the late 70's, so I am sort of aware of my capabilities.

It super depends on the type of work you're doing.
by FirmwareBurner | 2025-07-11 07:50:11+00:00
>those billionaires talk about universal basic income

Because they don't expect that UBI money to come from their profits, but from the taxes paid by the working class.

They're just cosplaying socialists to score brownie points like they did with rainbow flags in the past, knowing it will be on other people's money, and it's all performative.

Edit: @pyman

>My biggest fear is that UBI can turn into a tool for control,

CAN?! It WILL be. The same way state pensions in Europe are used by the government for control of the population. "Vote for me and I increase your pensions. Step out of line and I cut off your pension and make you homeless like we did to that German woman protesting against the government."

EU isn't regulating AI for the good of the people, it's regulating it for control since they don't want to leave the freedom of speech and the freedom of opinion to entities they can't control that can tell people opinions that are not state approved.
by v7engine | 2025-07-11 07:50:33+00:00
*Summarized it with GPT*

70%+ experienced better mental health and SWB; ~58% had better sustained attention; ~91% improved on at least one outcome.

- Those with higher Fear of Missing Out (FoMO) at baseline benefited more in SWB/mental health. - Those with more ADHD symptoms at baseline benefited more in attentional awareness.

*Actionable Advice Based on the Study:*

Periodically Block Mobile Internet on Your Smartphone

Try using an app or built-in settings to block all internet access (Wi-Fi and data) on your phone for a set period (e.g., 2 weeks or a few days each week). Calls and texts can remain enabled to stay reachable without the distractions of the internet. Start Small if Full Blocking Feels Difficult

If completely blocking mobile internet is too challenging, begin by limiting access during certain hours (e.g., evenings, weekends) or blocking only specific distracting apps (like social media or news). Replace Online Time with Healthy Offline Activities

Use the freed-up time to engage in activities associated with improved well-being: in-person socializing, exercising, spending time outdoors, pursuing hobbies, or reading books. Monitor Your Screen Time

Regularly check your average daily screen time on your phone and set goals to reduce it. Track changes to see what works best for you. Notice Your Mood and Well-Being

Pay attention to changes in your mood, attention span, and mental health as you reduce your mobile internet use. Keep a simple journal or use brief self-checks. Leverage Social Support

Consider doing the intervention with friends, family, or colleagues for added motivation and accountability. Identify Your Triggers

Reflect on when and why you reach for your smartphone’s internet features. Replace those moments with alternative activities. Customize Your Approach

If you notice high Fear of Missing Out (FoMO) or difficulty with attention (e.g., ADHD symptoms), you may benefit even more from reducing mobile internet access. Don’t Strive for Perfection

Even partial reduction or non-strict adherence can yield benefits. Focus on progress rather than perfection. Plan for Maintenance

After an initial intensive period (like 2 weeks), consider maintaining reduced mobile internet use through ongoing routines, such as regular “offline hours” or app-free days.