skysight-inc/HackerNews huggingface dataset:
There are massive opportunities for accelerating science through AI-human collaboration. However, it requires new management and a new set of standards. If AI can write a paper that was good for publication a year ago, what does that mean for science?

It’s really unclear.

Im particularly interested in AI assisted education research. I think we need to keep an eye on empirical methods for developing smarter humans.
> Police unions effectively require arbitration on an employee by employee basis, since police work is so highly situationally dependent.

Are police unions real unions? Or just a vehicle for them to further avoid accountability for their wrongdoings?
> Does a public police force disincentivize people from hiring private security body-guards?

Yes of course, but you are asking if you need private security for everyone using vouchers. We as a society have decided that having police is better for society instead of private security vouchers due to various reasons.

However, this question for schools remain open.

(Also, did I say the funding type of the schools matter? That’s a different discussion.)

The question remains open because different schools provide different types and quality of education (good schools, bad schools, religious schools, schools focused on science or arts, schools with different teaching methods, schools with gang violence, etc). Therefore, parents should be able to choose the schools they send their kids to despite their circumstances, and we as a society should enable them that choice.

My statement was about incentives for parents. If you want to enable parents the choices, one way to improve the incentives is school vouchers.
What would you use to Remote Desktop between 2 mac without latency?

I tried several tools but it was lagging (screen sharing, vnc, spashtop, anydesk, …)
Ugh, no wonder they don't mind missing this one. Chat control is far more pervasive than what amounts to a digital wiretap.
> because the front-end models are typically a subset of the back-end models

That’s true, and Pick<BackendModel, …> works extremely well for me.

Setting up GraphQL or OpenAPI or any other code generation is way too arduous compared to just using TypeScript (also allows sharing logic).
I feel the need to issue a correction: while I'm programming in assembly, I very well have types. This word over here (screen position) represents a positive number only, but this one over here (character acceleration) can be negative. When adding one to the other, I need to check the arithmetic flags like so to implement a speed cap...

The types certainly exist. They're in my mind and, increasingly through naming conventions, embedded within some of the comments of my assembler code. But nothing is there to check me. Nothing can catch if I have made an error, and accessed a pointer to a data structure which contains a different type than I thought it did. Without a type system, that error is silent. It may even appear to work! Until 6 months later, when I rearrange my code and the types are arranged differently in memory, and only THEN does it crash.
Check out the ComparesVisually trait! (It's described in the readme too)

It takes some text, outputs it to iTerm and takes a screenshot. Then it takes the same output, runs it through the Screen class, outputs it, and takes a screenshot. Then we compare the screenshots pixel by pixel. So freakin fun
GNU units.
I like building one-tier applications in Elixir.
Catalysts: Nationalism, Art, and the American West (National Park Origins)
The performance test program does one insert at a time, sequentially…
The unexpected legend of WD-40
The story of WD-40—how a simple formula became a must-have for homes, garages, and industries worldwide.
Show HN: FastOpenAPI – automated docs for many Python frameworks
I have no idea what you are saying.
Who said anything about extending "variables"?

If you heap allocate something and store a reference to it, Rust will absolutely keep that object alive till all such references are gone. It's not "bullshit [with] no grounding in reality."

That property is, yes, what you would see in a GC language (e.g., Entity Framework back in the day in C# would have a leak if you tried to create short-lived objects from long-lived objects using the built-in DI, since EF had a bug maintaining a strong reference to those objects tied to the lifetime of the outer object). My observation is that people tend to do that much more in Rust than in GC languages because the compiler makes other coding patterns harder.
The trackability is not inherent to the cellular service, but to the sensor hardware, operating system, and business model.
I moved from the US to the UK. I ported my US mobile number to Twilio, but that service is incredibly unreliable even for basic things like forwarding a call or a SMS. I had another number on Google Voice, and moved all my US accounts to it whenever possible.

The great thing about Google Voice is that since Google doesn't believe in humans providing customer service (or more generally in providing customer service, period), there are no gullible CSRs that can be conned or bribed into SIM-swapping you unlike the mobile carriers.
> However, while writing programs that need to invoke POSIX commands in a portable manner

...probably a stupid question, but something I have earnestly been wondering about... when does this actually happen nowadays? What POSIX systems are you targeting that aren't one of the major ones (Linux, Darwin, or one of the major BSDs)?

I was writing a shell script a few months ago that I wanted to be very durable, and I targeted sh instead of bash just because, well, it seemed like the correct hacker spirit thing to do... but I don't actually know what system in the past decade (or more) wouldn't have bash.
Hey everyone!

While working on a project that required OpenAPI docs across multiple frameworks, I got tired of maintaining separate solutions. I liked FastAPI’s clean and intuitive routing, so I built FastOpenAPI, bringing a similar approach to other Python frameworks (Flask, Sanic, Falcon, Starlette, etc).

It's meant for developers who prefer FastAPI-style routing but need or want to use a different framework.

The project is still evolving, and I’d love any feedback or testing from the community!
If you flipped things a bit and think of types as more or less "allowed shapes of the things happening in my program", it might seem closer to the real-world comparison that you are thinking of.
Show HN: I made an AI profile picture generator
Hey everyone! I just finished building my first SaaS, and I’m excited to share it.

My entire life, I hated taking pictures of myself, especially for profile pictures. One weekend I saw a YouTube video about stable diffusion so I decided to create an app that can replicate your face with a single selfie and you can prompt it to generate images about you. I showed this app to my friends and they really liked it, so I built a SaaS around it.

This project taught me a lot about ComfyUI, Stable Diffusion, app development, and releasing in general.

I hope you can gain value from it! Please give me feedback so I can improve my app.
> increasingly through naming conventions

The original goal of hungarian notation :) But Petzold mistakenly used 'type' in the paper and we ended up with llpcmstrzVariableName instead of int mmWith vs int pixelWidth, which was what they were doing in Office and frankly makes a lot of sense.
They’re not far along in their development, but this announcement probably heavily hits a nerve with investors (including governments) right now.
It’s far more often malice than stupidity, when talking about overreach of power. I absolutely hate Hanlon’s Razor, it’s how we got here.
Before invoking a command, always first check if the length of the command is not longer than ARG_MAX. For example, if this is your command:

grep --ignore-case --files-with-matches -- "hello" *.c

Then invoke it as follows:

CMD="grep --ignore-case --files-with-matches -- \"hello\" *.c"
ARG_MAX=$(getconf ARG_MAX)
CMD_LEN=${#CMD}

if (( CMD_LEN > ARG_MAX )); then
echo "Error: Command length ($CMD_LEN) exceeds ARG_MAX ($ARG_MAX)." >&2
exit 1
fi

eval "$CMD" # warning, evaluates filenames
The internet IS great.
The problem is similar to everything else in the world: the ratio of idiots to smart people using it is widely in favor of the idiots and they get to influence where it goes, how it operates and many other things.

In other words, democracy sucks but we have not found something so much better that it would pay for the benefit of freedom for everyone...
Not trying to debate club you here, but it could also be that higher educational attainment creates parliamentarians that can listen.
ChatGPT created a fake child murderer
Where I can sometimes get burnt is busybox.

I more often get burnt in zsh to bash than that however
Show HN: Sequential Story MCP Server
*Sequential Story MCP Server*

I have developed Sequential Story, a Model Context Protocol tool designed to enhance complex problem-solving through narrative structure. By incorporating storytelling elements such as characters, settings, and plot, the tool makes solutions more memorable than traditional abstract approaches.

Sequential Story builds upon the foundations of Sequential Thinking by adding narrative elements. It enables users to create sequential narratives, revise components as understanding evolves, and explore alternative storylines.GitHub: https://github.com/dhkts1/sequentialStory
Even in compiled languages I think the benefits won't outweigh the difficulties in compiler optimization.

It starts with the question of how I would like to design my sequences:

- Is it the range (0, 10] in steps of 1?

- Is it the range (0, 2^10) in steps by the power of 2?

- Is it the range (0.0, 2PI] in steps of EPSILON?

How would the compiler engineer generalize this optimization?

And the question would continue whether I'd be really able to define them that precisely before runtime. Most applications are just dealing with lightweight structures, mostly serialized JSON nowadays, and then even there are enough fuck-ups[0] where such an optimization wouldn't help at all.

I can imagine the places where they really matter are some heavy memory intensive data structures like deep neural networks, graphics or video and the like - for the time being they're just dealing with tensors of data type floatX, and that seems to be fine AFAIK.

I mean, I'd be really nice if the smaller memory footprint could come out-of-the-box during compilation. But all the CLI tools written in rust certainly don't have the use case to put this complication on the shoulders of compiler research.

[0]: https://nee.lv/2021/02/28/How-I-cut-GTA-Online-loading-times...
Overfishing urchins: A paradoxical path to marine sustainability
when you try to install something and it tells you that dpkg is locked
> And your saying "everything is a word" for assembler is just plain wrong.

I also love x87 registers, but they are becoming rarer these days.
If we're philosophizing here:

1. This (or maybe a less trivial form of this) will bite you in the ass when you end up using other people's unnamed types. Or even when you use your own unnamed types that come from code you haven't touched in three years.

2. That's what interfaces are for in Java. Or at least modern Java.
Show HN: I made PeanoScript, an educational TypeScript-like theorem prover
Hi HN, I made this with the idea that many people are somewhat familiar with TypeScript and first-order logic, so combining them could be a nice introduction to automated theorem proving. My CS freshman logic class woefully lacked an interactive code environment

It's completely web-based so you can go ahead and try the interactive tutorial https://peanoscript.mjgrzymek.com/tutorial . Everything is explained on its own terms, so it should be readable if you just know programming.

If you already know this kind of stuff and want a tldr, there is also a reference https://peanoscript.mjgrzymek.com/reference and playground https://peanoscript.mjgrzymek.com/playground

The code is out on GitHub https://github.com/mjgrzymek/PeanoScript

Have fun!
Researchers developed a compact, solid-state laser system
The goal of the endorsement is to catch your attention through entertainment.

Then you need something to trigger them to say yes, I want that.

Aside - many people want something easy for them to use, which this thing was. Julia Child's success is a great lesson of a very good chef making it simple & showing mistakes.
Well, you don't actually get an id as specific as earthlike algae from an atmospheric spectrum (I guess I didn't actually say that's what I was thinking. Oops :D). If you actually went there and found earthlike DNA, then yes.
what a perfect headline, nothing but the truth
Paper: https://www.spiedigitallibrary.org/journals/advanced-photoni...
You can set up RD Gateway to leverage MFA.

https://learn.microsoft.com/en-us/entra/identity/authenticat...
One mother's win over Meta will change social media for everyone
yes agree and more.. it is detached thinking from the actual real world creatures called Crow. add some pep to the situation - Crows lineage is from an age before the rise of Humans.
Like, PyTorch? And the new Mac minis have 512gb of unified memory
https://archive.ph/mX1qW
How a Gag Order Made 'Careless People' a Bestseller
> (Setting up OpenAPI)...is way too arduous

It's actually quite minimal in .NET 9 :) Just a few lines of config and then pick your preferred Node tool of choice for generating the types from the spec. It's a 1 time setup and you get very clean separation at the boundary.

Even with Node frameworks like Nest.js, it is quite simple[0].

Beyond front-end use cases, the OpenAPI spec is pretty much required anyways if you are building a real API since tools like Redocly and other API documentation tools use the OpenAPI spec to generate your docs. Infrastructure like AWS API Gateway also consumes OpenAPI[1]; it seems to me quite handy to use the OpenAPI schema then as the source for client-side DTOs.

[0] https://docs.nestjs.com/openapi/introduction

[1] https://docs.aws.amazon.com/apigateway/latest/developerguide...
The guy literally wants everyone to be stupid.

I swear if they start cutting books and exhibits about things specifically musk dislikes and we don’t see comparisons to book burnings, I’m going to lose all faith in the people of this country.
Western awareness still not recovered from Descartes.
I suppose you're right, it does slightly lower the barrier to entry compared to doing all the cert stuff manually. But not compared to HTTP itself. Then the first time it breaks (and it always will over a few years) the barrier to continuation is even higher.
Why would I want it to be bad? I'm afraid I don't understand what you mean.
One of the main devs for the Lemmy codebase, codes primarily this way.

The habits of prolific coders come in many flavours.
Is there any way to approach this beside brute forcing.
Cloudflare is modern day protection racket and I don't get how people don't see that.
Their offering when it comes to CDN and associated software is really not that good.
Even their public DNS sucks. They always advertise some insane capabilities but I never experienced those benefits myself.

And every once in a while, Cloudflare denies me entry to a site because it thinks I'm a robot, they are not even able to make proper heuristics to separate robot from humans so I don't know why anyone should trust them...
Using their own bullshit excuses against them, that might actually cause their heads to explode. Of course the rebuttal will be something something national security yadda yadda.
'We Just Want to Get Back to Work': NOAA Hurricane Hunter Speaks After Layoffs
> This is more a question about architecture.

In an ideal world :)

In the real world the customer doesn't know what they want and you can't fully guess what they want or need ahead of time no matter how many diagrams you draw.

Incidentally, one of the few good things that came out of the "agile" religion.
It’s telling that you revised both application architecture and org structure to be simpler and more efficient.

Microservices are sometimes a reflection of the org; the separation of concerns is about ensuring everyone knows who’s working on what, and enforcing that in the tech.

(Not defending that, it’s often inefficient and can be a straight jacket that constrains the product and org)
Termux does absolutely nothing to improve any of this.

I guess "real Linux"'s most arbitrary but concrete definition applicable for TFA is "glibc".

I am very much against this trend by major vendors to push Linux but just as a "VM" or similarly contained crap. MS is doing it (WSL), Google is doing it (pKVM Terminal), etc.
Chart of life extended by nearly 1.5B years
"The ice ages were a major factor that reset the evolutionary path in terms of diversity and dynamics," Xiao said. "We see rapid turnover of eukaryotic species immediately after glaciation. That's a major finding."
No, it uses 16 threads, and all the inserts are non-conflicting (they don't use information from previous transactions).
It is extortion. His favorite crime. Was already impeached once for it.

What is stunning, is a law firm with 2 billion on annual revenue, and more than 1000 lawyers deciding not to sue: https://www.huffpost.com/entry/donald-trump-paul-weiss_n_67d...
Looks like only the code is Apache, not the weights:

> the code in this repo is Apache 2 now added, the model weights are the same as the Llama license as they are a derivative work.

https://github.com/canopyai/Orpheus-TTS/issues/33#issuecomme...
Miniature, in-line sh scripts are also fine as long as you use the provided parameter substitution.

If you’re averse to this:

q(“select x where y = ‘“ + v + “‘“)

And instead do this:

q(“select x where y = %s”, v)

Then you should be averse to this:

x(“foo --option ‘“ + v + “‘“)

And instead do this:

x(‘foo --option “$1”’, v)

This is particularly useful when it’s expedient to have one thing piping into another. Like it or not the sh DSL for pipes is excellent compared to doing things natively with execve() and pipe(), just as doing group by and count is far more concise in SQL than doing so natively.

Most SQL libraries give you something like q. Writing your own x is as simple as calling sh correctly. In Python, for example:

def x(script, *args):
run([“sh”, “-c”, script, “--“, *args])
funny, because it seems like the president of south korea is more dangerous than DPRK to the country...
How to Set Up a Custom Domain for FusionAuth Using AWS CloudFront
Yes, this seems to be what the symbolists always forget. We don’t use symbolism like this, we just have very dense neural connections that emerge from scale and approximate it
> I don't actually know what system in the past decade (or more) wouldn't have bash.

I have written a bit more about it in these comments:

https://news.ycombinator.com/item?id=40681382

https://news.ycombinator.com/item?id=17074163
I’ve first learned Java in introduction to programming in 2001 and that’s what interfaces were for back then already.
Meta and ethical practice can’t be in one sentence.
and then you renamed the company to X?
You don't need the source code for the embedded control software and diagnostic systems. If you're pirating the whole engine design anyway, just copy the binary from the example you're copying.

(Then just make sure not to hook it up to any radio transmitter under the engine's direct control, so it can't call home to the American manufacturer and be disabled remotely.)
Why would working with AI need Rails?

I would prefer to bet on Mojo[0].

> The Mojo programming language was created by Modular Inc, which was founded by Chris Lattner, the original architect of the Swift programming language and LLVM, and Tim Davis, a former Google employee. Intention behind Mojo is to bridge the gap between Python’s ease of use and the fast performance required for cutting-edge AI applications.

[0] https://en.wikipedia.org/wiki/Mojo_(programming_language)
"If money is evil,then that building is hell" – Robert Downey Jnr
Instead use Chinese AI which pirated the same?
Learn Something New Every Day with ChatGPT Tasks
Don't use Telegram, but if you have to, at least use Partisan Telegram
With protests rising in Turkey and its mass adoption of Telegram, I thought it might be helpful to share this alternative with improved OPSEC.
That's just 75% of HN or rather "privacy-focused" tech enthusiasts.

The remaining 25% hide under the disguise of generic security "concern" that usually involves tangential topic.

Case in point:

A: WebUSB has privacy risk, it can fingerprint you.

B: But it already require user consent.

C: ProcesD to pontificate about good user consent UX.
There seems to be a precedent with tech companies that if you do a lot of illegal stuff in the beginning you can count on either failing before it matters or you can buy your way out of the consequences. Bonus points if you induce regulatory capture to make sure no one else can follow in your footsteps.

Please HN do your thing and prove me wrong or tell me the benefits to society outweigh the cons, because otherwise it's a depressing take.
> Violence committed by druggies trying to scrape up enough for their next hit would still happen.

Portugal (mostly) decriminalised possession and use of all illegal drugs in 2001. (Ref: https://en.wikipedia.org/wiki/Drug_policy_of_Portugal) This should be an ideal country for study. Do you know if violence from drug users declined after this change in Portugal?
They weren't talking about instruction level parallelism.
so that is what boycotting means - going to china eh? nice, count me in!

and between china and facebook, it is coin toss but I’d go with china :)
If you are a citizen, fully power off your device, then power it back on, and try two wrong passwords to erase any possible memory imprint from the last time. If you are asked to unlock, say you need a court order. If they want to seize, get a receipt. Additionally, fully logout of any password manager and other sensitive apps.
This takes me back. http://errtheblog.com/
> Someone could be bad at texting and writing profiles but actually charming and a good fit to you when given the chance to have an actual date.

As documented in Cyrano, hundreds of years ago.
thanks for letting me know this. I will include an OTP login to the app too. The reason behind google login is to prevent abusing the free tier
Not as bad as this HDMI cable claiming it has "anti-virus protection to reduce virus noises".

https://www.zdnet.com/article/this-xbox-hdmi-cable-has-anti-...

https://www.gamesmen.com.au/cable-xb3-hdmi-lx-swivel
Sleepytime is the best episode of any show I’ve ever seen
I had someone do this on an important production Solaris machine once, many years ago. Luckily they just moved /lib instead of deleting it -- and on Solaris (some of?) the binaries in /sbin were statically linked, including ln. Hard linking /lib back to the correct path was enough to recover.
"It turns out" (2010)
"they trust me, dumb fucks" - mark zuckerburg
Downloading pirated material isn't illegal in the U.S., sharing it is.
Passive voice in Reuter headlines about Israelis and Palestinians (2003)
I recently went through the retention process, and before resigning the first thing I did was ask around to figure out exactly how the process worked (I wanted to stretch my end date for various reasons). The knowledge was definitely there among the longer tenured ICs, and I've shared notes on my case.

FYI, there is a concept of a reportable event that some employees (managers and officers) are required to report, resignation usually being one of them. I.e. don't ask your manager.