skysight-inc/HackerNews huggingface dataset:
The reasoning is nonsense.

There are things like Tailscale that are free for private use and make managing / connecting to a VPN as easy as possible. The connection is only limited by your own home connection. You also don’t need to route all your traffic through it.

Put a reverse proxy in front of it for basic auth and path rewrite if you think that are the ultimate security mechanism for you (I don’t think so).

Personally I host all my applications behind a VPN because I don’t trust any software and don’t want to provide any attack surface or even the possibility to being made a possible target because someone scanned me.

This plus my own domain that points to the different local IP addresses makes it as convenient as surfing the public web.
>[4]: https://git.sr.ht/~vdupras/duskos/tree/master/item/fs/doc/co...

I've been looking for C compiler implementation in Forth, this is great work!
Show HN: I built an embeddable Unicode library with MISRA C conformance
Hello, everyone. I built Unicorn: an embeddable MISRA C:2012 implementation of essential Unicode Algorithms.

Unicorn is designed to be fully customizable: you can select which Unicode algorithms and character properties are included or excluded from compilation. You can also exclude Unicode character blocks wholesale for scripts your application does not support. It's perfect for resource constrained devices like microcontrollers and IoT devices.

About me: I quit my Big Corp job a few years back to pursue my passion for software development and this is one of my first commercial releases.
A LLM all by itself? No, I really don't think so. From my personal trading history - I knew to invest into AMD when it was at $5 because I tried their products and am intimately familiar with computers. LLM won't be able to do that for a long time. But - it helps me.
Show HN: Linkbin, the Pastebin for Links
Link-in-bio tools like Linktree are great for sharing links, but they’re limited to just one list. Pastebin and similar tools allow sharing unlimited content, but the links are plain and unformatted.

I built Linkbin to bridge this gap. It’s a simple tool where you can paste multiple links, and it generates a clean, shareable page with a link-in-bio style layout. You can create as many pages as you need—for link-in-bios, bookmarks, wishlists, etc. No account is needed!
The Dawn of Formalized Mathematics (2021)
Drinking from any kind of straw while driving is clearly something you should not do. Up there with using your phone or applying make-up.
Note that this is an expressibility (upper) bound on transformers granted intermediate decoding steps. It says nothing about their learnability, and modern LLMs are not near that level of expressive capacity.

The authors also introduce projected pre-norm and layer-norm hash to facilitate their proofs, another sense in which it is an upper-bound on the current approach to AI, since these concepts are not standard. Nonetheless, the paper shows how allowing a number of intermediate decoding steps polynomial in input size is already enough to run most programs of interest (which are in P).

There are additional issues. This work relies on the concept of saturated attention, however as context length grows in real world transformers, self-attention deviates from this model as it becomes noisier, with unimportant indices getting undue focus (IIUC, due to precision issues and how softmax assigns non-zero probability to every token). Finally, it's worth noting that the more under-specified your problem is, and the more complex the problem representation is, then the quickly more intractable the induced probabilistic inference problem. Unless you're explicitly (and wastefully) programming a simulated turing machine through the LLM, this will be far from real-time interactive. Users should expect a prolog like experience of spending most of their time working out how to help search.

Trivia: Softmax also introduces another problem: the way softmax is applied forces attention to always assign importance to some tokens, often leading to dumping of focus on typically semantically unimportant tokens like whitespace. This can lead to an overemphasis on unimportant tokens, possibly inducing spurious correlations on whitespace, this propagating through the network with possibly unexpected negative downstream effects around whitespace.
Porous silicon oxide electrodes advance sustainable energy storage
Why? It sounds pretty clear that you don't have to use it and they're unlikely to change that in the foreseeable future.
Very cool I also have a device, but don’t use strava much. Maybe I will now that I can see my results on screen
Early Bitcoin investor first to get prison time for crypto-related tax evasion
You should get an indian to interview for you. Downside: 1/10th the paycheck
It the image is watermarked, you can't remove it that way. Watermarks easily survive uniform noise higher than humans can tolerate. Watermark data is typically stored redundantly in multiple locations and channels, so uniform noise mostly averages itself out, and cropping won't do much. Watermarks often add signal in a different color model than RGB and in a heavily transformed domain of the image, so you're not adding noise along the "axis" of watermark's signal.

For similarity search, it also won't do much. Algorithms for this look for dozens of "landmarks", and then search for images that share a high percentage of them. The landmarks traditionally were high-contrast geometric features like corners, which wouldn't be affected by noise. Nowadays, landmarks can be whatever a neural network learns to pick when trained against typical deformations like compression and noise.
No, I wouldn't support that policy. That would be like banning paper because someone prints porn on it. Absurd.
How does math encode meaning if there is no Alice and Bob? You should quickly realize the absurdity of your argument once you take people out of the equation.
Be careful: with visual ‘proofs’ you can end up believing something like this: https://en.wikipedia.org/wiki/Missing_square_puzzle.
vrapper (vi mode for eclipse IDE plugin), have a similar issue. Usually don't have problems, but sometimes, both undo stacks begin to do very weird things.

However, when I tried VS Code vim mode, I found far better than Vrapper or Kate vim mode.
thanks and merry christmas.
This is a good example of the F in FUD marketing. I hope to never work for a company that has to scare people into using a worse product.
Ask HN: Why is Ilya saying data is limited when the whole world is data?
In his recent talk Ilya S. said that the data running out is a fundamental constraint on the scaling laws.
He said "we have but one internet".

But I don't understand: there is so much data in the real world beyond the internet.
Webcams. Microphones. Cars. Robots...
Everything can collect multimodal data and more importantly (for robots) even get feedback loops from reality.

So isn't data functionally infinite? And the only thing standing in the way is the number of sensors and open datastreams and datasets.

Please help me understand
What are the companies you know of here?
Show HN: Non-backtracking, Unicode aware regular expression library in C89
With all the anti-science decisions, it's heartbreaking to see an increase that just wasn't enough
For one thing, the people using this photobooth site are recording the footage, at least in part.
No, it's like saying "a computer can't crack SHA hashes, it can only add and subtract numbers together" "a computer can crack any SHA hash" "yes, given infinite time".

The fact that you need infinite time for some of the stuff doesn't mean you can't do any of the stuff.
I don’t know of any public transit that has a mobile app as the only way to prove purchase of some pass, they all have a physical card you can obtain. Maybe yours doesn’t, but I doubt it.
> Fangio’s luck failed him immediately: his gear stick got stuck inside his trouser leg, and he started in the rear of the pack.

For something so dangerous this sounds so amateurish..
I'll be using "tobacco companies of the mind"!

It's also very refreshing to see the the link between social degeneration and these "addictionware companies" being highlighted. I also watched it happen! And sometimes you'd think you were imagining the whole thing, watching people dance around and explain away the situation.

It can be hard to even make the point in the first place, as any sort of metacomment on politics is inevitably taken as a sneaky argument for one side or the other. It's hard to see a way out of the situation (barring some major technological or social shift, provoked by who knows what).
Your estimate is dead on. My first was born in 2005 and my second in 2009.
Social media and the early sexualization it brought were a problem for sure. But pretty much every interaction with these devices is messing with dopamine regulation.
What nutty ISP would kick you off for using a VPN to access your home network?
See my reply above for two very sound reasons
Searching for small primordial black holes in planets, asteroids, here on Earth
Peter Hargreaves' Blue Whale sells major tech stocks over AI concerns
What do you think is the best way to manage Python dependencies and why?
https://archive.is/tNNcL
We're going to have to move past considering an LLM to just be a model.

It's a database. The WYSIWYG example would require different object types to have different UI components. So if you change what a container represents in the UI, all its children should be recomputed.

Need direct association between labels in the model space and labels in the UI space.
Exactly, the fact that people think this comment has to do with explicit credit card transactions shows how unaware people are of all the other implications.

You said it best - the currency is eyeballs - even if you aren’t spending they want your attention without a single regard for the consequences.

One of those things that seems benign for any given app, but in aggregate has negative effects after hours/days/weeks/years of screen time and interactions with all the attention stealing content.
Not all European territories are Schengen territories. French Mayotte in the Mozambique strait; the Spanish Canary islands in northern west Africa aren’t in Schengen despite being colonies of Schengen areas
I find that hard to believe. Which browser intentionally tampers with images before they are uploaded, especially in such a destructive manner?
The architecture license agreements between Qualcomm, Nuvia and Arm have remained secret.

Both Qualcomm and Arm claim that they follow the requirements of the existing ALAs, while the other party has breached them.

Without access to the original texts, we cannot verify who tells the truth.

Even when a judge will give a decision for this conflict we will not be able to know who is right if the ALAs remain secret, because in recent years there have been plenty of absurd judicial decisions, where judges have been obviously wrong.

According to Qualcomm, they had no obligation to notify Arm about their business intentions. While I do not like Qualcomm for many reasons, for now there is no ground to believe more the claims of Arm than the claims of Qualcomm, so any of the two could be right about this.

Perhaps Arm is right and Qualcomm must pay the royalties specified in the Nuvia ALA instead of the royalties specified in the Qualcomm ALA, which is the main subject of this conflict, but if this is true then Nuvia has been conned by Arm into signing a really disadvantageous ALA, which is somewhat surprising, because among their business plan variants must have been one of being bought by some big company, in which case their target should have been to retain ownership of the IP developed by themselves.

There is no doubt that even if Qualcomm pays only the low royalties specified in the Qualcomm ALA, Arm will obtain a revenue orders of magnitude greater than any revenue that could have been obtained from Nuvia, had it not been bought by Qualcomm.

The reason why Arm does not like this increased revenue from the Nuvia work is that Qualcomm has decided to replace all the cores licensed from Arm in all of their products with cores developed by the Nuvia team.

Thus the loss of the royalties for the Arm-designed cores will be even greater than the increased revenue from the ALA royalties.

So Arm attempts to use or abuse whatever was written in their ALAs in order to prevent competition in the cores implementing the Arm architecture.

Even if Arm had been cunning enough to have included paragraphs in their ALAs that justify their current requests, there is no doubt that the real villain in this conflict is Arm, who fights for forcing the use of CPU cores that are weaker and more expensive than what is possible.
That's a really useful tip, thank you!
Check out: https://trafficcamarchive.com/ for an example.
I believe that's it--Thanks!
Not sure what you think is my public transport. My ideal computerized public transport combines vehicles of all sizes and types, and an uber-like app let's me choose what I prefer based on cost and other attributes.
> That is a shortcoming, but not necessarily fatal; can it sit behind a reverse proxy that handles (http basic) authentication but doesn't use another path? That should be secure enough.

Yes, but the author’s issue is, that the mobile app won’t work with basic auth.
Magnus blundered simple Nxe5 in better endgame in the 6th game of the second match with Anand. Anand missed it as well.
> communicating complex ideas in conversation is hard and lossy

True but..

> instead of building the website, the model would generate an interface for you to build it, where every user input to that interface queries the large model under the hood

This to me seems wildly _more_ lossy though, because it is by its nature immediately constraining. Whereas conversation at least has the possibility of expansiveness and lateral step-taking. I feel like mediating via an interface might become too narrow too quickly maybe?

For me, conversation, although linear and lossy, melds well with how our brain works. I just wish the conversational UXs we had access to were less rubbish, less linear. E.g. I'd love Claude or any of the major AI chat interfaces to have a 'forking' capability so I can go back to a certain point in time in the chat and fork off a new rabbit hole of context.

> nobody would want an email app that occasionally sends emails to your ex and lies about your inbox. But gradually the models will get better.

I think this is a huge impasse tho. And we can never make models 'better' in this regard. What needs to get 'better' - somehow - is how to mediate between models and their levers into the computer (what they have permission to do). It's a bad idea to even have a highly 'aligned' LLM send emails on our behalf without having us in the loop. The surface area for problems is just too great.
> With Vim you have to imperatively walk the cursor to where you want to go

I used to use vscode with mouse. Then vscode + vim with mouse. Then I forced myself to actually learn how to "properly" use vim, including all the motions plus enabling smart line numbers.

As a result, my right hand switches between keyboard and mouse much less than they used to, and I can do development work with my hands stay on the keyboard for minutes or longer. It made me more efficient, and RSI was much less of a problem.
Another comment identified it as Triton by Samuel Delaney.
Hey you got the old thing going for you. Cheers
> Nginx isn't suggested on the remote access manual page for sure

This makes it seem like they advise against it on that page, which is not true. Nor would it make any sense, putting a reverse proxy in front of a web application before exposing it to the open internet is about as typical as things get.
Yeah, Puma just seems more stable, and works out of the box with Kamal.
What do you mean by "odd man out"?
So anaticipate a renewed, stronger push for 5 days a week in the office?

The national policy will depend on which tycoon has the president's ear, so that's hard to determine in advance.
Signal silently falls back to unsealed sender messages if server returns 401
> Aren’t they already used in early high-school math books?

No, or at least they were not in the high-school math books I was assigned. There were no explicit referrals in any way to visual representations of the algebra involved.
Unfortunately this was absolutely Clauded out without reviewing or really understanding the software in question.
No matter how wonderful or dazzling, often the genie is best kept within the bottle :)

And Pandoras held far from any boxes just for good measure.
People aren't stupid. They'll see your "just make it so only the rich can afford it" scheme as a ban in all but name and they'll see your intent too. Optics matter. Sure with a powerful enough violence machine behind you you can kinda force people to do whatever but that's precarious and unsustainable. Doing the "right" thing needs to be so easy that people do it voluntarily.
Such a visual argument isn't "formally wrong" because it isn't trying or claiming to be a formal proof at all. "Formally wrong" would mean that formal mathematics is used incorrectly.
I am most impressed by the mental endurance to concentrate that hard for that long.
I wish it was easy to use puma for almost everything, and then iodine/falcon for web sockets. Haven’t figured out a sensible solution yet.
To me, this is one of the many ingenious things about TeaVM's architecture. By using the preferred code execution mechanisms of browser vendors (WASM and ECMAScript, plus Web APIs) to deliver Java code, it ensures they can't block or shut down this delivery mechanism. They would have to cut off their noses to spite their faces.

Furthermore, since the browser vendors never want browser code to have public security issues, they work hard to find and fix problems in their sandboxes and runtimes. This of course benefits TeaVM apps as well, since they play in those same sandboxes, and gives them a level playing field with other web apps in perpetuity.

Plugin-based applets were only safe as long as Sun had clout and the browser vendors were investing less in security than the Java team.
A koan in four parts:

1. What constitutes a proof?

2. In what context is a "proof" embodied?

3. Why is scribbling lines on a paper (that look like math to humans) 'more' of a proof than visual diagrams, if at all?

4. If you came across a proof that was persuasive to alien intelligences -- and led them to conclude true things were true and false things were false -- but, alas, you did not understand it, does that make it less of a proof?
You're right. Defining the criteria for marking an app as harmful might not be straightforward or easy. But we're talking about the education and life of the children. These difficulties shouldn't a preventing factor. Maybe it's easier to allow services and apps one by one when there is a need only. Whatever that's not, let kids have a phone with internet and everything that comes along.
If I follow through what you said, paper has obvious positive impact in schools, or we can at least imagine that positive impact. And so banning paper would be very likely not to result in an improvement if studied. And like any smartphone ban, it _should_ be studied rigorously before implementing.

But lets say they do find that smart phones during class _are_ good, but just social media is bad, then it also sounds reasonable to me that a kids phone might be required to have some type of block on social media app during class time. Just like it sounds reasonable for a school to ban papers _with porn printed on them_ during class time. There's no issue besides on a practical level with getting more fine grained and isolating the impact.

Or do you also oppose that later, is your kid printing porn on paper and bringing it to school part of the personal freedom you want control over and which the school should not have to authority to ban?
Sounds like you definitely have better access to good care than I do. In live in a bit more of a rural area, but were only 45 minutes from two different cities with large medical support, including one of the larger medical schools.

I haven't actually had issues with wait time but with actual quality of care. I'm by no means a medical expert, but on at least two recent occasions I had to be the one pointing out factors to the doctor when my father in law had a kidney stone then gall bladder issues. Specifically, the doctor simply forgot about the gall issues an hour later and was pointing back to another potential kidney stone.

Its been a while since I've had to schedule a doctor's appointment, but anecdotally I hear it is pretty slow. After the stones my father in law had an annual checkup and was referred to a cardiologist, the fastest they could book was 2 months out though that was for a check without immediate symptoms which would play a factor.

Once at the hospital I haven't seen issues getting specific tests run, like a CT scan for example. Here it does seem like they have the bandwidth for that kind of stuff once you're in the door.
> This is simply security through obscurity and once again has zero bearing on the security posture.

Not to defend the author or the idea, but this is very clearly untrue. Something similar is routinely done to intentionally break hotlinking usually (tokenized URLs and URL signing). It's ages old and does work, as it's no different to cracking a long and difficult password.
The protocol might be good, but my hardware is not supported by wlroots. Whether this is the fault of upstream or the hardware vendor does not matter. I cannot run wlroots, ever. Period.
I will tell you right now, the worst founders are young. Probably great for the VC, but not great for anyone else.

My best learnings have come from founders who were in their 40s when they started their businesses. One was even 58 when he started.
US lawmakers have told Apple andGoogle to be ready to remove TikTok on January19
US lawmakers have told Apple and Google to be ready to remove TikTok on January 19 – they’re facing hundreds of billions of dollars in fines if they don’t comply
For hosting a service despite being on a residential contract.
Oh, the client... Yeah okay that's a pretty fatal flaw. My bad.
The article only mentions bootstrapped founders.

So "founder" is not in the context of Silicon Valley startups.

But "startup" only means "new company" to most people these days.
Rage, race and good looks: the forces behind the lionization of a murder suspect
The title and opening conclusions are misleading, and the true conclusion is straightforward: *Financial news is mostly noise.* You would need a good filter to make use of it.

A crystal ball showing slightly+ reliable price data, at a reasonable interval in the future. (E.g, minutes+) would make a competent person astoundingly wealthy.
QCon SF 2024: Refactoring Large, Stubborn Codebases
Scores of Nepalis tricked into joining the Russian army
IME tech folks are, on average, more in-tune with the "keep kids away from screens" thing than the general population. I think we know enough about it to fear it.
> faster on startup than .NET [0]

This is unlikely. When you invoke 'dotnet run' you're essentially going through the entire build system, it doesn't "just" launch the application - it also builds it or verifies that it doesn't need to.

The actual startup time for compiled applications is <100ms for JIT (sometimes even <50ms) and ~10ms for AOT.

Feel free to verify this with:

dotnet new console --aot
dotnet publish -o .
hyperfine ./{name of the program}

(make sure to use up-to-date version of the SDK, can be installed with sudo apt install dotnet9 / brew install dotnet)

Of course performance of the code itself is going to have more than an order of magnitude of difference: https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
> it's basically day trading

In my understanding day trading is mostly about looking for pretty patterns in lines and ascribing meaning to them, as well as attempting to trade on public information that HFTs and 3,000 well-paid and professional traders at GS have already priced in