skysight-inc/HackerNews huggingface dataset:
With Z3 :
https://rise4fun.com/z3

(declare-const a Bool)
(declare-const b Bool)
(declare-const c Bool)
(declare-const d Bool)
(declare-const e Bool)
(declare-const f Bool)
(define-fun conjecture () Bool
(and
(= a (and b c d e f))
(= b (and (not b) (not c) (not d) (not e) (not f)))
(= c (and a b))
(= d (or a b c))
(= e (and (not a) (not b) (not c) (not d)))
(= f (and (not a) (not b) (not c) (not d) (not e)))
(xor a b c d e f)
)
)
(assert conjecture)
(check-sat)
(get-model)

result :

sat
(model
(define-fun f () Bool
false)
(define-fun b () Bool
false)
(define-fun a () Bool
false)
(define-fun c () Bool
false)
(define-fun d () Bool
false)
(define-fun e () Bool
true)
)

Old code was with another tool :
http://logictools.org/

(a-> (b & c & d & e & -f)) &
(b -> (-b & -c & -d & -e & -f)) &
(c -> (a & b)) &
(d -> (a | b | c)) &
(e -> (-a & -b & -c & -d)) &
(f -> (-a & -b & -c & -d & -e)) &
( a + b + c + d + e + f)

then

(a <-> (b & c & d & e & f)) &
(b <-> (-b & -c & -d & -e & -f)) &
(c <-> (a & b)) &
(d <-> (a | b | c)) &
(e <-> (-a & -b & -c & -d)) &
(f <-> (-a & -b & -c & -d & -e)) &
( a + b + c + d + e + f)

where it would crash
So true! I work across Scandinavia and there are definitely more consensus forming meetings in Sweden than elsewhere, even. Having previously worked in US & UK companies I'm still not used to it and I often feel like banging my head against the table and crying out "Will somebody please make a decision!". But of course this is Sweden, no single person will make a decision. I'm sure they think I'm terribly rude.
An interesting idea...supposedly at Tesla and SpaceX, Elon recommended that anyone who found a meeting to be pointless should get up and leave immediately. I don't know if that's still the practice, maybe someone from those companies can chime in.
This is the rationalisation of a legal kludge that is only necessary to assuage consciences that the state has not become "immoral".

The facts on the ground are that, dissuasion or not, these economies will never go away ("oldest profession", after all). Full legalisation would allow for complete oversight of such murky sectors, which would ensure everyone's safety better than the current arrangements, at all levels. For example, in many countries there is no way for prostitutes to legally ensure their own security, because any sort of professional relationship with a sex-worker is illegal (even if the business itself is not); at that point, whether they have recourse post-abuse or not, is basically irrelevant.

The legal situation around cannabis and prostitution is just a shitshow in most places, driven as it is by outdated sensibilities which have ossified through short-term political calculation. There is no point trying to find in it a logic that is simply not there.
A friend of mine had two Envy’s failing less than 6 months after purchase with light usage. They are disposable printers, and the ink scam is ridiculous. We could never get the supposed override to work, and it would never print b&w if any color cartridge was low.
It looks like the change to the bail side might be good (avoiding pushing ever more people into poverty, which some believe pushes some people into more crime, etc.). But a little nervous about the use of algorithms here.
I have filled my schedule with study time, working out, cleaning time, full sleep time, cooking time, etc. The result is that I am a super efficient, productive employee that gets absolutely nothing done outside of work, has not learned anything past canned employee skills, and has no life.

Looks like there is a huge benefit to leaving some waste time in the schedule.
I think it's both. Ultimitly, a home will rise in value due to a few things such as improvements, inflation, or a certain area becoming a hot/cold real estate location. However, the ultimate selling price for a home is going to be greatly affected by interest rates. We've seen it in the last year where rates have gone 1% since a year ago, you've seen houses rise in value quite a bit and in proportion to that. 1% difference on a 30 year term is pretty significant and will be noticeable on the monthly payment.

Even though some people can or do pay cash for a home, they are not a significant population. Very often people that can pay cash will make a cash bid, prove they have it and still get a mortgage because money is cheap and the opportunity cost of trading that money for a house is generally unfavorable. A home is generally a market lagging investment when considering maintenance and taxes. Throw in interest and it's a lousy investment but you can live in it so it's rational depending on your lifestyle.

What people can afford in an area they want to live is what prices homes - taxes, mortgage rates, and price combine to generate a monthly payment that people are willing to pay. That's how the market works. In some areas the price can outpace the other 2 if wages are rising, like we've seen in SV for awhile now. But that's the exception and not the rule.
Thing is, wires are a natural monopoly. In fact, all the wires in the UK are owned by BTOpenReach which is a highly regulated and audited government sanctioned monopoly. I bet if you looked at the current costs of auditing and regulating it, a nationalised BTOpenreach would not cost a huge amount more to run.

Some of your broadband bill is going straight through your ISP to BTOpenreach. A bit goes to a billing provider; the ISPs all probably license the same back end software. The rest is spent by the ISP on marketing, graphic design and cold calling, all to try and differentiate something that you can't differentiate because pretty much everywhere its the same wires.

You bring up KCOM in Hull. Before it was privatised (the council built a new stadium for the local football team with the profits) this was a state run municipal broadband system that was light years ahead of anything else in the UK and provided either free or ultra cheap when it was introduced, if anything it was too ahead of its time, people didn't know what to do with it.

I don't know how much it would cost to maintain the wires if we strip out all the admin expenses of marketing, contracting and billing everyone, but I would not be surprised if it was less than £10/house per month. Whether I pay that to a nationalised service or through my tax I don't care, but I don't think it should be dismissed as it would make the UK more competitive against other countries. Think of all the time wasted with every household in the UK having to phone their ISP every year and negotiate a better deal for what is essentially the same thing.

Look at the UK railway system as another example of a natural monopoly and compare it to France where it is state run. UK is twice the price, half the speed, half the legroom, shit wifi and nasty food. Surely the market is not set up right here as it it not optimising for a great outcome compared to a centrally controlled system like SNCF.

Markets are a tool and should be modelled before they are applied to see if they provide a more efficient outcome. It is not a given that they will do so, especially where they are artificially created by ideologue politics.
I used to feel this way, until I read the book The Structure of Scientific Revolutions by Thomas Kuhn. The author points out correctly that too often the arrival of our current state of scientific beliefs from the past is drawn out as a straight line, and that the history of what was 'scientific truth' for a time was altogether forgotten or not taught. The easiest(), most respectful and accurate solution is to always couch a belief from the context and ontology of where it came from, including religious, scientific and personal beliefs.

As I become more learned with age, I find no greater delight than being humbled by how little we can actually claim to know. In my opinion this humility should be used for our advantage: by the small burden of contextualizing the origins and boundaries of a [scientific] belief, I think we prime ourselves for accelerating cross domain scientific revolutions. Referencing the origins of belief systems is a practice we can employ to benefit future understanding.

I'd argue the same is true for someone who studies multiple religions and their various interpretations. How would they arrive at any greater understanding without having references to the origins of groups of belief?

easiest from a strategic perspective of increasing the rate of scientific revolution. There is of course a short term burden of contextualizing beliefs.
I feel fairly alarmed and skeptical at the idea of managers being therapists, not because I think it’s a bad idea — in fact I think it ought to be a good one — but because in my experience, most of the folks asking for your vulnerability in the business world aren’t willing to off any in turn.
You sound similar to me a few years back!

Here is what I did (suggested by a boss who was magic with meeting effectiveness), YMMV:

- Come to meetings with a short list of decisions to be made or expected contributions

- Bring suggested resolutions if I owned the meeting / was primary technical resource / team lead and had some to suggest -- and communicate that these are the default in absence of consensus or buy-in

- Put discussion time allotted stacked to each decision to be made (moderately flexible)

- Always end meetings early if no more content is to be discussed

Meeting agendas can be powerful.
What exactly makes 'rich people's money' a finite resource? Where do you think their money comes from? If you look at the average billionaire, their wealth trends up even if they're giving big chunks of it away - Bill Gates is richer now than he was when he started giving away huge piles of his money, because for a rich person wealth is (unless you're literally lighting it on fire) not trivially exhaustible.

Many countries previously have had high tax rates on the rich (upwards of 50%) and those rich people still managed to avoid being poor.

It would be another matter if their plan was proposing to cut off rich people's income - but their plan doesn't even touch rich people, it is funded by corporations. Even if you were to institute a 2% wealth tax to fund public internet, the rich would still stay very, very rich because it's possible to keep earning money off your remaining wealth through investments and other means.
Show HN: Simple PDF to PNG Server
Isn't this title a contradiction? They aren't pointless meetings if they are therapeutic for the attendees. Now, what about pointless AND non-therapeutic, is that possible?
>BT would be part nationalised under £20bn scheme funded by new tax on tech companies

I would suggest reading the article, even the subheadline right where your eyes first focus had you even opened the link.
onenote is a whole different ballgame than the editors in this thread. Onenote does not support markdown and is essentially a stripped down "word" variation.
I still have a Canon Mx925, with all the bells and whistles (photo/CD/card printing, high resolution scanner, ADF, etc). Great machine. 150 Euros.

Also bought a HP Envy 5020 for £40 for scanning and label printing, printed over a hundred pages (just text) on the starter cartridges, worked a charm. Gifted it to a friend when I moved as I had no space. Quality wise, same as the Canon.

But really, any machine will do. HP/Epson/Canon always have everything from cheap to expensive. Check driver compatibility, they're weird nowadays.
Interesting fact: Despite having one of the lowest tax rates in the nation, South Dakota ranks in the top 5 for fiscal stability and lowest state debt, and also maintains an average to above average ranking for public services such as infrastructure and education.
While C++ does indeed take lots of time to compile, it is possible to reduce the compilation time quite drastically.

- Write modular applications and make use of binary libraries instead of compiling the world from scratch

- Enable incremental compilation, incremental linking and pre-compiled headers

- Don't go crazy with compile time algorithms / meta-programming
It doesn't, exchange data is heavily manipulated in order to game certain resources like coinmarketcap, coingecko etc. I would agree tether is more but nowhere close to as described. Dividing by a factor of 10 wouldn't even be enough imo.
Actually it just uses ImageMagick and soffice under the hood, so it can do way more than PDF. I've tested it with DOC, DOCX, XLS, and they all seem to work.

Edit: in case anyone wants an example, here's the conversion of tesla-model-s.pdf[0]:

https://secureview.cloudbrowser.xyz/uploads/filekat9.v05lnle...

[0]: https://www.tesla.com/sites/default/files/tesla-model-s.pdf
Such claim would have been relevant if each kid of an age class (or at least several thousands, in various countries) is asked to pass an IQ test. Assuming that IQ stays constant throughout the life. And there is still the definition of "success" to discuss.

I'm pretty sure there is some bias in the selection. I've never knew someone who has effectively passed a real IQ test around me, and I guess it the same thing for most people in the western world.

On top of that, we must do not forget that we're talking here about outliers, people whose intelligence (whatever your definition of it it is) is - to quote your own words - too obvious to ignore. People at the far edge on the "Bell curve of intelligence". Nobody will argue that Hawking was brilliant, he was not in good health though.

Of course, saying that being smart helps you achieve something in life is obvious. As well as being well connected. As well as being healthy.
I always wondered this and I never ever got to trying it. Ever since Intel introduced vPro.
I fill the washing up bowl (or just the sink for the Americans) with hot water while my food is cooking. This has quite a few advantages:

1. It breaks the psychological barrier of actually starting the task of washing up, and because I'm doing other things, I don't feel like I'm waiting around for the water.

2. Dishes created during the cooking process can be cleaned quickly as they're used, without interrupting my flow. That means there's no daunting pile of dishes at the end of the meal.

3. When you finish eating, the water is already there ready for use. It's a simple dunk and wipe which is almost as quick as dumping the plates on the side.
I think youtube subscriptions can be exported into opml and then import them into invidious
And this is where Square & Patreon's toe-dipping shows it's effects. You can NEVER. N-E-V-E-R allow an organization to have that much power and then not say anything just because they are targeting groups that you happen to also be against, because in the end, they will get a taste of the power they wield, the control they have, and they will abuse it.
> Massive government handouts followed by private companies that had lobbied for them failing to meet their promises is a summary.

That's basically it. OpenReach is the Network Rail of ADSL. Often Openreach would take millions of subsidy for rural broadband buildouts and then do .. nothing.

While I think nationalisation may be a step too far, I think it's useful to move the conversation away from endless privatised failure. If nothing else has worked, let's try threatening Openreach until service improves.
But other search engines do exist, and it is trivial to switch from Google to Bing or DuckDuckGo. Unlike a social network, you can switch your search engine in isolation without waiting for others to switch.
Most of them have adjusted the expectations for returns for any new participants.

Reducing expectations for existing participants is the same as defaulting on a loan, and I see no reason for why pensioners should be getting haircuts, while lenders get every penny they are owed.
>12:00-12:30 Lunchbreak

Too short. An hour or bust. Actually, I am quite serious about. It's great to have time, go out and eat - business lunch in the area are decent to put it mildly.
The genetic basis of Peruvians’ ability to live at high altitude
We also hire Senior Ruby on Rails Developers: https://drive.google.com/file/d/1-vhr5HcX_Nm6gEQwB9wcTf8Yv-v...
I write approximately as much test code as application code, but it never makes sense to write tests first.

I frequently redesign/rewrite an implementation a few times before committing it, often changing observable behaviors, all of which will change what the tests need to look like to ensure proper coverage. Some code is intrinsically and unavoidably non-modular. Tests are dependent code that need to be scoped to the implementation details. Unless you are writing simple CRUD apps, the design of the implementation is unlikely to be sufficiently well specified upfront to write tests before the code itself. Writing detailed tests first would be making assumptions that aren't actually true in many cases.

I also write thorough tests for private interfaces, not just public interfaces. This is often the only practical way to get proper test coverage of all observable behaviors, and requires far less test code for equivalent coverage. I don't grok the mindset that only public interfaces should be tested if the objective is code quality.

When practical, I also write fuzzers or exhaustive tests for code components as part of the test writing process. You don't run these all the time since they are very slow but it is useful for qualifying a release.
I think it should not replace the `length` property of an intentional array.
Ask HN: How to price your software service to get your first client earlier
Say you have a SaaS buisness, targeted to both small and bigger business. How do you decide what initial price to set in order to get your first customer?

Obviously, free is an option - but if there is integration involved, many would not integrate a free product, and would not let it control anything important.

Similar thinking for really low prices.

On the other hand, you can go with what you'd expect to be a reasonable price AFTER you've proven your product from the get go - say $900 - but then many wouldn't pay that much for an unproven product.

What has worked in your experience?
This is true, but the way the article is worded it makes it very much sound like the passwords were being stored cleartext.
"... which divided each 24-hour period into 50 minute chunks"

28.8 chunks. Nice.
It depends entirely on the project.

For most (but not all) software projects, writing tests before you write code is wrong.

For many (but not all) API-driven projects, I will write tests alongside my code. So if I would write a few dummy lines of code at the bottom of a file to confirm something is working, I'll write that up as a test instead.

In order for that process to work, writing tests needs to be extremely easy -- you need to be able to add a test anywhere without thinking much about it or wasting time pre-organizing everything.

On that note, shameless self-plug for Distilled (https://distilledjs.com), a testing library I wrote that I use in all of my projects, and that I like a lot.

The reason Distilled prioritizes flexibility is that I strongly believe there is no single, right way to do testing that can be applied to every project.

- For Distilled, I do TDD development where I write tests before code. This is because Distilled has a rigid API and behaviors, and because I use my tests as documentation. Distilled aims to have 100% coverage: https://gitlab.com/distilled/distilled/blob/stable/src/tests...

- For Serverboy, I only do integration tests based on test ROMs and comparing screenshots. Those screenshots get written out to my README and show the current emulator compatibility status. With Serverboy, I only care about the final accuracy of the emulator: https://gitlab.com/piglet-plays/serverboy.js/blob/master/tes...

- For projects like Loop Thesis (https://loop-thesis.com), I do a combination of unit tests and integration tests. I don't aim for 100% code coverage, and I think of my tests as a form of technical debt. For Loop Thesis I'm also adding performance tests though that let me know when the game is getting more or less efficient.

- And with exercises or experiments, I add tests haphazardly on the fly alongside my implementation code, putting very little thought into organization: https://gitlab.com/danShumway/javascript-exercises/blob/mast...

So every project has slightly different requirements and goals, and those goals drive my testing practices, not the other way around.
The Oneness of God
Cal honestly looks at a study of 6 violinists and makes sweeping generalizations to outside the musical realm?

1. Music is inherently a technical, movement exercise, especially violin with the bowing. If you are not relaxed, if you are not muscularly efficient, if you're tense from overwork, you're going to play less well. So, those who are busy may simply be less good due to that residual tension and stress....and this is much less relevant to coding or purely intellectual work, which simply requires typing and not muscular fluidity.

2. Deliberate practice is extremely hard to measure by looking at someone's time journal...it's a modality of practice, a time journal is not going to gather that information. Just because the talented ones practiced in huge chunks of time, versus spaced out shorter chunks, how do we know they were drilling the hardest skills and analyzing their weaknesses?

3. Looking at students who have promise (according to their professors) is vastly different than looking at actual professionals. Many pupils were not esteemed or had mixed reviews from their professors, and then went on to great things. I'm thinking Debussy and Valentina Lisistsa, both of who did not succeed initially but whose great talent was revealed later on.
Yep; I'd imagine that's an intentional distinction by the author. Some people might act this way regardless of whether they move between a management or individual contributor role.
I'm not saying I disagree but I think a referendum vote is fine. Everyone has a chance to give their opinion then we count the votes and choose the will of the people. The property owner does have certain privileges as they should but renting is a 2-way relationship and tenants should have a voice in how their community operates.

So although I generally agree with your line of thought, I disagree in this instance.
What are you searching for that would require google to filter out results for daily stormer?
Could you elaborate on how you find new papers that you are interested in? Do you just subscribe to RSS sources and going through all of them? Or do you have some way of filtering?
Patent summary: Using an army of robots to deliver millions of orders
What does it matter if the teacher is from Crete? Being a Cretan does not make one a cretan. You don’t need to be a stoic to realize that.
Read up on corporatism. It describes the overlap of moderate Democratic and moderate Republican ideology pretty well.

It is a shortening of “corporate fascism”, and is the idea that the government exists to protect the economy, which is best done by strengthening existing power structures that power the current economic system.

Therefore the government should defer to corporations whenever possible.
I don't know. I think it's a valid point.

I speak Spanish poorly. If I were running a company and creating a website or marketing materials I'd hire someone fluent in the target language to proof my material.

And, as stated below it raises red flags. So many phishing and scam attempts are littered with bad spelling and grammar.

Not saying this project is in any way untrustworthy, but it isn't professional.
> wouldn't any(q[:3]) (the 4th sentence) return true even if 2 or 3 of the above were correct?

Yes it would !

> If I understand correctly, it should be true if exactly one of the above is correct, not at least one.

In logic, "one proposition is correct" is true even if two propositions are correct.