skysight-inc/HackerNews huggingface dataset:
Great. So you managed the easy part - to scale your screen.

The elephant in the room that you still ignore after several comments in this thread is, that the display manager cannot know magic variables for misc clients, it can barely tell clients apart (and it certainly doesn't know their image names, linked libraries or environment or how they were launched), and it shouldn't know, the clients should tell what resolution they are using so the display manager can adjusts their display. Wayland clients do that, X11 don't.

No, you can't paper over it with some scripts. Suggestions like that always remind me this: https://www.youtube.com/watch?v=ZTdUmlGxVo0
All the fingers in the pictures look rather off and also the left eye (edit: left in the picture) of the dog looked rather scary.
Seemingly the confusion is due to the multiple meanings of the word "return" here? One can visualize the annotation as [[aborts]] or [[terminates]], rather than "doesn't return".

This is also why there's very little point to introspecting the presence of this annotation or even overloading based on this annotation.

Discussing whether a function which always terminates "returns" or "not-returns" an int is as useful as discussing whether a function which is never executed returns an int. The semantic analysis is rather clear in both cases.
A brief description of some of the applications of methanol from the Methanol Institute:

https://www.methanol.org/applications/
The question is a bit to general to come up with non simplistic advice.

Sticking with what you love sounds like a better, healthier source of motivation.

Look for opportunities to combine what you want and what's relevant to others.
Will we ever become homo conscious?
Yup, exactly :-D
fifteensquared.net is great for explained answers, see eg http://www.fifteensquared.net/2018/03/09/independent-9798-ph... for the WINDMILL explanation.
Andor64 – 8-bit computer built from TTL ICs, custom ISA, LCD, sound, 2x joy
Things I'm wondering:

At scale, could it be cheaper to convert methane to methanol for export, compared to exporting LNG?

Would it be difficult to convert chemical plants using methane feedstock to use methanol instead?

I'm assuming natural gas power plants wouldn't be convertible, but coal plants maybe would. What would that cost?
Well, my coworker's wife wound up in the hospital because he brought covid home, and I don't want mine to. I wear a mask, he never did. Case load hasn't dropped much yet.

Also, even if I didn't care, there's no guarantee any of the politicians will meet me maskless yet.
I don't understand why Tesla is so hellbent on their autopilot dream.

To me it seems that their competitive advantage is their battery technology. That is where their R&D should go into to keep that advantage.
I did use several smartups ones at 1500VA, and the metal construction was full metal, passive cooling on the interior with ample empty space, nice battery connections. At work we have larger APC racks for server backup and so far we didn't really experience problems. But the larger enterprise sector seems to be quite different than the consumer sector.

As I wrote before, I'm not powering servers and I actually went the route to place a smaller ups close to each load individually to avoid single points of failure and also avoid complicating central cabling. Just because I'm going for smaller sizes it doesn't mean I'm trying to cheap-out, quite the contrary.

For the smaller power lineup, APC definitely is not better than cyberpower in my eyes. In fact, the back-ups rs line is almost twice as expensive as cyberpower and I'm not really satisfied at all. The cyberpower unit has actually sine wave output for the same cost, upregulation works even at very light loads, and it's also a much quieter unit compared to the APCs when idle (when driving load both units buzz loudly). When having several in the same location, this does make a difference.

Opened up, both have the same quality of construction. Which is probably adequate, I guess. But having a metal shield around the battery would have been sensible.
These are very good parameters for encouraging positive discourse.
and averting dull discussion that descends into a game of Top-Trumps -
I play my ideological card, you play your idealogical card... ad
nauseum.

I'm not sure whether predictable, emotional and polar qualities are
necessarily intrinsic to "ideologies" in the broad sense. Novel,
calmly reasoned and nuanced commentary could be offered in support of
positions so labelled. But I get your drift on "touchy topics that
people are prone fly off the handle over". FWIW I think this has more
to do with stated identity than abstract modes of thought these
days. As a moderator I guess one gets a sense of the dynamics of a
thread and when it's going to tip in a bad direction.

As I see it, we've come through, and remain in, an interregnum for
perhaps 50 years, in which the word has become dirtied by the failures
of political and religious practices. And also by incessant and needy
"wars" on <the next terrible thing>. A thematic analysis of news from
the past 20 years would surely place "ideology" in close proximity to
words like "radicalised" or "extremist". That is parochial.

As a sceptic I'm possessed of a meta-ideology - that ideologies in
themselves are healthy. We can have ideologies like economics, belief
in space-faring exploration, benevolent technological society,
self-determination in health and preventative medicine, and other
powerful ideas which, in this forum, would be inarguably deemed
positive. Perhaps, unless we propose abandoning thought as a way of
being (in a Buddhist sense) ideology is just the inescapable waters in
which we swim.

I guess what bugs me is if people use "ideology" as a bare, dismissive
accusation that attempts to cut-off further dialogue. If everything
and anything, including scientific method, can be an "ideology" it
ultimately adds nothing to the conversation.

respects
Meanwhile I’ve had a dozen Facebook recruiter reach out and desperate to hire. Let’s see if that finally changes.
>Her brothers were 50% less likely to enter parliament

>...

>Constituencies that were no longer represented in parliament by the local peer were much less likely to oppose the introduction of state education

Women of the peerage take lower class husbands, sullying their family name. Their brothers lose their bids to enter parliament to people outside the peerage. Critically, those outsiders support educational reforms.

I'd be curious to know why the peers seemed to be willing to support outsiders over peers who had sisters with "poor taste" in men. Wouldn't such snobs prefer their own kind, however tarnished, over outsiders? Then again, the bitterest feuds are within families or between religions that are barely distinguishable from one another. Perhaps total outsiders were vastly preferable to peers who were letting their class down. If true, the peers own snobbery bit them in the arse.
> What is the reason we're not just growing a bunch of methane monooxygenase and using it to convert methane?

Probably the same as every other eco-friendly "get rich quick" scheme - the precursors are relentlessly unpleasant.

"So all you need to do is take your water and yeast and cellulose and put it into a container, then slowly add the uranobenzene and methylated lead, bubble some nickel carbonyl through it, and gently warm it up to 900°C..."
You can do headless browser testing with virtual screen, that doesn't need real one.

For corporate uses, you can use something like vPro and it's remote access. It works independently of the OS (and by default expects user consent too).
This implies that the discovery of math and the existence of math ultimately comes down to human taste and can only be learned by studying humans. I'd like to think human reasoning is a crude approximation to mathematics in all its glorious purity, not the other way around.
Earth atmosphere is 21% O2 vs. 0.04% CO2 (up from ~0.03% CO2 prior to the human era.) Had all the gigatons of CO2 pumped into the atmosphere by human activities instead been O2, the effect would be negligible.
Decorate Your Blog with AI
You don't observe a theory. You build an experiment which will either confirm or discard (falsify) the theory, and observe its outcome. The theory remains a theory even in the positive outcome, for it can still be further falsified by other experiments.

(and yes it is impossible to build an experiment for string theory so far with energy levels humanity possesses)
Your user account may be old enough to be grandfathered into a lower obnoxiousness setting.

When migrating from Android to iOS 1.5 years ago, I decided to set up a fresh Feedly account linked to the Apple identity instead of the Google identity. My original Feedly account is from circa 2013. As it turned out, I could not set up my feeds in the same way as on the old account because the free tier now caps out at 3 categories (or sections or whatever, the things where you group feeds into). On my old setup, I have 5 or 6 categories, also on the free tier. So I think there's some amount of grandfathering going on.
C++ requires a lot more code because it is so clunky and inflexible. Swift is just a lot better language which is why you can get away with much shorter code for the same functionality.

I spent 15 years doing C++ and read so many books but always felt the language would get in the way. When switching to the Swift stuff just worked the way it should. No need to read tons of books to find clever tricks to get around inherent limitations of C++.

C++ was good for it’s time but it is strange that people think one cannot radically improve on what C++ is with newer languages. It is tied down with backwards compatibility with a 50 year old language.

That had lots of advantages, but downsides has caught up with advantages.
I prefer addressing issues at the source. Mental gymnastics are for the guilty.
It is named after Prof Satyendra Nath Bose. A physicist and true polyglot from pre-independent India. He was in his twenties when he figured this out. Of course never really received any larger fame, as is customary for Theoretical scientists from South East Asia (well most of the time) but if anyone is interested here is the story - https://en.wikipedia.org/wiki/Satyendra_Nath_Bose
Seems like an opportunity to create an FM Global like company for home insurance.
Basically their business model depends on combining engineering and risk analysis.
I would assume all the methanol produced this way is burned, taking the generated O2 from atmosphere to CO2.
Can you share some experiences like response times etc? Did you use Swift or the Rest API?
Not sure . the amount of sunlight you get decreases with radius^3 and already at mars it gets quite low. Any planet beyond is probably not going to cut it.
I love this response. Deflates the enchantment right out of Borges' library (and Nietzsche's eternal return, and fantasies about mystical significance of pi), which always bothered me somehow anyway.
Such a high level makes the terrifyingly large insects of the dinosaur era possible again
How do you collect the methane though ?
i think parent refers to the sabatier process, so the source of carbon is concentrated CO2 externally provided, not from seawater
Have you ever heard of someone in US revenge killing a cop after said cop killed/shot a baby?

Quick google ~one year back brings plenty of victims.

https://edition.cnn.com/2021/03/16/us/houston-police-shoot-b...

https://www.wlox.com/2021/05/05/coroner-infant-died-after-ca...

https://www.nj.com/mercer/2022/02/cop-charged-with-killing-h...

https://en.wikipedia.org/wiki/Killing_of_Aiyana_Jones

No revenge. Turns out people capable of killing either are already part of Police force, and/or are too insane to think logically and lash out at innocents.
Now we need another step to efficiently convert methanol to ethanol.

That would truly be a "holy grail" - from methane gas to alchool :)
In Belgium they use https://www.itsme-id.com/
i don't think it's sensitive to this kind of attack.
It doesn’t matter how many notifications you give the average user if that’s your argument
> the advice at the end ("know your acquirer") is pointless

Agree. It's impossible to really know your acquirer unless they are a bigger publicly traded company. Every acquirer puts their best foot forward, talks about how awesome their culture is, and how they are going to do all the things to help you grow faster. IME, it never works that way.

> the moment you sign the contract start counting the days left in your retention agreement and quit right after.

That's a bit too cynical for me. But, you do need to answer some questions, do you want to be an employee? Are you ok not being the one in charge? If you got a decent payout in the acquisition, you have a lot of freedom in the new job if you want to try to keep things going.

One other thing to note, is that many times companies can be spun back out. I know multiple founders who have had this happen.
The octopus dreams of crabs
I think the majority of gas, at least in EU, is burned in residential heating units. Even assuming new burners that would work with methanol, I don't think you could send that through the existing gas pipes.
Atmospheric O2 is about 21%. CO2 is about 0.042% currently. It's 2 orders of magnitude difference, which is also why human activity can have a relatively large impact on CO2 concentration.
I'm skeptical, correlation not being causation and all that, but nevertheless I think there's an optimistic message here. The social structure of the bourgeoisie is, in fact, fragile, and that can be used to our benefit.

We don't have to use guillotines if we can, with much less violence (ideally, none at all), destroy the upper class's ability to function as a class. It's not that I care either way for their lives on an individual level; but, as a student of history, I recognize the horrible downstream costs of even justified applications of violence. This is doubly true in the US, where it's the biggest assholes (the far right, many of whom openly fantasize about a bloody civil war) who are most prepared to go that way.

It will not take a whole lot to destroy the elite's ability to function as an elite, and once that is done, they are nothing but a deservingly disliked tiny minority that have lost the support on which they rely (both individually and collectively) in order to function. In practice, the efforts will probably not be entirely nonviolent (they will certainly be unlawful, and one must be prepared to return fire when fired upon) but the bloodshed can be kept to an absolute minimum so long as focus is kept where it belongs.
What you would put 100% of your effort on, if you had FIREd?
Most people become relevant because they enjoy their passions so much that they get really good at it. You’ll never be as relevant at something if you don’t care as much as someone else about it
I was wrong, the methane capture that exists is methane from the manure.

https://www.npr.org/transcripts/1077235578
Why in the name of science is this being downvoted?
re: The people who'll appreciate and tolerate your MVP, are a very small subset of your target market that have serious pains to address and/or substantial gains to be made.

I guess the real problem is how to find these small group of potential passionates for your mvp
It's funny that always when email fails, the next word is gmail, maybe go away from that wannabe email service? And no dont tell me a private server is impossible, i manage more then 150 (from different customers) of them and have zero problems with delivery to gmail ms etc, but yes you need to veryfi your domain @ google and microsoft.
You're converting Sea water to water (desalination) and then do electrolysis to get H2. You need to get CO2 from somewhere, you can use Direct Air Capture technology to get it from the air. Then you do this:
https://en.wikipedia.org/wiki/Sabatier_reaction

This is all known technology, the problem is it's not very efficient. Ultimately the discussion in climate tech circles these days is usually that most people think you'll rarely ever do this. Whenever you can you'll use something more direct, like using Hydrogen directly as an energy carrier.
A child is still your child, even after they turn 18.
‘Where there’s bodies, there’s treasure’: A hunt as Lake Mead shrinks
We still use that tool internally at Google, and we do have some of our open source projects browsable like:

https://source.chromium.org/chromiumos/chromiumos/codesearch

https://source.chromium.org/chromium/chromium/src
Nowadays, technology firms are going to the extremes like implementing virtual machines with a custom instruction set inside of PDF files [1], so they can sell exploits to governments who use them to spy on their enemies.

I think not much has changed. Highly sophisticated spying activities are still happening in today's world. The advanced techniques required are very valuable, and are thus only used in cases where the desired info is valuable enough, and cannot be obtained through simpler means.

Users voluntarily sharing "a ridiculous amount of information" are not the target group of today's sophisticated hacks, and were not the target group of the Selentric bug either.

[1]: https://googleprojectzero.blogspot.com/2021/12/a-deep-dive-i...
I don't think "the government" is /just/ a set of people that changes over time. Government, based on the people who were previously in it and incentive structures, change/enable the people who are in the government to varying degrees.
SEEKING WORK | REMOTE

We are PG Support, a small team of highly skilled and experienced PostgreSQL consultants. We provide PostgreSQL support and services.

Excerpt of what we have done recently:

* Tuned PostgreSQL databases for high performance, including server configuration, query tuning as well as application architecture design. Achieved 50x transactional throughput as well as lowered cloud infrastructure costs by 25 %.

* Identified top 10 queries with highest performance impact. Tuned database design and queries resulting in 30 % reduction in overall application response times.

* Implemented streaming as well as logical replication with lots of customers.

* Security review of PostgreSQL and application architecture. Identified several critical security risks and implemented mitigations for each of them.

Let's have a call.

Location: EU / Denmark / Copenhagen

Email: info at our website domain.

Website: https://pgsupport.dk/
You grow up and learn to accept that there are lots of unsavory things in this world. Part of being mature means facing difficult things instead of hiding them or running away from them
This is an issue with Ruby's YAML implementation. YAML 1.2 processors should interpret documents without YAML directive as if they were YAML 1.2 documents - see https://yaml.org/spec/1.2.2/#681-yaml-directives.
No consumer chipsets that I know of allowing drifting the clock to match an external clock source so PTP is a non starter. And I've not seen many pro sound cards with drifting support either.
I.. don't get the gist of the article.

It seems to show that the author likes to use the git commit hooks to run linters and unit tests. Which is ... debatable, but the real question is: why does this should affect CI?

I understand that discovering a problem during the tests after the code landed on main branch is ... disconforting, at best.
I also understand the frustation of not being able to commit your changes in a precise way because the git hook required you to also touch other stuff.

What I don't know is why can't we run the CI on a merge-request flow, on the beefy servers, without blocking the local commits, sharing feature branches any time we want, and be checked only "when ready".
FWIW I worked on a project set up this way, with a jenkins job starting each time a MR was made, where the branch is applied "locally" in the main branch and the tests run, and a (needed for actual merge) approvation obtained only if the tests passed.
They are testing how far they can go and see how they can curb protests.

My 2 cents
There are specialised tools in all kinds of industries that can be considered unconventional or even alien for by a regular consumer. Even things like industrial dishwashers are very different that the regular household ones. Most of these are not even custom made but simply designed for different needs alien to typical household needs.

The spycraft gadgets, I believe, resemble industry-specialised tech. When you don need something custom there are engineers and companies that can build it for you.
You can go a step further. Instead of merging anything, you can tell the ci to merge it. Then ci can make a "merge-test" branch, run all the tests on it, and if they pass, then ff-merge it to master for real. No need for "good chance" or rebasing just to keep up with master.

It does take some extra work though, because GH and others don't really support this out of the box.
Or just have a way for a chipset to expose it's clock instead of all the methods people use to guess using buffer fullness.
Found this for cows' burps

https://www.zelp.co/
The problem is not the 60s, but the 70s and the 80s when the other partner is a lot younger. I’m sure a dad can be loving whatever his age is.
"The Web Audio API exposes access to the audio subsystem’s hardware clock."

I can't speak for Windows and Mac but in ALSA this isn't possible.
I went through a phase where I was getting 4 or 5 phone calls per day, mostly companies doing strange surveys. I used to amuse myself by using a d20 and googling for top 20 manufacturers in different fields. What car do I drive? Pick from a list of phone manufacturers and so on. Spent the whole time sounding interested, friendly, and only occasionally pointing out I need to find my dice. The calls started drying up pretty quickly.
Show HN: Desklamp – convenient and collaborative notemaking on PDFs
Hey HN!
I'm Prajwal, the co-creator of Desklamp! I just completed my undergrad, which is where we got the idea for Desklamp.
A bunch of friends and I built this because we hated the experience of studying on our laptops. It was boring, and we found ourselves staring at the screen for hours on end with no output to show for it.

To make reading more engaging and to make sure we could remember what we read, we built a note-making system integrated with a PDF reader. The aim is to encourage you to make notes! LaTeX support, clipping out sections from the document, linking notes to sections in the PDF - everything is designed to really make sure you have no excuse to not make notes as you read.

We've also added a lot of fixes for minor inconveniences (scrolling across sections, hitting the wrong page number, light mode, viewing your highlights at a glance). And all of this is collaborative, because that just makes notes even more useful.

It's free for a while - we want to know what the rest of you think! Feedback can only help us make this even better. It's available as a web-app and a desktop app for Mac and Windows (Linux users, mail us, we're operating on a very closed beta right now).
I remember the web being scary more than anything in the 56k days. Viruses were something you constantly thought about on any site you didn't know well.

Now we just have data collection, which is I suppose theoretically pretty scary, but not an immediate concern at the moment for most people, or at least not a big enough to change people's behavior.

I also remember it being a bit slow. Sometimes a lot slow. And media being obviously near unusable.

I'd definitely take almost everything about the modern web over the old web. Except the content, which was way better back then, and endless scrolling, which is ass. I strongly suspect the two may be related.
Great answer thanks. Yes this makes a lot of sense. My understanding was that TLA+ also supported theorem proving but it sounds like it is more used as a model checker in practice.
You can also use the uBlacklist extension which supports many websites and can block arbitrary domains.
It's quite hard to lose a Duolingo streak
Your electricity bill will be high if you leave it on all day