skysight-inc/HackerNews huggingface dataset:
Hi, awesome idea! Right now we’ve built in the ability for users to assign a preferred order to each zerk that is applied to the grease run. Obviously this isn’t practical for users with lots of zerks (some of our customers have 1000s of zerks!) but being able to automate the ordering process using sensors sounds like a good feature. I like to think of it as the google maps of grease runs. In terms of mapping zerks in 3D space- check out ‘digital twins’, this is something we are keen to explore down the track.
> I have to drink bottled water for water quality reasons

Why is your water quality bad?
I think they’re saying it’s both. They work on a single monorepo. Other repos exist in the org but they do not interact with them.
> Though they also went back on that, which is just disappointing to me.

This is actually a pattern for Facebook. Something happens, they have a good point in their favor, then instead of explaining it they just completely ignore the best arguments in their favour and just grants the point. It is incredibly infuriating.
I suspect that pretty normal development using Python, Node, or Go would fit free tiers of various AWS services, provided they are not serving a lot of requests.
It means they can't exfiltrate the cookie, which I think is a pretty nice win, even if they can still perform requests to the domain with that cookie.

For one thing it means they're locked to my session.
How would they steal HTTP-only cookies this way?
Alas, there might be some truth to that.
Very cool! I live in a mining town and the number one issue is just getting the mines to adopt new technologies. A lot of people very set in their ways. I've heard of million+ dollar projects just sitting unused because people weren't bothered to charge an iPad.

Do you manage the installs, maintenance, and training yourselves? Have you had any issues with people purchasing the system, but not using it?

I wish you the best of success! It's a very cool field to be in with so much potential.
Oj supports a config file as well. .oj-config.sen. -help-config will describe it in more detail.
Sorry, you cannot take one example to prove me wrong as I didn't make claims about all reporting.

Btw, you cannot be sure it's accurate unless it's your field - you may like to google for Knoll's law.

I worked in media-related project, and have very clear understanding how things constantly getting warped for clickbaiteness, and to fit main audience tastes.

>The ideological exagerated attack

You're projecting here. I mentioned no ideological labels, and made no distinction on that grounds. I wrote about business incentives essentially. I'm also not sure if my view that media industry is not exceptional among other industries constitute an "attack" in any reasonable meaning of the word.
> we should fight fascist propaganda with all the the tools we can grab.

“What would you do? Cut a great road through the law to get after the Devil?”
Yeah I know what you mean, I have been trying physical excercise for literally years now, and everybody who says they enjoy it is literally full of **.

Everything I do makes me sweaty and winded, even walking.
I know there are other factors at play and everything, but I couldn't stop thinking about how nearly everything here could be solved with a monorepo
It happens. University of Texas. At least parts of the University of California system. UMass Amherst is a pretty good school. At least main campuses of the upper tier of state universities can provide good educations. What's probably also true is that you can go to Ohio State and either take advantage of it or cruise through partying and taking X for jocks courses.
you have damned us all
Nicehash (the app) is a convenience tool to manage miner executables -- it's mostly those that are flagged by AVs. You can connect most miner executables to Nicehash (the service) or other pools directly, and some are open-source.

For instance I GPU mine with https://github.com/ethereum-mining/ethminer and CPU mine with https://github.com/xmrig/xmrig, both built from source and I don't use Nicehash (the app). But I haven't looked at the source, so at some point I'm still trusting someone.
It may help that we bank at all of the same banks as Kraken, so most transfers are internal transfers. But even to outside banks, normally US wires should be pretty fast (usually within the day). It may also be the case that we literally wire millions every day on a regular basis, so our wires probably don't get held up at any compliance checks.
These really intense dreams, are you in control of the imagery, or is it something you are experiencing beyond your control? When I have intense dreams and try to control them the fidelity breaks down and I usually wake up.
Chia Plotting Basics
The 404s from Mapbox are for elevation map tiles over the ocean where elevation is assumed to be 0.

As you pan, zoom and change the time, the url updates so you can share a permalink with others and they see exactly what you do. It looks like somehow you got an invalid timestamp (NaNt should be a timestamp: 1614115393106t). Will dig more into this. Thanks.
My experience has been with their TVs, really poor experience so far. Software fails all the time (this is less than 1 year old), screen is black, needs to be rebooted to work again. Remote started firing multiple times at random too.
It was a culture shock for me as a Californian to visit Tokyo. In my mind cities are dirty, loud, and dangerous.

Tokyo despite being one of the densest and busiest cities in first world countries is incredibly clean, quiet, and safe.
Yep! Or go for miniKanren if you want something like core.logic, but outside of clojure.

Will Byrd has a lot of documentation out there. (Scheme focus of course.)

I think the easiest way for a programmer with a vanilla background to “get it” is here:

https://codon.com/hello-declarative-world
Running a local esbuild dev server with live reload
For me, a good start would be to provide evidence that people have had their minds changed because information gets discussed more. E.g. you could demonstrate that the qanon phenomenon became less popular, not more, after it began getting wide media attention. (Unfortunately in this instance the opposite is the case. You have an uphill battle ahead trying to demonstrate your position empirically.)
Crazy, noticed a traffic spike on my page from free-for.dev - and it's just one in a (very long) list. Must be a ton of traffic there now.
Linux support for Chromebooks is nowhere near as good as it used to be. I spent way too long trying to get sound working on a C302 with Ubuntu before giving up and going back to ChromeOS, and that's even got an x86 processor. I can't begin to imagine how bad the ARM ones are.
> I find the whole craze around cookies overblown. Your IP address is a relatively persistent cookie you can't clear. The only way is to prevent requests made to the malicious actors to begin with, with some kind of blacklist like what uBlock Origin provides.

In my personal opinion, no one should be connecting to the internet in this day and age without using a VPN service wherever possible.
This is an awesome tip though, thanks!
Young people don't have past work experience, hence the need for them to put themselves through a college to serve as a signal for what they might be capable of.

Obviously, once you have work experience and letters of reference, no one cares about your college. But you're not going to have that when you're 18.

University is also a social exercise, which can serve to signal that you are okay or at least exposed to the type of cultural norms that might exist at an employer that is already full of similarly college educated people.
I'm not sure I'm convinced that taking away anonymity fixes the problem. We have very prominent politicians who are driving entire political campaigns around this strategy of ignoring all fact.
Yeah, that's not how it works for a majority of jobs in America. I'm 100% sure that's true for top companies in world cities, but it just isn't true even in most of the top 100 cities in the US. And believe it or not, there really are top companies that look at actual accomplishments and skillsets and not your CV. Incredulous, I know.

You'd be very mistaken if you think there aren't managers out there with the power to do their own hiring. It's not hard.

Most companies are lucky if they can even find someone ranging from competent to excellent for a given role. It's hard enough to do that. And if you land on an excellent candidate, most don't know how to retain them, because it's not economically feasible to do so. They leave, because they're consistently looking to maximize their earnings, or they're smart enough to start their own business.
I do think Facebook has the correct direction on this.
One big opportunity for IDEs to explore is the code visualization. Especially in languages like Java the abstraction, decomposition, delegation are heavily used for (sometimes) good reasons but at the cost of simplicity, and it's more difficult to see what's really going on (compared to simplified spaghetti).

There have been some weak attempts in IDEs (e.g. auto generated UML), but it's not really useable. Closest seems SourceTrail but that has many issues ...
LA parents organize 'Zoom blackout' to protest school closures
Modules, Monoliths, and Microservices
> It may help that we bank at all of the same banks as Kraken

Sounds like a good idea. Do you happen to know if a list of such banks is public?
Huh. Not a single mention of the word AI.
Yes i believe AI refactoring/assistance will be awesome.
Also Rust. Please Jetbrains remake IDEA in Rust!
We need faster ide's and lower latency
Self-ad: check mine (which is also conveniently called Mine). https://losttech.software/Downloads/Mine/

I am considering to add a feature, that would pause when external sensor reports high temperature. But you can already hack around that by creating a background window titled "DON'T MINE" and setting the tool to stop when it sees it.
I've had several conversations with him about what he plans to do with his time after he retires and he doesn't know. He's actually said to me, "I don't know. What do you think I should do?". My dad loved his job and never really wanted to retire.

I was trying to come up with some ideas that were more than just idle consumption, like reading books or watching tv/movies because I imagine that will get old quickly. I was trying to think of less passive activities. He used to be a big pool player when he was younger and he said he might try to find some people to play pool with at a local pool hall, but he's had 48 years to do that and I think I can count on one hand the number of times he's gone out to play pool; so I'm a little skeptical that he'll do that. He's quite introverted and doesn't really look to get out much. In fact, he currently plays virtual pool online. But he only does that for about an hour a day and I don't think he'll want to fill entire days doing that. That's why I was looking for something maybe he can get involved in that he could do from home and would be both creative and challenging, e.g. open-source. I also thought doing something totally new might be fun for him.
Except the items you cite are done on a fringe. Almost half of America is conservative, hardly some fringe.
> I'm not sure how that demonstrates QAnon members are not generally trapped in right-wing echo chambers. Are yoga practitioners exempt from right-wing echo chambers?

I suppose a significant number of yoga teachers/influencers could be secret dittoheads, but the idea kind of beggars belief.

One of the interesting things about QAnon is that it offered on-ramps to groups outside the stereotype of people would go for such a theory (e.g. "save the children"). People in right-wing echo chambers were definitely more susceptible, but it's a mistake to be reassured by that.

Also, particular echo chambers aren't some kind of primordial entity. They start all the time and they often grow. So even if something like QAnon requires one, that just means there's one more step.
"Metagame thinking" is really interesting. There is a definite sense in which you get inside the implementor's mind to try to figure out a game, including the balance they programmed into the game, and the shortcuts they must have taken.

But there's other facets besides this description of what Thief might do. A lot of a game is aesthetics, visual details that don't affect gameplay at all. There are behavioral aesthetics as well, which can be more incremental. They don't have to interact in clever ways with gameplay. They don't have to be resistant to the player hacking the system.

Small cases might be the way bystanders react. Or conversations you might overhear. The backstories of Dwarf Fortress are like this.

But there is a danger you are creating a pretty but ultimately annoying facade on a very fixed system. Games that put fancy conversation in front of a store interaction aren't fooling anyone. Still, if you can invoke an emotional background to a game I think it would be meaningful even if it doesn't significantly affect the optimal gameplay.
Apologies if my comment was dismissive. This is an impressive project!
Modern day [public transport could use this in spaeds for morethan just greasing...

If you have maintenance RFIDs that alert to when action should be tacken BEFORE it has to be taken - you will instill confidence and reliabilaty into whatever system.

It would be wonderful if you open source access to your data regarding the frequency of maint to a vector of injuries/job loss/production downtime etc...

And provide the definitive source for how effective such a product is in whatever market.

The RFID gasket thingy you describe might well revolutionize the automotive market in general - but I would suggest focusing on getting those bitches into the giant CAT mining dumps post haste - heck, they spend $70,000 on a single tyre - so getting that readout on an engine might be bank.
You are correct: the way ComputeSharp works is that there is a Roslyn source generator that rewrites the shaders at build time from C# to HLSL (mapping types, methods, intrinsics, etc.), then shaders are compiled and cached at runtime (this gives the library some additional flexibility, like being able to have shader metaprogramming too, ie. capturing delegates in a shader to compose them dynamically) and then dispatched on the GPU.

ILGPU basically does more things to just make your code well optimized from what I can see (with its full JIT compiler, like you mentioned), whereas ComputeSharp is more about letting you write a "C#-ified HLSL shader" that is then run as is. So you could say it's less forgiving but might give you more control (as in, you can basically port GLSL/HLSL shaders directly to C# and run them in ComputeSharp with almost no code changes (see https://twitter.com/SergioPedri/status/1363869460793335811 or https://twitter.com/SergioPedri/status/1364210592760872960).

Also as I mentioned before, which is one of the key differences (which is cool, I love that the two libraries have a very different structure and key features!), ComputeSharp is tightly coupled with DX12 APIs, which gives it some extra features like textures and automatic pixel format conversion, and makes it very easy to interop with other DX stuff (eg. to use a swap chain panel to render a shader to a window, like I do in one of my samples).

Goes without saying, I think ILGPU is a really cool project! I will definitely need to find the time to have a more in depth look at it, I'm sure there's plenty of cool things I could learn from that.

Cheers!
That credit would be great... Just checked, I bought it from Amazon. Too bad...
Do average people really know any famous violinists?
Why is it worth protecting speech that is knowingly false and inflammatory? Think about the paradox of tolerance. True free speech is under threat by the torrent of misinformation and from the constant assault on the very idea of expertise. We as a society have to be active agents to counter misinformation, we can't just sit by and hope it works itself out in "the marketplace of ideas" because that's not how misinformation functions. This is not a new problem, but the internet gives it a new scale which we have yet to reckon with.
> 1) s-expressions also have native symbols whereas JSON has only strings

The only standardization effort of generalized s-expressions that I know of is http://people.csail.mit.edu/rivest/Sexp.txt, which makes strings and symbols/tokens equivalent.

Most languages do not have a runtime symbol table or the concept of a symbol as a data atom. In languages outside Lisp, what would a symbol even mean?

> extend existing s-expression parsers to parse that extension. It is much, much harder to add symbols to JSON

This sounds like a form of "No True Scotsman" argument. If you're extending S-Exp parsing via Lisp, then you can extend JSON parsing too. Once you add code, then it's not a format. It's whatever you want it to be.

> Extending that to a generic dictionary (using, say, #D(key value key value ...), which is actually available) takes about three lines of code.

Three lines of code in what language? C? C++? Java? It should be obvious you're conflating two things here. Generalized formats vs. a full Lisp ecosystem.
Square buys $170M worth of bitcoins
I guessed GPT2 each time, 200 times in a row and only found that GPT2 was correct 89/200 times, so about 45% was GPT2 for me.
So how does "more people voting" lead to single-party dominance? I only see one party working for that goal, and it isn't the Democratic party.
> kernel developers will bitch that some of the code is there just to connect to blobs that aren't free

That seems like a completely legitimate complaint? The whole point of upstreaming code is making it so that the device stays stable, current, and secure. If you just shove all the important bits into a userspace black box that can't be audited or updated, how much did you really gain?
> I think it's disingenuous to paint the entire "other side" as unreasonable, but I may be misinterpreting what you mean by "other side" here. There will always be unreasonable people, and I don't have a solution for them. However, I think _a lot_ of people are very tired of being demonized for disagreeing. Not every republican is a rabid tea partier, and not every democrat supports antifa.

There's a lot of fundamental issues that are just not limited to "rabid tea partiers", global warming and the pandemic/masks just to pick two.
Right. So it seems like if I were going to do it, it would have to be based on things that happened before any announcement. Like account age, comment/submission activity prior to announcement, etc.
I skimming through it. I wonder if people prefer this or kanren over good old prolog.
> That's interesting, because the marxist, separatist, feminist utopias of the 1960s, which valued the collective above all else, followed this form of speaking. A stick would be passed around the group, and the person holding the stick was the only one allowed to speak until they wished to pass the stick.

AFAIK, that was most true when those organizations were in the “forming” stages as part of the shared process of building and getting buy-in on a new community, but generally faded in the groups with any longevity either through formal abandonment or because informal norms governing surrender of the stick evolved as groups matured.
That's just you hand-waving. Does Apple or any other computer maker offer an explicit end-of-updates policy?
Interesting, I guessed GPT2 each time 200 times in a row and only found that GPT2 was correct 89/200 times, so about 45% was GPT2 for me.
Agreed on the loud exhaust ban, thanks for clarifying
I think there is a misunderstanding here. His overall energy consumption has gone up, it is only the heat pump the uses ~50% less power now. His home overall used more electricity than when he started because any saved electricity is used to power the miners.

This is corroborated by xenocyon's comment: "One kWh of electricity could either be used for mining bitcoin (creating at most one kWh of indoor heat), or it could be used for running a heat pump[*], yielding multiple kWh of indoor heat due to the magic of heat pumps and their >100% 'efficiency'"

At the end of the day only the costs of heating were reduced, not the overall electricity usage. I'll admit, this mining setup is far more efficient than most because they use solar power in the summer and in the winter miner heat is used to reduce power needs for the heat pump, but there would be an increase in global electricity usage if this were more popular.
Ask HN: What tech stack would you recommend for a single-page web application?
I am developing a web application. The users of this application will be mostly from well-to-do background. So the devices they will be using, to access the application, will be latest. Hence old browser compatibility is not the requirement. What tech stack would you recommend for a single-page web application in this case?
Why is the only other option to rewrite VSCode? How about another editor? Vim, <space, doom, etc>emacs...?
The link provided takes me to a "Test server", and an abstract titled "Inconsistency Robustness in Logic Programs". Clicking on the pdf download link returns "Not Found". Searching arxiv for "middle history of logic programming" produces no results.

I would really like to read more about Planner, but I have had no luck searching for this paper.
I completely agree with these points - but that's not what I'm saying. I'm saying what do you do when your partner in debate completely ignores all of those things, but has equal say in the outcomes?
> Almost all fiat deposits into Bitfinex create USDT.

As a matter of fact that is NOT true. (speaking as a crypto hedge fund manager, active since 2013, and trading > $1B/month on all major exchanges). It used to be like that in the past (when USD and USDT where one just represented as "USD" on Bitfinex), but this changed a year or two ago. Now, USD wires are being credited as USD and USDT deposits are being credited as USDT. And there is a USDT/USD market on Bitfinex to exchange between the two.
PyPI XMLRPC Search Disabled
Are you competing with equipment manufacturers at all? I worked with one big manufacturer briefly, and they were cramming telemetry and electronics into everything they could, so they could provide this kind of cloud-based preventative maintenance service (although i never heard anything specific about grease). Is there a chance you eventually won't be able to sell because machines already come with grease intelligence built in?
My 2 cents on this - I have used the Oracle Cloud free tier trying to get the VMs running. The default resource usage seems higher than what you would get on Hetzner/ionos/digital ocean and the resource monitors are a good chunk of that usage. Configuration was also considerably more difficult for someone with little experience such as myself... Achieving the same task (setting up a BookStackApp server) took considerably longer than it did on most services on which you pay.

What I'm trying to say is that you do get what you pay for (or don't).
Maybe "agreement" isn't what I meant as the goal - only progress. Fair point to address that they're not equal.
Beeple Mania
The downvotes probably came from non-slavic readers. I read it as Murus too haha.
while communication skills are essential, needing a theatre program is a stretch.

Students should just join a toastmasters
One of those three is not like the others. Prolog is homoiconic. JavaScript programs are not JSON. Parsing Prolog terms is easy. Parsing JSON correctly is very difficult: http://seriot.ch/parsing_json.php
Static data, cacheable by a CDN, by definition cannot have any personalized content - activity from your connections. Sure, they can have a generic welcome page, but that is about it.

Moreover, anything complicated that activates only once a year is likely to fail miserably as well.