skysight-inc/HackerNews huggingface dataset:
Surprisingly, for many problems (including travelling salesman), Sat solvers are very competitive. I research in this area and it is a constant source of annoyance when you come up with a clever special algorithm which then gets beaten by translation to SAT.

SAT particularly exceeds when you have side constraints. Imagine travelling salesman where you have to top up petrol only in cities, or where you need to sleep at night, or some roads are slower at rush hour, or you have a particular place you want to be at a particular time/date.

A specialised travelling salesman solver would be useless for any of these. Adding side constraints to SAT is simple.

In general, I wouldn't try to write sat models directly unless you are writing a logic problem. Consider looking at conjure ( https://github.com/conjure-cp/conjure ) which adds a nice language on top, and get target various NP complete solvers, including Sat (which often is the best). (I'm one of the minor conjure developers)
Yeah, I’d much prefer a traditional sub interpreter or isolate design with shared nothing than the current „raise an exception if shared non frozen objects are touched“.

It’s much easier to map existing multi process code onto shared nothing sub interpreters.
I think its more the removal of the compiler from a default installation that has killed programming for kids. If the major OS's still shipped with tools onboard (i.e. without requiring an additional install) that enabled development out of the box, the barrier to entry would be lower.

As it is however, developer tools are a multi-billion dollar industry, and there is very definitely a desire by all the players in this space to milk it for every penny.
I'm not a professional so what I'm saying could be stupid, but I don't see why anti-coagulant medication has to act globally in the organism for something that is a localized issue. I realize the circulatory system is not segmented, however couldn't there be something to be done with the time of action of the anti-coagulant? From my vague recollection, clot formation has something to do with turbulent flow post-valve as well, so improvements might be made in this area as well... try getting a fluid dynamics expert in the team that designs the valves, and I'm not joking.
FWIW.
Show HN: Heroes and Merchants – Fantasy Crafting MMOG (Mobile)
Hyper specialized internal med sub-subspecialist here.

I unequivocally agree with GP poster about the value of generalists. The systematic devaluation of internal medicine physicians (by this I mean not ABIM subspecialty boarded) is a tragedy.
It sounds like you should be able to transform the tree into a graph that encodes every possible intermediate state and use a path finding algorithm to find the shortest path from "nothing delivered" to "everything delivered". A* might work well since it sounds like you can fairly easily calculate a minimum bound for the cost to get from anywhere to the "fully delivered" state.
I wonder why the fediverse decided to deviate from the email syntax.

It's anecdotal, but when I tried to push for ActivityPub the major source of confusion was the prepending @: once I started aliasing <account>@<instance> to @<account>@<instance> everybody stopped asking.
In my experience, if you're going into security, it's good to have a solid foundation in either networking (routers, firewalls, switches), system administration, or software development. In your case, being a software engineer allows you to tweak, improve, or write your own tools. For example, some security tools have a hard coded HTTP User-Agent string that is flagged by security devices as a "hacker" tool. If you know how to go in and change it, it makes you harder to detect (assuming you're doing an ethical pen test / red team engagement).

Check out Hack The Box (hackthebox.eu) which are a bunch of vulnerable virtual machines that can be hacked. It's totally free. The Offensive Security Certified Professional (https://www.offensive-security.com/information-security-cert...) is the gold standard in terms of getting a cert. You get 24 hours to exploit 5 boxes and elevate to admin/root.
Remember xna? How about Silverlight? Where is Windows Phone?

You see, they don't have the courage to admit defeat. Just let it die and pretend it never existed.
Not to mention that Unicode has several delicious varieties of invisible non-breaking, zero width spaces and shy hyphens to choose from! (Oooops, I mentioned it.) Tastes great, less filling, and perfectly justified!

https://en.wikipedia.org/wiki/Non-breaking_space#Width_varia...

https://en.wikipedia.org/wiki/Zero-width_space

https://en.wikipedia.org/wiki/Soft_hyphen
This whole premise that one can generate profits out of AGI is ridiculous.

If AGI comes to fruition, it won’t be working to make profits for anyone.

The idea that we would end up with a Friendly AGI that would prostrate itself to the destructive Super Apex Predator of this planet is laughable.

That AGI would work diligently to pay investors off 100x is..well..a lame duck that won’t take off...it cant even barely limp, never mind fly.
Google is not a company that has such hard lines against employees. Fostering a "culture of safety" is very important to tech companies, and if a protest of 100 employees was met with their dismissal, it would have ripple effects on all the rest of the employees.

I personally never interviewed at Google, but the damore scandal was a pretty big dissuasive for me to attempt to get one. It does not look like a safe space to me.
There actually are studies showing pain killers work for mental pain and anxiety too, not just physical pain. E.g.:
https://www.sciencedaily.com/releases/2013/04/130416085431.h...

So I wouldn't be surprised if it helps you sleep, especially during stressful crunch time periods.
Do not make the mistake of undervaluing experience gained from an unbelievable number of hours in cognitive specialties as well.
Thanks Autopilot: Cops stop Tesla whose driver appears asleep and drunk
Now, you might think wash trading is rampant on bitcoin exchanges, but that's because it is.

https://medium.com/@bitfinexed/wash-trading-bitcoin-how-bitf...
Here's some old code of mine:

https://github.com/vatt849/LibMinecraft/blob/master/LibMinec...

The whole library is a trip if you want to read a bunch of bad C#. Highlights:

- Generated documentation

- Giant switch/case instead of a more organized dispatch map

- Large swaths of commented code instead of using version control

- try...catch statements that just eat the errors

- Inconsistent code style

- This thing:

https://github.com/vatt849/LibMinecraft/blob/master/LibMinec...

I've written something similar from scratch since, which I'm still not entirely satisfied with, but is much better for reference:

https://github.com/ddevault/TrueCraft

The client-side networking code lives here:

https://github.com/ddevault/TrueCraft/blob/master/TrueCraft....

https://github.com/ddevault/TrueCraft/blob/master/TrueCraft....

https://github.com/ddevault/TrueCraft/tree/master/TrueCraft....

Notable improvements:

- Handwritten docs only where necessary

- Uses a stream implementation for decoding this particular wire format

- Has a different and better abstraction for reading packets out

Still has bad error handling though.
The old Nokia had not such things.
The question to me when these stories come up at least once a month is: Why would YouTube want to fix this? YouTube as a platform for generating revenue has largely become the domain of large media companies and top personalities. Those entities have a vested interest in keeping the copyright claim system exactly as it is, and YouTube has a vested interest in keeping those entities happy.

I think we've long since passed the point where anyone can say with a straight face that YouTube is first and foremost a platform for individuals to post whatever videos they want to.
On one hand, this is true. On the other hand, this is being put forth as a reason to not make a change in the entire Python ecosystem, and it's not really Python's job to bend over backwards for shops that have bad risk assessment either.
Praat: https://github.com/praat/praat
I'm not sure that this is a good way to learn anything, however.
Anything related to OpenStack, but particularly jenkins-job-builder is rather horrible.
Microsoft hasn't owned anything Nokia since 2016.

This is Nokia (the company), which licenses Nokia (the phone brand) to HMD global. They are two separate companies that happen to share a building. And some former employees from Nokia (the company) now work at HMD global.

I hope that's clear.
Agreed. That was how I was able to tell.
I don't think you hire bold out-of-the-box innovators to run AdSense.
I've seen interleaving research like this before and it's my understanding interleaving trains not just the ability to work a particular problem but the ability to better recognize the class of problem.

Anecdotally, after reading a paper on this, I made a Python script to drill guitar pieces, chords, progressions, etc. in an interleaved fashion and I believe it has helped me become a better player. Before doing this, when I would practice, e.g., scales, I might start in A then B, C, etc. but what I noticed was after doing the first scale, the rest were just minor variations so my training went from deliberate to auto-pilot. Now, with interleaving, I have to give some brief thought not just to how to mechanically perform the piece but what exactly the piece being asked for is. Consequently, during a performance, my ability to go from an intention of doing something on the guitar to actually plucking the first string is much more comfortable and faster.
The only way to fix this is to let you sue for damages + lawyer fees.

As it is right now, you can earn lots of money by DMCA:ing popular creators, monetize on their content for a while (or a long time if they don't have a friend at Google who can escalate the issue).
I agree that Bitmex basing its settlement price on two less liquid exchanges is a bad thing. Personally given the number of margin traders being force liquidated, I suspect that BitMEX likes the lack of liquidity.

However, if the issue was only a thin market on Bitstamp, the price fluctuations would have remained localized to Bitstamp and the futures market on Bitmex. But instead the price for bitcoin dropped by about $1k across the board, which to me signals thin markets everywhere.
> Node doesn't even have a stdlib.

Yes it does. Perhaps you're thinking of browser JS, which does not.
Windows ships with PowerShell which is a very capable programming language.
NATS is moving to an Ed25519 based auth system as well - https://github.com/nats-io/nkeys
Or not

https://www.nhs.uk/conditions/autism/what-is-autism/
I think signing up for organ donation means you do care about what happens to your body. You care that someone gets something out of it!
Ibuprofen overuse screws up your kidneys. Aspirin prevents clotting and causes bleeding
I'm working in first-order logic theorem proving (which obviously has far greater applications than propositional SAT: from mathematical proof checking, to software and hardware verification, e.g. compiler optimisation checking, to integration in higher-order solvers, etc.). Our algorithm is based on the idea of abstracting the first-order problem to a propositional one, which is then passed to a SAT solver! If it is inconsistent, so is the first order problem and we're done. If not, the SAT problem is satisfiable and we can use the solution to guide a "refinement" of the propositional abstraction, which is again passed to the SAT solver, and so on. If no "refinement" can be made, the first-order problem is satisfiable.

We do reasonably well on the annual CASC competition of theorem provers (we're iprover), even winning a division where this approach is particularly strong!

[1]: http://www.tptp.org/CASC/27/
You're thinking conscription. E.g. - we go to war and need new people so we just start grabbing any able bodied man, and even woman in some countries, to train up and deploy. Compulsory enlistment is different. What generally happens is that when you reach the age of legal adulthood you are required to enlist for a certain period of time. This is generally 1-2 years. You do your training, serve your time, and are discharged.

During your enlistment you not only trained but also of course compensated and generally very well prepared to lead a productive life. I think there's a lot to admire about this. But yeah - the issue is when these ideals mix with the reality of enlistment turning into deployment in wars of dubious merit, which is why this whole idea is a nonstarter for the US.

But one example of a nation where it does work well is Switzerland. The reason I mention them in particular is because in 2013 there was a referendum aimed at abolishing this enlistment. It failed with more than 73% voting against it. [1] I think it indicates how well it can work and the value it can provide, but of course again the big difference is that Switzerland is also incredibly conservative in the deployment of their military.

[1] - https://en.wikipedia.org/wiki/Conscription_in_Switzerland
>How about Silverlight? Where is Windows Phone?

Those never got any traction to begin with. If people aren't using it, they wont miss it.
They changed from the assorted chicken parts (aka pink slime) to an all white meat recipe (aka tastes like nothing) in the early 2000's. They've refined the white meat recipe since then to remove chicken skin and artificial preservatives.

I had occasion to eat at a McDonalds in India in 2010 or so, and they still had the old recipe McNuggets and it was so much tastier.
Aspirin may increase rates of some cancers.

https://discover.dc.nihr.ac.uk/content/signal-000696/aspirin...

> In the ASPREE trial, older adults with no apparent cardiovascular disease who took daily aspirin saw no benefit in terms of reducing the chance of dying or having dementia or disability. Instead, it slightly increased their mortality and bleeding risk - aspirin was associated with an excess of 1.6 deaths per 1,000 people per year. Half of these deaths were due to cancer.

(Although this is at odds with other research and so we need to be careful when interpreting it).
> at the very least this situation is unfair to the majority of employees who are just "going to work".

So people shouldn't have to take responsibility for their actions, just because they're paid for their troubles?
Actually, the cost of handling cash, for stores, is more than debit.
Because it's easier politically to implement regressive taxes. Property owners in particular are politically powerful and sympathetic. They're also very motivated because the tax increases would be large and these folks are highly leveraged in their investment. So we get things like Prop 13 in CA, or property tax increase caps in NY.
Yes similar test scores, for the GPA it might depend on how much we trust the scoring from the good school.

I was imagining that the good school presented more and better information, (perhaps more at the style and pacing of a good college classroom,) While the poor school may not have even presented all the information, or done so in a rushed way. (Focusing on that majority of students bound for community college.)
Our Brush with Google Censorship
What possible concern could you have unless you are a serial killer?
Concolic testing

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

Basically, the problem "find an input that causes the program to execute this sequence of statements".

---

Identification of missing optimizations in the LLVM backend.

https://github.com/google/souper
Meeting Segue Ideas to Help You Start Your Next Meeting
My Favorite Facebook Conspiracy Might Be True
I have been a big skeptic of self-driving cars and other AI promises for years, taking my downvotes as armchair futurists predicted a self-driving car would be picking me up any day now, well before it was popular to be a contrarian after Tesla and Uber killed their drivers. [0] [1] [2] [3] [4] [5] [6] Also notice the original links have the breathless hype from journalists who know-nothing and eat up whatever technologists' PR firms tell them.

Huge VC money has been and will continue to be destroyed by "AI"-businesses. Most of them are a cover for hiring tons of cheap laborers, such as businesses in the Philippines that park thousands of people in warehouse offices to review images, despite "advances" in AI detection that continue to be unable to automatically block content.[7]

Artificial general intelligence, and self-driving cars as well, will continue to be a pipe dream. Automated statistical analysis, which is what neural-networks that crunch tons of data essentially are, are a very neat trick but cannot drive a car nor build you a website. They can be very powerful tools that assist people in their jobs, but they will not replace human ingenuity. At least not until a new breakthrough happens that actually learns, rather than sifts through data for patterns which has limited utility.

Our current type of "AI" is simply branding - it is nothing of the sort and it is not intelligence at all.

[0] https://news.ycombinator.com/item?id=10153613#10153800

[1] https://news.ycombinator.com/item?id=11559393#11561600

[2] https://news.ycombinator.com/item?id=10132991#10133049

[3] https://news.ycombinator.com/item?id=12011979#12012336

[4] https://news.ycombinator.com/item?id=12323039#12323473

[5] https://news.ycombinator.com/item?id=12596978#12598439

[6] https://news.ycombinator.com/item?id=13961802#13962230

[7] https://www.wired.com/2014/10/content-moderation/
I think definitely not #1 (make open) and almost certainly #2 (keep alive for now). This is a direct response to the entire Nest integration ecosystem going "what?!" after basically being told they were getting shut off.
Constant manual labor, and very long hours, with not enough break in between.
In my mind, OpenAI is different from the other labs you mention because their goal is to harness the power of their own god. Bell Labs, for most of its history, was tasked with improving the Bell System, so anything that was remotely related to the system was fair game. Maybe these things seem "not much different" to you, but they seem dramatically different to me.

I'm not really that convinced anyone is substantially closer to artificial general intelligence that anyone was in the 50s or 60s, and I think it's fun to imagine what Bell Labs might have achieved if they decided to focus all of their efforts on creating artificial general intelligence. Not much, I would think.

> a bet in the future being better than today

No, it's a bet that openai will create general intelligence and make a profit off of it in some timeframe such that it doesn't make more sense to get your 100x returns through ordinary means. OpenAI can achieve this without the "future being better than today," and conversely the future can be better than today without OpenAI achieving this.
Great talk by Kathleen Fisher on this topic. Also mentions SAT solvers. https://youtu.be/TH0tDGk19_c
Dear Millennials, Baby Boomers are the only generation that has mattered. We take full responsibility for blah, blah, blah, blah, blahhhhhhh....

When we die, we'll pass the torch to you, and you'll be the only generation that matters.

Everyone else, please continue to not exist. Thanks.
And since setup.py is a Python file, you can't express build time dependencies properly. Pyproject.toml let's you do that, but it's new, nobody knows about it, and older pip clients don't support it.
The responsibility is ours.
How would A* perform on a graph with 2^n nodes?
Most of the world uses kilojoules instead of calories.
"How to Make Mistakes in Python" -
https://www.oreilly.com/library/view/how-to-make/97814920482...
Having incompatible libraries solving the same basic problems is absolutely not fine. Over time, this will become a huge issue for composability. C++, for instance, already is in this kind of mess with things like STL containers versus Qt comstainers vs. homegrown special case (optimized containers) and heaps of additional libraries building upon each. There are other good examples in other programming languages as well, mostly older ones.

The example of random number generators is a good one, too. There are a lot of applications that require (reproducable!) PRNG sequences and sometimes you have to share PRNGs between modules. Now, looking at the rand crate, I see that the prng part of it was recently mucked around with. If I have two 3rd party modules that I require to share a PRNG that I control (say, noise generators for procedural textures), I cannot compose them if one of them uses the old and one of them uses the new version of the library.
If openai ends up becoming some sort of hedge fund I'd be very very disappointed...
Let the fight begin! It goes well with some popcorn.

I can understand how fundamental education teachers don't grasp modern Algebrism and believe that Math is formed by fundamental, sacred definitions. But programmers ought to know better.
Yes, two victims of the WinDev vs DevTools internal wars pushed by Synfosky, with such a result that he ended up resigning.

UWP was the fix to WinRT and UAP changes introduced by Sinosfky's team.

Again, UWP is not only for Windows Phone, all Windows 10 new APIs are UWP based, there isn't any Win32 version of them.

People are able to keep using their legacy skills to write new apps, because Microsoft seldom plays an Apple move, killing any possibility to keep using legacy stacks on modern OSes.

If you miss XNA you can go use MonoGame, which Microsoft even advises on MSDN nowadays.

And Blazor for Silverlight like use cases.
Minecraft Earth
There’s an element of that, of course - and, bear in mind, I am talking about several years ago - but I found the easy scrolling and pinch-to-zoom counteracted any problems caused by obstruction.
I don't think I'll be able to make any of their talks because the nearest city is a bit away, but I do frequent their forums/site which has an incredible trove of information.

https://www.uphillathlete.com/
FWIW, the author of the tweet, Mumbo Jumbo is a high-profile Minecraft videos content creator on YouTube (3M subscribers) and he's doing this as his full-time job. By your description, I would say he's in the top personalities group.

What's happening here is basically Warner Chappell is claiming a revenue sharing of his video with no recourse.

Edit: he posted a new video elaborating more about this issue.[1]

[1]: https://www.youtube.com/watch?v=LZplh8rd-I4
That raises a question: how do you safely stop a daily low dose aspirin regimen? Are we talking about cutting tiny pills in half, then quarters, etc. over a period of a month?
Can anyone help with what looks like SAT scalability problem? Is there a modern SAT solver that can do it? I was trying out Google SAT and it seems not to be able to scale to a simple school scheduling problem. Here’s the post with the code and test data https://groups.google.com/forum/m/#!topic/or-tools-discuss/O...
Actually, they were fairly popular since they were the only viable option on certain platforms.

Guess what happened to those platforms?
SOFTWARE TO DOWNLOAD WHATSAPP CONTACT
pls what software can i use to download whatsapp contact to notepad?
>Me: I SSH into systems that I don't have permission to install new things on.

Then you probably also don't have permission to demand that people not use spaces in their file names.
I just find racket to be more fun. If I'm blowing off some steam on the weekend, racket is what I reach for. It feels clean like scheme, but has the "batteries included" feeling of python. Clojure is alright, but it feels more like work than fun. I don't really know how to justify that feeling, but that's how it feels. I guess it's little things like racket/match being an 'included battery', and having a ton of useful forms already defined out of the box (e.g. match-lambda and match-letrec-values.) Clojure's core.match is pretty spartan in comparison, last I checked.

As far as macros go, I greatly prefer racket's syntax-parse to anything else I've tried.