Developer platform built on 3 pillars:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
version: '3.7' | |
services: | |
sourcegraph: | |
container_name: sourcegraph | |
image: sourcegraph/server:3.8.1 | |
environment: | |
- SRC_LOG_LEVEL=dbug | |
ports: | |
- '80:7080' | |
- '443:7443' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ | |
"id": 1, | |
"title": "How to teach programming (and other things)?", | |
"description": "Everyone should learn programming, right? Yes! But how... Should we allow children to explore and learn about syntax on their own, or should we drill programming like we rote memorize the table of multiplication or German grammatical cases? Felienne's talk outlines this history of programming education and didactics beliefs in programming that lead to the prevalence of exploratory forms of teaching, starting with Papert's LOGO. She will then explore programming education in relation to mathematics and language education and explore how rote learning could look like for programming. Felienne will discuss her own research into misconceptions and code phonology as means to teach programming more effectively.", | |
"slidesDoc": "", | |
"speakers": [ | |
{ | |
"name": "Felienne Hermans", | |
"gitHubUrl": "https://github.com/Felienne", |
Presuming you have access to the Sourcegraph Docker container and the container name is sourcegraph
:
- Get the id for the admin account (should be 1 in most cases):
docker container exec sourcegraph psql -U postgres sourcegraph -c 'SELECT id, username, passwd FROM users'
- Set the
$ID
variable:
Live blog assignments are at http://bit.ly/gophercon-2019-liveblog-assignments
- Take notes capturing the key points and main take aways. In particular, capture interesting things said by the presenter that are not in their slides?
- How you capture/write your content is up to you, just make sure you're never at risk of losing your work.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import json | |
from slugify import slugify | |
TEMPLATE = '''--- | |
title: "GopherCon 2019 - {session}" | |
description: "{description}" | |
author: $LIVEBLOGGER_NAME for the GopherCon 2019 Liveblog | |
publishDate: {date}T00:00-{time} | |
tags: [ | |
gophercon |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Show hidden characters
{ | |
"repos": [ | |
"sourcegraph/sourcegraph", // Mix | |
"sourcegraph/deploy-sourcegraph", // YAML | |
"jenkinsci/jenkins", // Java | |
"getsentry/sentry", // Python | |
"moby/buildkit", // Go | |
"pallets/flask", // Python | |
"googleapis/gapic-generator", // Java | |
"Azure/azure-storage-js", // TypeScript |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This config was generated by Sourcegraph. | |
# You can adjust the configuration to add additional TLS or HTTP features. | |
# Read more at https://docs.sourcegraph.com/admin/nginx | |
error_log stderr; | |
pid /var/run/nginx.pid; | |
# Do not remove. The contents of sourcegraph_main.conf can change between | |
# versions and may include improvements to the configuration. | |
include nginx/sourcegraph_main.conf; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
version: '3' | |
services: | |
sourcegraph: | |
container_name: sourcegraph | |
image: sourcegraph/server:3.2.0 | |
environment: | |
- SRC_LOG_LEVEL=dbug | |
ports: | |
- '127.0.0.1:80:80' | |
- 443:7080 |