Tomcat 7.x is considered "fairly new" in my current company. Log4j didn't hit us because the libraries we used were too old stable.
I've been using MiX for years now:
https://play.google.com/store/apps/details?id=com.mixplorer.silver
A bit weird feel, but once you got used to it, it's awesome.
Seems to be related to bing using AI now...
Is it just me or are many independent search engines down? Duckduckgo, my go to engine, qwant, ecosia, startpage... All down? The only hint I got was on the qwant page...
Edit: it all seems to be related to bing being down. I hope the independent engines will find a way to get really independent...
Thanks for this. I realise again how different this is from writing business applications...
For those interested: https://dogapp.ch/ - not affiliated at all.
I'd like to start developing a board game I love playing. There's an iOS implementation of it, but none for android. I don't even know where to start and which principles I could possibly follow. I've been working as a (business) software dev for the last 20 years, so I have some clue about programming.
I don't want to care too much about the graphics, it's the computer opponents and the game rules I am interested in.
No language constraint ;-)
I believe it's an offset print of some kind, which needs a lot of preparation.
The guy I asked at the restaurant was the owner. The prints were donated by his parents in law, they used to have a restaurant in Italy some 30 years ago. He already investigated on the artist himself ...
Reverse image search - done :(
Vielleicht wollte er damit seine 700 Eimer füllen? Oder ein Bärlauch-Pepperoni-Pesto herstellen?
(Gleich unter dem Artikel:)
Wo kranich dem melden?
I have a self hosted installation here which is running v23 something, according to version.php. Is there an upgrade path to the latest version?
When visiting a community, I'd like to order them by new sometimes. This is not possible at the moment.
First, thanks for Boost!
It would be nice to store settings (like post layout, nsfw stuff and so on) per account. I have three accounts for different purposes, this would make handling simpler.
Just returned from their first gig on their tour, I've never seen anything like that!
Attached: 1 image 12,937,830 accounts +4,370 in the last hour +52,068 in the last day +129,233 in the last week
Amazing - 4k per hour.
The question is: is this a good thing?