MurphyA/hacker-news huggingface dataset:
by neonsunset | 2025-04-02 20:13:04+00:00
Read this first: https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...

There are multiple alternate asynchronous computation expression implementations which give different ergonomics and behavior (like https://github.com/TheAngryByrd/IcedTasks). There's an entire CE extension to specifically enable this kind of convenience and flexibility too: https://github.com/fsharp/fslang-design/blob/main/FSharp-6.0...

None of this is possible in C#, at least without jumping through many hoops and ending up with extra boilerplate (and this is okay, C# has enough of its own complexity). As cjbgkagh noted, providing this type of control is the whole point and what makes F# so powerful.
by afavour | 2025-04-02 20:13:21+00:00
I agree that a lot of people don't care. But the government installs secure rooms (SCIFs) in various locations for the safe discussion of classified material:

https://www.yahoo.com/news/scif-inside-high-security-rooms-2...

Just because Signal comes preinstalled on devices doesn't automatically mean it's intended for discussion of classified material.
by frainfreeze | 2025-04-02 20:13:55+00:00
One more welcome from another Tom o/

Nice to hear someone else is looking at Arc now as well! Any chance we might see some issues on anarki resolved now? Perhaps https://github.com/arclanguage/anarki/issues/89 would be a good starting point :grin:

Jokes aside, its good to see YC cares about community, and looking forward to seeing your nick in the comments. Good luck
by kube-system | 2025-04-02 20:14:31+00:00
Not surprising, however, something I'm curious about is how much of the effect is due to first order bias directly due to racial prejudice -- and how much of it is second order biases and miscommunications due to the inherent social tensions of a minority traffic stop in the US.

For sure, I am immediately privileged by my color when I am stopped by the police, but the social ease by which we communicate and interact during the stop also intuitively plays a role in whether I'll get off with a warning or not.

Although I guess it's probably a distinction without much of a practical difference.
by viraptor | 2025-04-02 20:15:00+00:00
> I don’t even know what to believe anymore

Good research? Even if studies which did not find this problem were not published, if the methodology is correct this study is correct regardless of external pressures.

> The cars know how fast they are going

They don't. My car's displayed speed is 5% higher than actual speed. It will change a little bit again after the next tire replacement.

> the cars know where they are

They don't. Not only are there no up to date maps for permanent roads, roadworks will add changes and in downtown gps will happily put you on the road on the other side of a high-rise.

> the cars know what the speed limit is

Again, up to date global, correct, precise maps do not exist and will not exist. Vision can't be relied on either, because bad luck can make a speed limit invisible.
by freedomben | 2025-04-02 20:15:10+00:00
As has already been said, by far the best way is to work for a company whose product is open source. I would find one that is fully committed to open source though, not just partially. By that I mean, a mainstream, money-making product of theirs is licensed appropriately (AGPL, MIT, etc). Going with a company that open sources a few libraries here and there is not a good strategy.

That said, I have friends that have been able to spin open source roots into money, in one case really good money. Their paths were:

1. Find need not being addressed

2. Write open source solution for said need

3. Promote open source solution to drive adoption (yes, marketing is important in open source!)

4. Create training courses/material on solution

5. Sell training primarily to corporations and sometimes individuals for $

The other path has the same first 3 steps, but instead of training:

4. Establish a "support" department

5. Sell support to corporations

There's also the "open core" approach where you put enterprise features behind a pay-gate but give the basic product out as standard OSS. The biggest challenge here is that your business strategy will ultimately be in conflict with your community member's interests, which inevitably results in sacrificing one for the other, usually sacrificing community needs for the business. For example, consider you have SSO gated behind payment, and someone sends you a PR that adds SSO to your open core version. I would personally avoid this model unless you enjoy inner philosophical conflict with guaranteed losers and having to exert tight control on other people.

The support path requires your product to be a lot more mature than most people usually think as most corps will expect things like SSO, audit logs, and other enterprisey features. You can usually find customers who won't insist on that, but any of the medium to large fish will.

The donation model can be sustainable and even pretty good if you find the right niche, though expect to put in a lot of time/effort early on before you get many donations.

Lastly you could try the free-as-in-speech but not free-as-in-beer approach where your software is GPL but not free. Davis Remmel has used this for rcu[1] for example (which if you have a Remarkable Tablet you should absolutely purchase rcu!). Personally I love this model and am highly inclined to purchase when prices are reasonable, but it's not for everyone.

Regardless, thank you for being interested in contributing to OSS! I think most people are largely unaware of the importance and significance of open source in our current world. It is one of the greatest gifts you can give, and enables people to do things they otherwise wouldn't be able to do. Essentially everything we have nowadays is powered at least in part by open source.

[1]: https://www.davisr.me/projects/rcu/
by psunavy03 | 2025-04-02 20:15:29+00:00
I'm well aware that not everyone is a trigger-puller; I had a twenty-year active and reserve career. Sure, you could technically have a software development MOS/NEC/AFSC. The Navy recently stood up a "robotics warfare specialist" rating.

My point is that, having spent a full career in, the "buy vs. build" calculus for military software tends to fall on the side of "buy" for any number of reasons. Those people who aren't "out in the field sending rounds downrange" are still doing plenty of other things in their assigned fields other than writing software. If you think there needs to be a software development career track in uniform, you need to be able to justify it outside the obvious places like CYBERCOM or the NSA.
by ARandumGuy | 2025-04-02 20:15:34+00:00
There's a lot here, and it's more complicated then "the government should never use Signal".

First off, I 100% agree that the bombing of civilian buildings in Yemen should be a bigger controversy. I don't really have anything to add to that, I just agree that it's important.

There are a lot of situations where it'd be acceptable for a government employee to us Signal, even to communicate potentially sensitive data. There are a lot of times where someone with only phone access may need to communicate sensitive info, and Signal is a good tool for that. It's a hell of a lot better then text messages or Slack or whatever.

The issue isn't Signal's security, it's the security of the phone it's installed onto. The phones of high-ranking government employees are a huge security weak point, and other countries know it. One has to imagine that Russia (or some other country) is trying very hard to hack into Pete Hegseth's phone. A lot of countries have invested huge amounts of money into developing hacking teams, and it should be assumed that any device with access to the broader internet is a potential target.

That's why government devices that access high-security information have immensely high security requirements. From air-gapped networks, to only buying hardware from vetted vendors, to forbidding outside devices (like phones) from even being in the same room. This is a level of security that Signal can't provide, and is necessary when discussing things like military plans.

Finally, the fact that someone accidentally added a journalist to this group and no one said anything shows a frankly reckless attitude towards security. Someone should have double checked that everyone on the group was supposed to be there, and the fact that no one did is fucking embarrassing.
by rayiner | 2025-04-02 20:15:58+00:00
That is in fact not true: https://en.wikipedia.org/wiki/Expedited_removal. Thanks to Bill Clinton, many aliens are removable on an expedited basis if they meet certain criteria.

But this particular person we are talking about got a hearing and a BIA appeal and was found to be deportable. His asylum request claim was denied. What’s perplexing is why the immigration judge didn’t order him deported.
by pc86 | 2025-04-02 20:16:12+00:00
I'll be honest this "conservatives hate the government so they don't fund it then they point to how bad it is as an excuse to cut it further" seems tautological and pretty intellectually lazy.

I've contracted onsite for both state and federal governments. Government employees have a reputation for... let's just say not hardest working. That didn't come out of nowhere.
by grishka | 2025-04-02 20:16:48+00:00
I was surprised, but at the same time not at all surprised, to find out that they not only reinvent Android UI libraries yearly, but also much lower level parts of their software.

(I build Android apps since 2011. I stopped following their updates since around 10 years ago. I still write Java, albeit modern versions, and use XML views. My apps are tiny and launch instantly. I'm also very controversial among the Android developer community.)
by AlexandrB | 2025-04-02 20:17:04+00:00
It's all fun and games until these same concepts are applied to computers and Windows prevents you from typing anything potentially "hateful" while pinging the government so you can get fined appropriately.

We're nearly there actually with technologies like Gatekeeper and OSs requiring account creation to use, so I expect to see it in my lifetime. The missing piece was the ability to classify content automatically in real time, but luckily AI came along.
by fmxsh | 2025-04-02 20:17:07+00:00
Not in position to judge the product, but had me thinking...

Perhaps this is 1998 again, when you could earn big money on creating a visitor-counter service, or a guest book service.

Perhaps, now is the time for a lot of smaller projects with AI, that will, in a few years, all be blasted off the market by big corporations and change in trends.
by troupo | 2025-04-02 20:18:03+00:00
> That would hold true for whatever systems.

Remember how you started with how every UI system and framework was somehow this separtaion of style and presentation and structure and interactivity?

And now it's "they are never separated, and this holds true for whatever systems"

> The pretention is just for making it easier to do the job without extraneous effort.

In reality there's a lot of extraneous effort especially when systems become more complex. BEM was invented not because CSS was great and amazing at reducing effort, but because it was adding a great amount of effort for a very large number of designs.

CSS Scoping was finally, thankfully, added not because cascading nature of CSS reduces a lot of effort.

The rest of your comment has nothing to do with what I said.
by bhouston | 2025-04-02 20:18:21+00:00
"Does the AI system perform actions under its own identity?"

I don't agree with this definition.

I view an agent has having the ability to affect the world, and then sense how it affected the world and then choose to make additional actions. Thus there is an act, sense, re-act feedback loop going on that does not require a human to mediate this. This to me is an agent.

"But why isn't, say, ChatGPT an agent?"

ChatGPT (the web app where you send it chats and it responses) by default doesn't act on the world and sense the changes it is making. Although once you take the GPT o4 model and hook it up with tool calling that affects the world in a feedback loop is definitely an agent.

I believe this definition generally aligns with most people's definitions as well.

I wrote an essay about building an agentic coder and it really is when you establish the tool-calling feedback loop that things move from an assistant to an agent: https://benhouston3d.com/blog/building-an-agentic-code-from-...
by dmoy | 2025-04-02 20:19:02+00:00
> Though I'm not sure who decided the ʻokina needed its own character rather than the traditionally used apostrophe. It's a pain to type without a Hawaiian keyboard.

I dunno, the glottal stop sounds pretty different from normal English usage of apostrophe. If anything it's closer to - than ', like in uh-oh.

French uses both grave and acute accent marks, and they sound very different.

Makes sense to me
by rcoady | 2025-04-02 20:19:16+00:00
Location: Cincinnati, Ohio, USA

Remote: Open to Remote, Hybrid, or in office

Willing to relocate: Yes

Technologies: JavaScript, TypeScript, Python, SQL, Angular, Node, GraphQL

Résumé/CV: [LinkedIn](https://www.linkedin.com/in/ryancoady/), [Resume](https://drive.google.com/file/d/11EamuI1gyt-dZEpRljwPuIaPoi-...)

Email: Can be found in pdf

I'm a senior engineer / principal engineer with 10+ years of experience.I have experience designing enterprise application solutions and API schemas and mentoring technical teams. I can quickly jump into new domains and come up to speed on them.
by fwip | 2025-04-02 20:19:26+00:00
"Stating facts" does not mean you are following the other rules of the site.

For example, if you irrelevantly post "My software is on sale now for 10% off and here is the link!" on every story, everything in it is factual, but it's spam regardless.

I'm sure your specific facts that you want to post are in service of a particular social or political viewpoint you are trying to push, one that the people flagging find either off-topic or odious. And, given that you refuse to elaborate on what specific facts you think are banned, reveals that you think you only can convince people by being vague about what specifically you mean.
by gwbas1c | 2025-04-02 20:19:35+00:00
Basically, you contributing / creating OSS has to be tangential to what you charge money for. IE, your code is critical to your service or business, but not what you're selling.

For example: My employer might open-source a C# adapter for an open-source C library. We won't make money off of the code, but it's a way to promote ourselves within people in our industry.

I once met a guy who consulted on making realtime web applications in 2010. (Before websockets.) His library and protocol were open-source; but the service was making changes to real commercial web applications.
by Hercuros | 2025-04-02 20:19:56+00:00
I think the issue comes with trying to present a USB mass storage API to the host where you allow the host to write to any arbitrary byte offset of the mass storage device without the structure that is imposed by a file system.

If the host and guest both get presented with the same “array of bytes” mass storage interface, then they will compete and potentially mess up each other’s reads and writes, let’s say if they both treat that array of bytes as an ext4 file system and try to write a file system metadata to the same physical location at the same time.

Of course you have have a “virtual file system” exposed over USB, but isn’t that exactly what MTP is? The point is that USB mass storage is not a virtual file system.
by Doxin | 2025-04-02 20:19:57+00:00
The EURion constellation[0] is how that detection mostly works as I understand it. Neat bit of tech. It's real obvious on euro bills once you know what to look for. Fun fact: not all printers give a hoot about this pattern, so it's a neat trick to annoy people with if your printer doesn't.

[0] https://en.wikipedia.org/wiki/EURion_constellation
by twalkz | 2025-04-02 20:20:39+00:00
> So surely the server validated that the phone number being requested was tied to the signed in user? Right? Right?? Well…no. It was possible to modify the phone number being sent, and then receive data back for Verizon numbers not associated with the signed in user.

Yikes. Seems like a pretty massive oversight by Verizon. I wish in situations like this there was some responsibility of the company at fault to provide information about if anyone else had used and abused this vector before it was responsibly disclosed.
by rayiner | 2025-04-02 20:21:22+00:00
This specific alien was not deported under the AEA. And the immigration judge and BIA both found him deportable on the basis of ties to MS13. And they denied his asylum claim.

So the scope of what’s at issue here is compliance with whatever “protection from deportation” might exist where someone has been found to be deportable due to gang ties, and found to lack a valid asylum claim. What possible justification could there be, and are we going to let all the 22 million illegal aliens in the country invoke such third-string justifications?
by fodkodrasz | 2025-04-02 20:21:50+00:00
For me the pain is twofold:

a) it poisons all interfaces it touches (common trait of async in other languages as well)

b) C# async Task -s typically are created in Running state without any easy control over when, where and how they will execute. Controlling these things is far from trivial, and and requires lot of extra effort.

In F# the traditional async block is a builder for an async workflow, and you could then submit this workflow to an executor that is easy to configure for the execute model best suites you, eg. thread pool, single thread with continuations, maximum number of "operations" in flight, etc. The fact that it is not started right away also makes it easy to create your own executors.

Having to deal with backpressure in C# style async is way harder IMO. On the other hand when writing a UI app, always having to submit to an executor might seem inconvenient, and you generally don't have to handle thousands of concurrent requests all reaching out to a (different) backend and avoid DOS-ing it. This is why I wrote that this way made with a frontend-centric approach in my opinion.
by joquarky | 2025-04-02 20:21:52+00:00
Looks like the article is 404 for some reason.

https://web.archive.org/web/20250311184956/https://pages.cs....

Summary:

``` The author sets out to investigate the temperature-dependent resistivity of germanium, a classic topic in solid-state physics. However, they quickly become disillusioned with both the theory (which they find overly abstract and nonsensical) and the practice (plagued by faulty equipment, uncooperative materials, and lack of support). Their experimental setup involves a precariously mounted crystal, unreliable tools, and a leaking thermos of liquid nitrogen.

Despite their intense effort, the data collected fails to demonstrate the expected exponential relationship. In frustration, the author draws a curve "through the noise" hoping it will look convincing enough to pass. Ultimately, they conclude the project—and their choice to study physics—was a total waste of time and regret not choosing computer science instead, where at least they'd be making money, if still unlucky in love. ```
by troupo | 2025-04-02 20:22:56+00:00
> The drained-color thing is exclusive to a certain type of TV/movie drama

It's not. There's even a term coined for it, "intangible sludge". https://www.vox.com/culture/22840526/colors-movies-tv-gray-d...

> I don't like it much but you can also just not watch that stuff.

It's now permeated everything, so it's hard to not watch stuff, as it's everywhere, with few exceptions.
by kuschku | 2025-04-02 20:23:46+00:00
If you use e.g., "Sign in with Google" today, you get redirected to your web browser, log in, and get redirected back to the client. This means you can use the saved passwords of your browser, and if already logged in there, you just have to click "continue" instead of logging in again.

With MAS, every login works like that. If you click "sign in", instead of getting redirected to Google, you get redirected to the website of your homeserver, where you can login and authenticate before being redirected back to the client.

The primary benefit of using a standard OIDC flow is that your authentication server can easily add support for passkeys, webauthn, TOTP or captchas, without having to wait for every single client to support these features.

While matrix.org uses MAS for this, providing the same login features as it used to, your organization might want to use Keycloak to connect their homeserver directly to LDAP.
by genewitch | 2025-04-02 20:24:50+00:00
these days every radio has a USB port, and when plugged into a computer, shows up as a full duplex sound card plus a serial port in devices. The serial port can be used simply, or you can use the CAT interface over serial, which lets you change frequencies, modes, adjust output power, and so on. Some radios have additional interfaces for "remote waterfalls" or additional IQ "audio" for SDR software to handle the decoding, where your radio becomes just a dumb pipe and does no filtering at all.

It's all real slick, but apparently WSJT-X software (made by an academic, not meant as a slur) is slicker, and nearly everyone uses that now. It isn't designed for "rag-chewing", it's designed for propagation testing and "contesting"; it's real dull after you've made dozens of contacts really far away.

Lately when i actually transmit with fldigi, i will use a web SDR like kiwi to "listen" to myself. Since the radio has a soundcard, and my PC has a soundcard, i can route websdr to one "modem" and my radio to another, and decode my own transmissions.

that's also boring!
by varenc | 2025-04-02 20:25:02+00:00
I have a simple bookmarklet does does something similar:

javascript:(function(){document.querySelectorAll("video").forEach(((e,o)=>{console.log(`VideoFixer: Processing <video> #${o+1}:`,e),e.style.position="relative",e.style.zIndex="999999",e.controls=!0,e.style.pointerEvents="auto";const t=[],i=[];["disablePictureInPicture","disableRemotePlayback"].forEach((o=>{e.hasAttribute(o)&&(t.push(o),e.removeAttribute(o))})),e.hasAttribute("controlsList")&&(i.push(...e.getAttribute("controlsList").split(/\\s+/)),e.removeAttribute("controlsList")),t.length&&console.log(`VideoFixer: Removed attributes: ${t.join(", ")}`),i.length&&console.log(`VideoFixer: Removed controlsList restrictions: ${i.join(", ")}`),t.length||i.length||console.log("VideoFixer: No restrictions found to remove.")})),console.log("VideoFixer: All videos processed.");}());

It just re-enables all controls on all <video> elements and uses z-indexing to push them to the top. Works on instagram but needs to be re-ran for new video elements.
by Klonoar | 2025-04-02 20:25:02+00:00
This is such an odd comment.

What on earth makes you think that the same engineers responsible for fluid and smooth UI/UX are the ones who’d ever influence the cryptography/privacy/security? Whether or not the chats are encrypted has zero to do with this.

Telegram has almost universally smooth scrolling, things work well across platforms, it’s native pretty much everywhere with low memory usage and mostly platform specific behaviors. Signal half asses this, and Element is… shoddy, at best, in comparison.
by PointlessPower | 2025-04-02 20:25:05+00:00
Seasoned software engineer with 10+ years of experience both in backend and frontend development. I can easily adapt to any stack and would enjoy being able to learn some more modern ones if given the opportunity.

Location: Almaty, Kazakhstan Remote: Yes Willing to relocate: Yes Technologies: Java, Python, Go, JavaScript, TypeScript, React, AWS, Linux, Docker, CI/CD, DevOps, API design, Integrations Résumé/CV: https://drive.google.com/file/d/16gmT3wHE0ccaocYzkOgyVoaudzgqN2-_/view?usp=sharing Email: bissaliyev at gmail dot com

Résumé/CV: https://drive.google.com/file/d/1PMVnZzfU_GYwAgXjGSzKja7VZWb...

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

GitHub: https://github.com/bissaliyev