sjmarshy + software   350

Weekly 1 - 2019/02/10 :: Marmota — Marmota's Development Blog
package main import "fmt" func main() { fmt.Println("Hello, World! This is the first blog entry of Marmota's blog!") } In this first blog entry I’m going to talk about what Marmota is, the design behind it, the reasons why I’m starting it, and many more!
What is Marmota? As the description in the GitLab page states:
Marmota is a distributed and Free Software alternative to Spotify (and by extension the majority of the music streaming services)</block...
music  software  design  foss 
11 days ago by sjmarshy
Readable Code without Prescription Glasses | Ocasta
Ever wondered how you can make code more readable to make your job as a developer a LOT easier. Find out more here.
readability  software  sourcecode 
17 days ago by sjmarshy
A Strange Metapaper on Computing Natural Language
Abstract This is a paper about writing a paper about computational creativity in natural language generation. The first part contains the second-order paper, i
natural-language-processing  paper  software 
27 days ago by sjmarshy
Why Don't People Use Formal Methods? • Hillel Wayne
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.
formal-verification  formal-methods  software  development 
27 days ago by sjmarshy
Rethinking Unit Test Assertions – JavaScript Scene – Medium
Well written automated tests always act as a good bug report when they fail, but few developers spend time to think about what information a good bug report needs. There are 5 questions every unit…
testing  javascript  tools  library  software 
4 weeks ago by sjmarshy
joinr/clclojure: An experimental port of clojure to common lisp. Also some native common lisp implementations of clojure libraries, like seq, persistent vectors, etc.
An experimental port of clojure to common lisp. Also some native common lisp implementations of clojure libraries, like seq, persistent vectors, etc. - joinr/clclojure
clojure  common-lisp  port  software  development 
5 weeks ago by sjmarshy
Truly Interactive Shells - Monolune
This article is about shells that refuse to correct mistakes. Today, a shell refused to give me a chance to correct a mistake. Instead, it immediately terminated. This is what I entered and the result that I got: >> 12 / 0 Error: Division by zero in '12 / 0'. Cannot divide by …
shell  software  cli 
5 weeks ago by sjmarshy
Learning Programming Languages that Expand the Mind - Monolune
When I experience a burnout, or when I am about to lose interest in programming, I take a step back and ask myself why I'm feeling that way. Usually it's because of the repetitive code that I have to write, or the monstrous code base that I have to maintain …
learning  software  programming  languages 
5 weeks ago by sjmarshy
The Little Typer | The MIT Press
small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.
dependent-types  types  software  programming  language  the-little-typer 
5 weeks ago by sjmarshy
fogus: Again
Pseudo-random ramblings from Fogus.
books  trading  technical  software  learning 
5 weeks ago by sjmarshy
fogus: Monster
Pseudo-random ramblings from Fogus.
prolog  logic  software  plt  lisp 
5 weeks ago by sjmarshy
TypeScript 2.8: Conditional Types — Marius Schulz
TypeScript 2.8 introduced conditional types, a powerful and exciting addition to the type system.
typescript  language  plt  software  development  conditional-types 
6 weeks ago by sjmarshy
gollum/gollum: A simple, Git-powered wiki with a sweet API and local frontend.
A simple, Git-powered wiki with a sweet API and local frontend. - gollum/gollum
wiki  tools  software 
6 weeks ago by sjmarshy
ericelliott/riteway: Unit tests that always supply a good bug report when they fail.
Unit tests that always supply a good bug report when they fail. - ericelliott/riteway
testing  javascript  software  library  development 
6 weeks ago by sjmarshy
REST is the new SOAP – freeCodeCamp.org
Some years ago, I developed a new information system in a big telecom company. We had to communicate with an increasing number of web services, exposed by older systems or by business partners…
rest  software  protocol  api  rpc 
6 weeks ago by sjmarshy
What I learned from doing 1000 code reviews – Hacker Noon
After reviewing tens of thousands of lines of code, I noticed certain suggestions kept coming up over and over again, here are the top 3.
software  development  best-practices 
6 weeks ago by sjmarshy
The Map-To Pattern
A new tool that blends your everyday work apps into one. It's the all-in-one workspace for you and your team
control-flow  conditionals  software  development  javascript 
6 weeks ago by sjmarshy
When you code, write down everything - A geek with a hat
7 years ago, I developed this weird habit. On Wednesday, it saved my ass.
writing  note-taking  software  development 
6 weeks ago by sjmarshy
FoldingText — Plain text productivity for Mac users
For Mac users who love plain text. FoldingText is the markdown text editor with productivity features. Unlike other editors, FoldingText does outlining, todo lists, and more.
software  tools  outliner 
6 weeks ago by sjmarshy
My wishlist for Rust ‘19 | localhost
This isn’t exactly a blog so this won’t be exactly a “post”, but I’d like to write down my thoughts on this notepad answering the call for a wishlist for Rust 2019.
rust  software  development  community 
7 weeks ago by sjmarshy
fogus: Starboy
Pseudo-random ramblings from Fogus.
learning  understanding  software  sourcecode 
7 weeks ago by sjmarshy
Zim - a desktop wiki
Zim is a notepad like desktop application that is inspired by the way people use wikis.
wiki  plain-text  software  tools  linux  note-taking 
7 weeks ago by sjmarshy
lorenseanstewart/nextjs-mdx-blog-kit: Starter code for a static blog using Next.js and MDX
Starter code for a static blog using Next.js and MDX - lorenseanstewart/nextjs-mdx-blog-kit
tools  blogging  now  software 
7 weeks ago by sjmarshy
yqrashawn/GokuRakuJoudo: karabiner configurator
karabiner configurator. Contribute to yqrashawn/GokuRakuJoudo development by creating an account on GitHub.
tools  karabiner  config  software  keyboard 
7 weeks ago by sjmarshy
Arcsecond: Parsing in JavaScript made easy
I recently starting making a serious attempt at learning Haskell (anyone who has tried before will probably sympathise that it usually takes a couple of tries to crack it). Amongst the many cool…
parser-combinator  javascript  tools  software  library 
8 weeks ago by sjmarshy
Home | Haiku Project
Haiku is an open-source operating system that specifically targets personal computing. Inspired by BeOS, Haiku is fast and easy to learn but very powerful.
operating-system  foss  software 
8 weeks ago by sjmarshy
Hexagonal Architecture
I recently gave a talk on Hexagonal Architecture at Laracon NYC. The feedback was great, but seemed to have left people wanting for some extra explanation and of course examples. This is an attempt to expand on the ideas of that presentation.
hexagonal  architecture  software  explanation 
8 weeks ago by sjmarshy
Don’t code your microservice like a monolith, keep it maintainable not over-engineered - Geshan’s Blog
Will you use a gun to kill a fly? The answer is NO. The same thing goes when you want to write a microservice application that is going to be maximum of 10K lines of code.
microservices  software  development 
8 weeks ago by sjmarshy
Solving murder with Prolog | xmonader
In our company we usually have a fun quiz every sunday and this was one of them
logic  programming  software  prolog  language  development 
8 weeks ago by sjmarshy
Procedural Macros in Rust 2018 | Rust Blog
Empowering everyone to build reliable and efficient software.
macro  rust  software  development 
8 weeks ago by sjmarshy
« earlier      
per page:    204080120160

related tags

a11y  abstract-syntax-tree  academia  accounting  actors  advice  agda  agile  ai  algebra  algorithms  alternative  analysis  animation  annotated  antipattern  api  apollo  architecture  array  aspect-oritented  ast  asymptotic-notation  async  async-await  async-generators  automation  awesome-list  beaker  beaker-browser  best-practices  big-o  bitmask  blockchain  blog  blogging  boilerplate  book  books  borrow-checker  brett-victor  browser  browsers  browswer  brutalism  budgeting  build  business  c++  caching  calendar  callbag  cargo  category-theory  caves-of-qud  cellular-automata  cheatsheet  chinese-new-year  chrome  circuit-breaker  classification  cli  client  clojure  clojurescript  cloud  cms  code  code-as-data  code-management  cogmind  cognition  cognitive-bias  collaboration  combinator  commentary  common-lisp  communication  community  comparison  compatability  compilers  components  composition  compression  compsci  computer  computer-science  computing  conditional-types  conditionals  config  consider  constants  content-addressable  context  continuous  control-flow  coq  course  coverage  crates  creativity  css  culture  currying  dat  data  data-structures  datastructures  decentralisation  decentralised  decoupling  defensive-programming  delivery  deno  dependencies  dependent-types  deployment  design  dev  devel  development  devops  diary  discussion  distributed  diversity  do-notation  docker  docs  documentation  dot-net  dotfiles  dropbox  duckweed  education  effects  electron  elixir  engine  engineer  entity-component-systems  environment  epoch  erlang  error  error-handling  eslint  expertise  explanation  failiure  fantasy-land  fat-binary  features  federation  feminism  file-system  finance  finite-state-machine  flexbox  formal-methods  formal-proofs  formal-verification  foss  framework  front-end  frontend  functional  future  futurology  game  game-of-life  games  garbage-collection  generation  generator  generators  generics  git  github  glitch  glossary  golang  golf  graph  graphics  graphql  graphs  grid  guile  guix  hacking  handling  hardware  haskell  hazel  headless  heirarchy  hexagonal  higher-kinded-types  history  hledger  homoiconicity  hooks  html  hyperapp  hypertext  i18n  ide  idea  illustration  image  image-processing  incremantalism  increment  incremental  incrementalism  indexing  indie  inheritance  injection  inspiration  integration-tests  interesting  interview  iterable  javascript  jet-propulsion-lab  jira  json  karabiner  kata  keyboard  lambda-calculus  language  language-specification  languages  layout  learn  learning  ledger  ledgers  legacy  library  license  linear  link-list  linked-data  linux  lisp  literate-programming  live-coding  llvm  logic  machine  macos  macro  macroservices  magazine  makers  management  memex  memory  memory-leak  memory-saftey  mental-health  meritocracy  metrics  microservices  middleware  minikanren  mirror  mit  mjs  modules  monad  monads  monitoring  music  mutation  mutation-testing  naming  nanogenmo  nasa  natural-language-processing  nerv  networking  next.js  nixos  node  non-lexical-lifetimes  note-taking  notes  now  npm  null  numbers  observables  oop  opensource  operating-system  optimisation  organisation  oss  osx  outliner  overengineering  ownership  p2p  pane  paper  papers  paradigm  parser-combinator  parsing  patterns  pdf  people  perf  performance  personal  peter-norvig  pfrazee  pharo  photography  pijul  plain-text  plt  plugin  port  portal  post-mortem  practice  privacy  problem  problem-solving  procedural  procedural-generation  process  programmer  programming  progressive-web  project  project-management  projection  projects  prolog  promises  proof  proof-of-work  proposal  prose  protocol  pseudorandom  pubsub  pupeteer  pure  purescript  quality  random  rclone  react  react-router  reactive  read  readability  reading  reasoned-schemer  reasonml  redux  reference  release-cycles  render-props  rendering  repl  research  reselect  resource  rest  reverse-engineering  rewrite  rfc  rich-hickey  right-with-a-capitol-r  robustness  roguelike  rosmaro  router  routing  rpc  rsync  ruby  rust  rust-2018  rustconf  schema  scheme  science  scraping  screenshots  scuttlebutt  search  security  self-hosted  semantic  server  server-side-render  serverless  share  share:work  shell  simplicity  smalltalk  snippets  social  social-media  software  solarpunk  sourcecode  spotify  spreadsheet  standards  startup  state  state-machine  state-management  static  storage  strategy  stream  structs  sustainability  svg  sync  synode  syntax-highlighter  systems  tdd  teaching  team  tech  technical  technical-debt  technology  ted-nelson  templeos  terry-a-davis  testing  text  text-editor  text-rope  the-little-typer  theory  time  tips  tls  to-read  tool  tools  tooltip  trading  transducers  trees  trust  turing-complete  turing-tar-pit  tutorial  typed  types  typescript  ui  understanding  unit-tests  unity  unix  unsafe  utility-first  ux  v4  v8  validation  version-control  video  visualisation  wasm  weak-value-maps  web  web-api  web-worker  webpack  wetware  whitepaper  wiki  wishlist  women  work  writing  xanadu  xray  zeit-now  zettelkasten  zine 

Copy this bookmark:



description:


tags: