skysight-inc/HackerNews huggingface dataset:
"Certify" does not mean the same as prove with evidence. I don't think there's a specific threshold that has to be met there other than the parties agreeing it has been certified. It can even come down to as much as "trust me bro" from the president.

The definition of certify is literally "attest or confirm in a formal statement"

Besides, there's no process through which Congress would question or investigate whether the president really can or cannot certify whatever he claims about this matter.
No there's an actual provision in the law that allows the President to delay enforcement one-time for 90 days: https://www.congress.gov/bill/118th-congress/house-bill/7521... . This was an explicit provision of the bill.
>drumpf bad
How much "traditional downloadable software" do you have? How much other such software is sold and makes a living for those making it?

Just the music software industry alone, for example, sells about 4 billion dollars worth of VSTs, DAWs, etc every year, most of it without subscriptions.
Seriously. Better to tape something to your phone at that point!
I had not heard of Genode/Sculpt, but it looks interesting. These days, I feel like if I boot a new operating system, I have no idea what all it's doing and whether or not things are secure--I'm basically relying on the operating system to have good defaults. And then it's so easy to screw something up!

I like the idea of Qubes and it looks like Genode might be an even better idea...
> So when past presidents have said they wont prosecute marijuana laws, what was that?

Can you cite an example? If you're talking about the Biden admin, here is what the AG said:

"I do not think it the best use of the Department’s limited resources to pursue prosecutions of those who are complying with the laws in states that have legalized and are effectively regulating marijuana..."

I.e. exactly what I said is defensible in certain scenarios
– and indeed must be defended, potentially in court. It is not POTUS simply saying "I won't do it."
Fiduciary responsibilities make it unlikely that many companies would risk it.

There’s always a chance you don’t come back, and there’s likely to be a loss of marketshare for simply being unavailable for a period and forcing users to trial alternatives.

But, TikTok is not purely commercially focused. A majority of the voting stock of ByteDance is held by the Chinese government, who clearly see non-financial strategic value in controlling it.

Otherwise, they likely could have negotiated a spin out the US operation, whereby they retain most of the equity upside but give majority voting control to a US buyer.
Let me put it this way then: You're mixing the professional with the personal.

Administering and moderating Hacker News is your job, that is correct. You also admitted that the rebuttal and moderation action this all stems from was driven by personal emotions (your liking Paul Graham). Your personal emotions have nothing to do with your professional job, the two are irrelevant to each other.

It's this mixing of professional and personal that is the problem. Not performing your job consistently will draw criticism, but mixing the two will cause even more fundamental criticism as was the case here.

Personally, I think the correct way of handling this would have been one of two ways: A) Engage in moderating the thread and refrain from acting personally. Or B) Engage in the thread personally and recuse yourself from the thread professionally, asking another moderator to do the work.
It's a complete myth used by the greedy to justify corporate greed. The only way someone would ever be succesfully prosecuted for this is if they'd clearly intentionally crash the company. Go do a search, you won't find a single other prosecution.

I really hope this changes your mindset. The number go up mentality is purely a result of avarice from those enacting it, it has 0 to do with any laws, it's all personal greed.
Thank you very much I’m glad you liked it!

I’ll look into fetch and mod_mt - they seem helpful!
Epic Games sorta did this to Fortnite, but the reversal wasn't quick
They aren’t nerds, they are MBA/Trustfund bros
I don't believe the professional and the personal can be completely separated. People can't stop being human and what does "personal" mean, at bottom, but that?

It's true that we shouldn't act on each other purely out of our own emotion but that's true personally too, not just professionally.

If you try to exclude emotion from human activity, including internet moderation, it ends up running the show anyways, just more crudely and unconsciously. Better to consciously give it a place—hopefully an appropriate place.

Questions like this have come up over the years and my sense (you may disagree of course) is that the community is happier with moderators who show feeling sometimes and can be related to personally. I could be wrong about that, but if so, it should have caused large problems long before now.
Young people use social media as time-wasters, self-promotion avenues, or ways to boost their business and use group chats to do most of their actual communications. Techies really love to get angry about social networks but the reality is younger folks know how to treat social media the same way older people know to take random internet comments with a grain of salt.

The techie web isn't coming back and wishing it so won't do so. You can always just drop into an IRC network or Mastodon server with other nerds, but the days that everyone on the web was a techie nerd with general-purpose computing interests is long gone.
The whole way Tiktok went black and the number of times it has mentioned President Trump in a positive note - to me - reinforces the idea that Tiktok is just a propaganda tool (in this case, for Trump). I would not be surprised if the whole act of going dark last night was because Trump told them that's how it needed to go so he could be a hero by Monday.

The way most of our biggest companies and wealthiest are just lining up to do Trump's bidding is what I would expect from unstable 3rd world countries but never from the US (I know cause I came from one).
Is Meta/X/Google open source?
Is Gamil/Outlook open source?
All of them gather user's data. They are all "free" software
The clock is ticking: NIST's bold move towards Post-Quantum Cryptography
Cattle Gallstones, Worth Twice as Much as Gold, Drive a Global Smuggling Frenzy
Gift link: https://www.wsj.com/world/americas/cattle-gallstones-chinese...
Obtanium is cool and useful for some apps, but it's a strictly worse option than f-droid . With it, when a developers goes rogue or a git repository gets overtaken there is no security measure anymore that could catch that. Also, the measures f-droid takes to ensure the software is free can be welcomed - the article nitpicks one case where it went wrong, but ignores completely that one could prefer free software in general. If one does, f-droid is the best choice available.
It's easy to compress a sorted dictionary by turning something like

a
ab
abc

to

a
1b
2c

where the prefix is the number of characters shared with the last word (and might be coded as a byte as opposed to a digit like you're thinking there. This would be a simple form of compression to code up in BASIC unlike Huffman or most LZW variants which involve bit twiddling and maintaining tree data structures... Though I do remember writing SQ and USQ [1] in BASIC)

[1] https://techtinkering.com/articles/compression-and-archiving...
These days, there are some engines with (oil immersed) belts, but that's for fuel efficiency, not longevity. Chains last longer, typically, although I used to have a 97 Honda VFR that had neither. They started with chains in earlier models but had reliability issues so switched to straight cut gears. Man I miss the way those things sounded -- like a supercharger whine. Amazing
One was more contemptible than the other, so it’s kind of weird to only criticize one of them.
thanks for trying! May I ask what would you expect seeing and how long videos you've tried were? I saw issues on long videos liked 2hrs+, but smaller ones worked fine.
For the sake of the one downvote, please allow me to complete the implied dialogue tree:

>>>> It would be harder for me to learn piano if my teacher was convicted of murder.

>>> Nonsense. You can easily find another piano teacher.

>> Right, just like people who use TikTok can easily find another short form video platform.

> That's a terrible analogy.

Nonsense. If TikTok was convicted and shut down because of rampant financial fraud, your First Amendment rights would be similarly unaffected.

TikTok was told to close because they refused to bring their corporate ownership in line with requirements set out in US Code passed by Congress. The content of any video was never at issue.
> feels like the start of a very dangerous path.

I'm baffled people keep saying this. You're miles down the dangerous path - you've almost reached the end of it. This is nothing new.
Been there, done that. I still frequently get sent Linkedin specs for companies where the hardware team lead is earning junior SWE money. UK junior SWE money.
> Berners-Lee, the creator of the Web, chose the name “World Wide Web” because he wanted to emphasize that, in this global hypertext system, anything could link to anything else

https://www.todayifoundout.com/index.php/2011/01/why-the-web...

The net is fundamentally about linking things together.
Reverse Engineering Bambu Connect
Rep Mike Gallagher, the sponsor of the bill, published this op-ed making it sound like a speech issue: https://www.thefp.com/p/tik-tok-young-americans-hamas-mike-g...
A friend was in one of those reality Amazing Races program, where another couple's husband was quite vilified; she said actually he was ok, but somehow they managed to get every single time he blew up and stitched it together to make him seem really terrible.
The article mentions Arm, but even they describe themselves as a software company[1]

[1] because the implied higher margins mean this attracts more investment
If we're talking about the same video, the reason they initially took it down is because she had pictures of Bin Laden and was praising him.
The TrackPoint Is Safe
The timing and rhetoric from lawmakers make this ban really seem about Israel. Lawmakers and citizens are pretty disconnected on that in general.
That deep nest of function calls is why I love languages that have bash-style pipelining as a built in feature, either with explicit shell piping features, or where everything Function(myObj) is also implicitly myObj.Method()

Then it becomes (eg PowerShell, a language I hate but use constantly)

Faz |
Far |
Baz |
Bar |
Foo

Or (more C++/Java/C#-ish)

Faz()
.Far()
.Baz()
.Bar()
.Foo()

In this way the data and execution flows forwards instead of backwards and you don't have a pyramid of indentation.

I don't know why we're so stuck on prefix notation for function calls. Postfix is just easier to read in long chains.
Build an AI Game Design Agent Team (100% Opensource)
The AI Game Design Agent Team is a collaborative game design system powered by Autogen's AI Agent framework.

This app coordinates multiple specialized AI agents - each focusing on their domain expertise - to generate cohesive game concepts where narrative, gameplay, visuals, and technical specifications work in harmony.

The entire process is automated so developers can quickly iterate on ideas and ensure all crucial aspects of game design are considered.

Game Design Agent Team:

1. Story Agent: Specializes in narrative design and world-building, including character development, plot arcs, dialogue writing, and lore creation
2. Gameplay Agent: Focuses on game mechanics and systems design, including player progression, combat systems, resource management, and balancing
3. Visuals Agent: Handles art direction and audio design, covering UI/UX, character/environment art style, sound effects, and music composition
4. Tech Agent: Provides technical architecture and implementation guidance, including engine selection, optimization strategies, networking requirements, and development roadmap
5. Task Agent: Coordinates between all specialized agents and ensures cohesive integration of different game aspects.

Check out our step-by-step tutorial. 100% opensource code:
https://github.com/Shubhamsaboo/awesome-llm-apps/tree/main/a...
Something is terribly wrong, then; my following feed shows posts (and certain replies) from people I follow in reverse chronological order, and nothing else, ever.

Are you maybe seeing things that have been reposted by people you follow? There's a lot of that, but those still count as "posts from people you follow". If you want to exclude those, there are settings at the following link:

https://bsky.app/settings/following-feed

Also if you just want to not see them sometimes, there's a feed you can add called 'OnlyPosts':

https://bsky.app/profile/skyfeed.xyz/feed/only-posts
When a man is tired of London he is tired of life.
I started selling commercial use software licenses on 01 January 2025 for installable/downloadable software I have been developing for about 5 years. The software targets Microsoft Windows.

As the software is of the nature that it will require updates indefinitely (as OS updates come and go), and given the fact that the license is specifically for commercial use, I decided to go with a subscription model instead of a one-time payment model to ensure its long-term sustainability.

I am lucky that this specific software is very "sticky" and already has a die-hard fan base. It also helps that people in the Windows ecosystem are used to paying for commercial use software licenses.

This month to date I have made $800 on license sales. It will be interesting to see how the license sales continue to progress (or don't?) throughout the rest of the year.
Why wouldn't you want to use Lets Encrypt for proxmox, etc. ?
To clarify, the law bans TikTok and also lets the president ban other apps in the future.
That's kind of a lazy argument and it falls apart when you go the other way. Do you ever feel like we should intervene? What about if we have a trillionaire? A 10 trillionaire? A 100?

Is there no conceivable amount of wealth hoarding that you would find excessive?
It's like real life is playing like a shitty TV series. Constant cliff hangers, plot twists that never resolve....
> This post misses the IMO best indentation scheme for lisp [...]

Likewise, a lispier(?) and more compact compromise?:

(define (match:element variable restrictions)
(define (ok? datum)
(every
(lambda (restriction)
(restriction datum))
restrictions))
(define (element-match data dictionary succeed)
(and
(ok? data)
(let ((vcell (match:lookup variable dictionary)))
(if vcell
(and
(equal? (match:value vcell) data)
(succeed dictionary))
(succeed (match:bind variable data dictionary))))))
element-match)
Over the last 40 years, China’s version of socialism with state-controlled markets have lifted more people out of poverty than ours. Democracy and capitalism have not benefited me in my lifetime. My taxes go to fund foreign wars and lining the pockets of American oligarchs.

“Radically increased wealth”, for who? Government has never solved my problems, only created more. My point is that I would have been doing better under China’s system than ours.
ah, ye olde two hard things, namely:

1) cache invalidation
2) naming things
0) off-by-one
They are more worried about employee fraud. Commercial real estate is boned anyway.
The problem that that politician caused?
The population with the logistical wherewithal to do something about it.
Sure that may be smart to forward interest.

Nico argued TikTok made the minimum change required by law.
I wont be getting rid of my x1, but I will have to try out x1plus and contribute to their oroject now.

https://www.crowdsupply.com/accelerated-tech/x1plus-expander
Don’t confuse the oath of office for a binding agreement. The president is supposed to uphold the law, but they are only held accountable by impeachment.

They even have broad immunity while conducting official acts up to and including breaking the law. https://en.wikipedia.org/wiki/Trump_v._United_States_(2024)

“Trump v. United States, 603 U.S. 593 (2024), is a landmark decision[1][2] of the Supreme Court of the United States in which the Court determined that presidential immunity from criminal prosecution presumptively extends to all of a president's "official acts" – with absolute immunity for official acts within an exclusive presidential authority that Congress cannot regulate[1][2] such as the pardon, command of the military, execution of laws, or control of the executive branch.”
India is the obvious case to look at here and people went to Meta.
I'm pretty certain an executive order cannot overrule a law. So they're just hoping to either get an actual reversal of the law while Trump is in term or just hoping nobody after him will care.

It's like betting on jury nullification but without the benefit of double jeopardy protection. It's unclear if any of the US companies the law is aimed at will risk it.
It's time we give up on the majority of people who don't care for freedom and focus on the few that do.

Unfortunately at the time we need them the most pretty much every pro-user organization is imploding because everyone and their grandmother wants to turn them into vehicles for whatever their pet cause is.
The claim appears to be false.

But it was likely motivated by a real phenomenon: Feed it the right prompts, and O1 will often claim to solve various open questions in mathematics and computer science. Sometimes the suggestions are actually real and viable -- e.g. an iterative program on the Weaire–Phelan structure to find better solutions to the 3D tiling problem -- but usually there's a flaw in its reasoning somewhere. Worst case, it'll just make shit up. "Y-yeah, I discovered an algorithm that can crack crypto in real time" definitely falls into that category.
I'm so happy Bambu is getting what's coming to them after screwing us so badly <3
> I'm curious if there are folks here who work at for-profit orgs who use GitHub projects as their sole issue tracker for the entire org.

Yes, I'm an advisor for such a company. They are using Github Projects/Issues for all their internal development.

Their customer support uses a different ticketing system, though. Mostly because they need to interact with external users.
I'm a reader of r/allsvenskan, also don't quite remember them getting the election wrong.
China doesn’t allow for or recognize dual citizenship, so it doesn’t matter unless they also gave up their Chinese citizenship (rumor has it the CPC relaxed this rule for a certain snowboarder). But ya, that Murdoch is also Australian is probably benign.
https://www.gnu.org/fun/jokes/ed-msg.en.html

"Note the consistent user interface and error reportage. Ed is generous enough to flag errors, yet prudent enough not to overwhelm the novice with verbosity."
The sheer number of APIs of modern coding is exhausting, I can't imagine either trying to keep all the stuff I'm using in my head or having to go back to the docs every time instead of being able to just read the code.
> If they had, surely they could have gotten themselves an even higher mark than 25%.

there is potentially some limitation of LLMs memorizing such complex proofs
You could be right.
Very demurge, very mindful
It's actually an old Java stack using SWT.
People who were born after Cold War are 35. I don't think TikTok's main demographic remembers that.
I understand. I only responded to you to let you know I had definitely had a reason behind my post. You and I could have a private conversation some day about why "almost certainly" is not a stretch. And it is particularly relevant with male billionaires currently exercising their aggressive genetics in the political arena more openly than ever. But, as you say, that's a discussion best held elsewhere than HN.

I love it here. I began programming back in 1978 and although I spent my life as a trial attorney, I have been actively programming since 1978, more so than ever now that I am retired. My primary reason for being here is to keep up with hi-tech. I will definitely do my best to limit my comments to the tech arena.
I'm not from the UK, but I get the same vibe here in Sydney. There doesn't seem to be much technical work here, all of it is in Silicon Valley.
Did you know that foreign companies are banned from owning more than 25% ownership of a tv and radio broadcast licenses in the US? I'm sure you've spent much effort looking into and trying to repeal those laws too.
It wasn't just RSS. Google search now deprioritizes smaller sites.

"Ecosystems" have a network effect. If everyone is on Facebook and you want to be seen, you have to be on Facebook. But the open web is an ecosystem. If people are going to Google Reader or web search engines to find content then if you want to be seen you create a blog.

But then Google murdered them, which damaged the ecosystem. In theory you could create a new search engine and a browser with solid RSS support etc. and if that's what people start using then you get the open web back. But that's a) not that easy to do and b) would have to gain market share fast enough that the things you want to index haven't already atrophied and died.

So now we have to push the rock back up the hill and build something good enough that it can start gaining rather than losing usage share as an ecosystem, but this time learn from past mistakes. In particular, don't let anybody become a single point of failure like Google was when they decided to kill everybody.
I see quite a lot of non-tech people on Mastodon. Many are academics, but many aren't.
I was on the Quickdraw GX team just before it was blown up. But I think it was when I was on the ColorSync team that a few engineers popped over to ATG.
yeah, tough times, taking home 6 figures with good benefits year after year, stock prices at historic highs, taking their picks from the housing bubble, voting for idiots while the world burns... I don't quite get why you're complaining to me about these things, but obviously I'm not talking about people who are struggling to "feed and clothe" their families?

> you’re in for a rude awakening

I've seen how techies spend their time, I'm not the one in for a rude awakening.
AMD had Bulldozer and Bobcat back in the day. Two teams with two different goals is fine, as long as they work together at the end.

And P-cores and E-cores do seem like they are working together well in the "Ultra" series.
I think the K2 will be much closer
The difference is that we have a would be king exempt from any consequences for criminal acts. The Supreme Court granted the office of the President immunity outside of impeachment. They’ve launched shitcoins to fleece the fanbase before taking office, so there’s obviously no hesitation.

All he needs to do is bribe spineless gop senators. No problem.
Sure, yes. But for human consumption, decisecond is something one can relate to.

I mean, you probably cannot sense the difference in duration between 20 and 30 ms without special equipment.

But you can possibly sense the difference between 2 and 3 deciseconds (200 ms and 300 ms) after some practice.

I think the issue in this case was rather the retrofitting a boolean setting into a numerical setting.