jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
This proof is a mix between Anselm and a little bit of math.

Disclaimer; I've only read Anselm and Leibniz, and am just trying to piece together the discrepant sources around.

Premise 1: There are many worlds.

Definition 1: "x necessarily exists if and only if every essence of x is necessarily exemplified" (From the article)

Premise 2: Existence is good.

Definition 2: God is the being Good-er than whom cannot be conceived.

Sub-Conclusion 1: God if he exists, by definition is good, and by supposition necessarily exists because existence is good. He necessarily exists because if he did not, then a being good-er than him could be conceived (ie, one that existed), and that being would then not be god.

sub-conclusion 2: Because there are many worlds, there exists one with a being good-er than whom cannot be conceived. Therefore, this is a being whose existence is necessary.

Consider then, that God's existence would not be necessary, if the world that god governed was not necessary, because that world could, or could not exist, and so God could, or could not exist, and god's existence would not be necessarily be exemplified.

Therefore The world in which God exists must be necessary to our world, and by consequence, God's existence must be necessary to our world.

If someone who has actually read him could give me some feedback as to whether this is fairly close to what he means, I'd appreciate it.
As someone who uses Photoshop since version 6 I think GIMP is totally capable as a software in what you can actually do with it.

Many grievances with GIMP stem from the way how things are done. Where Blender had a weird, but rationally thought out and consistent UX, GIMPs user interface feels weird and inconsistent — as if the way it ended up looking was the only way someone managed to get it to work using default GTK widgets.

This might seem like a luxury problem, but it is really not — an intuitive and consistent user interface is crucial in an image editor that most people fire up just to get stuff done. I'd even argue that is more important than a lot of other things.

Try out Krita as well, might be not as much geared towards photo editing, but has a much more consistent UX.
There is no way for you to tell if someone is really good (as is) vs who has grinded leetcode since the process (which assumes prior preps) a priori discards the first group.
That was a good one question[0]:

> Great series, thanks for making it. My question is has Ron or Jim reached out to you since last night?

Cullen Hoback: “Thanks so much! As long as I've known him, Ron always joked about me "filming with him in jail." Those jokes only increased as of late. But I haven't heard from either of them in the last 24 hours. Ron's latest public facing message was on Telegram, where he preemptively stated that he's not Q.”

[0] https://old.reddit.com/r/television/comments/mkr4qm/im_culle...
As a kid - I've put two really long (sweater sewing) needles into power outlet.

I guess luckily I hit earth/ground with one of them - since we had differential (RCD) circuit breaker(s) installed it just shut off electricity in the apartment.

If I managed to hit both into real live and neutral - the differential breaker wouldn't have done a thing, and I wouldn't be typing this.
Yeap. I will definitely do something with it and put on salaryshare. Incredibly busy this week, though.
I am sure the cable companies will be lobbying congress soon to get laws against netflix or allow them to throttle/charge them.

It's far too good to last. I really hope I am completely wrong.
Is this useful because of the decline of email (pverty of address books)?

Or because of the difficulty in hooking mailto: links to webmail services?
The last point isn’t so dramatic. There is version control for notebooks, and better version is coming (right now it’s in preview - code name - Projects, it’s in official docs). Tests are possible - either Nutter from Microsoft, or home grown (about 20-30 lines on top of built in unittest). Deployment is also not so complicated - there are tools (provider for terraform, cicd-templates project, Databricks-cli, etc), you can refer MS Learn for short course about CI/CD for Databricks and Azure DevOps, etc...
This will accelerate the pace that Facebook replaces email for some users and strengthen its position as an essential utility on the Internet. I believe the advantage of not having to remember email addresses is very useful to many people.

It seems Tim Berners Lee's worry about the effect of Facebook towards less open Internet is getting more true than ever. Are there significant actions we can do about this?

Large Internet email providers (Google, Yahoo, Hotmail) should come up with something similar like address auto-fill on third-party sites (with appropriate security & privacy implementation). They might even want to team up to counter Facebook's rise--after all, Facebook is now one of their largest competitors on the Net. (I am aware that Microsoft is an investor and partner of Facebook; so Hotmail might be less likely to come on board.)
Location: Seattle, WA

Remote: Yes

Willing to relocate: No

Technologies: Python, C#, React, Typescript, Scala, Java, PostgreSQL

Résumé/CV: https://camreon.github.io/docs/resume.pdf

Email: camerongu3[at]gmail.com

About: Full stack web dev here with a bias towards the backend. On my own time I prefer to use python for web work and C#/Unity for game dev, but I'm a big proponent of using the right tools for the job. I'm good at turning domain knowledge into software and quickly getting up to speed on preexisting code bases. Ideally looking for a role doing something socially conscious.
I really like alternative solutions like this to bad behaviour. My favourite instance of this is story of hooded teenagers outside stores intimidating passers by and general unwanted loitering in car parks etc. The solution was to loudly play music that the miscreants would really hate, like Engelbert Humperdinck, Neil Diamond, Dolly Parton etc. They moved on pretty quickly because they couldnt stand listening to it.
I live in Kyoto and was surprised to learn that there were even 18 convenience store robberies in the year before the program started. It's really safe here so I wonder what percentage of those armed robberies included assault on the clerk.
Anyway, this is a good idea. And the Kyoto taxi drivers are amazing too. They aren't your standard "just arrive in the country and don't know where anything is" taxi drivers that are found in many cities. These guys usually own their own taxi and take great pride in knowing where and how to get to anywhere in Kyoto quickly and safely. If you are in Kyoto and take a taxi, you'll never have to worry about being taken the long way so they can get extra money. So good on them for working with the police in this situation.
Please don't use "gypped", it's a slur.
Everybody speeds. Not everybody even accesses Craigslist (eg) let alone accesses Craigslist after receiving explicit instruction they are no longer permitted to. I agree there should be a differentiation, but how? Hacking into BAML trying to steal money is obviously and should be a felony with harsh punishment. Scraping Craigslist is probably more benign, but you're still attempting to profit off the information obtained that you know the (supposed?) copyright-owner does not want you to access.
Would increase the lifespan of cars with rotary engines.
It's not built-in out of the box, so you gotta ask the developer about it. But you should be able to easily use it by adding the js files to your header.
That seems perfectly in line with existing property rights.

If I have a house and certain people are visiting it against my will, then I have legal recourse to prevent them from doing so.

That it's digital doesn't really change the fact that, at the least, what 3taps was doing maps to trespassing. (Theft, at the worst, but I'm wary of invoking the 'copying isn't theft' mantra).
Someone flagkill this. All this is blatant lie.
I would buy a tesla bicycle if reasonably priced
But what if your father had a sister who was older than your mother's oldest sister?

Or does Chinese use different words for "mother's sister" and "father's sister"?
"grow a funky 'fro"

Fixed that for ya!
As an interesting book countering the "blink" concept is a book called "Think!: Why Crucial Decisions Can't Be Made in the Blink of an Eye" - http://www.amazon.com/gp/product/1416531556?ie=UTF8&tag=...
Have you ever read the original version(s)?

( http://www.jennifersdreams.com/inspirations/footprints.html )
Finally!! (It works for me, btw.) I can now cross off one of the last two reasons I use Firefox instead of Chrome. The other is Gerrit, which doesn't work in Chrome. A bit of irony there, since Google is the author of Gerrit.

The specifics of the problem: Gerrit allows you to make comments on specific lines of code which are under review. In Chrome, you can double-click to get the text widget up, but can't do anything with it after that (Save, Discard). Google, if you're listening, please fix this!!

http://code.google.com/p/chromium/issues/detail?id=45235&...
I would try and keep it informal - just establish a relationship and call to ask advice from time to time. Setting up the paperwork for something formal with shares changing hands is just another hassle you'd be better off not dealing with.

If they do want equity as compensation, then tell them they're welcome to invest in your company, take their money, and treat it like any other angel investment. Angels are expected to automatically provide advice and introductions - that's part of the package.
How do you get software written without hackers?
I'm actually looking to start out like this myself, and I found a small, poorly organized nonprofit that has a less than stellar website. They're dying to make a change, but they don't really want to put the time into it.

I suspect there are lots of nonprofits like this.
Visualizations do help a lot when model checkers and concurrency schedule exploration tools like Coyote find bugs. Coyote include the ability to visualize the traces if you express your concurrency using actors (see https://microsoft.github.io/coyote/#concepts/actors/state-ma...)

It also allows you to implement your own "logger" through which you can emit enough information to construct some cool visualizations. I had a lot of fun working on visualizing an implementation of Paxos using Coyote (then P#) (screenshot at https://ibb.co/TTk2hYb)
The book by David Epstein: “Range - Why generalists triumph in a specialized world” might be an interesting read for you.

https://davidepstein.com/the-range/
Agree @mods
What is the win here? Is this what constitutes a win against a big corporation nowadays? "Not totally lawless ...yet"

I don't see where anything got better for anyone?
Considering many people are working less hours since there is no monitoring and in general dicking around during the day (I have seen some people playing video games during the work day) I highly doubt in general remoting has increased any productivity.
Agreed. San Francisco is the filthiest city I've ever worked in. That the residents appear A-OK with public activity that would at least warrant a visit by social services or the cops in other cities amuses and amazes.
You realize this semantic argument is old, tired, and does nothing to actually make people who pirate software look any better.
I am developer, but I am trying to build my portfolio now that I am out of work. Take my advices with a grain of salt, as I said I am not a designer.

- Include links to the live version of the sites that you had design. You are selling design + xhtml, so show your html in the wild.

- The design background is very similar to other in themeforest, I like it, but for me is a bad point if you are a designer.

- The website dont need to look exactly the same in every browser, but need to look good in any browser. Check how your website display in iphones, androids, etc. Use css3 media queries.

- In the contact information, provide a phone number, or at least an skype contact. Some customers feels better talking to you on the phone. Maybe a twitter and other social networks.

- If you use flickr or other apps use them to promote your work.

- Describe your service in a tagline, or at least in the front page.

- in about, let the costumers know more about you guys, people like to know who are they doing business with. Answer this questions

- Who is this person?

- Are they trustworthy and reliable?

- Are they looking for work?

- What technology are they experts in?

- As wdewind said above, show only your best works.

- use the last jquery version.

- Dont style the page using the inline style attribyte in the nodes. replace them with with external CSS definitions.
http://awurl.com/IbOmC46sP
that made me laugh. I remember when the years 2000 was the future. everyone was supposed to be in flying cars by now.
Yes of course. I want to be able to archive my steamy love "sessions" without fear of reprisal.

It couldn't possibly be that I am under NDA, and that I talk with coworkers primarily via AIM. Couldn't be!
Feel free to feature your startup on the Startup List. Submit your info via http://startupli.st or on Twitter and metion @TheStartupList
Yea I'm aware of catalyst but havent really spent any time with perl as of late. A lot of web development that I do is with ruby/sinatra which is the kind of framework I enjoy working with. Its just nice to see new development still going on for perl in this fashion.
Best comment found so far, from the person doing the AMA:

I'd say that the very best way to help someone who is homeless would be to put them up, offer them some work in exchange for giving them a place to stay, and start giving them the connections to reach their goals (education, employment, etc.)
No. Medicine is so broad and subjective that it's easy to find an anecdote implying almost anything. That's why expensive double blind is so important -- even doctors fool themselves.

How many "carrots cured my cancer" wild goose chases would it take to bankrupt even the biggest company? Whatever that number is, it's smaller than the number of wild-ass medical anecdotes rolling around out there.

Of course, everybody thinks that their own anecdote is compelling and obvious and all their friends on carb-free diets are idiots...
The funny thing is that the app doesn't really work that great when you use the iPad in landscape mode. There is a big black space on the right and the bars cut off arbitrarily. Plus you can only see about half of the cities, and because the nearly all of the screen is a touch target, trying to scroll down to see the rest doesn't do anything. Illustrates the difficulties of coding an app even directly for the iPad.

OTOH, it's nice in portrait, although the last line of text is getting cut-off, probably because I have the bookmarks bar turned on.
I agree, a refreshing analysis.
You're right in pointing out that line, but I think his highlighted paragraph (esp. the first few lines) provide some context for understanding/simplifying the conclusion.

The most important aspect of HTML5 isn’t the new stuff like video and canvas (which Safari and Firefox have both been shipping for years) it’s actually the honest-to-god promise of interoperability.
I think this is the same with most people putting out inspirational/motivational material. At some point, it isn't inspirational to you, but it still is to others. That means you've grown and developed, and other people can too.

I used to listen to Dave Ramsey a lot years ago to get some motivation and get certain things drilled in to my head. After about the 300th show, I could tell you about 95% of the time what he was going to say, almost word for word. That doesn't mean it's bad or he's repetitive (well, he is) but that it's 'worked' already - I don't really need that type of motivation in my life as I once did, as it did the trick.
It's normal that the first test flight of a rocket fails. What happened today is unusual.
I just wish I had enough rep to down vote your comment :P His posts and complete transparency about growing his business epitomize the type of community contribution that brings me back to this site time and time again.
but the fact that AAPL now has a larger market cap than MSFT, twelve years after Jobs' return to Apple, has to give one pause.

This just reads to me that Microsoft has been failing hard since the great succession and Apple is capitalising on the void more than Apple's excellent strategy would've won the game against Microsoft back in the day.

My take is that Apple will lose, and yes, history is repeating himself. They'll lose in the mobile/tablet space to Android handset/tablets, and they'll maybe lose in the "real computer" space (eventually) to Ubuntu/Chrome OS or a revitalized Microsoft. I'm more confident of the former than the latter though, have heard "year of the linux desktop" just too many damned times.
no, we can't.
Enough of this uninteresting Bingo Card Creating program. How do these posts keep getting pushed up to the first page?
the new landing site looks great, well done
> Granted, these might be too many assumptions.

Yep.

Modern USB/TCP connected PLCs just encapsulate RS-232 data into USB or TCP packets, nothing else (for backward compatibility). Also there are encapsulation and decapsulation devices which enables archaic PLCs and other industrial devices to be retrofitted to more modern systems.

Moreover, the OP noted that emulation speed was at critical importance so, the code is CPU speed sensitive. Missing specs, missing company, missing source plus time sensitivity makes this endeavor very risky if not hard.
29 euros a month for the managed, on-cloud version. Does anyone know inexpensive Google Analytics alternatives for small sites, that are hosted for you?
It's not okay in any of these cases.
It is definitely clearly snappier, yes. There is some sub-second loading times, which should not be surprising, but not the sometimes multi-second lags I have seen in Google Analytics.
Worse than that I wonder if the trouble at Intel (e.g. inability to develop post 14nm chips plus one insane instruction set extension after another -- I wonder if the point of AMX is to have a big die area that is mostly unused that doesn't need to be cooled) isn't something that people like him are running from but rather something they are going to bring with then wherever they wind up.
I meant exactly what I said. Basically nothing is perfect. And while I completely support the idea of free universal healthcare I know on my own experience that Government is on a constant lookout to cut those expenses and does it at the first opportunity.

Bunch of warriors with the downvoting clubs is not going to change anything. Frankly I do not give a s..t about being downvoted. I am not here to accumulate karma. Just for the record: personally I have never downvoted even single post. I believe that all this voting system is very unhealthy.
Is it conceptually simple? The examples demonstrate behavior that would be pretty impressive even in a dynamic language.

Obviously the trivial form of dependency injection (just pass a parameter manually) requires no special library.
> Are you aware that commercial piracy used to be a big thing? You could walk about your local market and see pirated copies of games on sale for a quarter of the price.

Did it change much? Except now all that is available through torrents and so on and even for 0% of the price. While DRM didn't prevent it then and doesn't prevent it now. All it does is annoying legitimate users who buy the product, and as well gives some control freaks tools to shape the industry and the law (with DMCA-1201 like methods).
I wonder how the Apple M1 hardware stacks up. I don't know if they are vulnerable to any existing Spectre attacks but surely they are still using speculative execution and thus have to be aware of similar side-channels.
Perhaps somewhat related, in that slowing metabolism saves tissue:

https://news.ycombinator.com/item?id=9226848
Tarsnap provides exactly the sort of service you're referring to, where they only store encrypted data and don't have a copy of the key.

I'm a big fan of that architecture, if only because it greatly reduces the payoff of a successful attack. When everything is stored unencrypted (or with a common master key), there's an absolutely massive payoff for the hacker who breaches the security.
About $8 per US gallon in Finland (1.5 €/l). Got a car, but I would be fine with even higher price - burning fossils has so many downsides.
Haven't come up with any kind of thing that people are willing to pay for. :/
I find myself doing the same, but keyboard inefficiency still frustrates me which is why I still find it important. Once I know what I want to write I want to write it now.
I hate google noise (blogs, content farms) as I can't find a study from years ago which showed:

Study drunk, test better when drunk (lets say buzzed, most people "drunk" cannot function, its subjective in terminology).

Study sober, test better when sober.

You cannot mix it (in the study), IE: study drunk, test sober, study sober, test drunk.

Its a "duh" or common sense thing to me, brain functions being formulative to your current state of function.

I BELIEVE it was the University of Utah (which has a myriad of awesome drunk studies (cell phones vs >.08 alcohol levels, etc).
|"By your logic there is a problem with the automotive industry (people keep making new cars)"

But you don't see infinite procedures to make the same car. Web frameworks aren't solving new problems. They are competing with other frameworks which does the exact same thing.
Some (who don't understand the value of money) may even visit the US. My question is do you have some good examples of this, particularly where efficacy is disproportionately better?
glad to see MS are still involved with languages they don't own, but i would have been much happier if they supported C99..
A buddy of mine, who rarely drinks and dislikes marijuana, grows his own psilocybin mushrooms. It wasn't difficult for him to learn, and he bought kits online. The legal risk is minimal to non existent unless you are dumb enough to sell them.

The health risks aren't bad either. Psilocybin mushrooms have distinct properties which can be tested for with a white sheet of paper in a super simple test.

In other words, fortune favors the bold.
You can Google almost any high school math question verbatim and find a QA site with the verbatim answer, perhaps with numbers switched around.
To be fair lisps are multi-paradigm languages, especially Common Lisp.
Found the web developer
My astigmatism gives me doubles in any high contrast situation, whether light on dark or dark on light. Solarized/Zenburn type low-contrast palettes are the only thing that really addresses it.
I agree that Muon's current handling of whitespace is not ideal. I have plans to allow users to customize it. For now, you can use the //tab_size=N directive as documented here: https://github.com/nickmqb/muon/blob/master/docs/muon_by_exa...
Yeah they gave up on that which is too bad. I recall being able to upload an image, refining the output with a browser applet and getting a grayscale version of the image.
All the parts were packed in neat little baggies like it was a real set.

Mass customization is hard.
The U.S. is in the waiting room for a serious house cleaning. As it is, literally everything revolves around some big companies profit margins. If it doesn't benefit that, it's not important.

God I hope we fuck em up soon. They subverted the justice system, and now there's no pressure release for when bad things happen.
I recommend reading a history book of any country. It's unfortunately been proven to be plausible over and over...
Curious, if it's a platform issue like an app store. If it was a website who can shut that down? ICANN?