Mattias Nordqvist mattiasnordqvist

## programming-as-theory-building.md

      
              1 file
            
          
              31 forks
            
          
              3 comments
            
          
              308 stars
            
          
                onlurking
                / programming-as-theory-building.md
            
            
              Last active
              June 5, 2024 04:46
            
              
                Programming as Theory Building - Peter Naur
              
          
    Programming as Theory Building

Peter Naur


Peter Naur's classic 1985 essay "Programming as Theory Building" argues that
a program is not its source code. A program is a shared mental
construct (he uses the word theory) that lives in the minds of the people who
work on it. If you lose the people, you lose the program. The code is merely a
written representation of the program, and it's lossy, so you can't reconstruct


## Dockerfile
COPY src/*/*.csproj ./
RUN for file in $(ls *.csproj); do mkdir -p ${file%.*}/ && mv $file ${file%.*}/; done

## httpsRedirectRule.xml
<?xml version="1.0" encoding="UTF-8"?>
<configuration>
  <system.webServer>
    <rewrite>
      <rules>
        <rule name="HTTP/S to HTTPS Redirect" enabled="true" stopProcessing="true">
        <match url="(.*)" />
        <conditions logicalGrouping="MatchAny">
          <add input="{SERVER_PORT_SECURE}" pattern="^0$" />
        </conditions>

## Example.html
<!DOCTYPE html>
<html>
<head>
    <meta charset="utf-8" />
    <title>File Upload example</title>
    <link href="/Content/bootstrap.css" rel="stylesheet" />
</head>
<body>
    <form action="api/Upload" method="post">
        <div class="form-group">
	COPY src//.csproj ./
	RUN for file in $(ls .csproj); do mkdir -p ${file%.}/ && mv $file ${file%.*}/; done
	<?xml version="1.0" encoding="UTF-8"?>
	<configuration>
	<system.webServer>
	<rewrite>
	<rules>
	<rule name="HTTP/S to HTTPS Redirect" enabled="true" stopProcessing="true">
	<match url="(.*)" />
	<conditions logicalGrouping="MatchAny">
	<add input="{SERVER_PORT_SECURE}" pattern="^0$" />
	</conditions>
	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8" />
	<title>File Upload example</title>
	<link href="/Content/bootstrap.css" rel="stylesheet" />
	</head>
	<body>
	<form action="api/Upload" method="post">
	<div class="form-group">