jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
z3 is something I didn't know about until encountering it here. Spent the last few hours playing with the solver, it's quite interesting especially since I've had a fair amount of exposure to Scheme. Felt right at home after getting it up and running.

Glitch-free compiling and installing under FreeBSD. The only problem was finding documentation. Rise4fun.com is mentioned in another post, the exact URL for getting started is http://rise4fun.com/Z3/tutorial/guide. Also, very useful information here-- http://www.smt-lib.org/
1999 bubble is from secondary market. Now it's the first Primary market.
" The notion that it's not a problem to scale up because we can just keep chopping down rainforests for lumber"

You're clearly more interested in preaching that listening to what I say.

Technology increases the yield from current land. By a lot. Thus reducing the need to "pave and plow" more of the planet.

The United States, for instance, has considerably more forest now than it did at the beginning of the twentieth century.

Where do you actually see slash-and-burn agriculture and similar wilderness-destroying methods of farming? Bingo: in the low-tech peasant farming operations that you and the other guy hold out as models.
Posts without URLs get penalized, so you'd be better off posting this with the URL and then adding your text as a first comment to the thread. Good luck!

Edit: well, I'll be. You already did that: https://news.ycombinator.com/item?id=9272927.
Good example! Many MMOs also follow this kind of model. Though it still feels a bit incomplete in my mind, I guess I'd prefer the updates to be more regular and "story-like". We're probably still missing some important pieces of the puzzle to make this model work really well.
> this is a weak statement

The author admits as much:

"I might be on thin ice here. I need an example of a profession which does not have the same kind of enormous talent differentials that we see in sports. I could choose something like lawn mowing, but the comparison to software will work better with a field that typically requires college education. I mean no offense to accountants or bookkeepers. And if there actually is a Peyton Manning in the world of "assets=liabilities+capital", I'll be happy to stand corrected."

> All of this doesn't necessarily undermine the entire point of the article, of course - maybe accounting is not a good example, but some other field could be.

Yes, exactly.
I'd start here:

http://www.postgresql.org/docs/9.2/static/file-fdw.htm
If elite software developers don't exist, then elite writers don't exist. But I don't think anyone would make that argument.
While I absolutely agree with the need for cheaper way to obtain data, I don't think this is the major problem we're going to face.

We now have ways of obtaining mountains of data (RNA-chIP comes to mind, but high-speed sequencing is a big one as well), but we don't know how to process it. We end up with thousands of candidate proteins, but then someone has to go through them one by one. Things are incredibly primitive. The huge pain point coming up is our ability to process information, which is very limited. How do you deal with machine generating TBs of data/day ?

I think what's lacking is a culture of automation. Physicists do it, chemists do it, but biologists still do everything "by hand", and not only is that imprecise, is also slow and costly. We also need better ways of obtaining information about other's work. When there are 1000 paper a year published on your subject, how do you filter ? How do you even find the time to read papers in other subjects, which could be interesting in their methods, or just for general intuition and knowledge ?

What we need is good algorithms, able to replace curate our sources of information well, and machines able to do the bulk-processing now needed in biology. Some things are coming up (I'm co-founding a start-up to do exactly this), but it should have happened 10 years ago.
The quote about rebuilding the entire immune system was taken directly from Valter Longo, one of the authors of the paper.
Or get 50-200% back with a higher bar for entry (already having revenue, only needing 200% investment back out in 2 years)
Could you elaborate on the Home Assistant thing? I'm running that app from the F-droid store right now, and I sorta blindly assumed it was the official one. Now I'm worried; is this some outdated clone?
Powerwalls have an operating temperature range of -4 F to 122 F (-20 C to 50 C), although they recommend 32-86 F (0-30 C).

They can also be mounted indoors.
Petty change.
1. I don't agree, it's also a great justification for why BTC uses so much power: to protect takeover from things like the US government.

2. Fiat is a technological solution, as is Bitcoin. Really though, the dichotomy between "social" and "tech" solutions is false. Technology and society are one and the same.

3. BTC has moved billions of dollars into crypto. That crypto can be pegged in smart contracts on more appropriate tech stacks (like ETH) to enable currency use-cases with alt coins. It's early days here, but very exciting.

4. There's not many leftist libertarians but it is an actual philosophy. Individual liberty + social and humanitarian thinking + acknowledgement of the role racism and exploitation has had in today's power structures. I believe in radical decentralization and leveraging technology and automation to make life better for all.
I'm wondering why YC invested in DirectMatch. Market volumes have been abysmal the past few years and I'd have guessed a partner would've picked up on the shrinking-pie situation and passed.
> After being hacked

Doesn't sound like the kind of technically competent person we should be taking advice from.
We dearly need a semiconductor fabrication technique that doesn’t involve 150 million dollar machines and campuses the size of cities.
so CO2 isn’t increasing our global temperature as much as we had previously projected.
I agree, one big reason to use frameworks is that they at least make it harder to make insecure things, but as you said, if the developer is inexperienced they can still introduce vulnerabilities in any codebase.

I would say, in this regard, that Laravel is better than plain PHP when working with inexperienced devs that are likely to make mistakes or write bad code.
True, and just like with the Gradle build system on JVM, every project is its own unique snowflake.

That's what you meant, right ;-)

Or is it just everything I inherit?
Fair. Feedback that something sucks can perhaps incentivize an investigation into why. And that investigation might turn up ways that it can be improved.

But I think people generally overestimate the positive value of just declaring something bad. All the real work lies in figuring out why and how to make it better.
maybe misleading but still interesting article . Maybe "new mathematics offers a solution to an Ancient problem"
I feel like Musk understands this and it's not even a problem at all. The political battle and why there's so much resistance is almost entirely existing within the USA. I was flagged in my previous comment where I explained why this is the case. Why indeed does nobody want to own twitter? It's basically undefended against a takeover. There's a private owner of twitter and they are huge. Much much bigger and wealthier than Musk.

>Musk wrote, “and I believe free speech is a societal imperative for a functioning democracy.”

This has been known for hundreds of years. There's a reason why political polarization is extreme right now. Why the right-wing is urgently trying to build alternatives that don't censor them.

Peace can be kept temporarily by force but to make it permanent you must use diplomacy and understanding. Right now, the USA's peace is being temporarily held together by force.
wow much high horse, so snippy, much snark

Given you find the lack of "standard in-memory representation for tagged literals" [1] a problem, I'm wondering why you are so set on adding yet another feature with the same problem and don't understand why some might also be looking for an alternative.

[1] http://dev.clojure.org/display/design/Representing+EDN
Engadget is reporting that RT will also be included

http://www.engadget.com/2015/01/21/windows-10-free-upgrade/
If the letter received was representative of the 'fringe' 5%, I'm interested in how the other 90% read. It's quite anodyne, in my opinion.
> I agree that the government shouldn't have pervasive access to the records, but I WANT Uber to track my rides. That's how I can have recourse if a driver takes me for a spin.

Why would that require the passenger to identify themselves? You can have one without the other. Where I live, most taxis are organized in cooperatives. Drivers pay monthly for access to dispatch and are held to certain quality standards beyond the legal requirements.

Drivers are tracked by dispatch and expected to take optimal routes. If they deviate too far from that route on a fare, they have to explain themselves to dispatch. Simple as that, and it works extremely well.
Any time the police are forced to go arresting people for protesting they've failed a little bit. This is especially true when the protests are about police.

Granted there are times when they are left with no choice, but if there is a strong relationship established between the protesters and the police, such that the protesters believe that the police understand their concerns, how much less likely does this become?
You should be more skeptical when people tell you they love their jobs while you are paying them to perform their jobs, especially given the presence of numerous press articles quoting many dissatisfied Uber drivers.

There's a significant chance that they are telling you they love their jobs because if they told you they hate Uber and feel trapped by it, you would give them a bad rating and they would get fired.
I've made some of the recipes from this blog. The macaroni and cheese is particularly easy and tastes delicious.
I believe uber/lyft could be a monopoly because:

1. The benefits of scale -> lower cost insurance/gas/car/services for drivers.

2. The benefit of having more customers -> less time for driver to get to customer, i.e. more money.Also when shared rides become possible(2-3 or more passenger sharing a car) , more customers you can arrange them to shorter routes(which means more people willing to share) , which also means less cost.

3. Lyft is trying to make the trip a social experience by matching you with people you'd like. Data for better matching could be an advantage.
Javascript is an interpreted language. You can view the javascript that your machine is going to execute and step through it line by line.

Therefore it is free (as in speech) for you to inspect.
Well, how would an equipment collect single cells to place them on the instrument? Is there any procedure that could end with single cells correctly placed, but does not depend on detecting those cells beforehand?
If produced by Charlie Brooker, count me in. Hell, make a multi-season series of the Sprawl Trilogy. HBO?
There isn't an option to get more results per page, but you can get to the next page by clicking "next" at the bottom.

If you don't see the "next" link, then there are no more results. Note that hnapp only has data since around August 2014.
Man I wish this had been in place in the 90's when I went to Stanford. I grew up lower middle class in the Central Valley. My parents did everything they could to help, but that didn't make a dent of course. Stanford was fairly generous with outright grant money, but I still graduated with enough debt that it really handicapped my wife and I in our early adulthood years, and that was after taking 2 years off to work full time to help save money for tuition.

Still, I can't complain. I wouldn't trade my Stanford experience for anything. And for what it's worth, it would have actually cost me more to go to Berkeley as the aid package there wasn't nearly as generous.
Ah thanks for the clarifications
The question is a bit open-ended.

Basically, doing things like requiring complex passwords or 2FA prevents user accounts from being hacked. It does nothing for remote exploits in your application (like slack had recently). So for your end-users, there is no major onus to force them to 2FA. You can encourage it all you want, but at the end of a day, if an end user has their simple password brute forced, it's fixable. If you have 100k users with brute forced passwords, you might have to react, shut down accounts doing malicious activities, enforce complex passwords, etc. But the PIN data and service is still fine.

Now, if we're talking employees that have access to sensitive data, then yes, I would definitely be all about enforcing 2FA.
The problem is that these things take time (in Italy even more so), and until they're resolved, any reasonable reseller or manufacturer will stay away from Arduino, basically destroying the ecosystem. In that sense, it doesn't really matter which side "keeps flowing" because nobody will care by then.
Yeah, I'm not totally sure whether it's "split a bill at dinner", "split a utilities bill among roommates", something involving invoicing, or something else entirely.

An example would help on that first page, and on the follow-up page. That's as far as I got.
5? You must work in a small enterprise ;)
But this is kind of what you do when you walk. Walking is effectively controlled falling.

People moving on this device are probably just thinking "move forward" rather than "lean forward", in the same way as we turn left or right by (subconsciously) leaning slightly on a bicycle.
Does it look like a device convenient to use for an elder or someone disabled?
That phone exists already if you’re willing to compromise on looks and weight: http://www.raspberrypi.org/piphone-home-made-raspberry-pi-sm...
They don't have a free press either, and political or social dissent tends to result in people being "disappeared". And they have rather a lot of artillery pointed at Seoul.
A lot of bash is using awk, sed, cut, tr and others to munge the output of one command into the input of another. The killer feature of Powershell is that it does away with all of that.
Why do they test people who are dead already? Given the shortage of tests, wouldn't it more sense to test people who are alive?
Also, I've never met a partner who doesn't appreciate it!

And in terms of amortizing time spent learning, it's hard to beat getting better at something you do every day. Sometimes multiple times!
Not everyone can afford to pursue their passion at the cost of a cut salary. A common case would be the need to support a family, parents, relatives, etc.
I think it's a demonstrated fact that nobody cares about the out-of-the-box distro performance, because recompiling Ubuntu for your actual CPU (or anything newer than Opteron) gives large speedups on every program. Doing whole-distro PGO and LTO would be challenging because there's no one true workload upon which all users agree. An optimization for me might be bad for you. Also PGO and LTO will tend to think initialization and startup code is "cold" whereas in a thing like a shell pipeline that exec's many programs may be bottlenecked by those functions. If I profile a long-running daemon and rebuild libc with those profiles, it could make startup times slower for an exec-heavy workload.
This didn't just happen... someone wanted to screw one of those liberal states in this democrat hoax...
Who is going to make the scientific ecosystem? Julia and Python's scientific ecosystems are so strong precicesly because they get domain experts in those ecosystems to write the software they need for their niche.

Machine learning programmers aren't about remake DifferentialEquations.jl or scipy in Swift. I've yet to meet a single scientist from a field outside of machine learning who was seriously excited for swift. This sort of machinery is hard to make and takes deep expertise, I really doubt it'll be made in Swift any time soon. Does swift even have plotting libraries yet?

Swift has a good automatic differentiation story, mostly because it is very focused on machine learning use-cases, has corprate backing and all efforts are on one implementation. However, having only one automatic differentiation implementation has drawbacks. It won't be suitable for everyone.

Julia on the other hand has a gigantic basket of different automatic differentiation tools all of which have strengths and weaknesses. This allows people to choose the right tool for the job and explore a very wide design space, allowing us to find which approaches work best for different circumstances. Our AD machinery is still evolving and definitely has problems, but progress has been fast and really encouraging.

Even if Swift becomes the next Python and eats scientific computing, I strongly doubt this will seriously hamper Julia's community. We've been doing great living in Python's shadow. Julia doesn't need to be the most popular language in the world to be useful or successful.
Sun shipped a Trusted Solaris with trusted X11 Windows... over TWENTY YEARS AGO.

https://docs.oracle.com/cd/E18752_01/html/819-0869/windowapi...
The only one that's as good as I remember from childhood is Kinder eggs. That chocolate is amazing and waaaay better than we deserved as kids. Still get one for xmas every year although could do without the plastic toy.
The author says he's clever, and I believe him. It's easy to believe, because I've heard this story a hundred times before.

I grew up with lots of clever people, met through math and science competitions and camps. Easily 80% of them, maybe 90%, have gone off to FAANG, investment banks, or consulting firms, and had the exact same fate. Nothing was stopping them from continuing to tinker with ideas. None of them would have gone hungry that way. They made a choice -- a perfectly fine, rational one -- but let no one say the result was surprising.
Re. "fat client" libraries:

> Sure, it only worked for JVM languages, and it had a programming model that you had to build your whole app around, but the operational features it provided were almost exactly those of the service mesh.

The thing is, all of our microservices communicate with each other using Kafka. Envoy has an issue open for Kafka protocol support [1], but it's a fundamentally difficult issue because adopting Kafka forces you to build out "fat client" code and building a network intercept that can work with pre-existing Kafka client code is non-trivial. On observability, Kafka produces its own metrics.

Granted, Kafka doesn't offer the same level of control. But Kafka does offer incredible request durability guarantees. We don't have "outages" - we have increased processing latency, and Istio/Envoy and other service meshes can't offer that because they do not replicate and persist network requests to disk.

[1] https://github.com/envoyproxy/envoy/issues/2852
These ways already exist: [waypipe](https://gitlab.freedesktop.org/mstoeckl/waypipe/) is fairly complete already.
Depending on your goals. He raises millions with bad ideas. From his perspective he is wildly successful
You're describing bad product managers and designers.
Worth noting is that USDS got involved in the contracting stage to write certain language sections (e.g. availability API requirements).

My takeaway from watching this whole RFP process play out is that an early impactful leverage point is having USDS get involved in auditing/writing RFP requirements in the public interest (this was quite a few years ago, so they may already be more involved in all tech contracting decisions).

Without having a technically strong government team weighing in on contracting, I get the feeling that language and technical expertise falls on contractors/corporations/lobbyists to provide.
>99% of BLM protests are also peaceful.
Follow what Martin Wöhrle has been up to. imo SK is poised to become a real leader the future of transportation. I've been fortunate enough to have taken the last year off as a sabbatical and spent almost a year in Seoul both getting to know my in-laws and getting to know the Korean tech ecosystem. There is a real push by the top of SK to have the Chaebols play well together on "paradigm shifting" transit technology. I had the pleasure of meeting some super cool people (mostly French and German) at Hyundai(/and kia) working on really really interesting transit models.
"Whiteness" kind of is a problematic term. Italians, Slavs, and Irish people don't actually share all that much culture, do they? The term really is mostly about solidarity against Black people (Black being in fact a real culture, one we managed to create by kidnapping people and stripping them of their original cultures). The meaning of the term has even fluctuated over time, as different European ethnic groups were admitted.

Maybe it's OK if that term gradually goes away?

There's a difference between acknowledging that the term "white" is bad, and suggesting that Poles need to apologize and live lives of penance for what English slaveholders did in the 1800s.
Often nulls and exceptions are used when the code isn't finished, or in general sense to deal with unknowns. Neither is well fit for this.
I'd like instead to have "unknown" value/type which saves stack(or at least file/line) at time of its creation, but otherwise behaves like null/nothing. So that it can be easily ignored, but causes an exception when dereferencing is attempted. Having this additional creation-time stack information available in that exception should help debugging.
I'm proud to announce the release of an open-source project I've been working on, go-live!

It's a fast, portable Go command line utility that serves a file directory over HTTP. It can be used for local web development, production static-site serving, or as a network file host. By default, go-live serves the directory it is executed in.

It's inspired by JavaScript's famous live-server utility, but way faster and doesn't need Node.js installed. Supports Linux, Windows, and Mac, as well as ARM. It's also 4MB fully compiled, and can be used on an IoT device.

Mac: ```brew tap antsankov/go-live && brew install go-live```
Linux: ```snap install go-live```

Checkout the Github for more info on how to install it: https://github.com/antsankov/go-live#install and interesting use cases.

Any feedback is appreciated, since this is the first open-source Unix utility I've worked on! Also need some help on profiling it.
I'm sure you are more informed on tech matters than the average bear. Just because it's not news to you doesn't mean it's worthless to their audience. Plenty of people haven't heard about Instagram, or don't have a sense of what makes web apps successful. Let them read their blogs in peace.
I can see value in finding a way to expose individual touch points from their new touchpad to JavaScript. We looked at doing something similar in IE, actually, but didn't get around to it in time.

If they want to do that, then they're going to have lots of compatibility problems doing it with Touch Events. Too much code out there expects the presence of Touch Events to mean a touch-only device. So if you enable TE on a laptop, suddenly sites stop working for mouse/track. :-( Pointer Events don't have this problem.
Corporations can be wholly owned by other corporations. And they often have an obligation to seek to maximize profits above all other concerns. How's that an association of people?

They're treated as people because there was a similar conundrum as to how to apply laws to corporations. Justices decided to start applying laws as though they're people. It's the same situation Schneier is describing with robots.
As George Costanza said, "it's not a lie if you believe it".
You wonder whether it was some kind of crazy NSA intern project.
Because we all know rolling your own in the crypto world instead of deferring to the experts never leads to catastrophe!