jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Thanks YeGoblynQueenne!

My criticism at the time was about resolution uniform proof

procedures. I was skeptical that a single procedure could

prove typical complex mathematical theorems. Procedural embedding

of knowledge was invented to overcome the limitations of

resolution uniform proof procedures.

Unfortunately, resolution requires flattening the structure of
a mathematical propostion into clausal form thereby
losing all of its structure. An important innovation of
Planner was *not to require conversion into clausal form.*
Instead, each Planner backward-chaining procedure is invoked
by a noncompound goal. Furthermore, each Planner forward-chaining
procedure is invoked by a noncompound assertion. Prolog is a
subset of Planner in which a Prolog procedure is invoked by a
single noncompound goal. *Prolog does not have forward chaining.*

BTW, Kowalski and I continue to disagree about fundamental

nature of pure logic programming. My thesis is that a logic

program is characterized by the requirement that each

computational step must be completely justified by a rule of

mathematical logic.
Is there way to mandate energy limits or possibly compute limits on hardware/software in the US? But that may also be a slippery slope...
How so? If they turned out to be amazing then I would have considered an offer, I just didn't go into it expecting to accept anything.
I've been shopping for my first telescope for about 18 months now (not entirely my first, I had an ok-quality small refractor as a child.)

Every time I've read so much that I know for sure what type I want, I read something else that makes me question what I want. So it's a complicated decision!

Install http://stellarium.org/ and get to know the stars from your location. Even if you end up getting a "goto mount" (where you enter the desired object and it finds it for you) you still have to align it so you'll still need to know and be able to find the stars it needs! So learning the constellations and stars is a must, you can get started on that before buying anything.

Join https://www.cloudynights.com/ forum and read lots. There's a beginner area there as well. It's a very active forum.

If it wasn't for covid, join a club and go to watch parties to actually test viewing through all kinds of telescopes.

Consider carefully where you'll keep it and where you'll use it. If you have a yard where you can keep it in a shed and roll it a few feet away to use you may not care about size and weight. But if you'll be carrying it down stairs and commuting to a darker view site on a bicycle, priorities are entirely different.

Seems like a Dobsonian is the overwhelming suggestion in this thread. Do consider that for example the Orion 8" Dobsonian is 41 pounds and over 4 feet long. Does that fit with your storage, transport and usage location constraints?

Whatever you buy, don't get something so cheap that the quality is so terrible it makes you give up. What this calls the "category 1": http://www.scopereviews.com/matrix.html

If, against all advice, you want to do astrophotography, this flips some of the requirements. For photos, spend most of your budget on the mount, not the telescope. In fact you don't really need a telescope, just a good mount and a DSLR camera (this is what I've been doing the 18 months I've been shopping for a telescope!)

(I did finally get tired of analysis paralysis and ordered a telescope last month. A StellarVue 80mm triplet refractor. There are long lead times these days for telescopes so it'll be a couple months before I actually receive it.)
The pool is already pre-vetted through another company so in essence they are going to two sets of interviews. If you've already passed one set of interview then the probability that you pass the second one is much higher. That's how you can have a situation where a group of inexperienced candidates perform better than experienced interviewees.
You’re absolutely right. It’s ridiculous we haven’t solved this already.

The value of cryptocurrency is inversely proportional to how functional the regular digital banking system is.
You can in Australia, they even gave us a Covid-bonus (deduction) last year.

But that has always been the case. Anything you purchase that is used for work purposes can be deducted (at a pro-rata basis if need be).
From wikipedia, it seems like there is one bad reason it might be called Chinese Whispers, and then a bunch of benign reasons it might be called that:

> Various reasons have been suggested for naming the game after the Chinese, but there is no concrete explanation.[5] One suggested reason is a widespread English fascination with Chinese culture in the 18th and 19th centuries - including that now known as Orientalism. Another proposed theory is that English people of the 19th century believed that Chinese people spoke in a way that was deliberately unintelligible, thus in their minds associating the Chinese language with confusion and incomprehensibility. An additional explanation is the commonplace observation that when two people, such as English and Chinese speakers, try to communicate with each other in their own language, the result is often confusion, and equally often amusing to both parties. A further theory is that the game stems from the supposed confused messages created when a message was passed verbally from tower to tower along the Great Wall of China.[5]

Out of curiosity, do you cringe when you hear the phrase "it's Greek to me"?
"moral indignation" is timeless. But it does feel uniquely current to have two political parties that seem to use it as their primary currency (in the US at least).
I have trouble recalling any major legislation after the Affordable Care Act that wasn't fully grounded in moral indignation or virtue signalling.
Thomas Pornin didn't have great things to say about ssss: https://security.stackexchange.com/a/83924

Not sure if those points are still relevant
You need 2 people. You are red dots they are green. My to do list.

1. limit the zoom level so you can see users block but not exact location

2. Integrate twilio for anon phone / txt capability

3. Fix search and check-ins... hacking on this now. I am entering this in the twilio Holiday Hack contest.
This is a result of WordPress's "texturize" function, which is buried deep within the main core of WP. It changes all the 'normal' punctuation marks with their 'prettier' alternatives, and it has always driven me insane.

Funny story: I had the good fortune to drive Matt Mullenweg to dinner after a WordCamp, and in the car we talked about many things. We got to the topic of typography, which made me lament the fact that I was always frustrated when all these blogs would replace straight quotes with curly quotes and how hard it was to copy/paste them elsewhere. "Oh, yeah," he said. "I wrote that."

At that point I completely forgot who I was escorting, shot Matt a sideways glare and said, "YOOOUUUUUU!!!!!!!"

I was immediately embarrassed, but he took it in stride :)
Been fighting with it all day. I want to have .deb and .rpms eventually, but for now build your own Shoes seems to be the best way for Linux:

https://github.com/shoes/shoes/wiki/Building-Shoes-on-Linux

https://github.com/downloads/hacketyhack/hacketyhack/hackety...

Yes, this is a non-answer for now. But better than nothing. :/
Just because smartphones have a higher profit margin for companies, doesn't automatically mean that consumers will buy a smartphone, let alone will want one.

Non-smartphones aren't going anywhere. Not until smartphones are given away for free and you can pick one up without being forced to add a data plan.
I agree with @vantran. Getting paid and the time you are going to spend should definitely be valued a bit more, especially by yourself. Unless you have specific goals/objectives on why you want to take on a internship, why then would you want to do one? Instead, get a few friends and make something and try selling it, the experience you gain will be much more beneficial.
Bad headline, sure, but interesting result. It suggests even without signalling, and with identical nuclear DNA, cell division can result in daughter cells that each try a different side of a gene-regulation possibility space.

If the environment has changed subtly to advantage or disadvantage that gene expression — well, voila, half the offspring are a probe in the better direction. That's why the process reminds me of binary search.

And across the billions of sibling cells each trying different levels of each gene? Massively parallel search for the optimal levels of gene expression, without any mutation or genetic exchange. That's an exciting idea, to this layman.
One thing to keep in mind if you give others encrypted data is that the encryption might be practically unbreakable for now. But there's no guarantee it will stay unbreakable in the future.

Given foreseeable advances in technology, along with unforeseeable breakthroughs in both technology and cryptoanalysis no one can really say how long it will be until your data is compromised.

But what we can probably predict with some certainty is that at least some of these data storage companies will keep the encrypted data you send them for as long as they possibly can. And they may even share it with others.
What about pushing only a subset of your branches? As far as I know, you can't commit to N branches and then push only a subset of them with hg.

There's also the whole index/staging area thing that I use everyday in git. That said, I think they're both alright. I think schacon summed it up pretty well in his talk at pycon:

http://us.pycon.org/2010/conference/schedule/event/137/
Huge news! Let's see what happens to the stock today. It edged up a little at the end of the day, suggesting that perhaps news was getting out. It's up 8% in premarket trading. [1]

One interesting thing to note from that chart is their Beta (a measure of link to market volatility) is less than 1, which is very low for a high tech stock. It basically means that the market views them as less volatile to market conditions than an index fund. Or put another way, more like a utility than a high tech firm.

What does this mean for Microsoft? I think an awful lot will depend on his replacement. I don't think they can get Gates to do another round. Who has the breadth of skills to manage it all? Seems like a complex enough beast that finding an appropriate outsider would be difficult too.

Going to another source [2] I see:

“As a member of the succession planning committee, I’ll work closely with the other members of the board to identify a great new CEO,” said Gates. “We’re fortunate to have Steve in his role until the new CEO assumes these duties.”

This suggests that he could be gone much sooner if the search goes well. These things don't happen overnight, but it could be by the end of the year or even sooner.

[1] http://finance.yahoo.com/q;_ylt=AsQ2vnc2OVs8WNqk.WdDwM.iuYdG...

[2] http://blogs.wsj.com/moneybeat/2013/08/23/microsoft-ceo-stev...
I also found the namespacing to be a bit weird, and it took quite a while to grok the documentation. In case anyone wants a working example, I implemented a wrapper to drop the namespacing (resulting in simple objectify attribute access) for one particular XML schema here:
https://github.com/timstaley/voevent-parse/blob/master/voepa...
Have you reported the bug ? Can you provide such an example, or is it FUD ?
http://eunter.net/2015/01/nico-sell-to-me-the-nsa-and-edward...
If you wanted to rebuild the Internet, which runs largely on Linux, you may want to rebuild Linux first. Or throw it out and start with something else.

Why can't the Internet be just *one* machine?
What does the 1st amendment to the US constitution have to do with events in Britain (or anywhere outside the US)?
Find my email if you ever need help with Japanese immigration or employment issues. I am not a lawyer or a judicial scrivener but I have a fair amount of practical experience with applying chapter and verse of Japanese immigration law to the practical realities of technology companies. (This offer is open to anyone.)
At least have it explained in a complicated manner then. Otherwise it's just preventing information sharing.
Hey Marcan, really impressed with the progress it's been 100% worth the patreon sponsorship. I first ran into you back in the Wii hacking days and it's awesome to see you're still doing cool reverse engineering stuff after all this time :).

How are things looking on the "primary job goal" accounting for GitHub sponsors as well? Think you'll hit it this summer?
Wonder why that is?
I use different ones for each account and write them down like passwords if it somehow ends up being a hint for password recovery etc.
I think it’s tough to recommend systemic changes when you start out with a fundamental belief that the basics of the system are the most perfect system ever. I’m of the opinion that you can reform capitalism, but to do so you may need to change who benefits. Take worker cooperatives for example. They could be a central policy that would counteract inequality, give people more decision in their own lives and give them skin in the game.

Teach people to be smarter isn’t going to be enough, especially when the employers of the lower end of earners specifically want human robots who don’t think for themselves.
Not having any strong feelings about the birth, life or death of the royals is an extremely mild sentiment that is shared by millions in the UK and billions across the globe. If you find it shocking, offensive or vindictive then I don't think the internet is the place for you.
Reinstalling a T2 machine can be a real cat and mouse game, especially if 2fa is involved.

security = 1 / convenience
macOS aren't servers for quite some time.
Listen, I've probably spent more time looking at your website than 99 percent of the people who've clicked on it. Try to understand this:

_I still haven't the first clue what it is you're selling_

Okay? The reason no one is playing with the demos is because the website itself is like unto cerberus the dog of hell, protecting the product from all who draw near.

Have ONE main webpage. Have this contain:

2-3 sentences that explain what the product does, and a use case. Example:

"auto-ebay-1000 is a tool to automate routine tasks performed by ebay sellers. If you have 50 items to sell, auto-ebay-1000 can upload them to ebay, track them, and alert you to bids"

Then have three links:

1) screen shots
2) Demo
3) How to buy

Look at a quasi use case that you have:

Do you feel, “Thoughts and ideas come to me at awkward times, unexpected places and not in neat order. I really wish there was an easier way for me to capture them".

...okay. The solution to that "problem" is: Pen and paper. Or a voice recorder. Is Juwo a voice recorder? Okay, fine: But an "unexpected place" is presumably one where I'm not at my computer. See? Your use case doesn't fit.
I guess from the url it's one of those Electric Universe sites.

I guess if you're an outright crank you can get through the Great Firewall of Cascadia; they only bother censoring serious people.
You might be onto something there (and indeed that might be the inevitable result in this case), but it always feels a little icky to just use the nuclear option without trying to affect change. Even if I go, the rest of obedient-but-very-likable team would be left slightly worse off.
Most of the things you listed apply to web documents more than web apps. I'm an advocate for separating the two. The UX for browsers is great for what they were designed to do. Running apps is not it.
If you read more carefully, you will recognize that it's saying it's rare for elected politicians because of the short-term constraints of needing to win elections, and that change in the Window is driven by actors who aren't concerned with losing their job if they advocate outside of it.

> It's a description of why politicians will advocate for some policies; it's not a theory of change.

It's both.

> (Such a theory would be unevidenced and obviously false).

This seems to be based on your own (“unevidenced and obviously false”, IMO) naive rational choice theory of change. Yes, broad forces are responsible for what would be the long-term equilibrium if conditions were static. Conditions change fast enough that the conditions which set the long-term equilibrium don't determine the actual Overton Window, or even consistently the short-term direction of change, though they are part of the context which influences change.
I say split the difference and permanently set the time forward 30 minutes. Then never change it again.
>My argument has the proof of vast majority of countries that’ve failed to mitigate spread with high tradeoffs and costs to society.

These are anecdotes. You fail to show that the costs of NPIs to society are greater than the cost of uncontrolled spread (ie doing nothing).
I’m a medical doctor (general internal medicine) in the United States. I have some technical background having done a lot of R and programming during my PhD in statistics genetics. I don’t have an active project but I’m interested in joining in with anyone who could use me.
Skills: medicine, genetics, bioinformatics
I also feel like I am a good communicator with business types, for what it’s worth.
At least in the US, it's not quite like that. There typically -are- penalties for certain things (i.e. if a loan goes into default or gets paid off via a refinance within X months) as well as regulatory rules and the ever-present GSEs, Fannie and Freddie.

As long as the loan is 'conforming' (which the majority of loans on the up-and-up are) then Fannie or Freddie will guarantee it. Conforming loans must meet a number of criteria (Debt to income, income versus home value, etc.) to have a level of trust that the borrower will repay.

Edit: And yes, if you get caught selling a non-conforming loan to Fannie/Freddie (i.e. underwriting discrepancies) you can get fined and forced to buy back the loan. In fact sometimes they will go on fishing expeditions and companies will have to prove their innocence, almost like an IRS Audit.

There is also the 'servicing' aspect of a loan. Servicers basically collect payments for loans and forward them on to whomever backs the Mortgage. For Fannie/Freddie loans, what this means in case of a default is that the servicer will have to 'front' the money; this is what the housing industry was worried about at the start of COVID: before the guideline changes related to the virus, there were concerns about liquidity in that 'gap' between forbearance and (potential) forclosure.
The BS about "shepharding" mass adoption was just marketing speak. It's what Toyota said with the Prius, GM with the Cruise, and Nissan with the Leaf. They all grew their respective markets; the difference is that Tesla was the only one to go all in on EVs and make it their only market (and Tesla owes Toyota, GM, and Nissan, for demonstrating the market for green cars and making them trendy with the wealthy segments of the auto-buying population).

Moreover, CA and the EU have far more to do with EV adoption that Tesla, by creating the market incentives for consumers to buy EVs and other green vehicles, and the clean car credits that have singlehandedly kept Tesla afloat the past 5 years while they lose money making cars.
WOW. Thank you for posting. Sincerely, College Senior.
I agree with most of what you said (although fish are never killed humanely, so I'm not up for that), but I don't own a car and I live in a city -- the difficulty involved in heading to a farm to see how their animals are raised is just large enough that I don't think the reward is worth it for me. I don't have any quarrel with someone who finds it an acceptable choice, though.
I firmly believe that SpaceX is the best chance humanity currently has at achieving space travel for the general population. They are one of the few companies I can get honestly excited about these days.
What if the ebook is about the results they've gotten and the understanding of the business they have?
I guess it all depends on whether you'd prefer to be miserable and slowly starve to death starting in your 20s or be happy and energetic before dying at cancer at 60.
I use TimeSvr.com - great experience for the past year and a half or so.
"finding verifiably humanely-raised meat is difficult"

One word: hunt.
I upgraded my iPhone 4 from 4.1 to 4.2 to see if they made any changes to orientation control on it. No dice. It still lets you lock it into Portrait orientation, or, leave it unlocked. No option to lock it into Landscape mode. Very annoying. Some websites and apps just work better in Landscape mode. Don't understand why it's so hard for them to allow that. Why only Portrait and not Landscape?
the answer, from a supercomputer user/programmer/scientist's perspective (for now) is a hybrid of the two. some portions of a parallel program are very easily ported to the GPU, and net a huge speedup right away, others require a complete rework from an algorithmic perspective which will take some time (in science, this means years).

if GPUs become standard on all nodes of major supercomputers, the memory per GPU core goes way up, and communication between GPU nodes, bypassing the CPU entirely, is standardized, then GPUs will have a shot at becoming more of a dominant force in supercomputing. looking forward to it!
A language can be both static and dynamic. C# introduced the 'dynamic' keyword, and perhaps they'll go further with that idea in the next version. The Java 7 JVM will have the 'invokedynamic' instruction, plus a new Java API to manage it. Perhaps Scala will extend the language syntax at that time to allow dynamic typing, with that API underneath, for those few cases where dynamic typing's better.

A language that was dynamic first, then added the static, is Groovy and Groovy++.
Wow this is beautiful, guys! I'm definitely using this to create some demos and tutorials for my startup's product.

So far, the only feedback I can think of is that perhaps you should think of a better name, just to make it easy to recommend to people. I don't know how to even say Iorad (I'm guessing it's an anagram of radio).

How much are you charging for this?
I promise not to post on this again (regardless if this post flags-out). And I won't down-vote any comments on this post, as I did ask.
"His livejournal is like looking inside the mind of a drugged out crazy."

IANAD, but wouldn't surprise me if he was developing some sort of mental illness. He seems to have just about every risk factor, and his writing combined with the fact that he's gained 50+ lbs in the last two years are telling.
I will try and make it!
congratulations to the folks at SpaceX!
From my experience, the male characters in Big Bang Theory aren't far off from reality. However, I don't like how the two women physicist characters portrayed have both been complete nymphomaniacs.
i dont know the specifics but i'm fairly sure sarbanes oxley specifies that emails should be retained within their document retention guidelines.
You also have regional powers putting resources into these things; Iran, Turkey, Israel, even North Korea and so-forth. All a nation needs is a few hundred smart, well organized people in a building with fast Internet and a lot of machines. Any hacking tool or approach can be stolen or emulated. If you are well organized, you leave the "finger prints" of other groups as well as their tools.