skysight-inc/HackerNews huggingface dataset:
Show HN: I wrote mangl – An Enhanced Manpage Viewer
Hi!

I wrote mangl - an enhanced manpage viewer with a GUI and clickable links, manpage search, search on manpage, history etc. The motivation was to replace opening a manpage in the browser since I frequently look up functions during programming. The standard text based manpage viewer 'man' did not provide all the necessary features I wanted.

Currently the program is pretty feature complete and has been used on various linux distributions. For manpage interpretation it uses the mandoc library which comes from the OpenBSD project.
For windowing an graphics I used GLFW and OpenGL.

Building is easy - described on github. Please try it if you're interested in such software. My goal is to get it accepted into a few linux distributions as a package. Thanks for your attention.
> the phrase doesn't only mean getting paperclipped.

This is what most people mean when they say "run away", i.e. the machine behaves in a surreptitious way to do things it was never designed to do, not a catastrophic failure that causes harm because the AI did not perform reliably.
Automattic Sabbatical Wrap – Matt Mullenweg
1. There are long tail distributions which have a statistical mean

2. Boeign exists
It's important to remember that a company is not a single minded entity. It's members can hold many contradicting beliefs, while each individual is ideologically consistent.
I just don't understand why AI is so polarising on a technology website.

OpenAI have even added a feature to make the completions from GPT near-deterministic (by specifying a seed). It seems that no matter what AI companies do, there will be a vocal minority shouting that it's worthless.
asdf and qwerty were up there in the top 10 I think. This was just prior to the days of SQL injection and I'm 100% sure you could have erased our entire production DB with a really "strong" password.
Sure, humans need a certain amount of blood sugar but don't need any amount of dietary sugar.
Israel’s legal culpability in genocide is probably even more important, because if we only argue moral culpability it gives world governments an excuse to non-action. If we have legal culpability these same world governments become complicit.

The legal argument for genocide is strong. Not only by referring to the ICJ case, but also several legal experts who have conducted a thorough study in the subject.

I’m returning to this thread because of the publication today of a 100 page long report which the authors claim is “the most comprehensive legal analysis to ate of Israel’s military operation in Gaza since October 7, 2023.” This report is from legal experts exploring the legal argument of genocide, using the 1948 convention as the definition for genocide. The authors, comprise of independent human rights scholars and legal experts from University Network of Human Rights, Boston University School of Law, Cornell Law School, University of Pretoria, and Yale Law School. They conclude that: “srael has committed and continues to commit genocide against Palestinians in Gaza.”

https://static1.squarespace.com/static/5b3538249d5abb21360e8...
> Besides I made observation about people in community[...]

Can you link any specific HN user who holds any 3 of those specific beliefs, or was this hypocritical strawman purpose-built to bolster your argument?
I don't understand how anyone who has ever taken LSD can say that it's safe. Maybe at low doses.

Once you can't seperate fantasy from reality you're just one bad trip from falling out of a window you thought was a door.

edit: The responses here just seem like denialism from people who got lucky to be honest.

You can be aware that you are tripping and still imagine that something is something else.

Roads looked like footpaths to me, windows looked like doors, knives looked like forks, and so on and so forth. I was aware that it wasn't real but couldn't be sure of the safety of existing in the world.

I basically had to sit in a corner for 10 hours, hope that the corner was actually the one I thought it was and that I wasn't going to fall down a staircase instead.

It was great fun but felt like russian roulette.
The low power, GPIO and SPI on the Pi are all trash compared to microcontrollers, most of which are also cheaper and better documented.

But if you specifically want to run Linux and have SPI and GPIO on the same chip then sure, the RPi will do that.
Friedman's Malady

https://en.wikipedia.org/wiki/Friedman_doctrine
I understand that, but we may have to adapt to new normal with noticeable bad effects. That's where technology can help. Not sure we can remove that much CO2. Maybe if fusion becomes a thing, it would give use enough cheap energy.
This was fun to figure out! Nice job!

For today's daily puzzle, there are two solutions that give different rankings but are effectively the same in terms of moves. You can solve it with 3 taps 4 flips or 2 taps 5 filps. It's not clear why one solution is more efficient than the other since the first two taps or the first tap+flip cover the same amount of the board.

Perhaps a scoring system that was based more on how efficiently you cover the board would allow for different solutions to be equally valid?
Nintendo doesn't typically go after emulation projects. Yuzu was the exception, and there are reasons for that related to how the Yuzu team ran their project and distributed it that painted a legal target on their back.

This project isn't distributing any of Nintendo's code, game assets, or other intellectual property.
It's also not possible at legal speed limits in the US. The highest legal speed on any public road in the US is a short 85mph section on one toll road in Texas. The more common 80 mph only gets you to 1920 miles per 24h without stops.
Are the only concrete examples a seven year old walking to school by themselves and wearing snow boots sometimes? I remember speaking to a Swiss national who boasted about how they walked everywhere. I didn't say anything, but all I could think was "well yeah, if I lived where summers were 70 degrees, a backdrop of scenic mountain beauty, and everything is in walking distance, I'd probably walk more places too."
Why not just use async inserts that internally do the same thing?
Google Blog: 10 updates coming to the Android ecosystem
Indeed, there's tons of cars here. Too many, and too much free parking. But it's still better than most other places.

I actually don't think the Netherlands is "good" really, just that almost everywhere else is hellishly bad.
Contrarian view - the programs are working. Rates of smoking among teens over the past three decades:

Ever used nicotine: 70.1% in 1991 to 17.8% in 2021;
Occasional use of nicotine: 27.5% in 1991 to 3.8% in 2021;
Frequent use of nicotine: 12.7% to 0.7%;
Daily use of nicotine: 9.8% in 1991 to 0.6% in 2021

https://www.fau.edu/newsdesk/articles/teen-cigarette-smoking...

I suspect the same can be said for workplace sexual harassment and outlooks on diversity. I agree that the programs are dumb and the trainings are dumb, but they have an effect.
Likely because implementing it securely and correctly costs development time.
Would love to know more about their experience training on AMD GPUs. Was it just as seamless as using Cuda?
Yes, I was able to run inference on the unquantized model in CPU land on Apple Silicon.
The Billionaire Frank McCourt Mounts Bid to Buy TikTok
Haven’t read it, but society is quite changed in The Diamond Age, I think. In the protagonist even speaking English? If not, we could assume it is sort of “translated” into English (in the sense that most fiction that doesn’t take place on modern day Earth is).
https://en.wikipedia.org/wiki/Labeling_theory

It's not lunacy to think that labeling kids with "conditions" will cause them to externalize their locus of control in terms of those labels. And then it's not like the medical system is even that competent at treating less-subjective conditions.
> Apple could make ipad users more willing to switch to Mac from windows pc by making iPad more capable - but they are to greedy and too much focused on profit margins than growing the pie and revenue

Is it greed though? There are lots of people who _want_ a simple device like an iPad. Why force a more complicated device upon them?
The title in my RSS feed: “CPI for all items rises 0.3% in April; shelter and gasoline up”

The title I posted: “CPI for all items rises 3.6%; shelter and gasoline up”

I literally just replaced the monthly rate with the NSA 12-month one since that’s easier to understand. And I put 3.6 instead of 3.4 for the one that excludes food and energy.
Again, the need was not to implement an efficient sort. It was to implement an animation that pretends to execute an efficient sort. Also, quicksort gives a more interesting result visually.
Co-founder of OpenTofu here.

Second that. One of my colleagues is working on adding proper tracing to the OpenTofu codebase, to help understand the exact cause of failures.
The Friendship Theory of Everything
Switzerland is very expensive. A stolen bike won’t bring you much money by local standards (and the crime will be investigated by police).
https://archive.ph/2024.05.15-165633/https://www.nytimes.com...
It would work quite well if you put the board in prison though.
> The disorder that you dropped from "psychological" is actually semantically important, you know.

Lack of self control can be described as a 'psychological disorder'. Also you completely avoided the actual question :) - maybe try answering it instead of playing semantics?

> I'll be plain: you are terribly mistaken, addiction is a disorder of the brain.

So you replaced 'phsycological disorder' with 'disorder of the brain'? That's supposed to make your point less pointless?

> What moral failing do you assume people with mood or anxiety disorders have?

Again, nowhere did I mention the word 'moral'. Try to address what I actually said instead of imagining strawmen in every comment.

> If you were unable to get the hint from the other examples I gave

No, I didn't get any 'hint' from your pointless examples. You see, I try to read what you said directly and respond directly, without any imagined 'hints', strawmen, or meaningless semantic games around vague and ambiguous terms.
30s into the trailer you can see it's a cabover: https://www.youtube.com/watch?v=_25RK5GbJIc
One could make the argument that low interest rates suppressed the housing supply crisis.

Housing prices around me is up 25% since 2021 and show no signs of slowing down.

Interest rates aren't high by historical terms. They are about .75 points above the historical average.
I don't get it...

> With this Chrome extension, emails are not sent to any external servers.

Don't you have to send an "Unsubscribe" email? To an external server?

> All calls to the Gmail API happen locally on your device.

Aha, you mean in comparison to a "SaaS" where these things happen on a third party server...
At volume, the stamp tax on UK stock would be significant.

More fundamentally companies tend to be valued higher on the US exchanges, which gives companies a bit more freedom of action to raise capital from the market to fund their plans.

I don't think UK Gov will cry too much abount RPi. They certainly would be leaning hard on the board of, say, Shell, if that corporation decided to list abroad instead of London (as their former CEO has mooted).
Very cool. We do something similar by combining OCR along with accessiblity data and other data (speech reco et. al.) for desktop based screensharing understanding, but evaluation compared to multi-modal LLMs has not been easy. How are you evaluating to come up with this number "consistently beats multimodal GPT-4V/4o + webpage screenshot by 10-20%,"?

fwiw so far we've seen that Azure has the best OCR for screenshot type data across the proprietary and open source models, though we are far more focused on grabbing data from desktop based applications then web pages so ymmv
Most soil can be used for some type of farming with some help from fertilizers. Temperature and access to water is more critical. Higher CO2 also increases crops, in isolation.

We're also talking about a time span of 100-300 years. Keep in mind how much more efficient farming is now compared to even the 1950's.
Very nice work! I really enjoyed playing it. One little thing I noticed, at one point I wanted to exit the page and doing so on my Iphone was a little tricky, maybe adding an exit btn would help. Really fun game though, great effort!
> I’ve also been disappointed for some months to see how many people I respect (and some I don’t respect) have been using it/promoting it. Taking unapproved drugs is a bad idea, no matter what rationalist bloggers with MDs, porn star/escort/sex researchers, Twitter guys, or conservative firebrands who get sick immediately after taking the unapproved drug tell you.

The "rationalist community" has always been quirky and edgy, but iterations in recent years have felt increasingly reactionary and contrarian at all costs. Being anti-FDA has been a meme in the rationalist community for several years, especially since Scott Alexander (Slate Star Codex / Astral Codex Ten) started writing anti-FDA pieces. (Side note: The conservative firebrand they're talking about is a person who was caught using a pseudonym to post extremely biased, racist material, who has somehow remained prominent in the community despite the revelations).

This appears to have primed the community for "FDA bad" takes, which has triggered their contrarian tendencies to assume that anything that goes against the FDA must therefore be good.

A supplement maker publicly defying the FDA and pushing out a miracle treatment without the normal rigor of human trials and safety reviews is the type of behavior that would have triggered skepticism from the rationalist community. Yet because the community has been primed with "FDA bad, anti-FDA good" memes for years and the person pitching this supplement is vaguely connected to the rationalist community, this product has triggered a lot of adoration and praise from the community.

The product also exists in a space that is difficult to disprove: The effects of any anti-cavity product can only really be shown over very long periods of time in controlled settings. Anyone who gets a cavity while using this product will surely be dismissed as having a pre-existing cavity growing, or poor oral hygiene, or being a statistical anomaly, or any other number of excuses. At the same time, I'm sure we're about to hear endless anecdotes from people who have been taking the supplement and haven't had any cavities (while ignoring the fact that most people also don't get cavities in a given year, even without this magic probiotic).

It feels like the perfect storm for a grift, and this company is taking the lead and running with it. It's weird that a blog post advising some caution and skepticism for a supplement pusher making extraordinary claims who has refused to participate in the normally expected clinical trials. It's equally weird to see the self-described rationalist community throwing scientific rigor to the wind and embracing marketer's claims.

I don't entirely understand what's going on here, but I think it's strange that an article advising a modicum of skepticism for supplement pushers is now considered a contrarian take in the rationalist community.
Is there a youtube channel or something that does deep dives into antique source code like this or windows XP?
It's by far the best FFI implementation in the industry across all languages. You can even setup a GCC workflow to automate the bindings by stripping information from headers.

I'm disappointed by the FFI experience everywhere else, it makes you feel like you're doing software development in the stone ages.
droughts are here now and will get worse in the coming decade. the amount of energy required to melt ice sheets (if that's what you're alluding to) is extremely huge and while it is certain they'll melt in a business as usual scenario (and possible if we stopped all emissions now...), it'll take hundreds if not thousands of years to get there.

whereas extreme droughts are here today, now, as we speak.
You mean protection as in protection from intellectual property (patent) lawsuits?
I was hoping for a more thorough explanation for why this particular regimen is dangerous. Instead this is a rather lengthy essay which ultimately relies on the appeal to authority fallacy. Not to say I think people should just put random things into their bodies - It is indeed probably not the best idea.

That said, I'm not sure I learned anything new after reading this.
No, CoG has approximately nothing to do with it.

The problem with the Max is aerodynamics: Civil airplanes are designed with negative aerodynamic feedback, so the nose-down torque (“pitching moment”) increases as the AoA increases. But on the Max at very high AoA this feedback torque becomes somewhat smaller due to interaction of airflow around the engines and the wing. That by itself is not a problem because the nose-down torque still exists and airframe is still stable.

There is a regulatory requirement that the amount of pilot’s control force required to maintain a given AoA must be a non-decreasing function of AoA[1]. Due to the Max’s aerodynamics, this requirement is not met.

Boeing’s MCAS was a bandaid to make the plane meet regulations by applying nose-down trim while at high AoA. The trim results in a higher yoke force, so the plane meets the requirement. A better method would have been a “stick pusher” (which have been used as stall prevention devices for over 50 years, though not on the 737) or addition ventral fins (like on the Beech 1900). But either of those would have probably required recertification

[1] The purpose of this is to reduce pilot-induced oscillations: see what happened with AA flight 587, where the lack of a similar requirement for rudder pedals and yaw led to PIO which ultimately resulted in the tail falling off an Airbus.
This exactly. Every self replicating organism will eventually use all the energy available to it, there will never be an abundance. From the dawn of time, mankind has similarly used every bit of energy it generates. From the perspective of a subsistence farmer in the 1600s, if you told them how much energy would be available in 400s year they would think we surely must live in paradise with no labor. Here we are, still metaphorically tilling the land.
Definitely not a game
> , are there that many places a kid isn’t safe in the US?

It depends on what you mean by "safe".

In most of US "normal suburbs", your kid isn't likely to get like, murdered. But if they leave a bike unlocked and unattended for a few hours (the way the parent poster describes Switzerland), then yeah, it's going to vanish, even in many "nice" US neighborhoods.
Imagine Your Last Day of Work Ever. Here's Theirs
double slash in the shared link probably not ideal (though inconsequential)

https://www.silo.ai/blog/viking-7b-the-first-open-llm-for-th...
For companies like Pinterest, where data storage isn't the core business, should the focus be on building in-house data warehouses or leveraging managed service providers (MSPs)? While building in-house offers control and customization, MSPs can potentially address complexity and infrastructure costs.

Can someone from Pinterest comment on specific performance needs (SLOs) that influenced their choice between TiDB and other solutions, including managed services? Considering complexity and cost, could an MSP have addressed their needs effectively?
Do you have any sources for that?

I've worked for a hospital and I've never been able to find anything approaching a complete balance sheet. Financing it utterly opaque, but I'd love to have something solid before I accuse anyone.
IANAL, but I'm curious: could watermarking (or prefacing) such videos with a "deepfake" indicator diffuse the slander liability?
midwits below
And once everyone's walking around wearing welding masks, the dorky look of AR goggles will no longer hold back mass adoption.
I'm really excited to see the end-to-end state encryption. I've always thought it was bizarre that Hashicorp didn't prioritize this.
it's going to vary by country=currency, but 3% is a bit on the high side of what's desireable.

the most desirable feature of inflation would be predictability: if inflation in the future is reliably well known, then interest rates and budgets can be calculated and planned, no surprises.

but in general a small amount of inflation is a good thing in no small part because it forces prices to adjust across the economy, including prices for labor. this allows wages to increase more in sectors of the economy where demand is higher, while other wages will go down in a relative sense without actually going down which is very problematic because rent, car payments, etc don't go down.
The unintended consequences of new powerful weapons falling into the wrong hands and new trade technology are very old themes in fiction even if the specific technical details are not.
'Chelsea' Asked for Nude Pictures. Then the Sextortion Began
VoteMatch Europe
Stocism is interesting. Philosophy is much larger than stoicism.

The Analects for example.
A while back I remember AMZN recruiters seemed to call anybody who was rumoured to be able to code more than once a month. I'd see Ask HN's were somebody asked "How come I can't get any interviews from FAANG?" and I'd ask "You mean you haven't talked to an AZMN recruiter" and sure enough they'd talked to AMZN recruiters.

The people I've mentioned above who seem happy at AMZN have the common denominator that the AMZN job was a definite step up from what they were doing before.
If your use-case is "crop screenshots", your competition isn't Photoshop, it's MS Paint.
>I also think it's unlikely enough to hurt people that FDA approval shouldn't be required.

The author has provided some solid arguments that this is not the case. Why do you think so?
It isn't all about the traffic. Japan also enjoys famously low crime rates by almost every metric. The most dangerous parts of Japan are safer than the best low-crime neighborhoods in the US. This bleads into all aspects of the culture. People who feel safer themselves then don't panic as much about their kids walking out of sight.
> I wasn't saying that consciousness is the same as intelligence, it was just an example of how little we actually understand intelligence.

I would say that current AI's do have a kind of intelligence. It's just not generic enough that we label it AGI.

Add an ability to form, optimize an execute plans while also increasing the physical world model, and we're getting really close.

Both of these abilities are already being developed.
I can ask GPT 3.5 for the rules of tick tack toe and it gives a perfect answer. It clearly knows the game and its rules.

If you think this is just a lack of prompt engineering please provide a prompt that makes GPT 3.5 actually follow the rules of tick tack toe so that I may play a game with it.
I don't think so. Maybe I'm misremembering, but I distinctly recall when the Pi was first created, there was only one entity and it was non-profit.
Visualizing Algorithms for Rate Limiting
Nintendo isn't as hard on tracking people emulating older systems, emulating their most modern system is where they start to get particularly whiny.
Or I could use the tool I currently am. Your reply doesn't solve my use case it just says use yet another tool.
The Empire of Brittle and Shiny
In screenshots he uses Signal messenger to talk to the device. How this was achieved?
I fully agree.

However, the converse is also true: we don't actually know which protocols are there because they're social, and which are there to benefit the insurers. Both could motivate cost cutting.

I want to see the difference. I want whatever the full story is laid out in front of me.
Agreed.

Human factor here: Sometimes, change can be a good thing. You don't hear that instability can sometimes be a good thing.