buc.ci is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.

This server runs the snac software and there is no automatic sign-up process.

Admin email
abucci@bucci.onl
Admin account
@abucci@buc.ci

Search results for tag #lean

AodeRelay boosted

[?]gary ยป 🌐
@gary_alderson@infosec.exchange

uap/ufo buildup - it goes with the singularity like apple pie, baseball, ford trucks etc stuff is flying around out there but 99.999 percent is drones sigma

Six Sigma is
a data-driven, disciplined methodology aimed at improving business processes by minimizing defects and reducing variation, targeting a near-perfect rate of 3.4 defects per million opportunities. It uses the DMAIC framework (Define, Measure, Analyze, Improve, Control) to enhance quality, increase customer satisfaction, and improve bottom-line results. Key principles include a customer-centric focus, data-driven decisions, process improvement, and employee empowerment.
the gfx on this one - semi accurate (in my view)

youtube.com/watch?v=4wcWyJxUvkE

    28 ★ 9 ↺
    planetscape boosted

    [?]Anthony ยป 🌐
    @abucci@buc.ci

    A weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly).

    When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like append or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.

    I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.

    I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:


      about this site - powered by snac/2.86